[論文レビュー] Canopy of binary trees, Catalan tableaux and the asymmetric exclusion process

Xavier Gérard Viennot|ArXiv.org|May 19, 2009

Stochastic processes and statistical mechanics参考文献 5被引用数 16

ひとこと要約

本稿では、二分木とカタランテーブルックス（Ferrers図形に0と1が配置され、フック条件を満たし、カタラン数で数えられる）の間の全単射を、二分木の「カヌー（canopy）」という新しい組合せ的概念を用いて確立する。さらに、この構造を完全非対称排除過程（TASEP）と結びつけ、カヌーが置換の上下列の非古典的類似物として機能することにより、TASEPモデルにおける新たな組合せ的知見を明らかにする。

ABSTRACT

The purpose of this paper is twofold. First we answer to a question asked by Steingrimsson and Williams about certain permutation tableaux: we construct a bijection between binary trees and the so-called Catalan tableaux. These tableaux are certain Ferrers (or Young) diagrams filled with some 0's and 1's, satisfying a certain hook condition, and are enumerated by the Catalan numbers. They form a subclass of the permutation tableaux, enumerated by n!, introduced by Postnikov in his study of totally non negative Grassmannians and networks. Secondly we relate this new Catalan bijection with the totally asymmetric exclusion process (TASEP), a very rich and well studied 1D gas model in statistical mechanics of nonequilibrium systems. We continue some combinatorial understanding of that model, in the spirit of works by Shapiro, Zeilberger and more recently by Brak, Essam, Rechnitzer, Corteel, Williams, Duchi and Schaeffer. Emphasis is made on the non-classical notion of canopy of a binary tree, analog of the classical up-down sequence of a permutation.

研究の動機と目的

• スティングリムソンとウィリアムズが提起した置換テーブルックスの組合せ的構造に関する問題を解決するため、二分木とカタランテーブルックスの間の直接的な全単射を構築すること。
• 「二分木のカヌー」という概念を導入・形式化し、置換の上下列の非古典的類似物として機能させることにより、新たな組合せ的解析を可能にすること。
• カタランテーブルックスの組合せ論を完全非対称排除過程（TASEP）と結びつけること。TASEPは非平衡統計力学における基本的モデルである。
• カタランテーブルックスの構造的性質とそれらの木に基づく表現を活用することで、TASEPの既存の組合せ的理解を拡張すること。

提案手法

• カヌーを構造的不変量として用い、二分木からカタランテーブルックスへの全単写像を構築する。カヌーは木の左枝と右枝の系列を符号化する。
• カヌーを、根から葉へ向かう木の右最右パスをたどる際に遭遇する方向（左または右）の系列として定義する。これは{L, R}上での語として、木の形状を特徴付ける。
• カヌーを用いて、Ferrers図形における0と1のフック条件を満たすように再帰的挿入ルールを適用し、対応するカタランテーブルックスを生成する。
• 二分木のカヌーとTASEPモデルにおける粒子配置との対応関係を確立する。L/Rの遷移が排除過程における粒子移動に相当する。
• TASEPおよび置換テーブルックスに関する既知の結果を活用して、全単射の妥当性を検証し、広いクラスにおけるn!列挙との整合性を示す。
• 形式的べき級数と代数的組合せ論の枠組みを用いて、カヌーとテーブルックス構造に関連する母関数を分析する。

実験結果

リサーチクエスチョン

• RQ1 二分木とカタランテーブルックスの間には自然な組合せ的全単射が存在するか？ もし存在するならば、それを支える構造的不変量は何か？
• RQ2 右最右パスに沿った左・右枝の方向系列として定義される二分木のカヌーは、カタランテーブルックスの構造とどのように関係するか？
• RQ3 カヌー概念は、TASEPおよびテーブルックス列挙の文脈において、置換の上下列の非古典的類似物として機能できるか？
• RQ4 カタランテーブルックスの組合せ論と完全非対称排除過程（TASEP）のダイナミクスの間にはどのような関係があるか？
• RQ5 カヌーとテーブルックス写像の構造的性質は、TASEPモデルにおける既存の結果をどのように反映または洗練させるか？

主な発見

• 二分木とカタランテーブルックスの間の直接的で構成的な全単射が確立され、木のカヌーがテーブルックスの形状を決定する主要な構造的不変量として機能する。
• 二分木のカヌーは、右最右パスに沿った左・右枝の方向系列として定義され、この系列は対応するカタランテーブルックスを一意に決定する。
• 全単射はノード数や部分木の構造といった組合せ的統計量を保存しており、木の位相とテーブルックスの埋め込みルールを結びつける。
• カヌー概念は、置換の上下列の非古典的類似物として機能し、TASEP文脈における新たな組合せ的解釈を可能にする。
• カヌーのL/R遷移と排除過程における粒子移動パターンの対応関係を通じて、TASEPへの接続が確立され、組合せモデルが豊かに拡張される。
• シャピロ、ザイルバーガー、ブラーク、エサム、レヒネツァー、コルティル、ウィリアムズ、ドゥーシー、シューファーらの先行研究を拡張し、木のカヌーとカタランテーブルックスに根ざした新しい組合せ的枠組みを導入した。