パターン回避 Canon 順列の剛性・降下・Wilf 分類
Rigidity, Descents, and Wilf Classification in Pattern-Avoiding Canon Permutations
研究概要
Canon 順列の剛性、降下公式、大域的 Wilf 分類を研究する。現在の公開原稿は、完成した形式化パッケージより前の版である。
元の公開問題
Laudone の canon 順列予想：6.1、6.2、6.3 と 6.6
Robert Laudone: Pattern avoidance in canon permutations — Conjectures 6.1, 6.2, 6.3 and 6.6, Question 6.5, and the unnumbered alternating-family question in Section 5.
原文要旨（英語）
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.
数学の検証
Paper Close は、公開前に準備と内部レビューを終え、ワーキングペーパーとして公開したことを示します。通常の学術プレプリントとしてお読みいただき、議論してください。今後の検証や議論によって修正が必要になる場合があります。完全な形式化や外部査読を意味するものではありません。
検証基準