[論文レビュー] 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}$であることを確立している。証明は区間の再帰的分解に基づき、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)}$におけるラベル付き区間の列挙に関する予想を証明すること。
• そのようなラベル付き区間の数に対する閉形式の公式を確立すること。この公式は、3組の変数における一般化多項式環の次元に関連すると予想されている。
• 再帰的構造と母関数に基づく双対的でない証明を提供することにより、代数的組合せ論における主要な未解決問題に対処すること。

提案手法

• $\mathcal{T}_n^{(m)}$における区間の再帰的記述を、特定の経路条件の下で東歩行と北歩行を入れ替える被覆関係に基づいて導出すること。
• サイズとラベル構造を追跡する変数を用いて、ラベル付き区間の数を符号化する母関数$F(t;x,y)$を定義すること。
• 再帰的構造から導かれる関数方程式を、2つの補助変数における微分と差分商を含む形で定式化すること。
• 生成関数の特異点をパラメータ化するため、方程式$(1+u_i)^{m+1} = u_i^m v$の根$u_0, \dots, u_m$を補助変数として導入すること。
• 生成関数の構造を用いて、$\Phi_k(v)$および根$u_i$の対称関数を用いて$F(t;x,y)$の式を導出し、係数抽出を可能にする。
• 級数展開と対称関数の恒等式（特に単項対称関数$m_\lambda$を含む）の鋭い操作を通じて関数方程式を解くこと。

実験結果

リサーチクエスチョン

• RQ1 $\mathcal{T}_n^{(m)}$におけるラベル付き区間の正確な数は何か。ただし、上部経路における連続する北歩行に沿ってラベルが増加すると仮定する。
• RQ2 $m$-ボールォット経路およびその区間ラティスの構造は、3組の変数における一般化コインvariant環とどのように関係するか。
• RQ3 区間の再帰的分解から導かれる関数方程式を明示的に解くことができ、生成関数の閉形式表現を得られるか。
• RQ4 なぜラベル付き区間の数が$(m+1)^n (mn+1)^{n-2}$の形をとるのか。この式の背後にある代数的または組合せ論的構造は何か。
• RQ5 この列挙公式に双対的解釈は存在するのか。それとも、現在の非双対的証明が唯一現実的なアプローチなのであろうか。

主な発見

• $\mathcal{T}_n^{(m)}$におけるラベル付き区間の数は、正確に$(m+1)^n (mn+1)^{n-2}$である。これはBergeronの予想を確認するものである。
• ラベル付き区間の数の生成関数は、2つの補助変数における微分と差分商を含む関数方程式を満たす。
• 関数方程式の解は、方程式$(1+u_i)^{m+1} = u_i^m v$の根$u_i$の対称関数と、関数$\Phi_k(v)$の系列を用いて構成され、導出において中心的な役割を果たす。
• 生成関数$F(t;x,y)$は、$\Phi_k(v)$および根$u_i$の対称関数の和として表現され、留数に類似した操作により係数抽出が可能になる。
• 公式$(m+1)^n (mn+1)^{n-2}$は、既知の例（$m=1$：古典的Tamariラティス、$m=2$）と整合しており、Mapleを用いた計算的検証も行われている。
• 関数方程式の$q$-類似が提案され、区間内の最大チェーン長を追跡するが、係数は単純に因数分解されないため、精密な列挙における複雑さが示唆されている。