FiniteGroups / CONCEPT
The scale of the finite square-displacement remainder
In the Bajnok-Beatty lattice setting, the actual quotient return ratio has a fourth-order remainder bounded by an algebraic q^-6 term plus an explicit exponentially damped polynomial, all multiplied by p^-6.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH20
DOCUMENT LINKS0
A fourth-order bound retaining the displacement scale
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 fourth-order envelope for actual square-displacement countsstructural-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
- 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
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