[论文解读] Wilf classification of triples of 4-letter patterns

David Callan, Toufik Mansour+1 more|arXiv (Cornell University)|May 16, 2016

Advanced Combinatorial Mathematics参考文献 7被引用 4

一句话总结

本文通过证明计数序列前16项一致即意味着恒等，从而确立了精确的Wilf等价性，对242个四字母排列模式三元组的Wilf类进行了分类。通过组合分解、核法、插入编码和双射，计算了此前未计数的36个三元组的生成函数，所有生成函数均为代数式，解决了模式避免计数领域长期存在的问题。

ABSTRACT

We determine all 242 Wilf classes of triples of 4-letter patterns by showing that there are 32 non-singleton Wilf classes. There are 317 symmetry classes of triples of 4-letter patterns and after computer calculation of initial terms, the problem reduces to showing that counting sequences that appear to be the same (agree in the first 16 terms) are in fact identical. The insertion encoding algorithm (INSENC) accounts for many of these and some others have been previously counted; in this paper, we find the generating function for each of the remaining 36 triples and it turns out to be algebraic in every case. Our methods are both combinatorial and analytic, including decompositions by left-right maxima and by initial letters. Sometimes this leads to an algebraic equation for the generating function, sometimes to a functional equation or a multi-index recurrence that succumbs to the kernel method. A particularly nice so-called cell decomposition is used in one case and a bijection is used for another.

研究动机与目标

• 确定所有四字母排列模式三元组的Wilf类，解决完整的分类问题。
• 证明若两个四字母模式三元组的计数序列在前16项中一致，则它们是Wilf等价的。
• 计算此前未被插入编码（INSENC）等先前方法覆盖的36个三元组的生成函数。
• 通过高级分析与组合技术，确立此前未计数的36个生成函数均为代数式。
• 提供全部242个Wilf类的完整计数，其中32个为非单元素类，完成对317个对称类的分类。

提出的方法

• 通过计算枚举，计算了四字母模式三元组317个对称类中每个类的计数序列前16项。
• 对38个三元组应用插入编码算法（INSENC），利用其规则结构推导生成函数。
• 使用核法求解由左右极大值和首字母引发的组合分解中的函数方程。
• 基于Dyck路径的排列单元分解用于建模避免特定模式的结构，尤其适用于避免1243及其相关模式的情况。
• 应用涉及Catalan数和Narayana数的双射与生成函数恒等式，推导出闭式表达。
• 通过代数运算与符号计算，从递归或函数方程（包括嵌套根式与平方根）推导生成函数。

实验结果

研究问题

• RQ1 若两个四字母模式三元组的计数序列在前16项中一致，它们是否为Wilf等价？
• RQ2 尚未通过插入编码或先前结果计数的36个四字母模式三元组中，每个三元组的生成函数是什么？
• RQ3 这36个三元组的生成函数能否以闭式代数形式表达？
• RQ4 哪些组合结构（如Dyck路径、单元分解、左右极大值）支撑这些模式三元组的生成函数？
• RQ5 对称性以及初始字母和极值元素等结构性质如何影响生成函数的形式？

主要发现

• 四字母模式三元组的Wilf类恰好有242个，其中210个为单元素类，32个为非单元素类。
• 本文证明了计数序列前16项一致即意味着Wilf等价，从而弥合了下界与上界之间的差距。
• 此前未计数的36个三元组的生成函数均为代数式，经显式推导确认。
• 对于三元组{1243,1342,1423}，其生成函数为$ F_T(x) = \frac{3-2x-\sqrt{1-4x}-\sqrt{2-16x+4x^{2}+(2+4x)\sqrt{1-4x}}}{2(1-\sqrt{1-4x})} $，与{1324,1342,1423}和{1234,1342,1423}的生成函数一致。
• 三元组{1342,2143,4123}的生成函数为$ \frac{1-5x+8x^{2}-5x^{3}+3x^{4}}{(1-x)^{2}(1-4x+3x^{2}-x^{3})} $，通过核法与函数方程推导得出。
• 提出一种基于带标记谷点（低谷与高峰）的Dyck路径的新单元分解方法，用于推导{1243,1342,1423}的生成函数，得到一个涉及$ M(x,y,z) $（即按半长、低谷与高峰计数的Dyck路径生成函数）的复杂有理表达式。