[論文レビュー] 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$-ボールトパスに一般化された古典的タマリラティスの$ m $-タマリラティスにおける区間の数について閉形式の公式を確立している。区間の再帰的分解と、接触を追跡するキャタリティックパラメータを含む関数方程式を用いて、代数的母関数を導出し、区間の数が$\frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1}$であることを証明した。これは、対角双対不変空間に関連するベルジェロンの予想を確認するものである。

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 $-ボールトパスに一般化された古典的タマリラティスである$ m $-タマリラティス$ \mathcal{T}_n^{(m)} $における区間の数を数えること。
• 対角双対不変空間の研究に現れる、F. ベルジェロンによる$ m $-タマリラティスにおける区間の数の数え上げに関する予想を解明すること。
• $ \mathcal{T}_n^{(m)} $における区間の再帰的構造を構築し、直線$ x = my $との接触を追跡するキャタリティックパラメータを含む関数方程式に翻訳すること。
• 区間の母関数を体系的に計算し、その代数的性を証明する方法を提供し、閉形式の式に至ること。

提案手法

• 著者らは、$ m $-ボールトパス上で、東方向のステップに続く北方向のステップが、最小の$ m $-ボールトパス要因に置き換えられる被覆関係の推移的閉包として、$ m $-タマリラティス$ \mathcal{T}_n^{(m)} $を定義する。
• 下位のパスが直線$ x = my $と非初期接触する回数を追跡することで、$ \mathcal{T}_n^{(m)} $における区間の再帰的分解を確立し、母関数にキャタリティックパラメータを導入する。
• 再帰的構造により、母関数$ F(t; x, y) $の関数方程式が得られ、ここで$ x $はキャタリティックパラメータを、$ y $は上位パスの初期上昇を追跡する。
• 一般の代数的母関数に関する定理を用いて、解が代数的であることを証明し、一般の$ m $に対して閉形式の母関数を導出するための「推測と検証」のアプローチを適用する。
• 上位パスの初期上昇を追跡することで、数え上げを豊かにし、下位パスの非初期接触回数とこのパラメータの関連分布に驚くべき対称性が存在することを発見する。
• 最終的な式は、関数方程式を解き、多項式表現における可除性条件を検証することで得られ、$ f_n^{(m)} $の閉形式表現に至る。

実験結果

リサーチクエスチョン

• RQ1 一般の$ m $と$ n $に対して、$ m $-タマリラティス$ \mathcal{T}_n^{(m)} $における区間の正確な数は何か？
• RQ2 対角双対不変空間理論に由来する$ m $-タマリラティスにおける区間の数の予想された公式を、厳密に証明できるか？
• RQ3 $ m=1 $の既知の双対写像を一般化して、$ m $-タマリラティスの区間と三角形分割やモービルなどの組合せ的構造との間の双対写像が存在するか？
• RQ4 下位パスの非初期接触回数と上位パスの初期上昇の関連分布が対称性を示す理由は何か？その組合せ的意味は何か？
• RQ5 区間数の$ q $-アナロジーは何か？また、その長さが区間内の最長鎖にどのように関係するか？

主な発見

• $ m $-タマリラティス$ \mathcal{T}_n^{(m)} $における区間の数は、閉形式の公式$ f_n^{(m)} = \frac{m+1}{n(mn+1)}\binom{(m+1)^2n + m}{n-1} $で与えられる。
• この公式は、$ m=1 $のときのチャポトンの結果を一般化しており、$ \mathcal{T}_n $における区間の数が$ \frac{2}{n(n+1)}\binom{4n+1}{n-1} $であることを示している。
• 区間の母関数は、キャタリティックパラメータを含む関数方程式に関する一般定理によって保証される代数的性を持つ。
• 上位パスの初期上昇と下位パスの非初期接触回数の関連分布に、驚くべき対称性が発見されたが、その組合せ的起源はまだ説明されていない。
• 導出に用いられる多項式表現が$ i(i-1) $で割り切れることが検証され、最終的な公式の有理数性が保証された。
• 本結果は、対角双対不変空間に関連する特定の次数付き環の次元に関するF. ベルジェロンの予想を確認するものである。