Combinatorics / CONCEPT
Explicit density of circles without opposite-pair adjacencies
Explicit density of circles without opposite-pair adjacencies
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH6
DOCUMENT LINKS0
Third finite Bonferroni bound on one event space
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
RELATED KNOWLEDGE
Structural connections
- A finite uniform quantitative bound for paired C3 Good ordersstructural-affinity · Closed
- Actual circular run contractionstructural-affinity · Closed
- Complement pairing of residual zero blocksstructural-affinity · Closed
- Literal contiguous blocksstructural-affinity · Closed
- Original C3 pair events on one circle inventorystructural-affinity · Closed
- Original coordinates, complete zero supports, and finite countingstructural-affinity · Closed
- Simultaneous opposite-pair block intersectionsstructural-affinity · Closed
- Uniform finite paired binomial tailstructural-affinity · Closed
- Zero total connects circular arcs to actual Good intervalsstructural-affinity · Closed
Documents & exposition
None recorded in this release.
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance