TotalVariation / CONCEPT
Mixing and measurable selection for the bilateral Parry source
Mixing and measurable selection for the bilateral Parry source.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH8
DOCUMENT LINKS1
Strong mixing and an unattained zero defect infimum
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
Certified topology / DOWNSTREAM
Consequences
None recorded in this release.
RELATED KNOWLEDGE
Structural connections
- A Finite Upper Bound for Fair-Source Window Defectsstructural-affinity · Closed
- Actual mixing and complete-prefix comparisonstructural-affinity · Closed
- Complete zero runs and the shared window rulestructural-affinity · Closed
- Conditional Parry words and collisionsstructural-affinity · Closed
- Dominance Memory for Actual Binary Windowsstructural-affinity · Closed
- Finite Parry window upper boundsstructural-affinity · Closed
- The bilateral Parry source and its signed path lawstructural-affinity · Closed
- Twisted Rotation and Parry Window Defectsstructural-affinity · Closed
- Unique parsing of complete Parry runsstructural-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