Combinatorics / CONCEPT
Finite Alternating Paths and Endpoint Pairing
Finite alternating paths pair exposed endpoints and determine all reattached endpoint orbits.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES5
PROOF DEPTH0
DOCUMENT LINKS0
An Involutive Permutation Squares to the Identity
RELATIONSHIP ATLAS
Every connection, in context.
Direct recorded relationships
Proof dependencyStructural affinityDocument link
Certified topology / UPSTREAM
Prerequisites
None recorded in this release.
Certified topology / DOWNSTREAM
Consequences
- Adjacency transfer through uniform clone matchingstruth-dependency · Closed
- Band Switching and Expectation Symmetrytruth-dependency · Closed
- Characteristic-seven six-column detourtruth-dependency · Closed
- First-return matching compositiontruth-dependency · Closed
- Weighted First-Return Towerstruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Adjacency transfer through uniform clone matchingsstructural-affinity · Closed
- Affine row orbits and a characteristic-five liftstructural-affinity · Closed
- Band Switching and Expectation Symmetrystructural-affinity · Closed
- Characteristic-seven six-column detourstructural-affinity · Closed
- Finite matching networks and series contractionstructural-affinity · Closed
- First-return matching compositionstructural-affinity · Closed
- Headley nonsplit extensionstructural-affinity · Closed
- Noncommuting deformed Jucys--Murphy operators on the cyclic orbitstructural-affinity · Closed
- Product Orbits of Two Perfect Matchingsstructural-affinity · Closed
- Weighted First-Return Towersstructural-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