Crab Research
組合せ論

パターン回避 Canon 順列の剛性・降下・Wilf 分類

Rigidity, Descents, and Wilf Classification in Pattern-Avoiding Canon Permutations

Li, Alex Chengyu

ワーキングペーパー · Zenodo初回公開

研究概要

Canon 順列の剛性、降下公式、大域的 Wilf 分類を研究する。現在の公開原稿は、完成した形式化パッケージより前の版である。

原文要旨(英語)

This focused preprint proves four conjectures on pattern avoidance in canon permutations, gives all twelve fixed-alphabet counting formulas for the 64 subsets of three-letter patterns, classifies those subsets into exactly 21 global canon-Wilf classes, and develops descent and alternating-orbit enumerations. It is the combinatorial component of a reorganization of the original unified preprint (10.5281/zenodo.22088094). The expanded repeated-endpoint cone-walk, harmonic, and spectral component is now published separately as 10.5281/zenodo.22091634. A Lean 4 formalization of the principal results is in progress.

公開要旨の出典

MathematicsCombinatoricscanon permutationspattern avoidanceCatalan numberscanon-Wilf equivalencedescent polynomialsDavenport-Schinzel sequences

数学の検証

内部レビュー完了

原稿は内部レビューを完了しています。この公開版の完全な形式化は、まだ確立されていません。

検証基準
戻る: 数学