[论文解读] A Markov chain on permutations which projects to the PASEP

Sylvie Corteel, Lauren Williams|ArXiv.org|Sep 6, 2006

Stochastic processes and statistical mechanics参考文献 13被引用 4

一句话总结

本文引入了PT链，即在排列表上定义的马尔可夫链，其投影到部分对称排斥过程（PASEP）上，提供了PASEP平稳分布的组合证明，且无需使用矩阵试探法，该平稳分布被表示为排列表权重的生成函数。PT链揭示了一种隐藏对称性，扩展了PASEP的粒子-空位对偶性，并通过排列表与对称群之间的双射，为PASEP背后的代数组合结构提供了新视角。

ABSTRACT

The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of N sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probability alpha and exit from the right with probability beta. It has been observed that the (unique) stationary distribution of the PASEP has remarkable connections to combinatorics -- see for example the papers of Derrida, Duchi and Schaeffer, and Corteel. Most recently we proved that in fact the (normalized) probability of being in a particular state of the PASEP can be viewed as a certain weight generating function for permutation tableaux of a fixed shape. (This result implies the previous combinatorial results.) However, our proof relied on the matrix ansatz of Derrida et al, and hence did not give an intuitive explanation of why one should expect the steady state distribution of the PASEP to involve such nice combinatorics. In this paper we define a Markov chain -- which we call the PT chain -- on the set of permutation tableaux which projects to the PASEP in a very strong sense. This gives a new proof of our previous result which bypasses the matrix ansatz altogether. Furthermore, via the bijection from permutation tableaux to permutations, the PT chain can also be viewed as a Markov chain on the symmetric group. Another nice feature of the PT chain is that it possesses a certain symmetry which extends the "particle-hole symmetry" of the PASEP. More specifically, this is a graph-automorphism on the state diagram of the PT chain which is an involution; this has a simple description in terms of permutations.

研究动机与目标

• 提供PASEP平稳分布的新组合证明，无需依赖矩阵试探法。
• 在排列表上定义一个马尔可夫链（即PT链），使其投影到PASEP上并保持其动力学特性。
• 通过PT链上的对合映射，揭示PASEP结构中更深层次的对称性，从而扩展已知的粒子-空位对偶性。
• 建立PASEP平稳概率与固定形状排列表权重生成函数之间的直接联系。

提出的方法

• 将PT链定义为在排列表上的马尔可夫过程，其中转移对应于PASEP中的粒子移动（进入、退出、跃迁）。
• 构建从排列表到PASEP状态的满射投影映射，确保PT链的动力学能忠实投影到PASEP的动力学上。
• 利用排列表与排列之间的双射（通过映射Φ）将PT链重新解释为对称群S_{N+1}上的马尔可夫链。
• 在PT链的状态图上定义一个对合映射，交换粒子与空位的角色，从而推广PASEP的粒子-空位对称性。
• 为排列表分配权重，作为α、β和q的洛朗单项式，使得每个排列表的平稳概率等于其权重。
• 验证PT链的转移概率与投影后的PASEP动力学一致，且平稳分布与已知的生成函数相匹配。

实验结果

研究问题

• RQ1 能否通过排列表上的马尔可夫链，组合地推导出PASEP的平稳分布，而无需使用矩阵试探法？
• RQ2 PASEP与排列表之间存在何种结构性关系？该关系能否形式化为马尔可夫链的投影？
• RQ3 PT链是否具有推广PASEP已知粒子-空位对称性的对称性？
• RQ4 排列表与排列之间的双射Φ如何使PT链被解释为对称群S_{N+1}上的马尔可夫链？
• RQ5 对排列表的权重分配应如何精确设定，才能使PASEP的平稳概率正确？

主要发现

• PT链是定义在排列表上的马尔可夫链，其在PASEP状态空间上的投影能精确重现原始PASEP的动力学。
• PT链的平稳分布为每个排列表分配一个概率，该概率等于其权重，即α、β和q的洛朗单项式。
• PT链为Corteel与Williams（2006）的主要结果提供了新的组合证明，该结果此前依赖于矩阵试探法。
• PT链容许一个对合映射，可交换粒子与空位的角色，从而推广了PASEP的粒子-空位对称性。
• 该对合映射对应于排列表上的自然变换：共轭操作结合条目与形状的补全。
• 通过双射Φ，PT链同构于对称群S_{N+1}上的马尔可夫链，从而为PASEP平稳分布提供了新的代数解释。