模式避免 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）表示该工作在公开前已完成整理和内部审核，并以工作论文形式发布。请将它作为普通学术预印本来阅读和讨论；后续检查或讨论仍可能带来更正。它不表示已经完成完整形式化或经过外部同行评审。
审核标准