[论文解读] Tamari lattices and parking functions: proof of a conjecture of F. Bergeron

Mireille Bousquet‐Mélou, Guillaume Chapuy+1 more|arXiv (Cornell University)|Sep 12, 2011

Advanced Combinatorial Mathematics参考文献 19被引用 6

一句话总结

本文證明了 F. Bergeron 對 $m$-Tamari 格中標記區間計數的猜想，確立了大小為 $n$ 的此類區間數量為 $(m+1)^n (mn+1)^{n-2}$。證明基於區間的遞歸分解，導出涉及兩個輔助變數的導數與差分的函數方程，並透過高階生成函數技術求解，但尚未找到雙射證明。

ABSTRACT

An m-ballot path of size n is a path on the square grid consisting of north and east unit 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 and denoted by T_n^(m), which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of coinvariant spaces. He conjectured several intriguing formulas dealing with the enumeration of intervals in this lattice. One of them states that the number of intervals in T_n^(m) is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This conjecture was proved recently, but in a non-bijective way, while its form strongly suggests a connection with plane trees. Here, we prove another conjecture of Bergeron, which deals with the number of labelled, intervals. An interval [P,Q] of T_n^(m) is labelled, if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. We prove that the number of labelled intervals in T_n^(m) is $$ {(m+1)^n(mn+1)^{n-2}}. $$ The form of these numbers suggests a connection with parking functions, but our proof is non-bijective. It is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. This equation involves a derivative and a divided difference, taken with respect to two additional variables. Solving this equation is the hardest part of the paper. Finding a bijective proof remains an open problem.

研究动机与目标

• 證明 F. Bergeron 對 $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中標記區間計數的猜想。
• 建立此類標記區間數量的封閉形式公式，該公式猜想與三組變數的推廣多項式環維數相關。
• 基於遞歸結構與生成函數，提供非雙射證明，解決代數組合學中的一個關鍵開放問題。

提出的方法

• 根據特定路徑條件下交換東向與北向步驟所定義的覆蓋關係，推導 $\mathcal{T}_n^{(m)}$ 中區間的遞歸描述。
• 定義生成函數 $F(t;x,y)$，以編碼區間數量，其中變數用於追蹤大小與標記結構。
• 根據遞歸結構，建立涉及導數與兩個輔助變數差分的函數方程。
• 引入輔助變數 $u_0, \dots, u_m$，使其為方程 $(1+u_i)^{m+1} = u_i^m v$ 的根，用以參數化生成函數的奇點。
• 利用生成函數的結構，推導 $F(t;x,y)$ 以 $\Phi_k(v)$ 及根 $u_i$ 的對稱函數表示，進而實現係數提取。
• 透過仔細處理級數展開與對稱函數恆等式（特別是單項對稱函數 $m_\lambda$）來求解函數方程。

实验结果

研究问题

• RQ1 在 $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中，標記區間的確切數量為何，其中標記沿上路徑連續的北向步驟遞增？
• RQ2 $m$-投票路徑及其區間格的結構如何與三組變數的推廣對偶環相關？
• RQ3 能否顯式求解由區間遞歸分解導出的函數方程，以獲得生成函數的封閉形式表達式？
• RQ4 為何標記區間的數量呈現 $(m+1)^n (mn+1)^{n-2}$ 的形式？其背後的代數或組合結構為何？
• RQ5 此計數公式是否存在雙射解釋，抑或目前的非雙射證明是唯一可行的方法？

主要发现

• $m$-Tamari 格 $\mathcal{T}_n^{(m)}$ 中標記區間的數量確為 $(m+1)^n (mn+1)^{n-2}$，證實了 Bergeron 的猜想。
• 標記區間數量的生成函數滿足一個涉及導數與兩個輔助變數差分的函數方程。
• 函數方程的解透過一組輔助函數 $\Phi_k(v)$ 及方程 $(1+u_i)^{m+1} = u_i^m v$ 的根 $u_i$ 的對稱函數構造，這些是推導的核心。
• 生成函數 $F(t;x,y)$ 表示為 $\Phi_k(v)$ 及根 $u_i$ 對稱函數的和，進而可透過類似留數的運算提取係數。
• 公式 $(m+1)^n (mn+1)^{n-2}$ 與已知情形一致，包括 $m=1$（經典 Tamari 格）與 $m=2$，且已透過 Maple 計算驗證。
• 提出函數方程的 $q$-類比，用以追蹤區間中最大鏈的長度，但係數無法簡單因式分解，暗示細緻計數的複雜性。