[论文解读] Permutation patterns: basic definitions and notation

Pilaud, Vincent, Williams, Aaron|arXiv (Cornell University)|Jun 22, 2015

semigroups and automata theory参考文献 1被引用 19

一句话总结

本文对排列模式提供了全面的导论，定义了核心概念，如包含、避免以及结构分解（直和、斜和、膨胀、区间与简单性）。它建立了基础符号体系，并探讨了经典与非经典模式类、增长速率、Wilf等价性以及生成函数，为研究排列类及其组合性质提供了一个统一的框架。

ABSTRACT

A brief presentation of basic definitions and notation used in permutation patterns research.

研究动机与目标

• 系统化并标准化排列模式研究中使用的 fundamental 定义与符号。
• 阐明排列结构（例如，和与斜分解、区间、简单性）与模式包含之间的关系。
• 建立经典与非经典排列类的理论框架，包括避免性、基集以及对子排列的封闭性。
• 通过增长速率与Stanley–Wilf猜想探讨排列类的渐近行为。
• 研究Wilf等价性与生成函数作为分类与比较排列类的工具。

提出的方法

• 通过子序列的序同构及约化（red(λ)）定义排列包含，以形式化模式的出现。
• 引入结构操作：直和（⊕）、斜和（⊖）与膨胀（σ[τ₁,…,τₘ]），用于分解与重构排列。
• 刻画和不可分及斜不可分排列，并引入分层排列作为递减排列的直和。
• 使用图形表示（图表、着色区域）说明经典、连通、双连通及网格模式。
• 应用极值点概念（左到右最大值/最小值）与经典统计量（下降数、逆序数、超越数、主要指标）分析排列结构。
• 定义生成函数并区分有理、代数及其他类型，将其与Wilf等价性及等计数性联系起来。

实验结果

研究问题

• RQ1 如何以一种支持该领域一致研究的方式，正式定义并标注排列模式？
• RQ2 哪些结构属性（如区间、简单性、可分解性）表征排列，它们如何与模式包含相关联？
• RQ3 排列类的增长速率行为如何，其渐近增长存在哪些约束？
• RQ4 在何种条件下排列类之间呈现Wilf等价性，对称性与生成函数在此中起何作用？
• RQ5 非经典模式（带横线、连通、双连通、网格）如何扩展经典框架，其避免性质为何？

主要发现

• 子排列关系构成偏序，经典排列类在此序下为下集，对取子序列封闭。
• 每个排列可唯一分解为和不可分或斜不可分成分，且每个排列均为唯一简单排列的膨胀。
• Av(123) 类与卡塔兰数等计数，Av(132)、Av(213) 与 Av(231) 同样与卡塔兰数等计数，展示了非基于对称性的Wilf等价性。
• 任何经典排列类（除全排列外）的增长速率至多为指数级，此结论由Marcos–Tardos定理确立。
• Wilf等价性等价于生成函数相等，生成函数可为有理或代数型，为分类避免特定模式的排列提供工具。
• 网格模式通过在图表中指定禁止区域，推广了经典、连通与双连通模式，实现模式避免的统一框架。