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

数学审核

内部定稿

稿件已完成内部审核,当前公开版本尚未完成完整形式化。

审核标准
返回 数学