[논문 리뷰] The blockage problem

Ovidiu Costin, Joel L. Lebowitz외 2명|arXiv (Cornell University)|2012. 07. 27.

Stochastic processes and statistical mechanics참고 문헌 15인용 수 8

한 줄 요약

이 논문은 Z 위의 완전히 비대칭 배제 과정(TASEP)에서 0번 자리에서의 점프 확률이 감소된 경우인 블록화 문제를 조사한다. 전류 j(r)의 16항 급수 전개를 통해 저자들은 임계 값 rc = 1임을 강력한 히ュ리스틱적 증거로 제시한다. 즉, 최대 전류 1/4는 r ≥ 1일 때에만 도달한다. 또한 r ≲ 1일 때 j(r) ≈ 1/4 − γexp[−a/(1−r)]이며 a ≈ 2임을 보이고, j(r) = J_max(r)임을 증명하여 전류 함수의 연속성을 확립한다.

ABSTRACT

We investigate the totally asymmetric exclusion process on Z, with the jump rate at site i given by r_i=1 for i nonzero, r_0=r. It is easy to see that the maximal stationary current j(r) is nondecreasing in r and that j(r)=1/4 for r>=1; it is a long outstanding problem to determine whether or not the critical value r_c of r such that j(r)=1/4 for r>r_c is strictly less than 1. Here we present a heuristic argument, based on the analysis of the first sixteen terms in a formal power series expansion of j(r) obtained from finite volume systems, that r_c=1 and that for r less than 1 and near 1, j(r) behaves as 1/4-γ\exp[-{a/(1-r)}] with a approximately equal to 2. We also give some new exact results about this system; in particular we prove that j(r)=J_max(r), with J_max(r) the hydrodynamic maximal current defined by Seppalainen, and thus establish continuity of j(r). Finally we describe a related exactly solvable model, a semi-infinite system in which the site i=0 is always occupied. For that system, the critical r is 1/2 and the analogue j_s(r) of j(r) satisfies j_s(r)=r(1-r) for r<=1/2; j_s(r) is the limit of finite volume currents inside the curve |r(1-r)|=1/4 in the complex r plane and we suggest that analogous behavior may hold for the original system.

연구 동기 및 목표

• Z 위의 TASEP에서 임계 블록화 속도 rc가 1보다 작게 되는지 여부라는 오랫동안 미해결된 문제를 해결하는 것.
• 비평형 시스템에서 점프 확률의 局소적 변화가 정상 상태 전류에 미치는 전반적 영향을 이해하는 것.
• r=1 근처에서 전류 j(r)의 함수 형태를 규명하고, 이것이 본질적 특이점(essential singularity)을 보이는지 평가하는 것.
• 전류 j(r)가 r의 함수로써 연속임을 확립하는 것.

제안 방법

• 유한 체적 시스템에서 유도된 전류 j(r)의 16차까지의 급수 전개.
• 패드 근사 및 두 번째 차분 최소화를 이용한 계수 분석을 통한 특이점 위치 추정.
• r=1에 있는 특이점을 무한대로 옮기는 분수선형 변환의 적용으로 수렴성을 향상시키고, r₀ ≈ -1.5437에 있는 극의 위치 추정.
• exp[a/(1−r)]의 테일러 계수의 큰 k에 대한 점근적 행동을 유도하기 위해 안장점 방법의 적용.
• j(r) = J_max(r), 즉 세팔라인넨의 정의한 유체역학적 최대 전류임을 증명하여 j(r)의 연속성을 보장.
• 항상 점유된 상태인 관련 정확히 해를 가진 半무한 시스템을 연구하여 r ≤ 1/2일 때 j^{s-i}(r) = r(1−r)임을 도출.

실험 결과

연구 질문

• RQ1 평균장 이론이 제시한 것처럼 임계 블록화 속도 rc가 1보다 작게 되는가, 아니면 rc = 1인가?
• RQ2 특히 r=1에 가까운 전류 j(r)의 함수 형태는 무엇이며, 1/4로의 접근이 본질적 특이점을 보이는가?
• RQ3 전류 j(r)는 r=1을 넘어선다고 해도 연속성을 유지하는가? 이를 엄밀하게 증명할 수 있는가?
• RQ4 j(r)의 급수 전개를 통해 복소평면 내 특이점의 위치와 성격을 추론할 수 있는가?
• RQ5 관련된 정확히 해를 가진 半무한 모델의 행동이 무한 시스템의 행동과 유사한지를 묻는 질문.

주요 결과

• j(r)의 첫 16항 급수 분석을 통해 임계 값 rc는 1로, 1보다 작지 않다는 것이 밝혀졌다.
• r ≲ 1일 때 전류는 j(r) ≈ 1/4 − γexp[−a/(1−r)]로 행동하며 a ≈ 2로 나타나 r=1에서 본질적 특이점이 있음을 시사한다.
• 최대 전류 j(r)는 J_max(r), 즉 세팔라인넨이 정의한 유체역학적 최대 전류와 동일함을 증명하여 j(r)가 r의 함수로 연속임을 보장한다.
• j(r)의 급수는 r₀ ≈ -1.5437에 극을 지닌다. 이는 두 가지 독립적인 수치 방법을 통해 고정밀도로 결정되었다.
• 항상 점유된 상태인 관련 半무한 모델에서는 r ≤ 1/2일 때 j^{s-i}(r) = r(1−r)이며, j^{s-i}(r)는 복소평면에서 |r(1−r)| = 1/4인 곡선 내부의 유한 체적 전류의 극한이다.
• exp[a/(1−r)]의 테일러 계수 b_k의 점근적 행동은 k→∞일 때 b_k ∼ const·k^{-3/4}e^{2√(ak)}로 나타나며, 이는 j(r)의 지수적 형태와 일치한다.