[論文レビュー] Inhomogeneous discrete-time exclusion processes

Nicolas Crampé, K. Mallick+2 more|arXiv (Cornell University)|Jun 16, 2015

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

ひとこと要約

本稿では、可積分な量子スピン系から導かれる非一様な転送行列を用いて、周期的および開放境界を持つ格子上の非一様な離散時間排除過程を導入する。定常状態に対する行列積アンザッツを確立し、正規化因子をシューア多項式として表現し、バーティ・ルートとリー＝ヤン零点の間の新たな関係を明らかにすることで、均一でないモデルを超えて可積分な確率過程を拡張する。

ABSTRACT

We study discrete time Markov processes with periodic or open boundary conditions and with inhomogeneous rates in the bulk. The Markov matrices are given by the inhomogeneous transfer matrices introduced previously to prove the integrability of quantum spin chains. We show that these processes have a simple graphical interpretation and correspond to a sequential update. We compute their stationary state using a matrix ansatz and express their normalization factors as Schur polynomials. A connection between Bethe roots and Lee-Yang zeros is also pointed out.

研究の動機と目的

• 非一様な遷移率を系の内部に導入することで、均一でない排除モデルを超えて可積分な確率過程を拡張すること。
• 非一様な転送行列を用いて、周期的および開放境界条件を満たす離散時間マルコフ過程を構築すること。
• ザモロドチコフ＝ファドデエフおよびゴーシャル＝ザモロドチコフの関係に基づく行列積アンザッツを用いて、定常状態の正確な表現を導出すること。
• 定常測度の正規化因子をシューア多項式として表現し、統計力学と対称関数論の間の接続を確立すること。
• バーティ方程式の根と正規化関数の零点の間の驚くべき関係を解明すること、その解釈を相転移の文脈でリー＝ヤング零点として行うこと。

提案手法

• 動的挙動は非一様な転送行列によって定義され、可換なマルコフ行列を生成し、可積分性を保証する。
• 転送行列の構造から図的に更新則が導かれ、確率的遷移則の明示的構成が可能になる。
• 開境界の場合に、量子可積分性の代数的関係（ザモロドチコフ＝ファドデエフおよびゴーシャル＝ザモロドチコフの関係）を用いて行列積アンザッツを適用する。
• 定常状態の正規化因子は、$ z_j $ に依存する表現から導かれる行ベクトルを含む行列式として計算され、その後シューア多項式として表現される。
• 行列式展開の係数が再帰関係 $ C_n = (a+b)C_{n-1} - ab C_{n-2} $ を満たし、解が $ C_n = \frac{a^n - b^n}{a - b} $ で与えられることを示し、直交多項式構造と関連付ける。
• 可積分モデルのバーティ・ルートは、正規化関数の零点と関係づけられ、熱力学的極限においてリー＝ヤング零点として解釈される。

実験結果

リサーチクエスチョン

• RQ1 非一様な遷移率を、可積分性を保ちつつ離散時間排除過程に一貫して導入する方法は何か？
• RQ2 開放または周期的境界を持つ非一様排除過程の定常状態の構造はいかなるものか？
• RQ3 定常測度の正規化因子を対称多項式で表現できるか。もし可能であれば、どのような多項式か？
• RQ4 バーティ方程式の解と正規化関数の零点の間には、より深い代数的または物理的関係があるか？
• RQ5 行列積アンザッツは非一様モデルにどのように一般化され、その有効性を支える代数的関係は何か？

主な発見

• 非一様な離散時間排除過程の定常状態は、開境界および周期的境界条件の両方に対して、行列積アンザッツを用いて正確に構成された。
• 定常測度の正規化因子は、非一様パラメータ $ z_i $ に関するシューア多項式として表現され、対称関数論と接続された。
• すべての非一様パラメータ $ z_i = 1 $ の場合、定常測度は標準的な TASEP のものに還元され、既知の結果と整合することが確認された。
• バーティ方程式の根と正規化関数の零点の間の新たな関係が発見され、相転移の文脈でリー＝ヤング零点として解釈された。
• 正規化因子の行列式展開における係数は再帰関係 $ C_n = (a+b)C_{n-1} - ab C_{n-2} $ を満たし、閉形式解 $ C_n = \frac{a^n - b^n}{a - b} $ を持つことが示され、量子群の対称性に由来する構造を反映している。
• 転送行列の分解による更新則の図的解釈は、確率的ダイナミクスと整合する逐次的更新メカニズムを明らかにした。