[論文レビュー] Occupied corners in tree-like tableaux

Patxi Laborde Zubieta|arXiv (Cornell University)|May 22, 2015

Advanced Combinatorial Mathematics参考文献 9被引用数 12

ひとこと要約

この論文は、サイズ $ n $ の木構造的テーブルックスに対して、平均してちょうど1つの占拠されたコーナー（南東辺境の点を含むコーナー）を含むことを確立している。著者らは2つの証明を提示する：簡潔な多項式に基づく議論と、追加の構造的性質を明らかにする置換との双対写像を用いた証明である。この結果は、対称的木構造的テーブルックスおよび同値類へと拡張され、統計力学におけるPASEPモデルへの応用があり、その場合、一様重みのもとで各状態におけるジャンプ位置の平均は $ \frac{n+2}{3} $ であることを示唆している。

ABSTRACT

Tree-like tableaux are combinatorial objects that appear in a combinatorial understanding of the PASEP model from statistical mechanics. In this understanding, the corners of the Southeast border correspond to the locations where a particle may jump to the right. Such corners may be of two types: either empty or occupied. Our main result is the following: on average there is one occupied corner per tree-like tableau. We give two proofs of this, a short one which gives us a polynomial version of the result, and another one using a bijection between tree-like tableaux and permutations which gives us an additional information. Moreover, we obtain the same result for symmetric tree-like tableaux and we refine our main result to an equivalence class. Finally we present a conjecture enumerating corners, and we explain its consequences for the PASEP.

研究の動機と目的

• サイズ $ n $ の木構造的テーブルックスにおける占拠されたコーナーの平均数を特定すること。
• 結果を対称的木構造的テーブルックスおよびテーブルックスの同値類に拡張すること。
• テーブルックスにおけるコーナー統計とPASEPモデルにおける粒子ジャンプ位置との関係を調査すること。
• 木構造的テーブルックスおよびその対称的対応物におけるコーナー総数に関する予想を定式化し、検証すること。

提案手法

• 占拠されたコーナーの数の多項式版を用いた短い証明により、各テーブルックスあたり平均1つの占拠されたコーナーが存在することを確立する。
• 木構造的テーブルックスと置換との間の双対写像に基づく第二の証明で、交差を一般化されたパターン 2-31 の出現に写像する。
• 点の位置に基づくテーブルックス上の同値関係の定義により、各同値類にちょうど1つの占拠されたコーナーが存在することを示す。
• 格子路表現を用いて主結果を再定式化し、与えられた路の下に弱くあるルートと共通のコーナーを結ぶ双対写像による証明を提示する。
• 重み付き和 $ w(T) = q^{cr(T)}\alpha^{-tp(T)}\beta^{-lp(T)} $ を用いて、テーブルックスにおけるコーナー数とPASEPモデルの定常分布を結びつける。
• Sageを用いたコンピュータ探索により、$ \mathcal{T}_n $ および $ \mathcal{T}^{\text{Sym}}_{2n+1} $ における総コーナー列挙に関する予想を支援する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ n $ の一様ランダムな木構造的テーブルックスにおける占拠されたコーナーの期待値は何か？
• RQ2 木構造的テーブルックスを構築するために用いられる挿入アルゴリズムにおいて、占拠されたコーナーの数はどのように振る舞うか？
• RQ3 置換との双対写像を用いることで、占拠されたコーナーの平均数をより精緻に記述できるか？また、これによりどのような追加統計的性質が明らかになるか？
• RQ4 この結果は対称的木構造的テーブルックスへと拡張可能か？その場合、占拠されたコーナーの平均数はどのように振る舞うか？
• RQ5 サイズ $ n $ のすべての木構造的テーブルックスにおけるコーナーの総数は何か？また、これはPASEPのジャンプ位置とどのように関係するか？

主な発見

• サイズ $ n $ の木構造的テーブルックスに対して、平均してちょうど1つの占拠されたコーナーが存在する。これは $ n $ に依存しない。
• サイズ $ 2n+1 $ の対称的木構造的テーブルックスに対しても、平均して1つの占拠されたコーナーが存在する。
• 同値類の細分化により、各同値類にちょうど1つの占拠されたコーナーが存在することが示され、主結果がさらに精緻化される。
• サイズ $ n $ のすべての木構造的テーブルックスにおけるコーナーの総数は、コンピュータ探索に基づき $ n! \times \frac{n+4}{6} $ であると予想されている。
• PASEPモデルにおいて $ \alpha = \beta = q = 1 $ のとき、各状態におけるジャンプ位置（右または左）の期待値は $ \frac{n+2}{3} $ である。これはコーナー数から導かれる。
• サイズ $ 2n+1 $ の対称的木構造的テーブルックスにおけるコーナーの数は、$ 2^n \times n \times \frac{4n+13}{12} $ であると予想されている。