FiniteGroups / CONCEPT
A second-order threshold bracket with an explicit coefficient
The finite second-order count coefficient determines a corrected center and a K=1 bracket for the same complete original threshold.
Closed
DIRECT PREREQUISITES5
DIRECT CONSEQUENCES0
PROOF DEPTH17
DOCUMENT LINKS0
The unique original threshold satisfies c_p-p^-3<T<=ceil(c_p+p^-3)
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
- 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 strict finite Gaussian envelope for the original quotient returnstruth-dependency · Closed
- Finite Gaussian upper envelope for the original quotient returnstruth-dependency · Closed
- The Gaussian root, secant, and alpha boundstruth-dependency · Closed
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
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 sharper negative 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
- Finite Gaussian upper envelope for the original quotient returnsstructural-affinity · Closed
- The corrected threshold bracket for all odd square displacementsstructural-affinity · Closed
- The Gaussian root, secant, and alpha boundsstructural-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