FiniteGroups / CONCEPT
Finite Gaussian upper envelope for the original quotient returns
A finite logarithmic remainder gives a strict Gaussian upper envelope for the complete original odd-wrap return counts.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES4
PROOF DEPTH15
DOCUMENT LINKS0
The exact normalized count ratio lies strictly below G(s)+1/(10p^2) in the stated band
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- A finite quantitative bracket for the complete original return thresholdtruth-dependency · Closed
- A finite second-order Gaussian envelope for the original returnstruth-dependency · Closed
- A second-order threshold bracket with an explicit coefficienttruth-dependency · Closed
- The all-odd square-displacement thresholdtruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A centered-ceiling counterexample for the original return thresholdstructural-affinity · Closed
- A finite quantitative bracket for the complete original return thresholdstructural-affinity · Closed
- A finite second-order Gaussian envelope for the original returnsstructural-affinity · Closed
- A second-order threshold bracket with an explicit coefficientstructural-affinity · Closed
- A sharper negative cone for the original odd-wrap quotientsstructural-affinity · Closed
- A sharper positive cone for the original odd-wrap quotientsstructural-affinity · Closed
- A strict finite Gaussian envelope for the original quotient returnsstructural-affinity · Closed
- A uniform square-displacement envelope for actual countsstructural-affinity · Closed
- Exact first reversal and the complete final pre-wrap bandstructural-affinity · Closed
- The all-odd square-displacement thresholdstructural-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