[论文解读] Permutation tableaux and the asymmetric exclusion process

Sylvie Corteel, Lauren Williams|arXiv (Cornell University)|Feb 7, 2006

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

一句话总结

本文建立了部分对称排斥过程（PASEP）与排列表格之间的直接联系，表明在长时间极限下，PASEP配置τ的概率与按三种统计量枚举的形状为λ(τ)的排列表格的生成函数成正比。该证明利用了Derrida等人提出的矩阵假设，并得出单调性结果以及关于下降集、弱上穿点、交叉关系和广义模式的排列的新计数恒等式。

ABSTRACT

The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a aystem 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 α and exit from the right with probability β. In this paper we prove a close connection between the PASEP and the combinatorics of permutation tableaux. (These tableaux come indirectly from the totally nonnegative part of the Grassmannian, via work of Postnikov [12], and were studied in a paper of Steingrimsson and the second author [15].) Namely, we prove that in the long time limit, the probability that the PASEP is in a particular configuration τ is essentially the generating function for permutation tableaux of shape λ(τ) enumerated according to three statistics. The proof of this result uses a result of Derrida et al [7] on the matrix ansatz for the PASEP model. As an application, we prove some monotonicity results for the PASEP when α = β = 1. We also derive some enumerative consequences for permutations enumerated according to various statistics such as weak excedence set, descent set, crossings, and occurences of generalized patterns.

研究动机与目标

• 建立PASEP稳态概率与排列表格之间的组合连接。
• 利用该连接推导当α = β = 1时PASEP的单调性性质。
• 通过下降集、弱上穿点集、交叉关系和广义模式等统计量，揭示排列的新计数恒等式。
• 应用矩阵假设方法，将物理模型转化为组合生成函数。

提出的方法

• 利用Derrida等人提出的矩阵假设框架，对PASEP的稳态分布进行建模。
• 将每个PASEP配置τ映射到形状λ(τ)，该形状定义了底层的排列表格。
• 使用三种统计量枚举形状为λ(τ)的排列表格，这些统计量直接决定τ的稳态概率。
• 建立τ的稳态概率与这些表格的生成函数成正比。
• 应用Postnikov关于格拉斯曼流形的工作以及Steingrimsson——第二作者关于排列表格的工作中的组合技术。
• 利用所得的生成函数，推导排列的单调性与计数结果。

实验结果

研究问题

• RQ1 PASEP的稳态概率如何与排列表格等组合对象相关联？
• RQ2 排列表格上的哪些组合统计量对应于PASEP配置的概率分布？
• RQ3 当α = β = 1时，能否从PASEP的组合结构中推导出其单调性性质？
• RQ4 矩阵假设如何用于将统计力学模型与排列表格连接起来？
• RQ5 通过这一连接，排列会产生哪些新的计数恒等式？

主要发现

• PASEP配置τ的稳态概率与按三种特定统计量加权的形状λ(τ)的排列表格的生成函数成正比。
• 当α = β = 1时，PASEP在稳态概率上表现出单调性，该性质可通过表格枚举进行组合解释。
• 该连接使得能够获得排列的新计数结果，包括与弱上穿点集和下降集相关的计数。
• 排列中广义模式的出现与交叉关系与排列表格上的统计量相关联。
• 矩阵假设为从PASEP的代数结构到显式组合生成函数提供了严谨的路径。
• 结果可推广至排列表格的所有统计量，为它们的统一枚举提供了一个框架。