[论文解读] The combinatorics of hopping particles and positivity in Markov chains

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

Advanced Combinatorial Mathematics被引用 4

一句话总结

本文研究了具有开放边界的不对称简单排斥过程（ASEP）的平稳分布，表明其可借助阶梯表和多行队列等组合对象表示，并与阿斯凯-威尔森多项式及麦克唐纳多项式等特殊函数相联系。关键贡献在于表明：虽然马尔可夫链树定理能给出平稳分布的显式正性公式，但通常不够紧凑；而组合公式（如通过表）虽紧凑但可能涉及大数项的比值。

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平稳分布与特殊函数（包括阿斯凯-威尔森、麦克唐纳及施伯伯特多项式）之间的联系。
• 分析由马尔可夫链树定理与组合对象导出的平稳分布公式的正性与紧凑性。
• 比较不同平稳分布表示形式的复杂度，特别是项数与公因子的数量。
• 阐明平稳分布公式在何种条件下为显式正性或紧凑形式，并探讨其对马尔可夫链分析的含义。

提出的方法

• 通过全局平衡方程推导ASEP的平稳分布，并将其表示为与平稳测度成比例的未归一化概率Ψ(τ)。
• 利用阶梯表与多行队列构造Ψ(τ)的组合公式，从而得到紧凑且显式正性的表达式。
• 应用马尔可夫链树定理，将平稳分布表示为有根生成树之和，得到显式正性但通常不紧凑的公式。
• 分析基于树的公式与基于表的公式之间的比值，发现后者更紧凑且项数显著更少。
• 使用多项式因式分解从基于树的公式中提取公因子，从而得到更紧凑的表达形式，但该形式可能不再保持显式正性。
• 理论分析比较了不同组合模型下平稳分布公式的结构，强调正性与最小性。

实验结果

研究问题

• RQ1 能否通过组合对象（如表或多重队列）显式正性地表达开放边界ASEP的平稳分布？
• RQ2 由马尔可夫链树定理导出的平稳分布公式中的项数，与通过组合表构造的公式相比如何？
• RQ3 在基于树的公式中，所有未归一化平稳概率是否具有共同的多项式因子？若去除该因子，其对紧凑性有何揭示？
• RQ4 为何马尔可夫链树定理产生显式正性但不紧凑的公式，而组合构造方法虽紧凑却非显式正性？
• RQ5 基于树与基于表的公式之间的比值性质为何？其随系统大小n的增长趋势如何？

主要发现

• 当通过阶梯表表达时，开放边界ASEP的平稳分布为显式正性，其未归一化概率Ψ(τ)的所有系数均为正。
• 基于树的公式（由马尔可夫链树定理导出）中的项数随n迅速增长；当n=6时，基于树的公式与基于表的公式的项数之比超过10^25。
• 由马尔可夫链树定理导出的未归一化概率不紧凑，因其共享一个公因子（如例4.2中的(q+1)），该因子可被提取以获得更紧凑的形式。
• 去除公因子后，紧凑公式可能不再保持显式正性，如表5中简化后的未归一化概率所示，其展开后包含负系数。
• 当n=3时，配分函数Z₃(α,β,q)为含24项（按重数计）的多项式，且为显式正性，支持Zₙ为含(n-1)!项的正多项式的猜想。
• 比值Qₙ(α,β,q) = Ψ_tree(τ)/Ψ_tab(τ)是α,β,q的多项式；当n=6时，Q₆(1,1,1)约为1.13 × 10^25，表明基于树的公式在复杂度上存在巨大增长。