[論文レビュー] Matrix ansatz and combinatorics of the $k$-species PASEP

Olya Mandelshtam|arXiv (Cornell University)|Aug 17, 2015

Stochastic processes and statistical mechanics参考文献 10被引用数 7

ひとこと要約

本稿は、1次元格子上に重みが異なる$k$種類の粒子が存在する一般化された$k$-種類PASEPモデルを導入し、境界では最も重い粒子のみが出入り可能で、隣接する異なる重みの粒子はレートに依存したルールで交換する。行列アンツァツを用いて定常状態確率の正確な式を導出し、それらの確率の組合せ的解釈として$k$-rhombic alternative tableaux（$k$-RAT）を定義した。これは、単一および二種類のPASEPに関する先行研究を拡張するものである。

ABSTRACT

We study a generalization of the partially asymmetric exclusion process (PASEP) in which there are $k$ species of particles of varying weights hopping right and left on a one-dimensional lattice of $n$ sites with open boundaries. In this process, only the heaviest particle type can enter on the left of the lattice and exit from the right of the lattice. In the bulk, two adjacent particles of different weights can swap places. We prove a Matrix Ansatz for this model, in which different rates for the swaps are allowed. Based on this Matrix Ansatz, we define a combinatorial object which we call a $k$-rhombic alternative tableau, which we use to give formulas for the steady state probabilities of the states of this $k$-species PASEP. We also describe a Markov chain on the 2-rhombic alternative tableaux that projects to the 2-species PASEP.

研究の動機と目的

• 二種類のPASEPを重みが異なる$k$種類の粒子と非対称な移動レートをもつものに一般化すること。
• 定常状態確率を行列積として表す$k$-種類PASEP用の行列アンツァツを開発すること。
• $k$-rhombic alternative tableaux（$k$-RAT）を定義し、$k$-種類PASEPの定常状態確率を組合せ的モデルとして表現すること。
• 2-RAT上にMarkov連鎖を構築し、それが二種類PASEPに正しく射影されることを示し、定常分布の直接的な動的解釈を提供すること。

提案手法

• 重みが増加する$k$種類の粒子をもつ$n$サイトの格子上での開境界をもつ連続時間Markov過程として$k$-種類PASEPを形式化する。
• 定常状態確率が、プロセスのダイナミクスから導かれる特定の代数的関係を満たす演算子を含む行列積として表される行列アンツァツを導入する。
• $k$-rhombic alternative tableaux（$k$-RAT）を、コーナーの種類とストリップ構造を用いて$k$-種類PASEPの配置の重みを符号化する組合せ的対象として定義する。
• 二種類PASEPの遷移レートと一致するように、2-RAT上にMarkov連鎖を構築し、元のプロセスに正しく射影されることを保証する。
• 詳細なバランス方程式を用いて、2-RAT上のMarkov連鎖の定常分布が二種類PASEPの定常分布と一致することを検証する。
• 行列アンツァツとテーブルの構築を活用し、テーブルの重みとパラメータ$\alpha$, $\beta$, $q_i$を用いて定常状態確率の明示的式を導出する。

実験結果

リサーチクエスチョン

• RQ1 レートに依存した交換レートをもつ複数の粒子種類と異なる重みを持つ$k$-種類PASEPに対して、行列アンツァツをどのように拡張できるか。
• RQ2 $k$-種類PASEPの定常状態確率に対応する組合せ的構造は何か。
• RQ3 $k$-RAT上にMarkov連鎖を構築し、その射影が二種類PASEPのダイナミクスを正確に得られるか。
• RQ4 $k$-RATの重みと$k$-種類PASEPの定常状態確率との正確な関係は何か。
• RQ5 $\alpha$, $\beta$, および$q_i$のパラメータが定常分布およびテーブルの重みにどのように影響するか。

主な発見

• 本稿は、プロセスのダイナミクスから導かれる一般化された代数的条件を満たす行列積として定常状態確率を表す$k$-種類PASEP用の行列アンツァツを確立した。
• 著者らは、$k$-rhombic alternative tableaux（$k$-RAT）を組合せ的モデルとして定義し、定常状態確率の明示的解釈を提供した。1-RATは標準的な代替テーブルと一致し、2-RATは菱形代替テーブルに対応する。
• 二種類PASEPに対して、2-RAT上に定常分布が元のPASEPプロセスに正確に射影されるMarkov連鎖を構築した。詳細なバランスを用いた検証により、定常分布が正しく得られることを確認した。
• 配置の定常状態確率は、その配置を符号化するすべての$k$-RATの重みの和に比例し、コーナーの種類とストリップ構造によって重みが決定される。
• 2-RAT上のMarkov連鎖の詳細なバランスの証明により、定常分布がPASEPのダイナミクスと一致することが確認され、$q$-コーナー、内側コーナー、$\alpha$/$\beta$-コーナーの寄与が正しく反映されている。
• 単一および二種類のPASEPに関する先行結果を一般化し、行列アンツァツと組合せ的テーブルのアプローチを統合した、一貫性のある$k$-種類理論を構築した。