정규 대칭 초기조건에서 시작하는 비충돌 브라운 운동, Pfaffian 과정으로 전환

초록

본 논문은 입자 수가 유한한 비충돌 브라운 운동(BM)과 비충돌 제곱 Bessel 과정(BESQ)에서, 초기 배치가 정규(orthogonal) 대칭을 갖는 경우 다중시간 상관함수가 Pfaffian 형태로 표현됨을 증명한다. 이를 위해 초기 분포를 원점에 모든 입자를 놓은 경우와 연결시키는 시간역전·스케일 변환을 이용해 2×2 반대칭 커널을 명시적으로 구한다.

상세 분석

논문은 먼저 비충돌 BM과 비충돌 BESQ(ν) 가 고정된 초기점 ξ=∑{j=1}^{N}δ{x_j} 로 시작하면 determinantal process 로 기술된다는 기존 결과를 요약한다. 여기서 핵심은 상관 커널 K(s,x;t,y) 가 복소 적분 형태(식 1.2, 1.3)로 주어지고, 다중시간 상관함수가 행렬식(det) 으로 표현된다는 점이다. 저자는 이러한 determinantal 구조가 초기 배치가 “unitary symmetry”(β=2) 를 가질 때는 그대로 유지되지만, “orthogonal symmetry”(β=1) 를 갖는 경우에는 행렬식 대신 Pfaffian 으로 변환된다는 사실을 밝힌다.

이를 위해 두 가지 중요한 등가성을 제시한다. 첫 번째(Lemma 2.1 식 2.7)에서는 정규 대칭 초기분포 μ^{(1)}{N,σ²} 로부터 시작하는 비충돌 BM 이, 시간역전 후 스케일 변환 c{σ²}(t)=σ²/(σ²+t) 를 적용한 원점 시작 과정 Ξ_{c_{σ²}(t)}와 동등함을 보인다. 두 번째(Lemma 2.1 식 2.9)에서는 정규 대칭 BESQ 초기분포 μ^{(1,a)}_{N,σ²} 와, 파라미터 κ와 ν 사이의 관계 a=ν−κ/2 를 만족할 때, 동일한 시간역전·스케일 변환을 적용한 비충돌 BESQ(ν,κ) 과정과 동등함을 증명한다. 이러한 변환은 “시간 뒤집기”와 “시간 확장”을 동시에 수행하므로, 원래의 비동질적 과정이 시간동질적인 Pfaffian 과정으로 전환된다.

등가성을 이용해 저자는 2×2 반대칭 행렬값 커널 A(s,x;t,y;σ²) (식 1.11)와 A^{(ν,κ)}(s,x;t,y;σ²) (식 1.12)를 명시적으로 계산한다. 커널의 원소들은 확장된 Hermite 커널과 Laguerre 커널을 적절히 변형한 형태이며, 특히 A_{12} 성분은 시간 차이에 대한 비대칭성을 담고 있어 Pfaffian 구조를 보장한다. 최종적으로 다중시간 상관함수는 식 (1.13), (1.14) 와 같이 Pfaffian 형태로 표현되며, 이는 기존 determinantal 결과와는 근본적으로 다른 통계적 특성을 가진다.

논문은 또한 이러한 Pfaffian 구조가 무한 입자극한(N→∞)에서도 유지될 가능성을 시사하고, 정규 대칭 초기분포가 무작위 행렬 이론에서 GOE, chGOE 등과 연결되는 점을 강조한다. 따라서 비충돌 확산 과정의 초기 대칭성 선택이 확률적 구조를 determinantal ↔ Pfaffian 로 전이시키는 메커니즘을 명확히 밝힌 중요한 기여라 할 수 있다.