FishburnTenSevenDefs

Abstract

Conjecture 10.7 specifies a common enumeration of three Fishburn triple-avoidance classes.

Definition 1.1 (The three cardinality equalities).

Lean statement: D5/S3/Combinatorics/FishburnTenSeven/FishburnTenSevenDefs.claim107

Formalization. D5/S3/Combinatorics/FishburnTenSeven/FishburnTenSevenDefs.claim107 (✓ std3).

Source. Repository-derived.

Acknowledgement. Eric S. Egge (2022). Pattern-Avoiding Fishburn Permutations and Ascent Sequences. DOI: 10.48550/arXiv.2208.01484. URL: https://arxiv.org/abs/2208.01484v1.

Commentary.

The proposition states that for every positive n, the cardinality of each of the Fishburn permutation classes of length n avoiding respectively 1324, 2143 and 1423; 1324, 2143 and 3124; and 1324, 1423 and 3124 equals two to the power n minus n.

References

• Truth anchor: D5/S3/Combinatorics/FishburnTenSeven/FishburnTenSevenDefs.claim107
• Dependency: D5/S3/Combinatorics/Fishburn/FishburnDefs