[논문 리뷰] Noncolliding processes, matrix-valued processes and determinantal processes

Makoto Katori, Hideki Tanemura|arXiv (Cornell University)|2010. 05. 04.

Random Matrices and Applications참고 문헌 57인용 수 18

한 줄 요약

이 논문은 시간에 따라 변화하는 비균일성과 행렬값을 가진 시스템을 포함하는 일반화된 비충돌 확산 과정을 도입하고, 이들이 결정식 및 펄라피안 점 프로세스와 어떻게 연결되는지를 규명한다. 디슨의 브라운 운동 모델을 확장하고 일반화된 브루의 정리를 적용함으로써, 저자들은 다중 시간 상관 함수가 결정식 또는 펄라피안임을 증명하고, N→∞ 근처에서의 점근적 법칙을 유도하며, 이들이 트레이시-위드먼 분포와 랜덤 매트릭스 이론과 연결됨을 보여준다.

ABSTRACT

A noncolliding diffusion process is a conditional process of $N$ independent one-dimensional diffusion processes such that the particles never collide with each other. This process realizes an interacting particle system with long-ranged strong repulsive forces acting between any pair of particles. When the individual diffusion process is a one-dimensional Brownian motion, the noncolliding process is equivalent in distribution with the eigenvalue process of an $N imes N$ Hermitian-matrix-valued process, which we call Dyson's model. For any deterministic initial configuration of $N$ particles, distribution of particle positions of the noncolliding Brownian motion on the real line at any fixed time $t >0$ is a determinantal point process. We can prove that the process is determinantal in the sense that the multi-time correlation function for any chosen series of times, which determines joint distributions at these times, is also represented by a determinant. We study the asymptotic behavior of the system, when the number of Brownian motions $N$ in the system tends to infinity. This problem is concerned with the random matrix theory on the asymptotics of eigenvalue distributions, when the matrix size becomes infinity. In the present paper, we introduce a variety of noncolliding diffusion processes by generalizing the noncolliding Brownian motion, some of which are temporally inhomogeneous. We report the results of our research project to construct and study finite and infinite particle systems with long-ranged strong interactions realized by noncolliding processes.

연구 동기 및 목표

• 비충돌 브라운 운동을 시간에 따라 변화하는 비균일성과 행렬값을 가진 확산 과정으로 일반화하는 것.
• 이 과정들의 다중 시간 상관 함수가 결정식 또는 펄라피안임을 입증하고, 결정식 점 프로세스의 프레임워크를 확장하는 것.
• 입자 수 N이 무한대에 접근함에 따라 시스템의 점근적 행동을 분석하고, 이를 랜덤 매트릭스 이론과 연결하는 것.
• 디슨의 모델, 베타 과정, 일반화된 메인더와 같은 다양한 알려진 과정들을 프레드홀름 행렬식과 펄라피안을 통해 통합적인 수학적 프레임워크로 통합하는 것.
• 유한한 펄라피안 시스템의 척도 한계를 통해 무한차원 펄라피안 과정의 존재를 보여주는 것.

제안 방법

• 비충돌 확산 과정의 전이 밀도를 일차원 전이 밀도의 행렬식으로 표현하기 위해 카린-맥그레거 공식을 사용한다.
• 행렬값을 가진 확산 과정의 고유값 과정에 대한 확률적 미분 방정식을 유도하기 위해 브루의 정리의 일반화된 버전을 적용한다.
• 프레드홀름 행렬식과 펄라피안을 사용하여 비충돌 과정의 상관관계를 특성화함으로써, 결정식 점 프로세스를 일반화한다.
• 하리시-찬드라/잇츠키손-지버 적분 공식과 리만-리우빌 미분-적분 연산자를 활용하여 일반화된 메인더 과정의 상관핵을 묘사한다.
• 펄라피안 및 결정식 상관 함수의 N→∞ 근처에서의 점근적 분석을 통해 보편적인 점근적 법칙을 도출하며, 트레이시-위드먼 분포를 포함한다.
• 디슨 모델에서 β=1,2,4를 고려함으로써, 결과적으로 유한한 입자 수 시스템이 고전적인 랜덤 매트릭스 군집(GUE, GOE, GSE) 및 그들의 β-군집과 연결됨을 보여준다.

실험 결과

연구 질문

• RQ1 비충돌 확산 과정은 표준 브라운 운동을 초월하여 비균일성과 행렬값 동역학을 포함하는 방식으로 어떻게 일반화될 수 있는가?
• RQ2 비충돌 과정의 다중 시간 상관 함수가 결정식 또는 펄라피안이 되는 조건은 무엇인가?
• RQ3 입자 수 N이 무한대에 접근함에 따라 이러한 과정의 점근적 행동은 어떠한가?
• RQ4 일반화된 메인더와 비충돌 다리의 상관핵은 리만-리우빌 미분-적분 연산자와 같은 특수함수와 어떻게 관련되는가?
• RQ5 랜덤 매트릭스 군집의 고유값 과정과 비충돌 확산 과정은 N→∞ 근처에서 어떻게 연결되는가?

주요 결과

• 비충돌 브라운 운동은 법적으로 N×N 에르미트 행렬값을 가진 확산 과정의 고유값 과정과 동일하며, 이는 β=2인 디슨의 모델로 알려져 있다.
• 임의의 고정된 시간 t>0에서, 비충돌 브라운 운동의 입자 위치 분포는 카린-맥그레거 공식에서 유도된 상관핵을 가진 결정식 점 프로세스이다.
• 비충돌 과정의 다중 시간 공동 분포는 결정식이며, 상관 함수는 N×N 행렬의 프레드홀름 행렬식으로 표현된다.
• 시간에 따라 변화하는 비균일성의 비충돌 브라운 운동과 비충돌 일반화된 메인더는 펄라피안 과정이며, 상관 함수는 펄라피안으로 표현 가능하다.
• N→∞ 근처에서 펄라피안 및 결정식 구조의 점근적 분석은 보편적인 법칙을 도출하며, 최대 고유값에 대한 트레이시-위드먼 분포를 포함한다.
• 일반화된 메인더 과정은 리만-리우빌 미분-적분 연산자를 사용하여 상관핵이 표현되며, 이는 해법이 가능한 비충돌 시스템의 범주를 확장한다.