[论文解读] The number of intervals in the m-Tamari lattices

Mireille Bousquet‐Mélou, Éric Fusy+1 more|arXiv (Cornell University)|Jun 8, 2011

Mathematical Dynamics and Fractals参考文献 28被引用 4

一句话总结

本文为 $m$-Tamari 格的区间数建立了闭式公式，该格是经典 Tamari 格在 $m$-投票路径上的推广。通过追踪下路径与直线 $x = my$ 的非初始接触次数，作者利用带催化参数的函数方程对区间进行递归分解，推导出代数生成函数，并证明区间数为 $\frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1}$，从而证实了 Bergeron 关于对角不变量空间的猜想。

ABSTRACT

An m-ballot path of size n is a path on the square grid consisting of north and east steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice, which generalizes the usual Tamari lattice obtained when m=1. We prove that the number of intervals in this lattice is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This formula was recently conjectured by Bergeron in connection with the study of coinvariant spaces. The case m=1 was proved a few years ago by Chapoton. Our proof is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. The solution of this equation is an algebraic series, obtained by a guess-and-check approach. Finding a bijective proof remains an open problem.

研究动机与目标

• 计算 $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中区间的数量，该格是经典 Tamari 格在 $m$-投票路径上的推广。
• 解决 F. Bergeron 提出的关于 $m$-Tamari 格中区间计数的猜想，该猜想源于对角不变量空间的研究。
• 为 $\mathcal{T}_n^{(m)}$ 中的区间建立递归结构，该结构可转化为一个带催化参数的函数方程，用于追踪与直线 $x = my$ 的接触次数。
• 提供一种系统化方法以计算区间的生成函数，并证明其代数性，从而导出闭式表达式。

提出的方法

• 作者将 $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 定义为在 $m$-投票路径上覆盖关系的传递闭包，其中将一个东步后接一个北步的组合，替换为一个最小的 $m$-投票路径因子。
• 通过追踪下路径与直线 $x = my$ 的非初始接触次数，引入催化参数，建立 $\mathcal{T}_n^{(m)}$ 中区间的递归分解。
• 该递归结构导出生成函数 $F(t; x, y)$ 的函数方程，其中 $x$ 用于追踪催化参数，$y$ 用于追踪上路径的初始上升。
• 利用关于带催化参数的函数方程的代数生成函数的一般定理，证明解为代数函数，并通过猜想法推导出一般 $m$ 的闭式生成函数。
• 通过追踪上路径的初始上升，丰富了计数方法，并发现该参数与下路径非初始接触次数的联合分布存在令人惊讶的对称性。
• 最终公式通过求解函数方程并验证多项式表达式中的可除性条件得出，从而得到 $f_n^{(m)}$ 的闭式表达。

实验结果

研究问题

• RQ1 对于一般的 $m$ 和 $n$，$m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中区间的精确数量是多少？
• RQ2 能否严格证明来自对角不变量空间理论的 $m$-Tamari 格中区间计数的猜想公式？
• RQ3 是否存在 $m$-Tamari 区间与组合结构（如三角剖分或移动图）之间的双射对应，从而推广 $m=1$ 时已知的双射？
• RQ4 为何下路径的非初始接触次数与上路径初始上升的联合分布表现出对称性？其组合意义是什么？
• RQ5 区间的 $q$-模拟是什么？它与区间中最长链的长度有何关系？

主要发现

• 在 $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中，区间的数量由闭式公式 $f_n^{(m)} = \frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1}$ 给出。
• 该公式推广了 $m=1$ 时 Chapoton 的结果，此时 $\mathcal{T}_n$ 中区间的数量为 $\frac{2}{n(n+1)}\binom{4n+1}{n-1}$。
• 区间的生成函数是代数函数，这由关于带催化参数的函数方程的一般定理保证。
• 在上路径初始上升与下路径非初始接触次数的联合分布中发现了一种对称性，但其组合起源尚不明确。
• 作者验证了推导过程中涉及的多项式表达式可被 $i(i-1)$ 整除，从而确保了最终公式的有理性。
• 该结果证实了 F. Bergeron 关于与对角不变量空间相关的某些分次环维数的猜想。