장거리 미산트로프 과정의 곱형 정지분포 조건

초록

본 논문은 입자들이 빈 구간을 가로질러 장거리 이동할 수 있는 부분 비대칭 장거리 미산트로프 과정(PALRMP)을 정의하고, 정지분포가 곱형(product form)으로 나타나기 위한 필요충분 조건을 제시한다. 일반 비동질 경우와 모든 사이트 파라미터가 1인 동질 경우, 그리고 완전 비대칭(TALRMP)·대칭(SLRMP) 변형에 대해 각각의 조건을 구체적으로 도출하였다. 또한 이론을 Hammersley‑Aldous‑Diaconis(HAD) 이산 과정에 적용해 예시를 제공한다.

상세 분석

논문은 먼저 기존의 미산트로프 과정이 이웃 사이트 사이에서만 입자 이동을 허용한다는 점을 상기하고, 이를 확장해 “빈 구간”이라는 제약 하에 임의의 거리까지 이동을 허용하는 장거리 모델을 제안한다. 각 사이트 ℓ에 부여된 양의 파라미터 xℓ가 목표 사이트의 이동률에 곱해지는 구조를 갖으며, 오른쪽(시계방향) 이동은 xℓ·u(m,n), 왼쪽(반시계방향) 이동은 q·xℓ·u(m,n) 형태의 속도로 정의된다. 여기서 u(m,n)은 출발지와 도착지에 각각 m, n개의 입자가 있을 때의 기본 전이율이며, q≥0은 비대칭 정도를 조절한다.

정지분포가 곱형이라는 것은 각 사이트 ℓ의 입자 수 ηℓ에 대해 π(η)∝∏ℓ f(xℓ,ηℓ) 형태로 표현될 수 있음을 의미한다. 이를 위해 저자는 마스터 방정식(입·출 전류 균형)과 쌍별 균형(pairwise balance) 개념을 활용한다. 특히, 전이율이 거리와 무관하게 “빈 구간”이라는 제약만을 만족하면, 전이 그래프가 완전 연결(irreducible)임을 보이고, 따라서 정지분포는 유일함을 확보한다.

핵심 정리는 세 가지 경우에 대해 정리된다.

1. 일반 PALRMP (0≤q≤1, 비동질 xℓ)
   정지분포가 곱형이 되려면 기본 전이율 u(m,n)이
   \