[论文解读] 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₂ 过程的对应物，尽管其概率解释尚不清晰。

提出的方法

• 通过其 m 点联合分布的弗雷德霍姆行列式公式来定义 Airy₁ 和 Airy₂ 过程。
• 引入连续时间 TASEP，通过高度函数 h(x) = 1 - 2η_x 将动力学映射为随机生长过程，其中 η_x 为粒子占据变量。
• 通过线性插值将高度函数扩展至连续空间，使 TASEP 能够以界面生长的几何方式解释。
• 建立 TASEP 与定向最后通过时序渗流之间的对应关系：G(m,n) = max_π ∑ω(i,j)，其中 π 为右上路径，ω(i,j) 为指数等待时间。
• 阶梯初始条件映射为点到点的最后通过时序渗流，而周期性初始条件映射为点到线的最后通过时序渗流。
• 分析宏观形状与波动：曲面界面导致 Airy₂ 过程，平坦界面导致 Airy₁ 过程。

实验结果

研究问题

• RQ1 在何种初始条件下，Airy₁ 过程在 TASEP 中出现，其与 Airy₂ 过程相比有何异同？
• RQ2 鉴于 Airy₁ 过程的概率解释尚不清晰，其几何与概率意义为何？
• RQ3 TASEP 如何映射到定向最后通过时序渗流与随机生长模型，这对普适性有何启示？
• RQ4 Airy₁ 过程是否在 TASEP 之外也具有普适性，特别是在点到线的最后通过时序渗流与平坦基底生长模型中？
• RQ5 Airy₁ 过程能否与 Dyson 的布朗运动或 GOE 随机矩阵系综相联系，如同 Airy₂ 过程与 GUE 相联系一样？

主要发现

• 在周期性初始条件下，Airy₁ 过程出现在 TASEP 中，对应于平坦基底生长，是 KPZ 普适类中的普遍极限过程。
• 在 TASEP 的阶梯初始条件下，Airy₂ 过程出现，对应于角落生长，且已知在多核生长、最后通过时序渗流及随机矩阵理论中出现。
• 几何高度函数映射将 TASEP 动力学转化为随机生长模型，其中粒子跳跃对应于高度的 ±2 局部变化。
• TASEP 映射为 ℤ² 上具有独立同分布指数权重的定向最后通过时序渗流，其中最后通过时间 G(m,n) 对应该粒子 n 到达位置 m−n 所需的时间。
• 区域 {G(m,n) ≤ t} 的边界经 45° 旋转后对应于 TASEP 的界面，将 TASEP 与 PNG 模型及最后通过时序渗流联系起来。
• 推测 Airy₁ 过程在点到线的最后通过时序渗流与平坦基底生长中具有普适性，类似于 Airy₂ 过程在点到点设置中的普适性。