[论文解读] Decomposing simple permutations, with enumerative consequences

Robert Brignall, Sophie Huczynska+1 more|ArXiv.org|Jun 8, 2006

Advanced Combinatorial Mathematics参考文献 14被引用 5

一句话总结

本文证明，每个足够长的简单排列都包含两个长度较长、几乎不相交的简单子序列，从而得出一个具有重要枚举意义的结构分解结果。关键贡献在于一个定理：长简单排列必须包含两个长度至少为k、共享至多两个元素的简单子序列，这表明具有给定模式（例如132）有限次出现的排列类具有代数生成函数。

ABSTRACT

We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function.

研究动机与目标

• 建立长简单排列的结构分解定理，证明其可分解为两个长且近乎不相交的简单子序列。
• 为具有有限次特定模式（如132）出现的排列类的代数生成函数性质提供新证明。
• 将代数性结果在排列计数中的适用范围，从仅包含有限多个简单排列的类扩展至更广泛的情形。
• 探讨简单性在组合结构（包括图和关系系统）中的更广泛影响。
• 证明排列中存在长简单子序列可实现递归分解与计数。

提出的方法

• 将简单排列定义为不包含非平凡区间的排列——即索引与值的子集同时为连续整数。
• 引入“恰当钉序列”（proper pin sequence）的概念，其具有特定的几何与序理论约束。
• 利用长恰当钉序列、平行交错结构或楔形简单排列作为长简单排列中的结构基本构件。
• 通过对某种模式（如132）出现次数进行归纳，利用分解方法证明长简单排列必须包含超过r个该模式的副本。
• 利用不相交或近乎不相交的简单子序列可贡献多个不同的模式副本，从而确保总数超过任意固定界限。
• 利用由简单分量构建的排列的递归结构，通过已知的仅含有限多个简单排列的类的结果，推导出生成函数的代数性。

实验结果

研究问题

• RQ1 每个足够长的简单排列是否都能分解为两个长且几乎不相交的简单子序列？
• RQ2 简单排列的何种结构特性可保证其包含多个非重叠的简单子结构？
• RQ3 排列类中特定模式（如132）的出现次数有限，与该类中简单排列的有限性之间有何关系？
• RQ4 简单排列的分解方法在多大程度上可推广至其他组合结构（如图或关系系统）？
• RQ5 在何种条件下，具有有限次模式出现的排列类具有代数生成函数？

主要发现

• 存在一个函数 f(k)，使得每个长度至少为 f(k) 的简单排列都包含两个长度至少为 k 的简单子序列，且共享至多两个元素。
• 函数 f(k) 的上界约为 k^{k^k}，尽管证明中未对精确值进行优化。
• 该结果意味着，若某排列类中132模式的出现次数至多为 r，则其生成函数为代数函数，该结论通过关于 r 的归纳法证明。
• 证明表明，长简单排列必须包含一个长恰当钉序列、一个长平行交错结构，或一个长楔形简单排列。
• 上述每种结构构件——钉序列、交错结构与楔形排列——均可用于提取长度可控的两个不相交或近乎不相交的简单子序列。
• 该结果可推广至其他结构：在关系结构中，存在类似简单的概念，但子结构之间的交集可能更大，因此需要不同的交集界限。