[論文レビュー] The combinatorics of hopping particles and positivity in Markov chains

Lauren Williams|arXiv (Cornell University)|Feb 1, 2022

Advanced Combinatorial Mathematics被引用数 4

ひとこと要約

本稿では、開境界を有する非対称的単純排除過程（ASEP）の定常分布について考察し、階段テーブレットやマルチラインキューといった組合せ的対象を用いて表現可能であることを示し、Askey-Wilson やマクドナルド多項式といった特殊関数とも関連付ける。主な貢献として、マコフ連鎖の木定理により明示的に正の式が得られるが、しばしば非compactであるのに対し、組合せ的式（例えばテーブレットを用いたもの）はcompactではあるが、大きな項の比を含む可能性があることが示されている。

ABSTRACT

The asymmetric simple exclusion process (ASEP) is a model for translation in protein synthesis and traffic flow; it can be defined as a Markov chain describing particles hopping on a one-dimensional lattice. In this article I give an overview of some of the connections of the stationary distribution of the ASEP to combinatorics (tableaux and multiline queues) and special functions (Askey-Wilson polynomials, Macdonald polynomials, and Schubert polynomials). I also make some general observations about positivity in Markov chains.

研究の動機と目的

• 開境界を有するASEPの定常分布を、組合せ的および代数的手段を用いて調査すること。
• ASEPの定常分布と特殊関数（Askey-Wilson、マクドナルド、シューベルト多項式を含む）との関係を確立すること。
• マコフ連鎖の木定理および組合せ的対象から得られる定常分布の公式の正の性質とcompactさを分析すること。
• 特に項の数と共通因数の観点から、定常分布の異なる表現の複雑さを比較すること。
• 定常分布の公式が明示的に正であるか、またはcompactである条件を明確にし、マコフ連鎖解析に与える影響を検討すること。

提案手法

• ASEPの定常分布は、グローバルバランス方程式を用いて導出され、定常測度に比例する非正規化確率 Ψ(τ) として表現される。
• 階段テーブレットおよびマルチラインキューを用いて、Ψ(τ) の組合せ的公式が構成され、compactかつ明示的に正の表現が得られる。
• マコフ連鎖の木定理が適用され、定常分布が根付きの全域木の和として表現され、明示的に正のが得られるが、しばしば非compactである。
• 木に基づく公式とテーブレットに基づく公式の比が分析され、後者がはるかにcompactで、項の数が著しく少ないことが明らかになった。
• 多項式の因数分解を用いて、木に基づく公式から共通因数を抽出し、よりcompactな表現を得たが、その結果、明示的に正の性質を失う可能性がある。
• 理論的分析により、異なる組合せ的モデルにおける定常分布の公式の構造を比較し、正の性質と最小性に焦点を当てた。

実験結果

リサーチクエスチョン

• RQ1 開境界を有するASEPの定常分布は、テーブレットやマルチラインキューといった組合せ的対象を用いて、明示的に正の形で表現可能か？
• RQ2 マコフ連鎖の木定理から得られる定常分布の公式における項の数は、組合せ的テーブレット構成から得られるものと比べてどの程度か？
• RQ3 木に基づく公式におけるすべての非正規化定常確率に共通因数が存在するか？その因数を除くと、compactさの観点で何が明らかになるか？
• RQ4 なぜマコフ連鎖の木定理は明示的に正であるが非compactな公式を生じるのに対し、組合せ的構成はcompactではあるが明示的に正でない形になるのか？
• RQ5 木に基づく公式とテーブレットに基づく公式との比の性質は何か？また、系のサイズ n が増加するに従い、その比はどのように増大するか？

主な発見

• 階段テーブレットを用いた表現では、非正規化確率 Ψ(τ) のすべての係数が正であるため、開境界を有するASEPの定常分布は明示的に正である。
• マコフ連鎖の木定理から得られる木に基づく公式における項の数は n と共に急激に増加し、n=6 の場合、木の公式とテーブレットの公式の項の比は 10^25 を超える。
• マコフ連鎖の木定理から得られる非正規化確率は、共通因数（例 4.2 では (q+1)）を共有しているため、compactではない。この共通因数を抽出することで、よりcompactな形が得られる。
• 共通因数を除いた後、compactな公式は明示的に正でなくなる可能性があり、表 5 の簡略化された非正規化確率では、展開時に負の係数を含むことが観察された。
• n=3 の場合、分配関数 Z₃(α,β,q) は24項（重複度を数えると）をもち、明示的に正である。これは、Zₙ が正の多項式であり、(n-1)! 項を持つという予想を支持する。
• 比 Qₙ(α,β,q) = Ψ_tree(τ)/Ψ_tab(τ) は α,β,q に関する多項式であり、n=6 のとき Q₆(1,1,1) は約 1.13 × 10^25 に達する。これは、木に基づく公式を用いることで複雑性が著しく増大することを示している。