이질적 반무한 배제 시스템에서 가장 왼쪽 입자의 동역학

초록

본 논문은 서로 다른 점프 속도를 가진 입자들이 배제 규칙을 만족하며 반무한 격자 위를 연속시간 최근접 이웃 랜덤워크를 하는 모델에서, 가장 왼쪽 입자의 장기 거동을 분석한다. 점프율 배열에 따라 좌측 입자가 반복(귀환)하거나 일방향으로 이동(전이)하는 조건을 제시하고, 전이 경우 탈출 속도를 M/G/∞ 큐와의 비교를 통해 정량화한다. 특히 Lamperti형 비대칭 점프율을 이용해 무귀환·양귀환·아래확산·볼록이동 등 다양한 행동을 구현하고, 초기 배치가 동역학에 미치는 영향을 강조한다.

상세 분석

논문은 먼저 반무한 격자 ℤ 위에 N번째 입자마다 서로 다른 좌·우 점프율 a_k, b_k (모두 양수, 상한 B) 를 부여한 연속시간 배제 과정(Exclusion Process)을 정의한다. 배제 규칙 때문에 입자들의 순서는 보존되며, 시스템 상태는 왼쪽 입자 위치 X₁(t)와 인접 입자 사이의 빈칸 수 η_k(t)=X_{k+1}(t)-X_k(t)-1 로 완전히 기술된다. η 프로세스는 무한 Jackson 네트워크로 해석될 수 있는데, 여기서 각 큐 k는 η_k 개의 고객을 보유하고, 고객은 서비스 후 인접 큐로 이동한다. 이 네트워크와 연결된 “우선 고객”의 이동을 ζ(t)라 두고, 이는 a_{k+1}·율로 오른쪽(k→k+1)으로, b_k·율로 왼쪽(k→k−1)으로 이동하는 연속시간 랜덤워크이다. ζ의 장기 거동(양귀환, 영귀환, 음귀환)은 X₁의 평균 속도 v₀와 직접 연관된다. 특히, 안정 방정식 (1.3) 의 해 ρ(v)=α+vβ 를 통해 admissible(0,1) 구간에 있는 ρ가 존재하면 정규화된 product‑geometric stationary measure ν_ρ 가 정의되고, 초기 η(0)∼ν_ρ이면 모든 입자는 동일한 특성 속도 v에 따라 선형 성장한다. 최소 해 ρ(v₀) 은 가장 촘촘한 초기 배치를 의미하며, v₀≤0 이다. v₀<0이면 최소 해만 admissible 하므로 시스템은 전역적으로 좌측으로 이동한다(전이).

주요 결과는 두 가지 축으로 전개된다. 첫째, Lamperti‑type 비대칭 점프율 a_k=½−μk, b_k=½+μk (0<μ<½) 를 고려한 Theorem 1.3 에서, μ<¼이면 X₁은 −∞ 로 서브확산(polynomial) 속도로 전이한다. 구체적으로 상수 c₁,c₂ 존재해 c₁ t^{½−2μ} < −X₁(t) < c₂ (t log t)^{½−2μ} 가 거의 확실히 성립한다. 이는 기존 대칭 배제 과정(μ=0)에서 알려진 X₁(t)≈√{t log t} 와 일치하는 상한을 재현한다. 반면 μ>¼이면 시스템은 양귀환이며, X₁은 정상분포 π 에 대해 에르고딕하게 움직인다. 두 경우 모두 v₀=0 이므로 평균 속도는 0이지만, 세부적인 스케일이 크게 달라진다.

둘째, 초기 조건의 역할을 강조한다. 같은 점프율이라도 η(0)∼ν_{α} (즉 최소 해에 해당하는 stationary 배치) 로 시작하면 X₁은 재귀적(positive recurrent) 혹은 영귀환이 된다(정리 3.1). 반면, “가까운 포장(finite close‑packed)” 초기 배치 X∈X_F 로 시작하면 서브확산 전이가 나타난다. 이는 왼쪽 입자가 초기에 밀집된 입자군에 의해 강한 압력을 받아 평균 속도가 0에 고정되지만, 빈칸이 서서히 생성되면서 점차 왼쪽으로 이동하는 메커니즘이다.

또한, 고객 랜덤워크 ζ와 X₁ 사이의 정량적 연결 고리를 구축한다. ζ가 영귀환이면 X₁은 서브확산 전이, ζ가 양귀환이면 X₁은 양귀환(또는 정상성)으로 귀결한다. 이를 통해 M/G/∞ 큐와의 비교를 이용해 전이 속도의 상·하한을 도출한다. 논문은 전이 속도가 t^{γ} 형태(γ∈(½,1))인 사례가 존재하는지에 대한 열린 문제(Problem 1.5)도 제시한다.

전반적으로, 논문은 비동질적인 점프율이 배제 과정에 미치는 미세한 영향을 정밀히 분석하고, Jackson 네트워크와 고객 랜덤워크라는 큐잉 이론 도구를 활용해 확률적 동역학을 체계화한다. 이는 기존 동질 배제 모델에서 관찰되지 않았던 다양한 귀환·전이 현상을 포괄적으로 설명하고, 초기 조건에 따른 상이한 장기 거동을 명확히 구분한다는 점에서 이론적·응용적 의의를 가진다.