[논문 리뷰] Exact Large Deviation Functional of a Stationary Open Driven Diffusive System: The Asymmetric Exclusion Process

Bernard Derrida, Joel L. Lebowitz외 1명|arXiv (Cornell University)|2002. 05. 16.

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

한 줄 요약

이 논문은 양끝에 입자 저장소가 있는 정상 상태 개방계에서 비대칭 배제 과정(ASEP)의 정확한 대편차 기능(LDF)을 유도한다. 정확한 미시적 동역학과 변분 원리를 사용하여, LDF가 특정 매개변수 영역에서 국소적이지 않고 볼록하지 않음을 보이며, 이는 비가우시안 확률변동과 상전이를 초래한다. 이는 이전의 대칭 케이스 결과를 충동적이고 평형이 아닌 시스템으로 일반화한 것으로, LDF의 2차 도함수에 충격과 불연속성이 존재한다.

ABSTRACT

We consider the asymmetric exclusion process (ASEP) in one dimension on sites $i = 1,..., N$, in contact at sites $i=1$ and $i=N$ with infinite particle reservoirs at densities $ρ_a$ and $ρ_b$. As $ρ_a$ and $ρ_b$ are varied, the typical macroscopic steady state density profile $\bar ρ(x)$, $x\in[a,b]$, obtained in the limit $N=L(b-a) o\infty$, exhibits shocks and phase transitions. Here we derive an exact asymptotic expression for the probability of observing an arbitrary macroscopic profile $ρ(x)$: $P_N(\{ρ(x)\})\sim\exp[-L{\cal F}_{[a,b]}(\{ρ(x)\});ρ_a,ρ_b]$, so that ${\cal F}$ is the large deviation functional, a quantity similar to the free energy of equilibrium systems. We find, as in the symmetric, purely diffusive case $q=1$ (treated in an earlier work), that $\cal F$ is in general a non-local functional of $ρ(x)$. Unlike the symmetric case, however, the asymmetric case exhibits ranges of the parameters for which ${\cal F}(\{ρ(x)\})$ is not convex and others for which ${\cal F}(\{ρ(x)\})$ has discontinuities in its second derivatives at $ρ(x) = \barρ(x)$; the fluctuations near $\barρ(x)$ are then non-Gaussian and cannot be calculated from the large deviation function.

연구 동기 및 목표

• 양끝에 입자 저장소가 있는 정상 상태 개방계에서 비대칭 배제 과정(ASEP)의 정확한 대편차 기능(LDF)을 유도하는 것.
• 비평형 정상 상태(SNS)에서의 대편차 통계역학을 이해하는 것, 특히 비가우시안 확률변동과 상전이의 발생.
• 대칭 배제 과정에 대한 이전 결과를 비대칭 케이스로 일반화하여, LDF의 비볼록성과 2차 도함수의 불연속성과 같은 새로운 특성들을 드러내는 것.

제안 방법

• 저자들은 ASEP의 정확한 미시적 전이 비율을 사용하여, 정상 상태에서 밀도 프로파일 ρ(x)를 관측할 확률을 계산한다.
• LDF F[a,b]({ρ(x)}; ρa, ρb)는 lim_{L→∞} log(PN)/L의 극한으로 유도되며, 여기서 PN은 L(b−a) 개의 입자에서 프로파일 ρ(x)를 관측할 확률이다.
• 보조 함수 F(x)에 대한 최대값을 구하기 위해 변분 원리를 적용하여, 적분 (1−ρ(y))dy의 볼록폐합(concave envelope)을 통한 최적화 함수 Fρ(x)를 구성한다.
• 기능 F는 부피 엔트로피 항과 최적화된 Fρ와 관련된 비국소 보정 항의 합으로 표현되며, 경계 밀도 ρa와 ρb에 대한 제약 조건이 있다.
• 이 방법은 ASEP의 행렬 곱 근사법과 정확한 해 기법에 기반하며, 일반적인 거동를 초월한 대편차 확률을 계산하는 데 확장된다.
• 정확한 볼록폐합 구성과 Fρ(x)의 최적성은 부분 적분과 볼록성 논증을 통해 엄밀히 정당화된다.

실험 결과

연구 질문

• RQ1 대칭 케이스와 비교할 때, 비대칭 배제 과정(ASEP)의 대편차 기능(LDF)은 볼록성과 비국소성 측면에서 어떻게 다를까?
• RQ2 LDF의 2차 도함수에 불연속성이 존재할 조건은 무엇이며, 이는 어떤 경우에 비가우시안 확률변동을 초래하는가?
• RQ3 통상적인 밀도 프로파일에서의 충격과 상전이는 개방형 충동적 확산 시스템에서 LDF의 구조에 어떻게 영향을 미치는가?
• RQ4 ASEP의 LDF는 미시적 동역학에서 정확히 유도될 수 있는가? 그리고 이는 저장소 밀도 ρa와 ρb에 어떻게 의존하는가?
• RQ5 통합된 밀도 프로파일의 볼록폐합은 최적의 변동 프로파일을 결정하는 데 어떤 역할을 하는가?

주요 결과

• ASEP의 대편차 기능 F는 특정 매개변수 영역에서 비국소적이며 비볼록적이며, 이는 가우시안 근사로는 기술할 수 없는 비가우시안 확률변동을 나타낸다.
• LDF는 ρ(x) = ρ̄(x)에서 2차 도함수의 불연속성을 보이며, 이는 일반 프로파일 주변의 비가우시안 행동을 초래한다.
• ρa ≠ ρb일 경우, LDF는 정확히 F[a,b]({ρ(x)}; ρa, ρb) = −(b−a)K(ρa,ρb) + ∫[ρ(x)logρ(x) + (1−ρ(x))log(1−ρ(x))]dx + sup_F Bρ(F)로 유도되며, 여기서 Bρ(F)는 최적화된 함수 Fρ(x)를 포함한다.
• 고정된 평균 밀도 제약 조건 하에서 LDF를 최소화하는 최적의 프로파일 ρ(x)는 ρa > ρb일 경우 단조 비감소이며, ρa < ρb일 경우 조각별로 일정하며, 임계 밀도에서 상전이가 발생한다.
• ρ(x) = 1 − G′_ρ(x)일 경우, F는 ρ(x)에 대해 점별로 볼록이며, LDF를 최소화하기 위해서는 프로파일이 일정일 때에만 최소값을 얻는다.
• 유도 과정은 LDF가 평형 자유 에너지 형태를 일반화하지만, 시스템의 충동적 비평형 성격으로 인해 비국소 보정 항을 포함함을 확인한다.