[논문 리뷰] The Large-$N$ Limits of Brownian Motions on $\mathbb{GL}_N$

Todd Kemp|arXiv (Cornell University)|2013. 06. 25.

Random Matrices and Applications참고 문헌 12인용 수 3

한 줄 요약

이 논문은 일반선형군 GL_N 위의 브라운 운동에 대해 r, s > 0에 의해 매개변수화된 불변 리만 계량을 갖는 두 파라미터 가중족을 도입한다. N → ∞일 때, 이러한 행렬 값 확산 과정의 비가환 분포가 자유 이토 과정 b_{r,s}(t)로 수렴함을 증명한다. 이 과정은 자유 확률론적 확률미분방정식을 만족한다. 본 결과는 빈의 GL_N 브라운 운동의 대규모 N 근사에 대한 열린 문제를 해결하며, 자유 유니터리 브라운 운동과 자유 곱셈 브라운 운동을 특수한 경우로 통합한다.

ABSTRACT

We introduce a two-parameter family of diffusion processes $(B_{r,s}^N(t))_{t\ge 0}$, $r,s>0$, on the general linear group $\mathbb{GL}_N$ that are Brownian motions with respect to certain natural metrics on the group. At the same time, we introduce a two-parameter family of free Itô processes $(b_{r,s}(t))_{t\ge 0}$ in a faithful, tracial $W^\ast$-probability space, and we prove that the full process $(B^N_{r,s}(t))_{t\ge 0}$ converges to $(b_{r,s}(t))_{t\ge 0}$ in noncommutative distribution as $N o\infty$ for each $r,s>0$. The processes $(b_{r,s}(t))_{t\ge 0}$ interpolate between the free unitary Brownian motion when $(r,s)=(1,0)$, and the free multiplicative Brownian motion when $r=s=\frac12$; we thus resolve the open problem of convergence of the Brownian motion on $\mathbb{GL}_N$ posed by Biane in 1997.

연구 동기 및 목표

• r, s 매개변수화된 불변 리만 계량을 사용하여 GL_N 위의 브라운 운동 가중족을 정의한다.
• 이 행렬 값 확산 과정의 대규모 N 근사를 비가환 확률과정으로 확립한다.
• Biane의 GL_N 브라운 운동 수렴 문제를 자유 이토 과정으로 특정함으로써 이를 해결한다.
• 자유 유니터리 브라운 운동(r=1,s=0)과 자유 곱셈 브라운 운동(r=s=1/2)을 한계 과정의 특수한 경우로 통합한다.

제안 방법

• ξᵢ, ηᵢ ∈ u_N에 대해 ⟨ξ₁+iη₁,ξ₂+iη₂⟩_{r,s}^N = -N/r Tr(ξ₁ξ₂) - N/s Tr(η₁η₂)로 정의되는 내적을 통해 GL_N 위의 왼쪽 불변 리만 계량을 두 파라미터 가중족으로 도입한다.
• 관련 라플라스-베르트라미 연산자 Δ_{r,s}^N을 구성하고, 생성자 (1/2)Δ_{r,s}^N을 갖는 확산 과정으로 GL_N 브라운 운동 B_{r,s}^N(t)를 정의한다.
• 자유 SDE db_{r,s}(t) = b_{r,s}(t) dw_{r,s}(t) - (1/2)(r-s)b_{r,s}(t) dt의 해로 한계 자유 이토 과정 b_{r,s}(t)를 정의한다. 여기서 w_{r,s}(t) = i√r x(t) + √s y(t)이다.
• 행렬 증분의 渐近 자유성과 모멘트 수렴을 이용하여, N → ∞일 때 B_{r,s}^N(t)의 비가환 분포가 b_{r,s}(t)의 분포로 수렴함을 증명한다.
• 트레이스 다항식 분해와 통합 공식을 활용하여, P^{j,k}_τ 기능적을 통해 행렬 모멘트를 자유 모멘트로 연결한다.
• 시간 간격의 분할과 증분 분해를 적용하여, 공동 모멘트 수렴을 자유 독립성과 증분의 정적성으로 환원한다.

실험 결과

연구 질문

• RQ1 GL_N 위의 두 파라미터 불변 리만 계량을 갖는 브라운 운동의 대규모 N 근사는 무엇인가?
• RQ2 한계 과정은 자유 유니터리 브라운 운동과 자유 곱셈 브라운 운동과 같은 알려진 자유 확률 과정과 어떻게 관련이 있는가?
• RQ3 점근 자유성과 모멘트 방법을 사용하여 GL_N 브라운 운동의 비가환 분포 수렴을 엄밀하게 확립할 수 있는가?
• RQ4 한계 과정 b_{r,s}(t)를 지배하는 정확한 자유 확률미분방정식의 형태는 무엇인가?
• RQ5 파라미터 r과 s는 대규모 N 근사에서 다양한 자유 브라운 운동 유형 간의 보간을 어떻게 수행하는가?

주요 결과

• 모든 r, s > 0에 대해, GL_N 브라운 운동 B_{r,s}^N(t)의 비가환 분포가 N → ∞일 때 자유 이토 과정 b_{r,s}(t)의 분포로 수렴한다.
• 한계 과정 b_{r,s}(t)는 자유 SDE db_{r,s}(t) = b_{r,s}(t) dw_{r,s}(t) - (1/2)(r-s)b_{r,s}(t) dt를 만족하며, 여기서 w_{r,s}(t) = i√r x(t) + √s y(t)이다. x(t), y(t)는 자유로운 자유 반원 브라운 운동이다.
• (r,s) = (1,0)일 때, 한계 과정 b_{1,0}(t)는 자유 유니터리 브라운 운동이다.
• r = s = 1/2일 때, 한계 과정 b_{1/2,1/2}(t)는 자유 곱셈 브라운 운동이다.
• 수렴은 모멘트 매칭을 통해 확립된다: lim_{N→∞} E[tr(g(B_{t₁}^{ε₁}⋯B_{tₙ}^{εₙ}))] = τ(g(b_{t₁}^{ε₁}⋯b_{tₙ}^{εₙ})))이다. 여기서 g는 비가환 다항식이다.
• B_{r,s}^N(t)의 증분은 점점 자유롭고 정적이다. 이는 공동 모멘트 수렴을 자유 독립성과 한계 증분의 정적성으로 환원할 수 있음을 가능하게 한다.