FiniteGroups / CONCEPT
The log-two threshold bracket
An all-q log-two bracket for the unique threshold of actual square-displacement return counts.
Closed
DIRECT PREREQUISITES1
DIRECT CONSEQUENCES1
PROOF DEPTH21
DOCUMENT LINKS0
The complete actual-count threshold and both bounds
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 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 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