[論文レビュー] Inhomogenous Multispecies TASEP on a ring with spectral parameters

Luigi Cantini|arXiv (Cornell University)|Feb 25, 2016

Stochastic processes and statistical mechanics参考文献 19被引用数 4

ひとこと要約

本稿は、スペクトルパラメータを伴う輪状の不均一マルチスペーシーズTASEPを導入し、ヤン・バクスター可解性を確立し、非正規化定常測度の正確な公式を導出する。主な貢献は、粒子パラメータ $τ$ と $ν$ に関する二重シューベルト多項式への定常確率の因数分解であり、モデルの定常分布の背後にある深い代数的構造を明らかにする。

ABSTRACT

We study an inhomogenous multispecies version of the Totally Asymmetric Simple Exclusion Process (TASEP) on a periodic oriented one dimensional lattice, which depends on two sets of parameters $({\bf τ},{\bf ν})$, attached to the particles. After discussing the Yang-Baxter integrability of our model, we study its (unnormalized) stationary measure. Motivated by the integrability of the model we introduce a further set of spectral parameters ${\bf z}$, attached to the sites of the lattice, and we uncover a remarkable underlying algebraic structure. We provide exact formulas for the stationary measure and prove the factorization of the stationary probability of certain configurations in terms of double Schubert polynomials in $({\bf τ},{\bf ν})$.

研究の動機と目的

• 周期的1次元格子上の不均一マルチスペーシーズTASEPの定常測度を、$\boldsymbol{\tau}$ と $\boldsymbol{\nu}$ でパrameter化された非対称なジャンプレートを用いて研究すること。
• モデルのヤン・バクスター可解性を確立し、正確な可解性を可能にする。
• 格子サイトにスペクトルパラメータ $\bf{z}$ を導入し、背後にある代数的構造を明らかにする。
• 非正規化定常測度の正確な公式を導出し、$\boldsymbol{\tau}$ と $\boldsymbol{\nu}$ に関する二重シューベルト多項式への因数分解を証明すること。

提案手法

• モデルは $N$ 個のサイトを持つ輪上で定義され、各スピン種に対して1つの粒子を持つ。$\alpha < \beta$ のとき、非対称遷移レート $r_{\alpha,\beta} = \tau_\alpha - \nu_\beta$ を用い、排他則と非対称性を保証する。
• ヤン・バクスター可解性は、ヤン・バクスター方程式を満たすR行列の存在により確認され、モデルの可解性を保証する。
• 格子サイトにスペクトルパラメータ $\bf{z}$ を導入し、定常測度の生成関数を構成する。
• 定常測度は、有理関数の積と生成関数 $F(w)$ を含む contour 積分表現で表され、係数は差分作用素を用いて導出される。
• 対称関数と差分作用素 $\partial_i$ を用いて代数的構造を分析し、対称性および因数分解性を証明する。
• 因数分解の証明は、contour 積分と留数恒等式にかかわる技術的補題に依存しており、特に多項式の次数の議論により、ある種の対称和が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 不均一マルチスペーシーズTASEPの輪状モデルにおける定常測度は、代数的多項式の観点からどのように因数分解されるか？
• RQ2 スペクトルパラメータ $\bf{z}$ は、定常測度の背後にある代数的構造を明らかにする上で果たす役割は何か？
• RQ3 定常確率はパラメータ $\boldsymbol{\tau}$ と $\boldsymbol{\nu}$ に関する二重シューベルト多項式として表現可能か？
• RQ4 モデルのヤン・バクスター可解性は、定常測度の因数分解とどのように関係するか？
• RQ5 一般の不均一ケースにおいて、定常測度とシューベルト多項式の組合せ論的性質との関係は何か？

主な発見

• 任意の配置 $\bf{w}$ に対する非正規化定常確率 $\psi_{\bf w}(\boldsymbol{\tau}, \boldsymbol{\nu})$ は、パラメータ $\boldsymbol{\tau}$ と $\boldsymbol{\nu}$ に関する二重シューベルト多項式の積に因数分解され、正確な代数的公式が得られる。
• 定常測度は差分作用素の作用に関して対称であることが示され、シューベルト多項式への因数分解に不可欠である。
• 格子サイトにスペクトルパラメータ $\bf{z}$ を導入することで、contour 積分を用いて定常測度を完全に符号化する生成関数の構成が可能になる。
• 証明は、留数の対称和の消滅にかかわる重要な恒等式に依存しており、多項式の次数の議論と contour 積分により確立される。
• 本モデルは、以前の結果を一般化する：$\nu_\alpha = 0$ のとき、定常確率は $\boldsymbol{\tau}$ に関する正の整数係数のシューベルト多項式の組み合わせに簡略化され、Lam と Williams の予想を裏付ける。
• 定常測度は行列積アンザッツの枠組みを用いて導出され、一般ケースでは代数的構造がザモロドチコフの四面体方程式に関連している。