[논문 리뷰] A Markov chain on permutations which projects to the PASEP

Sylvie Corteel, Lauren Williams|ArXiv.org|2006. 09. 06.

Stochastic processes and statistical mechanics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 부분적으로 비대칭적 배제 과정(PASEP)로 투영되는 순열 표기자 위의 마르코프 체인인 PT 체인을 도입하며, 행렬 해법을 사용하지 않고 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의 정적 분포에 대한 새로운 조합론적 증명을 제공하는 것.
• PASEP로 투영되며 그 역학을 유지하는 순열 표기자 위의 마르코프 체인(PT 체인)을 정의하는 것.
• PT 체인 위의 치환을 통해 PASEP의 구조에 더 깊은 대칭성을 드러내는 것.
• PASEP의 정적 확률과 고정된 형상을 가진 순열 표기자 무게의 생성함수 사이의 직접적 연결을 수립하는 것.

제안 방법

• 입자 이동(도착, 퇴장, 점프)에 해당하는 전이를 갖는 마르코프 과정으로서 PT 체인을 순열 표기자 위에 정의한다.
• 순열 표기자에서 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의 정적 분포에 대한 새로운 대수적 해석을 제공한다.