[论文解读] 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，建立了杨-巴克斯特可积性，并推导出未归一化平稳测度的精确公式。关键贡献在于将平稳概率因子分解为粒子参数 $\boldsymbol{\tau}$ 和 $\boldsymbol{\nu}$ 的双Schubert多项式，揭示了该模型平稳分布背后的深层代数结构。

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 ν})$.

研究动机与目标

• 研究在具有不对称跳跃速率（由 $\boldsymbol{\tau}$ 和 $\boldsymbol{\nu}$ 参数化）的周期性一维格点上，非均匀多物种TASEP的平稳测度。
• 建立该模型的杨-巴克斯特可积性，从而实现精确可解性。
• 在格点位置引入谱参数 $\bf{z}$，以揭示其背后的代数结构。
• 推导未归一化平稳测度的精确公式，并证明其在 $\boldsymbol{\tau}$ 和 $\boldsymbol{\nu}$ 上的双Schubert多项式因子分解。

提出的方法

• 模型定义在具有 $N$ 个格点的环上，每种粒子仅一个，使用不对称转移速率 $r_{\alpha,\beta} = \tau_\alpha - \nu_\beta$（当 $\alpha < \beta$ 时），以确保排除作用与不对称性。
• 通过存在满足杨-巴克斯特方程的R矩阵，确认了杨-巴克斯特可积性，从而保证了模型的可解性。
• 在格点位置引入谱参数 $\bf{z}$，以构建平稳测度的生成函数。
• 平稳测度通过包含有理函数乘积与生成函数 $F(w)$ 的围道积分表示，其系数通过差分算子导出。
• 利用对称函数与差分算子 $\partial_i$ 分析代数结构，这些算子用于证明对称性与因子分解性质。
• 因子分解的证明依赖于涉及围道积分与留数恒等式的技巧性引理，特别是通过多项式次数论证证明某些对称和的消失。

实验结果

研究问题

• RQ1 非均匀多物种TASEP在环上的平稳测度如何以代数多项式形式因子分解？
• RQ2 谱参数 $\bf{z}$ 在揭示平稳测度背后代数结构中起什么作用？
• RQ3 平稳概率能否表示为参数 $\boldsymbol{\tau}$ 和 $\boldsymbol{\nu}$ 的双Schubert多项式？
• RQ4 该模型的杨-巴克斯特可积性与平稳测度的因子分解有何关联？
• RQ5 在一般非均匀情况下，平稳测度与Schubert多项式的组合学之间存在何种联系？

主要发现

• 对于任意配置 $\bf{w}$，未归一化平稳概率 $\psi_{\bf w}(\boldsymbol{\tau}, \boldsymbol{\nu})$ 可分解为 $\boldsymbol{\tau}$ 和 $\boldsymbol{\nu}$ 的双Schubert多项式的乘积，从而给出一个精确的代数公式。
• 证明了平稳测度在差分算子作用下保持对称，这对其分解为Schubert多项式至关重要。
• 在格点位置引入谱参数 $\bf{z}$，使得能够构建一个生成函数，通过围道积分编码完整的平稳测度。
• 证明依赖于一个关键恒等式：通过对称留数和的消失，该恒等式通过多项式次数论证与围道积分建立。
• 该模型推广了先前结果：当 $\nu_\alpha = 0$ 时，平稳概率退化为 $\boldsymbol{\tau}$ 上Schubert多项式的正整数组合，从而证实了Lam与Williams的猜想。
• 平稳测度通过矩阵积试探法推导，在一般情况下，其代数结构与Zamolodchikov四面体方程相关。