[论文解读] Fluctuations for stationary $q$-TASEP

Takashi Imamura, Tomohiro Sasamoto|ArXiv.org|Jan 21, 2017

Random Matrices and Applications参考文献 54被引用 6

一句话总结

该论文证明，在长时极限下，具有 $q$-形排斥动力学的随机粒子系统 $q$-TASEP 中粒子的位置收敛于普遍的 Baik-Rains（平稳 KPZ）分布。通过利用 $q$-Whittaker 过程和 Ramanujan 双边求和推导出的 Fredholm 行列式公式，作者证明了波动尺度为 $t^{1/3}$，且服从普遍的平稳 KPZ 分布，从而证实了 KPZ 类中的 universality（普遍性）。

ABSTRACT

We consider the $q$-totally asymmetric simple exclusion process ($q$-TASEP) in the stationary regime and study the fluctuation of the position of a particle. We first observe that the problem can be studied as a limiting case of an $N$-particle $q$-TASEP with a random initial condition and with particle dependent hopping rate. Then we explain how this $N$-particle $q$-TASEP can be encoded in a dynamics on a two-sided Gelfand-Tsetlin cone described by a two-sided $q$-Whittaker process and present a Fredholm determinant formula for the $q$-Laplace transform of the position of a particle. Two main ingredients in its derivation is the Ramanujan's bilateral summation formula and the Cauchy determinant identity for the theta function with an extra parameter. Based on this we establish that the position of a particle obeys the universal stationary KPZ distribution (the Baik-Rains distribution) in the long time limit.

研究动机与目标

• 建立普遍的平稳 KPZ 分布（即 Baik-Rains 分布）作为 $q$-TASEP 在平稳态下的极限波动分布。
• 为具有粒子依赖跳跃速率的广义 $N$-粒子 $q$-TASEP 中粒子位置的 $q$-Laplace 变换推导出 Fredholm 行列式公式。
• 将平稳 $q$-TASEP 与 Gelfand-Tsetlin 锥上的双侧 $q$-Whittaker 过程联系起来，实现精确可解性。
• 证明具有随机初始条件和 $q$-Poisson 间隙分布的 $q$-TASEP 与完整平稳过程具有相同的普遍极限。

提出的方法

• 将具有粒子依赖跳跃速率 $a_i(1 - q^{x_{i-1}-x_i+1})$（其中 $a_i \in (0,1]$）的 $N$-粒子 $q$-TASEP 建模为动力系统。
• 利用 $q$-变形 Schur 函数，通过 Gelfand-Tsetlin 锥上的双侧 $q$-Whittaker 过程编码动力学。
• 利用 Ramanujan 双边求和公式和 theta 函数 Cauchy 行列式恒等式，推导出粒子位置 $q$-Laplace 变换的 Fredholm 行列式公式。
• 应用 $q$-Laplace 变换的反演公式，恢复长时极限下粒子位置的分布。
• 取 $q \to 1$ 极限，使 $q$-Laplace 变换恢复为经典 Laplace 变换，从而确认其收敛于 Baik-Rains 分布。
• 利用 Burke 定理的一个版本，将无限系统简化为右端具有泊松边界条件的有限 $N$-粒子问题。

实验结果

研究问题

• RQ1 在长时极限下，平稳 $q$-TASEP 中粒子位置是否收敛于 Baik-Rains 分布？
• RQ2 在 $q$-Whittaker 过程框架下，粒子位置的 $q$-Laplace 变换是否可用 Fredholm 行列式表示？
• RQ3 具有粒子依赖跳跃速率和随机初始条件的 $q$-TASEP 与完整平稳测度之间有何关系？
• RQ4 Ramanujan 双边求和与 theta 函数 Cauchy 恒等式在推导精确解中起到何种作用？
• RQ5 在 $q$-形变 TASEP 模型中，普遍的平稳 KPZ 波动行为是否得以保持？

主要发现

• 在长时极限下，平稳 $q$-TASEP 中粒子位置的分布收敛于 Baik-Rains 分布 $F_0$，证实了平稳 KPZ 类中的 universality（普遍性）。
• 为粒子位置的 $q$-Laplace 变换推导出 Fredholm 行列式公式，其表达形式基于双侧 $q$-Whittaker 过程。
• 通过围道积分和留数计算，建立了 $q$-Laplace 变换的反演公式，其中包含经典 Laplace 反演的 $q$-类比。
• $q$-形变动力学下，若初始间隙服从 $q$-Poisson 分布，则其极限分布与完整平稳测度一致，验证了通过 Burke 定理实现的约化。
• $q$-Laplace 变换在 $q \to 1$ 极限下恢复为经典 Laplace 变换，所得分布与 Baik-Rains 分布一致。
• Ramanujan 双边求和与 theta 函数 Cauchy 恒等式在推导 Fredholm 行列式中起着关键作用，使得精确可解性成为可能。