[논문 리뷰] On the Limiting Shape of Young Diagrams Associated With Markov Random Words

Christian Houdré, Trevis J. Litherland|arXiv (Cornell University)|2011. 10. 20.

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

한 줄 요약

이 논문은 약한 불변성 원리와 다차원 브라운 운동 기능을 사용하여 마르코프 무작위 단어와 관련된 양자도의 점점 수렴하는 형태를 규명한다. 순환 마르코프 체인 하에서, $m=3$일 때 점점 수렴하는 형태는 $m \times m$ 추이가 없는 GUE의 스펙트럼과 일치하며, $m \geq 4$에 대해 비어 있지 않은 순환 전이 행렬의 클래스를 특정하여 이 행동을 유도함으로써 쿠퍼버그의 추측을 특정 경우에 해결한다.

ABSTRACT

Let $(X_n)_{n \ge 0}$ be an irreducible, aperiodic, homogeneous Markov chain, with state space a totally ordered finite alphabet of size $m$. Using combinatorial constructions and weak invariance principles, we obtain the limiting shape of the associated RSK Young diagrams as a multidimensional Brownian functional. Since the length of the top row of the Young diagrams is also the length of the longest weakly increasing subsequences of $(X_k)_{1\le k \le n}$, the corresponding limiting law follows. We relate our results to a conjecture of Kuperberg by providing, under a cyclic condition, a spectral characterization of the Markov transition matrix precisely characterizing when the limiting shape is the spectrum of the $m imes m$ traceless GUE. For each $m \ge 4$, this characterization identifies a proper, non-trivial class of cyclic transition matrices producing such a limiting shape. However, for $m=3$, all cyclic Markov chains have such a limiting shape, a fact previously only known for $m=2$. For $m$ arbitrary, we also study reversible Markov chains and obtain a characterization of symmetric Markov chains for which the limiting shape is the spectrum of the traceless GUE. To finish, we explore, in this general setting, connections between various limiting laws and spectra of Gaussian random matrices, focusing in particular on the relationship between the terminal points of the Brownian motions, the diagonal terms of the random matrix, and the scaling of its off-diagonal terms, a scaling we conjecture to be a function of the spectrum of the covariance matrix governing the Brownian motion.

연구 동기 및 목표

• 유한한 전체 순서가 있는 알파벳 위에서 비가역적, 비주기적, 동일한 마르코프 체인으로 생성된 양자도의 점점 수렴 형태를 결정하는 것.
• 이러한 양자도의 점점 수렴 형태가 $m \times m$ 추이가 없는 가우시안 유니터리 군집(GUE)의 스펙트럼과 일치하는 조건을 조사하는 것.
• 독립적 동일분포 및 균일한 경우의 결과를 일반 마르코프 체인으로 확장하며, 특히 순환 및 가역 체인에 초점을 맞추는 것.
• 특히 순환 조건 하에서 GUE 점점 수렴 형태를 유도하는 전이 행렬의 스펙트럼적 특성화를 제공하는 것.
• 브라운 운동 기능, 큐잉 이론, 그리고 랜덤 행렬 이론에서 고유값의 공동 분포 간의 연결 고리를 탐색하는 것.

제안 방법

• 마르코프 무작위 단어를 양자도로 매핑하기 위해 RSK 대응의 조합적 구성 방법을 사용한다.
• 정규화된 양자도 형태의 수렴을 다차원 브라운 운동 기능으로 보여주기 위해 약한 불변성 원리를 적용한다.
• 바리시니코프와 그라브너-트레이시-위돔의 결과에 따라, GUE의 최대 고유값과 브라운 운동의 최대 기능 간의 법칙 동일성을 활용한다.
• 서로 연관된 서비스 시간을 가진 탄탄 브라운 운동 큐를 사용하여 양자도의 행 길이의 공동 행동을 모델링한다.
• 마르코프 체인에 기능 중심 중심극한정리 적용을 통해 RSK 형태의 척도 극한을 유도한다.
• 특히 순환 및 가역 체인에 대해, 점점 수렴 형태가 GUE 스펙트럼과 일치하는 전이 행렬의 스펙트럼 이론을 활용하여 특성화한다.

실험 결과

연구 질문

• RQ1 마르코프 전이 행렬에 어떤 조건이 성립할 경우, 무작위 단어와 관련된 양자도의 점점 수렴 형태가 $m \times m$ 추이가 없는 GUE의 스펙트럼으로 수렴하는가?
• RQ2 $m \geq 4$일 때, GUE 점점 수렴 형태를 유도하는 순환 마르코프 체인의 정확한 클래스는 무엇이며, 이는 $m=3$의 경우와 어떻게 다를까?
• RQ3 관련 브라운 운동의 종점은 점점 수렴하는 랜덤 행렬의 대각성분과 어떻게 관련이 있는가?
• RQ4 점점 수렴하는 랜덤 행렬의 비대각성분에 대한 적절한 척도는 무엇이며, 이는 기저 브라운 운동의 공분산 구조와 어떻게 관련되는가?
• RQ5 가역 마르코프 체인이 얼마나 많은 정도로 GUE 스펙트럼과 일치하는 점점 수렴 형태를 유도하는가? 그리고 전이 행렬에 필요한 스펙트럼 조건은 무엇인가?

주요 결과

• $m=3$일 때, 모든 비가역적, 비주기적, 순환 마르코프 체인이 $m \times m$ 추이가 없는 GUE의 스펙트럼과 일치하는 점점 수렴 형태를 유도하며, 이는 이전에 알려진 $m=2$의 결과를 확장한다.
• $m \geq 4$일 때, 유일한 비어 있지 않은 순환 마르코프 체인의 부분집합만이 GUE 점점 수렴 형태를 유도하며, 이는 전이 행렬의 특정 스펙트럼 조건으로 특성화된다.
• 양자도의 점점 수렴 형태가 다차원 브라운 운동의 기능임을 보이며, 행 길이의 공동 분포가 GUE 행렬의 최대 고유값의 공동 분포로 수렴함을 보였다.
• 특히 가역 체인에 대해, 점점 수렴 형태가 GUE 스펙트럼과 일치하는 전이 행렬의 스펙트럼적 특성화를 제공한다.
• 점점 수렴하는 랜덤 행렬의 비대각성분의 척도는 기저 브라운 운동의 공분산 행렬의 스펙트럼에 의해 결정된다고 추측된다.
• 이 작업은 마르코프 체인 위의 RSK 대응과 큐잉 이론 사이의 연결 고리를 확립하며, 일반화된 브라운 운동 큐가 양자도의 행 길이의 공동 분포를 모델링할 수 있음을 보였다.