[논문 리뷰] Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory

Makoto Katori, Hideki Tanemura|ArXiv.org|2005. 01. 14.

Random Matrices and Applications참고 문헌 15인용 수 6

한 줄 요약

이 논문은 비만남 랜덤 워크(vicious walkers), 비충돌 브라운 운동, 그리고 표현 이론을 반정형 양자 표준 표준 표기법과 슈어 함수를 통해 깊이 연결한다. 비교적 교차하지 않는 격자 경로와 양자 표준 표기법 사이의 이분법적 사상에 기반하여, 저자들은 슈어 함수를 사용하여 악성 워크 분할 함수에 대한 행렬식 표현을 유도하고, 확산 스케일링 근사가 다이슨의 브라운 운동으로 이어짐을 보여주며, 이는 헤르미트 행렬값을 갖는 확산 과정의 고유값 과정과 동일한 분포를 가짐을 의미한다.

ABSTRACT

The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.

연구 동기 및 목표

• 비만남 격자 경로(악성 워크)와 반정형 양자 표준 표기법(SSYT) 사이의 이분법적 사상 수립.
• 슈어 함수를 사용하여 악성 워크 분할 함수에 대한 행렬식 표현 유도.
• 악성 워크 모델의 확산 스케일링 근사가 비충돌 브라운 운동 시스템을 유도함을 보임.
• 유도된 비충돌 브라운 운동이 다이슨의 브라운 운동 모델임을 확인함.
• 비충돌 브라운 운동 과정이 헤르미트 행렬값을 갖는 확산 과정의 고유값 과정과 동일한 분포를 가짐을 증명함.

제안 방법

• 시간에 따라 왼쪽으로 이동하는 단계의 수를 세고 이를 레이블링하여, N개의 비만남 격자 경로의 N-튜플과 반정형 양자 표준 표기법(SSYT) 사이의 이분법적 사상 수립.
• 각 워커가 취하는 왼쪽 이동 단계의 수에 의해 정의되는 양자 표준 도형의 형태를 이용해 양자 표준 표기법의 형태를 정의.
• 슈어 함수 이론을 적용하여 악성 워크 모델의 분할 함수를 행렬식으로 표현.
• 슈어 함수의 대칭성과 수직성 성질을 활용하여 확산 스케일링 근사를 도출.
• 이산적 악성 워크 모델의 연속 근사를 취하여, 역거리 반발력을 갖는 SDE로 지배되는 확률적 과정을 도출.
• 유도된 SDE가 다이슨의 브라운 운동 모델과 일치하며, 헤르미트 행렬값을 갖는 이토 과정의 고유값 과정과 동일한 분포를 가짐을 보임.

실험 결과

연구 질문

• RQ1 악성 워크 모델에서의 비만남 격자 경로는 어떻게 체계적으로 반정형 양자 표준 표기법으로 매핑될 수 있는가?
• RQ2 슈어 함수는 어떻게 악성 워크 모델의 분할 함수 표현에 기여하는가?
• RQ3 악성 워크 모델의 스케일링 근사는 무엇이며, 비충돌 확산 과정과의 관계는 어떠한가?
• RQ4 유도된 비충돌 브라운 운동은 다이슨의 브라운 운동 모델과 어떻게 관련이 있는가?
• RQ5 비충돌 브라운 운동 과정은 헤르미트 행렬값을 갖는 확산 과정의 고유값 과정과 동일한 분포를 가지는가?

주요 결과

• N명의 악성 워커의 비만남 격자 경로와 반정형 양자 표준 표기법(SSYT) 사이에 이분법적 대응 관계가 존재하며, 각 워커가 취하는 왼쪽 이동 단계의 수가 열 길이를 결정함.
• 악성 워크 모델의 분할 함수는 슈어 함수로 표현되며, 린스트롬–게셀–비앙느 보조정리에 의해 행렬식 표현을 제공함.
• 악성 워크 모델의 확산 스케일링 근사는 역거리에 비례하는 드리프트 항을 갖는 비충돌 브라운 운동 시스템을 유도함.
• 이 비충돌 브라운 운동은 다이슨의 브라운 운동 모델로 확인되며, 헤르미트 행렬값을 갖는 확산 과정의 고유값 과정과 동일한 유한차원 분포를 가짐.
• 비충돌 브라운 운동의 SDE는 행렬 이토 미분법으로 유도되며, 드리프트 항은 고유값의 반발력에서 기인함.
• 행렬 과정의 유한변동 및 이차변동 성분이 명시적으로 분해되어 SDE 유도의 일관성과 고유값 과정과의 동치성 확인됨.