결정적 이동을 갖는 배타적 대기열 과정의 정확한 동적 상태

초록

본 논문은 배타적 대기열 과정(EQP)을 완전 비대칭 배제 모델(TASEP) 형태로 정의하고, 특히 벌크 이동 확률 p=1(결정적 이동)인 경우에 시간에 따라 변하는 확률분포를 행렬곱 형태로 정확히 구한다. 이를 통해 시스템 길이·입자 수·대기시간·밀도·전류 등의 동적 특성을 비정상적(발산) 및 정상(수렴) 구간으로 나누어 정량적으로 분석한다.

상세 분석

EQP는 전통적인 대기열 모델에 배제 효과를 도입한 것으로, 반무한 격자에 입구(왼쪽)와 출구(오른쪽)를 두고 입구에서 확률 α, 출구에서 확률 β 로 입·출이 일어난다. 벌크 이동을 p=1 로 고정하면 입자들은 매 시간 단계마다 오른쪽으로 반드시 이동하므로, 시스템의 확률적 요소는 오직 α와 β에만 의존한다. 저자들은 마스터 방정식을 전개한 뒤, 상태 확률 P_t(τ) 를 “길이 전용 함수 Q_t(L)”와 “구조 전용 함수 Y(τ)”의 곱 형태(P_t(τ)=Q_t(|τ|)Y(τ))로 가정한다. Y(τ)는 배제 규칙에 따라 β와 (1‑β) 로 가중된 행렬곱 표현 D와 E(각각 점유·공백을 나타냄)와 벡터 ⟨W|, |V⟩ 로 정확히 구성된다. 이는 기존 정적 EQP의 행렬곱 해와 동일한 형태이며, D와 E가 E^2=0인 특수성 덕분에 계산이 크게 단순화된다.

길이 전용 함수 Q_t(L)은 1차원 전이 확률식 Q_{t+1}(L)=αQ_t(L‑1)+(1‑α)(1‑β)Q_t(L)+(1‑α)βQ_t(L+1) 로 정의되며, 초기조건 Q_0(0)=1, Q_0(L>0)=0을 갖는다. 저자들은 이 차분 방정식을 라플라스 변환 형태의 계수 C_z