FiniteGroups / CONCEPT
A uniform square-displacement envelope for actual counts
An exact finite-binomial calculation controls the actual first-wrap lattice return ratio uniformly over every odd square displacement, with an explicit second-order term and error at most 1/(5p^4).
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH17
DOCUMENT LINKS0
Exact second-order envelope on the full signed domain
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 centered-ceiling counterexample for the original return thresholdstructural-affinity · Closed
- A CRT law for actual square-displacement thresholdsstructural-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 fourth-order envelope for actual square-displacement countsstructural-affinity · Closed
- A second-order threshold bracket with an explicit coefficientstructural-affinity · Closed
- A strict finite Gaussian envelope for the original quotient returnsstructural-affinity · Closed
- All-q square-displacement correction coefficientstructural-affinity · Closed
- Finite Gaussian upper envelope for the original quotient returnsstructural-affinity · Closed
- Square-displacement profiles and coefficient scalingstructural-affinity · Closed
- The all-odd square-displacement thresholdstructural-affinity · Closed
- The corrected threshold bracket for all odd square displacementsstructural-affinity · Closed
- The fourth square-displacement coefficientstructural-affinity · Closed
- The log-two threshold bracketstructural-affinity · Closed
- The scale of the finite square-displacement remainderstructural-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