다중 유형 TASEP에서 선두 입자 유형의 대수적 거동

초록

본 논문은 정수 격자 ℤ 위의 전형적인 다중 유형 TASEP(전역 비대칭 단순 배제 과정)를 단계 초기조건으로 시작했을 때, 가장 오른쪽에 위치한 입자, 즉 ‘리더’의 유형이 시간 t가 커짐에 따라 어떻게 변하는지를 분석한다. 저자들은 리더 유형 L₁(t)의 중앙극한정리를 증명하고, 리더 유형 변화 횟수 S(t)의 기대값이 로그 성장한다는 정밀한 비율을 제시한다. 또한, 이 문제를 보터 과정과 결합 과정의 관측량과 연결시켜 두 분야의 비대칭 확률 모델에 새로운 연계성을 제공한다.

상세 분석

이 논문은 다중 유형 TASEP를 색(또는 종류)별로 구분된 입자들이 서로 교환하면서 진행되는 비대칭 배제 과정으로 정의한다. 초기조건은 η₀(x)=−x (x≤0)이며, 이는 각 위치 x≤0에 서로 다른 유형 −x의 입자가 존재함을 의미한다. 오른쪽으로만 점프가 허용되는 전형적인 TASEP이므로, 큰 유형일수록 높은 우선순위를 가지며, 따라서 가장 오른쪽 입자의 유형 L₁(t) 은 비감소 함수가 된다. 저자들은 L₁(t) 를 √t 스케일로 정규화했을 때, 분포가 표준 정규분포의 절반 누적분포와 일치한다는 중앙극한정리(Theorem 1.1)를 증명한다. 구체적으로, \