[論文レビュー] The universal Airy_1 and Airy_2 processes in the Totally Asymmetric Simple Exclusion Process

Patrik L. Ferrari|ArXiv.org|Jan 8, 2007

Random Matrices and Applications参考文献 52被引用数 24

ひとこと要約

本稿は、異なる初期条件のもとで全非対称単純排除過程（TASEP）における普遍的 Airy₁ および Airy₂ プロセスの出現を確立する。Airy₂ プロセスはコーナー成長に対応するステップ初期条件から生じるが、Airy₁ プロセスはフラット成長に対応する周期的初期条件から出現する。幾何的高さ関数マッピングを用いて、著者たちは TASEP を指向的最終到達時間パーコレーションおよび確率的成長モデルと結びつけ、これらのプロセスが KPZ普遍性クラスにおける普遍的極限であることを示した。Airy₁ プロセスは、よく知られた Airy₂ プロセスの新たな対応物である。

ABSTRACT

In the totally asymmetric simple exclusion process (TASEP) two processes arise in the large time limit: the Airy_1 and Airy_2 processes. The Airy_2 process is an universal limit process occurring also in other models: in a stochastic growth model on 1+1-dimensions, 2d last passage percolation, equilibrium crystals, and in random matrix diffusion. The Airy_1 and Airy_2 processes are defined and discussed in the context of the TASEP. We also explain a geometric representation of the TASEP from which the connection to growth models and directed last passage percolation is immediate.

研究の動機と目的

• TASEPの文脈における Airy₁ および Airy₂ プロセスの定義と特徴付けを行う。
• ステップ初期条件における Airy₂ プロセスの既知の出現と類似する形で、周期的初期条件のもとでの Airy₁ プロセスの出現を確立する。
• TASEP を確率的成長モデルおよび指向的最終到達時間パーコレーションに結びつけるための高さ関数による幾何的表現を提供する。
• ポリヌクレア成長、最終到達時間パーコレーション、平衡結晶などのモデル間におけるこれらのプロセスの普遍性を明確にする。
• Airy₂ プロセスとは対照的に、確率的解釈がまだ十分に理解されていないにもかかわらず、Airy₁ プロセスを Airy₂ プロセスの対応物として位置づける。

提案手法

• Airy₁ および Airy₂ プロセスは、それらの m 点同時分布を表すフレドホルム行列式によって定義される。
• 連続時間 TASEP が導入され、粒子占有変数 η_x を用いて h(x) = 1 - 2η_x で定義される高さ関数を介して確率的成長過程にマッピングされる。
• 高さ関数は線形補間によって連続空間に拡張され、TASEP を界面成長としての幾何的解釈を可能にする。
• TASEP と指向的最終到達時間パーコレーションとの対応関係が確立される：G(m,n) = max_π ∑ω(i,j)（上向き右向きパスを経由）、ここで ω(i,j) は指数分布に従う待機時間である。
• ステップ初期条件は点対点最終到達時間パーコレーションに対応し、周期的初期条件は点対線最終到達時間パーコレーションに対応する。
• 巨視的形状とフラクチュエーションが分析される：曲がった界面は Airy₂ プロセスを、平坦な界面は Airy₁ プロセスをもたらす。

実験結果

リサーチクエスチョン

• RQ1 TASEP における Airy₁ プロセスはどのような初期条件下で出現するのか。また、それと Airy₂ プロセスはどのように比較できるか。
• RQ2 Airy₂ プロセスに比べて確率的解釈がまだ十分に理解されていないにもかかわらず、Airy₁ プロセスの幾何的および確率的意味は何か。
• RQ3 TASEP はどのように指向的最終到達時間パーコレーションおよび確率的成長モデルにマッピングされるのか。これにより、普遍性にどのような含意が生じるか。
• RQ4 Airy₁ プロセスは TASEP を超えて、特に点対線最終到達時間パーコレーションおよび平坦基板成長モデルにおいても普遍的であると考えられるか。
• RQ5 Airy₂ プロセスが GUE と関連するのと同様に、Airy₁ プロセスはダイソンのブラウン運動や GOE 確率的行列アンサンブルと関連づけることができるか。

主な発見

• Airy₁ プロセスは周期的初期条件のもとで TASEP に出現し、これは平坦基板成長に対応する。このプロセスは KPZ 普遍性クラスにおける普遍的極限プロセスである。
• Airy₂ プロセスは TASEP におけるステップ初期条件から出現し、これはコーナー成長に対応する。このプロセスは、既にポリヌクレア成長、最終到達時間パーコレーション、および確率的行列理論において出現していることが知られている。
• 幾何的高さ関数マッピングにより、TASEP のダイナミクスが、粒子のジャンプが ±2 の局所的高さ変化に対応する確率的成長モデルに変換される。
• TASEP は i.i.d. 指数的重みをもつ ℤ² 上の指向的最終到達時間パーコレーションにマッピングされ、最終到達時間 G(m,n) は粒子 n がサイト m−n に到達するまでの時間を表す。
• 領域 {G(m,n) ≤ t} の境界は、45° 回転させることで TASEP の界面に対応し、TASEP を PNG モデルおよび最終到達時間パーコレーションに結びつける。
• Airy₁ プロセスは、点対点設定における Airy₂ プロセスと同様に、点対線最終到達時間パーコレーションおよび平坦基板成長において普遍的であると予想される。