FiniteGroups / CONCEPT
A sharper positive cone for the original odd-wrap quotients
Finite binomial product estimates sharpen the positive odd-wrap return cone to t at least p for odd p at least five.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES2
PROOF DEPTH13
DOCUMENT LINKS0
The original count difference is strictly positive for t>=p and odd p>=5
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 second-order Gaussian envelope for the original returnsstructural-affinity · Closed
- A late strict return gap at the first odd wrapstructural-affinity · Closed
- A sharper negative cone for the original odd-wrap quotientsstructural-affinity · Closed
- A strict finite Gaussian envelope for the original quotient returnsstructural-affinity · Closed
- Exact first even return band for the two lattice quotientsstructural-affinity · Closed
- Exact first reversal and the complete final pre-wrap bandstructural-affinity · Closed
- Finite Gaussian upper envelope for the original quotient returnsstructural-affinity · Closed
- The all-odd square-displacement thresholdstructural-affinity · Closed
- The initial odd-wrap return gap at t=2structural-affinity · Closed
- The unique odd-wrap sign thresholdstructural-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