[論文レビュー] Stationary probability of the identity for the TASEP on a ring

Erik Aas|arXiv (Cornell University)|Dec 27, 2012

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

ひとこと要約

この論文は、環状の完全非対称単純排他過程（TASEP）における恒等置換の定常確率に関するトーマス・ラムの予想を解決する。マルチラインキュー（MLQ）を用いて定常分布を特徴づけ、順序付き語を表すMLQの数に対する閉形式の公式を導出し、恒等置換の定常確率が文字の順序に依存せず、文字の重複度にのみ依存することを証明する。

ABSTRACT

Consider the following Markov chain on permutations of length $n$. At each time step we choose a random position. If the letter at that position is smaller than the letter immediately to the left (cyclically) then these letters swap positions. Otherwise nothing happens, corresponding to a loop in the Markov chain. This is the circular TASEP. We compute the average proportion of time the chain spends at the identity permutation (and, in greater generality, at sorted words). This answers a conjecture by Thomas Lam.

研究の動機と目的

• 環状TASEPにおける恒等置換の定常確率を計算すること。
• 環状TASEPの定常分布に関して、トーマス・ラムが提起した予想を解明すること。
• マルチラインキューを用いて、任意の重複度型を持つ順序付き語の定常確率公式を一般化すること。
• 順序付き語の定常確率が、文字の順序ではなくその重複度にのみ依存することを確立すること。

提案手法

• 論文は、TASEPの定常分布を符号化する組合せ的道具としてマルチラインキュー（MLQ）を用いる。
• 各有効な配置と特定のタイプの語を関連付けるためのラベル付け手順を定義する。
• 語 $ u $ を表すMLQの数を $[u]$ と表記し、定常確率を $ \pi(u) = [u]/Z_{\mathbf{m}} $ で計算する。ここで $ Z_{\mathbf{m}} $ はタイプ $ \mathbf{m} $ のMLQの総数である。
• 主なステップは、順序付き語 $ w = 1^{m_1}2^{m_2}\dots r^{m_r} $ に対して $[w] = \prod_{i=2}^{r-1} \binom{n - m_i}{m_1 + \cdots + m_{i-1}} $ が成り立つことを、帰納法と二項係数の恒等式を用いて証明することである。
• 特定の語の部分集合に対して変換 $ f(v) = e^{(g(v))} $ を導入し、異なる配置間の数え上げを関連付ける。
• この手法は、粒子毎の遷移確率が異なる非一様TASEPへ一般化され、対称多項式と母関数を用いた公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 任意の粒子重複度を持つ環状TASEPにおける恒等置換の定常確率は何か？
• RQ2 なぜ順序付き語の定常確率が文字の重複度にのみ依存し、順序には依存しないのか？
• RQ3 マルチラインキューを用いて、環状TASEPの定常分布を完全に特徴づけられるか？
• RQ4 異なる遷移確率を持つ非一様TASEPにおいて、順序付き語の定常確率はどのように一般化されるか？
• RQ5 文字の重複度の順序を入れ替えても定常確率が不変であるという性質を裏付ける組合せ的恒等式は何か？

主な発見

• 環状TASEPにおける恒等置換の定常確率は、$ \pi(1^{m_1}2^{m_2}\dots r^{m_r}) = \left( \prod_{i=2}^{r-1} \binom{n - m_i}{m_1 + \cdots + m_{i-1}} \right) / Z_{\mathbf{m}} $ で与えられ、ここで $ Z_{\mathbf{m}} = \prod_{i=1}^r \binom{n}{m_1 + \cdots + m_i} $ である。
• 順序付き語の定常確率は、$ m_1, \dots, m_r $ の重複度にのみ依存し、その順序には依存しない。これは導出された公式によって確認された。
• 特別な場合 $ m_1 = \cdots = m_r = 1 $ に対して、恒等置換の定常確率は $ \binom{n}{1}^{-1} \prod_{i=2}^{n-1} \binom{n-1}{i-1} $ に等しく、ラムの予想を確認する。
• 順序付き語 $ w $ を表すMLQの数は $ [w] = \prod_{i=2}^{r-1} \binom{n - m_i}{m_1 + \cdots + m_{i-1}} $ であり、これは $ m_i $ の順序に依存しない。
• この手法は、粒子毎のレート $ x_i $ が異なる非一様TASEPへも拡張され、対称多項式と二項係数を含む母関数の公式が得られる。
• すべての $ v_i = 1 $ のとき、非一様一般化は均一TASEPのケースに還元され、フレームワークの整合性と普遍性が裏付けられる。