[论文解读] On partitions avoiding 3-crossings

Mireille Bousquet‐Mélou, Guoce Xin|arXiv (Cornell University)|Jun 27, 2005

Advanced Combinatorial Mathematics参考文献 22被引用 44

一句话总结

本文证明了 [n] 的 3-非交叉划分的数量是 P-递归的，推导出具有多项式系数的显式线性递推关系，并给出了生成函数的微分方程。它建立了渐近增长速率 $ C_3(n) \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} $，并推测当 $ k \geq 4 $ 时，k-非交叉划分不是 P-递归的。

ABSTRACT

A partition on $[n]$ has a crossing if there exists $i\_1<i></i>

研究动机与目标

• 确定 [n] 的 k-非交叉划分数量在 $ k \geq 3 $ 时是否为 P-递归。
• 为 3-非交叉划分的数量推导出具有多项式系数的线性递推关系。
• 建立计数 3-非交叉划分的序列的渐近增长速率。
• 研究增强的 3-交叉和 3-嵌套是否产生 P-递归序列。
• 基于计算和结构证据，推测当 $ k \geq 4 $ 时，k-非交叉划分不是 P-递归的。

提出的方法

• 使用划分与空档表之间的双射，将计数 3-非交叉划分的问题转化为计数有界高度表的问题。
• 通过将核法应用于三变量随机游走模型，推导出 3-非交叉划分生成函数的功能方程。
• 应用核法求解功能方程，得到一个具有多项式系数的二阶线性微分方程。
• 使用鞍点法和生成函数技术进行渐近分析，以确定序列的主导增长项。
• 使用 Maple 中的 Gfun 包计算初始项并测试 P-递归性，发现当 $ k=4 $ 时未找到递推关系。
• 分析核方程的根图，以推断生成函数是否为 D-有限（即 P-递归），得出无限根图表明非 D-有限性的结论。

实验结果

研究问题

• RQ1 3-非交叉划分的数量 $ C_3(n) $ 是否为 P-递归？如果是，能否显式推导出具有多项式系数的线性递推关系？
• RQ2 当 $ n \to \infty $ 时，3-非交叉划分数量的渐近增长速率是什么？
• RQ3 增强的 3-交叉划分是否也是 P-递归的？它们与标准 3-非交叉划分有何关系？
• RQ4 k-非交叉划分的生成函数在 $ k \geq 4 $ 时是否仍为 P-递归？
• RQ5 核方程及其根图的哪些结构特性表明生成函数是 D-有限的？

主要发现

• 3-非交叉划分的数量 $ C_3(n) $ 满足具有多项式系数的线性递推关系：$ 9n(n+3)C_3(n) - 2(5n^2 + 32n + 42)C_3(n+1) + (n+7)(n+6)C_3(n+2) = 0 $。
• 生成函数 $ \mathcal{C}(t) = \sum_{n \geq 0} C_3(n) t^n $ 满足如下二阶线性微分方程：$ t^2(1-9t)(1-t) \frac{d^2}{dt^2}\mathcal{C}(t) + 2t(5 - 27t + 18t^2) \frac{d}{dt}\mathcal{C}(t) + 10(2 - 3t)\mathcal{C}(t) - 20 = 0 $。
• 序列 $ C_3(n) $ 的渐近增长为 $ \sim \frac{3^9 \cdot 5}{2^5} \frac{\sqrt{3}}{\pi} \frac{9^n}{n^7} \approx 1695.6 \cdot \frac{9^n}{n^7} $，对大 $ n $ 的数值计算结果予以验证。
• 序列 $ C_3(n) $ 的前几项为：1, 1, 2, 5, 15, 52, 202, 859, 3930, 19095, 97566, ...，且为 P-递归。
• 避免增强 3-交叉的划分数量也满足 P-递推关系，其渐近行为类似，增长速率为 $ 8^n / n $ 量级。
• 对于 $ k \geq 4 $，无 P-递归性的证据：核法产生无限根图，且在 4-非交叉序列的前 100 项中未发现递推关系。