구면함수를 통한 자유 곱적 브라운 운동의 명시적 공식

초록

본 논문은 복소 일반선형군 GL(N,ℂ) 위의 브라운 운동을 이용해, 그 특이값의 로그가 형성하는 Heckman‑Opdam 과정과 구면함수 사이의 관계를 밝힌다. 이를 통해 자유 확률론에서 등장하는 자유 곱적 브라운 운동의 극한 분포를 명시적으로 구하고, 동일한 방법을 Bₙ, Cₙ, Dₙ 루트계에도 확장한다.

상세 분석

논문은 먼저 GL(N, F) (F=ℝ, ℂ) 위의 오른쪽 브라운 운동 Gₜ를 정의하고, Gₜ Gₜ*의 양의 정의 행렬의 고유값 λₜ를 고려한다. λₜ의 로그를 ½ ln λₜ라 하면, 이는 Weyl 군 Aₙ₋₁에 대한 Weyl‑chamber C_Aₙ 안에서 움직이는 확률 과정 Xₜ를 만든다. 이 과정은 SDE
dXₜ,i = dBₜ,i + k ∑_{j≠i}coth(Xₜ,i−Xₜ,j) dt
(1.2) 형태이며, k는 “coupling constant”이다. k≥½에서 강한 해가 존재하고, k=∞이면 확정적 ODE (1.4) 로 수렴한다. 저자들은 이 과정을 “Heckman‑Opdam 과정”이라 부르며, 전통적인 구면함수 이론과 연결한다.

핵심 아이디어는 복소 경우(k=1)에서 GL(N,ℂ)/SU(N)와 그에 대응하는 유클리드 공간 H(N,ℂ) (Hermitian 행렬 공간) 사이의 Gelfand 쌍을 이용하는 것이다. 구면함수는 두 공간의 푸리에 변환을 연결하고, 특히 ρ = (−N+1, −N+3,…, N−1) 라는 가중치 벡터가 등장한다. 저자들은 H(N,ℂ) 위에 drift c·diag(ρ) 를 갖는 브라운 운동 B_Hₜ+tc·diag(ρ)를 정의하고, 그 고유값의 밀도 f_{N,c,t}(x) 를 (1.8) 식으로 명시한다. 이 밀도는 기존의 Dyson‑Brownian motion 밀도에 sinh (c(x_i−x_j)) 요인이 추가된 형태이며, 구면함수와 직접적인 연관을 가진다.

그 다음, 이 고유값 분포와 (1.2)식의 해 Xₜ가 동일한 밀도를 가진다는 것을 보임으로써, 복소 GL(N,ℂ) 경우의 Heckman‑Opdam 과정이 실제로 H(N,ℂ) 위의 드리프트가 있는 브라운 운동의 고유값 과정과 동등함을 증명한다. 이를 통해 N→∞ 극한에서 경험적 측정 μ_{N,t}=N^{-1}∑δ_{Xₜ,i/N} 가 k에 무관하게 동일한 자유 확률 분포로 수렴함을 보인다. 구체적으로는
μ_{N,t} ⇀ U_t ⊞ μ_{sc,2√t}
(여기서 U_t는