Combinatorics / CONCEPT
Arrow Patterns and Their Avoidance Classes
Arrow-pattern containment combines an ordered subsequence with prescribed arrows in the inverse Foata cycle map.
Closed
DIRECT PREREQUISITES0
DIRECT CONSEQUENCES6
PROOF DEPTH0
DOCUMENT LINKS1
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
- Cyclic Pattern Avoidancetruth-dependency · Closed
- Fibres of Peak-Run Reversaltruth-dependency · Closed
- Fixed Points and the Two Avoidance Conditionstruth-dependency · Closed
- Nonnesting Avoidance and Generating Functionstruth-dependency · Closed
- The (32; 1 to 3) Avoidance Seriestruth-dependency · Closed
- The Fibonacci enumeration assertiontruth-dependency · Closed
RELATED KNOWLEDGE
Structural connections
- Cyclic Pattern Avoidancestructural-affinity · Closed
- Fibres of Peak-Run Reversalstructural-affinity · Closed
- FishburnDefsstructural-affinity · Closed
- Fixed Points and the Two Avoidance Conditionsstructural-affinity · Closed
- Nonnesting Avoidance and Generating Functionsstructural-affinity · Closed
- Occurrence Orders in Doubled Wordsstructural-affinity · Closed
- The (32; 1 to 3) Avoidance Seriesstructural-affinity · Closed
- The Fibonacci enumeration assertionstructural-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