FiniteGroups / CONCEPT
A fourth-order envelope for actual square-displacement counts
The actual quotient return counts in the Bajnok-Beatty lattice setting have a fourth-order correction with a uniform finite remainder 2439/(8000p^6), even though the negative logarithmic displacement is unbounded in q.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES1
PROOF DEPTH19
DOCUMENT LINKS0
Uniform finite fourth-order control 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 CRT law for actual square-displacement thresholdsstructural-affinity · Closed
- A finite second-order Gaussian envelope for the original returnsstructural-affinity · Closed
- A uniform square-displacement envelope for actual countsstructural-affinity · Closed
- Character Averages of Irrational Rotationsstructural-affinity · Closed
- Continuous Averages of Irrational Rotationsstructural-affinity · Closed
- Interval Sampling of Irrational Rotationsstructural-affinity · Closed
- Irrationality of Natural Logarithmsstructural-affinity · Closed
- Rounding moments from finite cyclic quotient detectorsstructural-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