Combinatorics / CONCEPT
Ordered noncrossing matchings and boundary labels
Ordered noncrossing matchings and boundary labels.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES2
PROOF DEPTH0
DOCUMENT LINKS0
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
RELATED KNOWLEDGE
Structural connections
- Adjacent cap removal in a noncrossing matchingstructural-affinity · Closed
- Closed-cap compatibility and weight transportstructural-affinity · Closed
- Endpoint transport along the literal toggle tracestructural-affinity · Closed
- Insertion of an adjacent labelled detourstructural-affinity · Closed
- Label transport across closed matching intervalsstructural-affinity · Closed
- Legal-path cap fibersstructural-affinity · Closed
- The unique middle label of a reconnected capstructural-affinity · Closed
- Transport of the unaffected boundary productstructural-affinity · Closed
- Weighted Legal-Path Temperley-Lieb Relationsstructural-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