[论文解读] Restricted inversion sequences and enhanced $3$-noncrossing partitions

Zhicong Lin|arXiv (Cornell University)|Jun 22, 2017

Advanced Combinatorial Mathematics被引用 3

一句话总结

本文证明了 Yan 和 Martinez–Savage 提出的猜想：避免长度为 3 的弱递减子序列的倒置序列，其数量与增强的 3-非交叉划分相等。作者利用生成树和顽固核法，建立了一个函数方程，并通过拉格朗日反演和 Zeilberger 算法求解，确认了等势性，并推导出一个新颖的恒等式，将经典 3-非交叉划分与增强的 3-非交叉划分联系起来。

ABSTRACT

We prove a conjecture due independently to Yan and Martinez--Savage that asserts inversion sequences with no weakly decreasing subsequence of length $3$ and enhanced $3$-noncrossing partitions have the same cardinality. Our approach applies both the generating tree technique and the so-called obstinate kernel method developed by Bousquet-Mélou. One application of this equinumerosity is a discovery of an intriguing identity involving numbers of classical and enhanced $3$-noncrossing partitions.

研究动机与目标

• 证明倒置序列避免长度为 3 的弱递减子序列的数量等于增强的 3-非交叉划分的数量的猜想。
• 使用生成树技术，为这些受限倒置序列的生成函数建立一个函数方程。
• 通过顽固核法和拉格朗日反演求解所得函数方程，从而确认该猜想。
• 推导出一个连接经典与增强的 3-非交叉划分的新恒等式：$C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$。
• 探讨倒置序列、上升序列与集合划分之间的联系，并将方法推广至 $k$-非交叉结构。

提出的方法

• 使用从左到右的最大值和剩余元素作为状态参数，为 $(\geq,\geq,-)$-避免的倒置序列集合构造一个生成树。
• 定义一个双参数生成函数 $F(u,v)$，通过参数 $(p,q)$ 编码倒置序列，其中 $p = \alpha(e) - \beta(e)$ 且 $q = n - \alpha(e)$。
• 基于生成树的重写规则，推导出 $F(u,v)$ 的函数方程 (5.1)：$F(u,v) = t u v + \frac{t u v}{v - u}(F(v,1) - F(u,1)) + \frac{t u v}{1 - u}(F(u,1) - F(u,u))$。
• 应用顽固核法求解函数方程，利用对称性和核条件提取系数。
• 使用拉格朗日反演和 Zeilberger 算法计算生成函数的系数，确认猜想的计数结果。
• 将方法扩展至 $\mathcal{AW}$-倒置序列，推导出一个递归函数方程 (5.2)，即使无法获得闭式解，也能计算 $|\mathbf{I}_n(\mathcal{AW})|$。

实验结果

研究问题

• RQ1 避免长度为 3 的弱递减子序列的倒置序列的数量是否与增强的 3-非交叉划分相等？
• RQ2 能否使用生成树技术推导出 $(\geq,\geq,-)$-避免倒置序列的生成函数的函数方程？
• RQ3 顽固核法是否适用于求解所得函数方程并得到闭式计数？
• RQ4 等势性是否意味着经典与增强的 3-非交叉划分之间存在更深层次的组合恒等式？
• RQ5 类似的技术能否应用于其他受限倒置序列类，如 $\mathcal{AW}$-倒置序列？

主要发现

• 确认了猜想 $|\mathbf{I}_n(\geq,\geq,-)| = E_3(n)$，建立了 $(\geq,\geq,-)$-避免倒置序列与增强的 3-非交叉划分之间的等势性。
• 推导出一个新恒等式：$C_3(n+1) = \sum_{i=0}^n \binom{n}{i} E_3(i)$，将经典与增强的 3-非交叉划分联系起来。
• 通过顽固核法求解了 $(\geq,\geq,-)$-避免倒置序列的生成函数的函数方程，得到了正确的计数序列。
• 生成树方法成功通过参数 $p$ 和 $q$ 建模了受限倒置序列的结构，实现了递归构造。
• 该方法被扩展至 $\mathcal{AW}$-倒置序列，推导出一个递归函数方程 (5.2)，即使没有闭式解，也能计算 $|\mathbf{I}_n(\mathcal{AW})|$。
• 近期进展通过使用三角形形状的 01 填充构造双射，为该猜想提供了组合证明，进一步确认了结果。