공동합성 행렬을 이용한 병합 랜덤워크의 완전 해석

본 논문은 1차원 격자 위에서 인접한 입자들이 만나면 하나로 합쳐지는 ‘공동합성 랜덤워크(coalescing random walks)’를 일반적인 근접 자유(skip‑free) 전이 확률을 전제로 정확히 분석한다. 기존의 카를린‑맥그레거 정리는 입자들이 충돌을 피할 때만 행렬식 형태의 확률을 제공했지만, 충돌 후 입자 수가 변하는 상황에서는 적용이 어려웠다. 이를 해결하기 위해 저자는 ‘공동합성 행렬(coalescence determinant)’이라는 새로운 도구를 도입한다. 공동합성 행렬은 먼저 입자들의 합병 구조를 정수 분할(패턴)로 표현한다. 예를 들어, n개의 초기 입자 중 첫 n₁개가 첫 번째 생존 입자로, 다음 n₂개가 두 번째 생존 입자로 합쳐지는 식이다. 각 패턴에 대해 전이 확률 P(x, y)와 누적합 F(x, y)=∑_{z≤y}P(x, z)를 원소로 하는 n×n 행렬을 만든다. 행렬의 첫 열은 직접 전이 확률, 나머지 열은 누적합에 인덱스 비교 연산자를 더해 ‘계단식’ 형태를 만든다. 이 행렬식이 바로 해당 패턴 하에서 생존 입자들의 위치 공동분포를 정확히 제공한다(정리 2.2). 논문은 특히 ‘최대 진입법(maximal entrance law)’—모든 격점이 초기에 점유된 경우—에 초점을 맞춘다. 이 경우 각 생존 입자는 연속적인 초기 격점들의 ‘분지(basin)’를 소유하고, 인접한 분지 사이에 ‘벽(wall)’이 존재한다. 시간 0의 벽 위치를 X=(…,x_{-1/2},x_{1/2},…)라 하고, 시간 t의 생존 입자 위치를 Y=(…,y_{-1},y_0,y_1,…)라 하면, X와 Y는 교차하는 지그재그 순서를 이룬다. 주요 결과인 정리 1.1(또는 정리 3.2)은 k개의 연속 벽‑입자 쌍 (y_0 ↖ x_{1/2} ↗ y_1 ↖ … ↗ y_k)의 공동확률이 2k×2k 블록 행렬식 det(˜M)으로 주어진다고 명시한다. 여기서 ˜M은 2k개의 ‘플랭킹 입자’(각 벽 양쪽의 초기 격점 a_i, b_i)와 패턴 1+2+…+2+1에 대응하는 행렬이다. 중요한 점은 무한히 많은 다른 입자들의 존재가 이 확률에 영향을 주지 않는다는 것이다. 이는 Arratia의 구성법을 이용해, 중간에 위치한 입자들은 이미 정의된 두 경로 사이에 갇혀 동일한 생존 입자로 반드시 합병한다는 사실에 기반한다. 이 행렬식 표현을 이용해 간격(gap) 강도 측정 µ(g)를 도출한다. 대칭적인 skip‑free 과정에서는 µ({g}) = P_{2t}(g−1) − P_{2t}(g+1) 로, 여기서 P_{2t}(·)는 두 배 시간에서의 전이 확률이다. 이는 전이 확률만 알면 바로 계산 가능하며, PDE나 연속극한이 필요 없다. 비대칭 경우에는 전이 확률의 컨볼루션 형태로 일반화된다. 브라운 운동으로 확장하면, µ(g)는 연속 밀도 G²/(2√π)·e^{−G²/4} 로 수렴한다. 이는 Doering·ben‑Aharon이 발견한 레일리 분포와 일치한다(정리 1.3). 또한, 두 연속 간격의 공동 밀도는 4×4 행렬식으로부터 유도된 적분식으로 표현되며, 간격들이 약 –0.163의 음의 상관을 갖는다는 기존 결과와 일치한다(정리 1.4). 마지막으로, 유한한 초기 배치에 대한 워렌(Warren)의 CDF 행렬식 공식도 공동합성 행렬과 부분합 변환을 이용해 간단히 재증명한다(정리 6.1). 이는 이산·연속 모두에 적용 가능하며, 기존에 복잡한 전개가 필요했던 부분을 크게 단순화한다. 결론적으로, 공동합성 행렬은 1차원 근접 자유 확산 과정에서 충돌·합병 현상을 다루는 보편적이고 강력한 도구이며, 벽‑입자 시스템, 간격 분포, 그리고 기존의 CDF 공식까지 일관된 프레임워크 안에서 통합적으로 설명한다.