[论文解读] Sur le nombre d'intervalles dans les treillis de Tamari

Frédéric Chapoton|arXiv (Cornell University)|Feb 17, 2006

Language, Linguistics, Cultural Analysis参考文献 5被引用 49

一句话总结

本文通过区间的递归分解，提供了Tamari格中区间的闭式枚举，并引入了“新区间”这一概念——即不包含在associahedron低维面内的区间。文章推导出区间总数与新区间数的显式公式，建立了与树索引系列的联系，并在基于dendriform-operad的形式幂级数群中计算了两个特殊生成函数的逆。

ABSTRACT

We enumerate the intervals in the Tamari lattices. For this, we introduce an inductive description of the intervals. Then a notion of "new interval" is defined and these are also enumerated. A a side result, the inverse of two special series is computed in a group of tree-indexed series.

研究动机与目标

• 推导出所有 $n \geq 1$ 的Tamari格 $Y_n$ 中区间的数量。
• 通过递归归纳构造，定义并计数“新区间”——即不来自associahedron低维面的区间。
• 在树索引形式级数群的正式群中，计算两个特殊生成函数的逆，该群支撑区间的枚举。
• 通过共享的组合序列，建立区间枚举与平面图枚举之间的联系。
• 使用带有左边界参数 $x$ 的细化生成函数，为 $Y_n$ 中区间的数量提供闭式公式。

提出的方法

• 引入一个细化生成函数 $\Phi(x,y)$，用于追踪以区间上界 $T$ 的左边界长度 $\mathsf{L}(T)$ 加权的 $Y_n$ 中的区间数量。
• 推导出 $\Phi$ 的函数方程：$\Phi = x^2y(1 + \Phi/x)(1 + (\Phi - \phi)/(x - 1))$，其中 $\phi$ 为普通生成函数。
• 利用 $\phi$ 对 $x$ 依赖性的不变性，推导出决定 $\Phi$ 的微分方程。
• 将“新区间”定义为不包含在associahedron任意真面内的区间，并通过与根树的双射，构造其生成系列 $\psi$。
• 应用基于树的分解，将生成系列 $\psi$ 表示为根树 $A$ 的和，其中各项涉及基系列 $\nu$ 的导数。
• 引入一个双变量生成系列 $\boldsymbol{\Psi}(z,y)$，其满足偏微分方程 $\partial_z \boldsymbol{\Psi} = (\partial_y \boldsymbol{\Psi}) \boldsymbol{\Psi}$，从而导出 $\nu$ 的代数方程。

实验结果

研究问题

• RQ1 Tamari格 $Y_n$ 中区间的闭式公式是什么？
• RQ2 如何表征并计数 $Y_n$ 中的“新区间”——即不包含在associahedron任意低维面内的区间？
• RQ3 区间的生成函数的代数结构是什么？它如何与树索引形式级数群中特殊级数的逆相关联？
• RQ4 细化生成函数 $\Phi(x,y)$（追踪左边界长度）如何编码完整的区间计数，并导出闭式公式？
• RQ5 Tamari格中区间的枚举与特定类平面图的枚举之间存在何种联系？

主要发现

• Tamari格 $Y_n$ 中区间的数量由闭式公式给出：$|\mathcal{I}_n| = \frac{2(4n+1)!}{(n+1)!(3n+2)!}$。
• 在 $Y_n$ 中“新区间”的数量为 $\sum_{T \in P_n} N_T$，其中 $P_n$ 是具有 $n+1$ 片叶子的平面树的集合，且 $N_T = \prod_{s \in \text{int}(T)} N_{v(s)-2}$，其中 $N_k = \frac{2(4k+1)!}{(k+1)!(3k+2)!}$。
• 新区间数量的生成函数 $\nu(y)$ 满足代数方程 $16\nu^2 - (1 - 12y - 8y^2)\nu + y^2 - 11y^3 - y^4 = 0$，由此导出闭式表达：$\nu = \frac{1}{32}\left(-1 + 12y + 8y^2 + \sqrt{(1 - 8y)^3}\right)$。
• 在树索引形式级数群中，两个特殊级数的逆被计算出来，这对推导区间的递归结构起到了关键作用。
• 细化生成函数 $\Phi(x,y)$ 满足一个函数方程，当求解时，可导出 $|\mathcal{I}_n|$ 的闭式公式。
• 通过共享的组合序列，确认了Tamari区间枚举与平面图枚举之间的联系，该发现与先前工作[3]中的观察一致。