Arith / CONCEPT
Tail At Step
Lattice tail bounds along the matrix walk.
Closed
DIRECT PREREQUISITES3
DIRECT CONSEQUENCES10
PROOF DEPTH22
DOCUMENT LINKS1
tail arg eq
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
- Chain Setuptruth-dependency · Closed
- Drift Stopped4truth-dependency · Closed
- Final Dischargetruth-dependency · Closed
- Gaussian Maximal2truth-dependency · Closed
- Padded Law Setup Rtruth-dependency · Closed
- Tail At Step R5W2truth-dependency · Closed
- Tail At Step RW2truth-dependency · Closed
- Tail Transporttruth-dependency · Closed
- Theorem2truth-dependency · Closed
- Theorem2R4truth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- A lower bound of three chiral-event variablesstructural-affinity · Closed
- Chain Input Domstructural-affinity · Closed
- Chain Setupstructural-affinity · Closed
- Contact Integratedstructural-affinity · Closed
- Drift Stopped4structural-affinity · Closed
- Gaussian Maximal2structural-affinity · Closed
- Lemma43Finalstructural-affinity · Closed
- Lemma43Uniformstructural-affinity · Closed
- Padded Law Setup Rstructural-affinity · Closed
- Paddingstructural-affinity · Closed
- Padding Mapstructural-affinity · Closed
- Params Adopted2structural-affinity · Closed
- Tail At Step RW2structural-affinity · Closed
- Tail Transportstructural-affinity · Closed
- Theorem2structural-affinity · Closed
- Walk Telescopestructural-affinity · Closed
Documents & exposition
Other authored & advisory relationships
None recorded in this release.
LIBRARY / RELEASE VERSIONS
Content history
Loading release versions...
Browse the archiveCertified provenance