[论文解读] Profile classes and partial well-order for permutations

Maximillian M. Murphy, Vincent Vatter|ArXiv.org|Oct 20, 2003

Advanced Combinatorial Mathematics参考文献 6被引用 6

一句话总结

本文将 0/±1 矩阵的轮廓类作为受限排列类的推广，证明此类类是偏序良序的，当且仅当其关联图是森林。主要贡献在于基于图结构对偏序良序性进行表征，并构造出不具周期性的奇异基本反链，从而深化了对排列模式中无限反链的理解。

ABSTRACT

It is known that the set of permutations, under the pattern containment ordering, is not a partial well-order. Characterizing the partially well-ordered closed sets (equivalently: down sets or ideals) in this poset remains a wide-open problem. Given a 0/+-1 matrix M, we define a closed set of permutations called the profile class of M. These sets are generalizations of sets considered by Atkinson, Murphy, and Ruskuc. We show that the profile class of M is partially well-ordered if and only if a related graph is a forest. Related to the antichains we construct to prove one of the directions of this result, we construct exotic fundamental antichains, which lack the periodicity exhibited by all previously known fundamental antichains of permutations.

研究动机与目标

• 将轮廓类的概念从 0/±1 向量推广至 0/±1 矩阵，拓展 Atkinson、Murphy 和 Ruškuc 的前期工作。
• 确定排列轮廓类为偏序良序的充分必要条件。
• 在非偏序良序的轮廓类中构造新型无限反链——奇异基本反链——其不表现出以往已知例子中的周期性。
• 探讨矩阵的结构性质与其关联排列类的序理论行为之间的相互作用。
• 提供一个框架，以补充现有关于简单排列和强完备性在偏序良序背景下所得结果。

提出的方法

• 将 0/±1 矩阵的轮廓类定义为所有其矩阵包含于该矩阵支撑结构的强完备中的排列的集合。
• 通过将非零元素视为行与列之间二分图中的边，为每个 0/±1 矩阵关联一个图。
• 利用 Higman 定理对有限序列的良序性分析，研究排列中的子序列包含关系。
• 应用简单排列的结构定理（定理 6.2），分析区间结构在偏序良序性中的作用。
• 通过源自非森林图的非周期性构型构造奇异反链，证明非森林图会产生无限反链。
• 利用闭包与强完备性操作，将轮廓类与已知的偏序良序集（如层叠排列和可分离排列）联系起来。

实验结果

研究问题

• RQ1 在何种条件下，0/±1 矩阵的关联轮廓类为偏序良序？
• RQ2 能否在非偏序良序的轮廓类中构造出非周期性的奇异基本反链？
• RQ3 0/±1 矩阵的图论结构（特别是是否为森林）如何与该轮廓类的良序性相关联？
• RQ4 现有关于简单排列和强完备性的结果在多大程度上无法涵盖轮廓类中偏序良序性的全部范围？
• RQ5 是否存在一个统一框架，能同时推广基于简单排列的判据与轮廓类的判据，以实现偏序良序性？

主要发现

• 0/±1 矩阵的轮廓类为偏序良序，当且仅当其关联的二分图是森林。
• 奇异基本反链（轮廓类中非周期性的反链）的构造证明了并非所有排列类中的基本反链都具有周期性。
• 矩阵 $\begin{smallmatrix}1\\1\end{smallmatrix}$ 的轮廓类为偏序良序，即使其包含无穷多个简单排列，说明定理 6.1（基于有限多个简单排列）不适用。
• 存在偏序良序的闭包排列集合，无法被推论 3.4 捕获，例如递增振荡序列的闭包，其完全由简单排列构成。
• 偏序良序排列集合的强完备性仍保持偏序良序，证实了偏序良序在复合运算下的鲁棒性。
• 轮廓类框架提供了一项新的、独立的偏序良序判据，该判据不被基于简单排列或强完备性的现有结果所涵盖。