[논문 리뷰] Markov processes of infinitely many nonintersecting random walks

Alexei Borodin, Vadim Gorin|arXiv (Cornell University)|2011. 06. 07.

Random Matrices and Applications참고 문헌 24인용 수 9

한 줄 요약

이 논문은 $N$개의 비상호작용 랜덤 워크를 $q$-바나흐 행렬식을 통해 조건화한 결과로 무한차원 페러 마코프 과정을 스케일링 극한으로 구성한다. 게르파인-츠레틴 체계 위의 $q$-기브스 측도를 사용하여, 극한 과정이 명시적인 커널을 가진 행렬식 상관 함수를 가지며, 페러 성질과 푸시-아세프(_PUSHASEP)의 시간이 큰 근사값을 증명한다.

ABSTRACT

Consider an N-dimensional Markov chain obtained from N one-dimensional random walks by Doob h-transform with the q-Vandermonde determinant. We prove that as N becomes large, these Markov chains converge to an infinite-dimensional Feller Markov process. The dynamical correlation functions of the limit process are determinantal with an explicit correlation kernel. The key idea is to identify random point processes on Z with q-Gibbs measures on Gelfand-Tsetlin schemes and construct Markov processes on the latter space. Independently, we analyze the large time behavior of PushASEP with finitely many particles and particle-dependent jump rates (it arises as a marginal of our dynamics on Gelfand-Tsetlin schemes). The asymptotics is given by a product of a marginal of the GUE-minor process and geometric distributions.

연구 동기 및 목표

• N개의 비상호작용 랜덤 워크의 스케일링 극한으로서 무한차원 페러 마코프 과정의 존재를 확립하기 위해.
• 극한 과정의 동적 상관 함수가 명시적인 상관 커널을 가진 행렬식임을 보여주기 위해.
• 극한 과정을 게르파인-츠레틴 체계 위의 $q$-기브스 측도와 연결하고, 이를 통해 페러 성질을 증명하기 위해.
• 입자에 따라 다른 점프 비율을 가진 푸시-아세프의 장시간 근사값을 유도하여, GUE-소수 과정과 기하 분포와의 연결을 밝혀내기 위해.
• 비상호작용 경로의 유한 및 무한계 시스템 분석을 통합하기 위해 $q$-기브스 측도 프레임워크를 사용하기 위해.

제안 방법

• N개의 독립된 포아송 과정을 $q$-바나흐 행렬식을 사용한 두부 $h$-변환을 통해 비상호작용 경로로 조건화하기 위해.
• 정수 집합 $\mathbb{Z}$ 위의 랜덤 점 과정을 게르파인-츠레틴 체계 위의 $q$-기브스 측도로 식별하여, 무한차원 공간에서 일致한 역학을 구성하기 위해.
• 일반 수렴 정리를 적용하여 유한-$N$ 마코프 체인이 무한차원 점 구성의 공간에서 페러 과정으로 수렴함을 보여주기 위해.
• 잔류 적분 계산과 $F_{k,l}(x_l - y_k)$를 포함한 행렬 행렬식 항등식을 사용하여 극한 과정의 명시적 상관 커널을 구성하기 위해.
• 행렬 $[F_{k,l}(x_l - y_k)]$에 행과 열의 연산을 적용하여 증가하는 항을 분리하고, 결정식을 점근적으로 인수분해하기 위해.
• 푸시-아세프의 장시간 행동을 분석하기 위해, 게르파인-츠레틴 체계 위의 마진널 역학과 연결하여, GUE-소수 과정과 기하 분포를 포함한 곱 형태의 근사값을 도출하기 위해.

실험 결과

연구 질문

• RQ1 비상호작용 랜덤 워크의 무한입자 극한에서 $q$-바나흐 행렬식을 통한 조건화 하에 마코프 성질이 유지될 수 있는가?
• RQ2 극한 무한차원 마코프 과정의 구조는 어떻게 되며, 연속경로를 가지는 페러 수정이 가능한가?
• RQ3 극한 과정의 동적 상관 함수는 어떻게 행동하는가? 그리고 명시적인 커널을 가진 행렬식 점 과정으로 표현될 수 있는가?
• RQ4 입자에 따라 다른 점프 비율을 가진 푸시-아세프의 장시간 행동은 어떻게 되며, GUE-소수 과정과 어떤 관계가 있는가?
• RQ5 게르파인-츠레틴 체계 위의 $q$-기브스 측도 프레임워크는 유한 및 무한계 비상호작용 경로 시스템의 분석을 통합하는 데 사용될 수 있는가?

주요 결과

• 극한 과정 $\mathfrak{X}(t)$는 $\mathbb{Z}_{\geq 0}$ 내의 무한점 구성의 공간 위에 정의된 페러 마코프 과정이며, càdlàg 샘플 경로와 조밀하게 팩킹된 초기 조건을 가진다.
• $\mathfrak{X}(t)$의 동적 상관 함수는 잔류 적분 계산과 행렬 변환을 통해 유도된 명시적인 상관 커널을 가진 행렬식이다.
• 입자에 따라 다른 점프 비율을 가진 푸시-아세프의 점근적 행동은 GUE-소수 과정과 기하 분포의 곱 형태로 주어지며, 이는 게르파인-츠레틴 체계 위의 마진널 역학에서 유도된다.
• 전이 커널의 행렬식은 점근적으로 지수항의 곱과 부분행렬의 행렬식으로 분해되며, 후자는 가우시안 유사한 부스러기 행동을 기록한다.
• 유한-$N$ 과정에서의 수렴은 스케일링 없이도 $q$-바나흐 조건화와 $q$-기브스 구조에 기반하여 확립된다.
• 확장된 경계의 분석과 이 경계 위에서의 연속적 수정을 구성함으로써 페러 성질이 증명된다.