[논문 리뷰] The Discrete-Time Facilitated Totally Asymmetric Simple Exclusion Process

Sheldon Goldstein, Joel L. Lebowitz외 1명|arXiv (Cornell University)|2020. 03. 10.

Stochastic processes and statistical mechanics참고 문헌 14인용 수 5

한 줄 요약

이 논문은 결정론적, 촉진된 입자 이동을 갖는 일차원 격자 가스 모델인 이산시간 촉진된 완전히 비대칭 단순 배제 과정(F-TASEP)을 연구한다. 밀도 ρ < 1/2, 1/2 < ρ < 2/3, 및 ρ > 2/3에서 세 가지 구분되는 상을 규명하며, ρ = 1/2 및 ρ = 2/3에서 상전이를 겪고 정적 상태에 도달함을 보이고, 각 영역 간의 입자 쌍 상관관계에 대한 정확한 상관관계 항등식을 수립한다.

ABSTRACT

We describe the translation invariant stationary states of the one dimensional discrete-time facilitated totally asymmetric simple exclusion process (F-TASEP). In this system a particle at site $j$ in $Z$ jumps, at integer times, to site $j+1$, provided site $j-1$ is occupied and site $j+1$ is empty. This defines a deterministic noninvertible dynamical evolution from any specified initial configuration on $\{0,1\}^{Z}$. When started with a Bernoulli product measure at density $ρ$ the system approaches a stationary state, with phase transitions at $ρ=1/2$ and $ρ=2/3$. We discuss various properties of these states in the different density regimes $0

연구 동기 및 목표

• Z 위에서 이산시간 F-TASEP의 이동 불변 정적 상태를 특성화하는 것.
• 비율 ρ = 1/2 및 ρ = 2/3에서 시스템의 행동에 나타나는 상전이를 규명하는 것.
• 밀도 ρ에서 베르누이 곱측도로 초기화된 시스템의 장기적 행동을 규명하는 것.
• 다양한 밀도 영역에서 입자 쌍 상관관계 g(j) = ⟨η(i)η(i+j)⟩에 대한 정확한 항등식을 수립하는 것.
• F-TASEP 동역학과 정적 조건을 분석하기 위해 영역-영역 과정(TASM)으로의 사상 사용.

제안 방법

• 저자들은 F-TASEP와 완전히 비대칭 스택 모델(TASM) 사이의 일대일 대응을 사용하며, 여기서 스택 높이는 단일 빈칸으로 분리된 입자 군집을 나타낸다.
• 그들은 TASM을 통해 동역학을 분석하며, 이는 결정론적으로 진화한다: 각 시간 단계에서 2개 이상의 입자를 가진 모든 위치에서 오른쪽으로 한 개의 입자를 보낸다.
• 시스템의 정적 상태는 TASM의 불변 측도를 연구하고 이를 F-TASEP 구성공간으로 다시 변환함으로써 유도된다.
• 그들은 밀도 ρ < 1/2인 임의의 초기 구성에서 유한 시간 내에 고결된 구성(더 이상 이동이 일어나지 않음)에 도달함을 증명한다.
• 길이 k의 간격에서의 쌍 상관관계 합에 대한 정확한 항등식을 유도한다: ∑_{j=kn+1}^{k(n+1)} g(j) = kρ², 여기서 ρ ≤ 1/2일 경우 k=2, ρ ≥ 2/3일 경우 k=3.
• 중간 영역 1/2 ≤ ρ ≤ 2/3에 대해서는 수치 시뮬레이션 기반으로 동일한 항등식이 k=6일 때도 성립한다고 추측한다.

실험 결과

연구 질문

• RQ1 다른 입자 밀도에서 이산시간 F-TASEP의 이동 불변 정적 상태는 무엇인가?
• RQ2 비율 ρ = 1/2 및 ρ = 2/3에서 시스템의 장기적 행동은 어떻게 변화하는가?
• RQ3 각 밀도 영역에서의 쌍 상관관계 함수 g(j) = ⟨η(i)η(i+j)⟩의 구조는 어떠한가?
• RQ4 F-TASEP의 정적 상태는 영역-영역 과정(TASM)으로의 사상에 의해 특성화될 수 있는가?
• RQ5 고정된 길이 간격에서 정적 상태에서의 쌍 상관관계 합에 대해 일반적인 스케일링 법칙이 존재하는가?

주요 결과

• ρ < 1/2일 경우, 시스템은 유한 시간 내에 고결된 구성에 도달하며, 정적 상태는 밀도 ρ에서의 표준 이산시간 TASEP 또는 밀도 1−ρ에서의 입자-공간 쌍대성과 동일하다.
• 0 < ρ < 1/2일 경우, 길이 2의 간격에서의 쌍 상관관계 합은 ∑_{j=2n+1}^{2(n+1)} g(j) = 2ρ²를 만족한다.
• 2/3 < ρ < 1일 경우, 길이 3의 간격에서의 쌍 상관관계 합은 ∑_{j=3n+1}^{3(n+1)} g(j) = 3ρ²를 만족한다.
• 중간 영역 1/2 < ρ < 2/3에서는 수치적 증거 기반으로 ∑_{j=6n+1}^{6(n+1)} g(j) = 6ρ²라고 추측한다.
• 시스템은 ρ = 1/2 및 ρ = 2/3에서 비평형 상전이를 나타내며, 이는 본질적으로 다른 동역학적 행동을 분리한다.
• 경계 조건이 0번 위치가 항상 비어 있는 반무한 체계에서, 임의의 τ-불변 초기 측도 하에 대해 홀수 위치의 입자 밀도는 시간이 지남에 따라 일정하게 유지된다.