Combinatorics / CONCEPT
All-size enumeration of matchings avoiding 132, 213 and 321
An explicit formal series enumerates the original P13 avoiding perfect matchings at every natural size.
Closed
DIRECT PREREQUISITES2
DIRECT CONSEQUENCES0
PROOF DEPTH14
DOCUMENT LINKS1
The actual transformed series equals G
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
- Actual H coefficients and boundary elimination inputsstructural-affinity · Closed
- Catalan powers preserve the two sequence classesstructural-affinity · Closed
- Catalan Root and Lagrange Coefficient Transformstructural-affinity · Closed
- Enumeration of Nonnesting Permutations Avoiding 1322structural-affinity · Closed
- Explicit P13 scalar q-series and minimalitystructural-affinity · Closed
- Hanna's Lagrange parity conjecture for A365574structural-affinity · Closed
- PathCHSNormClosedFormstructural-affinity · Closed
- The actual matching functional equationstructural-affinity · Closed
- The catalytic change of variables in Rational[t][[q]]structural-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