[논문 리뷰] Law of Large Numbers for Infinite Random Matrices over a Finite Field

Alexey Bufetov, Leonid Petrov|arXiv (Cornell University)|2014. 02. 07.

Random Matrices and Applications참고 문헌 54인용 수 7

한 줄 요약

이 논문은 유한 체 위의 무한 랜덤 행렬에 대해, $n\times n$ 부분행렬이 형성하는 양의 도형의 행과 열 빈도가 에르고딕 중심 측도의 매개변수로 거의 확실히 수렴하는 대수의 법칙을 증명한다. 저자들은 이 결과를 새로운 확률적 로빈슨–센슈타인–쿠퍼 삽입 알고리즘을 통해 확립하며, 이 알고리즘은 할–리틀우드 대칭 함수에 따라 양의 도형을 샘플링한다. 이는 이전의 대칭군에 대한 연구를 일반화하며, 킬로프의 추측(이러한 측도의 점근적 행동에 대한)을 확인한다.

ABSTRACT

Asymptotic representation theory of general linear groups GL(n,q) over a finite field leads to studying probability measures ρon the group U of all infinite uni-uppertriangular matrices over F_q, with the condition that ρis invariant under conjugations by arbitrary infinite matrices. Such probability measures form an infinite-dimensional simplex, and the description of its extreme points (in other words, ergodic measures ρ) was conjectured by Kerov in connection with nonnegative specializations of Hall-Littlewood symmetric functions. Vershik and Kerov also conjectured the following Law of Large Numbers. Consider an n by n diagonal submatrix of the infinite random matrix drawn from an ergodic measure coming from the Kerov's conjectural classification. The sizes of Jordan blocks of the submatrix can be interpreted as a (random) partition of n, or, equivalently, as a (random) Young diagram λ(n) with n boxes. Then, as n goes to infinity, the rows and columns of λ(n) have almost sure limiting frequencies corresponding to parameters of this ergodic measure. Our main result is the proof of this Law of Large Numbers. We achieve it by analyzing a new randomized Robinson-Schensted-Knuth (RSK) insertion algorithm which samples random Young diagrams λ(n) coming from ergodic measures. The probability weights of these Young diagrams are expressed in terms of Hall-Littlewood symmetric functions. Our insertion algorithm is a modified and extended version of a recent construction by Borodin and the second author (arXiv:1305.5501). On the other hand, our randomized RSK insertion generalizes a version of the RSK insertion introduced by Vershik and Kerov (1986) in connection with asymptotic representation theory of symmetric groups (which is governed by nonnegative specializations of Schur symmetric functions).

연구 동기 및 목표

• 유한 체 위의 무한 랜덤 행렬의 $n\times n$ 부분행렬에서 유도된 랜덤 양의 도형의 행과 열 빈도에 대한 대수의 법칙을 증명하기 위해.
• 유한 체 위의 무한 상삼각 단위행렬의 군에 대한 에르고딕 중심 측도의 분류에 대해 킬로프의 추측을 확인하기 위해.
• GL(n,\mathbb{F}_q)의 점근적 표현 이론과 할–리틀우드 대칭 함수를 통한 양의 도형의 극한 형태 사이의 연결 고리를 설정하기 위해.
• 할–리틀우드 측도에 따라 확률이 결정되는 양의 도형을 생성하는 새로운 확률적 RSK 삽입 알고리즘을 개발하고 분석하기 위해.
• 에르고딕 측도 분류에서 매개변수 $\boldsymbol{\alpha}$ 및 $\boldsymbol{\beta}$의 유한 수열에서 무한 수열으로의 점근적 결과를 확장하기 위해.

제안 방법

• 할–리틀우드-일관 측도에서 양의 도형 $\lambda(n)$ 을 샘플링하는 확률적 RSK 삽입 알고리즘을 도입하며, 확률은 할–리틀우드 대칭 함수로 표현된다.
• 양의 도형 타워 위에서 마코프 동역학을 구성하며, 첫 $k$층은 더 높은 층들로부터 독립적으로 진화하여 점근적 분석이 가능하도록 한다.
• $\mathcal{A}$-테이블로와 양의 도형 사이의 이분법을 사용하여, 행/열 길이를 테이블로 내 특정 문자의 수와 연결한다.
• 제7.9조 및 제7.11조를 적용하여, 다양한 문자 순서에서 첫 $k$층의 행과 열 길이의 점근적 행동을 분석한다.
• 첫 $k$층의 수렴성과 총 상자 수 제약 조건 $n + \mathsf{a}\mathsf{b}$를 사용하여, 정규화된 행과 열 길이에 대한 하한 및 상한을 확립한다.
• liminf 및 limsup 추정을 조합하여, $\lambda_k(n)/n$ 이 거의 확실히 $\alpha_k$로 수렴하고, $\lambda_k'(n)/n$ 이 거의 확실히 $\beta_k/(1 - \mathfrak{q}^{-1})$로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 무한 랜덤 행렬의 $n\times n$ 부분행렬이 형성하는 양의 도형의 행과 열 빈도는 $n \to \infty$일 때 거의 확실히 수렴하는가?
• RQ2 유한 체 위의 군 $\mathbb{U}$에 대한 에르고딕 중심 측도의 분류에 대해 킬로프의 추측적 분류 $(\boldsymbol{\alpha}; \boldsymbol{\beta}; \gamma)$ 는 이러한 행렬의 점근적 행동과 일치하는가?
• RQ3 할–리틀우드 대칭 함수에 의해 주어진 확률로 양의 도형을 샘플링할 수 있는 확률적 RSK 삽입 알고리즘을 구성할 수 있는가? 그리고 이 알고리즘이 도형의 극한 형태를 포착할 수 있는가?
• RQ4 극한 행과 열 빈도는 에르고딕 측도의 매개변수 $\alpha_k$ 및 $\beta_k$와 어떻게 관련이 있는가?
• RQ5 무한 랜덤 양의 도형 $\lambda(n)$ 의 $k$-번째 행과 열 길이의 점근적 행동은 $n \to \infty$일 때 어떻게 되는가?

주요 결과

• 고정된 $k$에 대해, 정규화된 행 길이 $\lambda_k(n)/n$ 은 $n \to \infty$일 때 거의 확실히 $\alpha_k$로 수렴한다.
• 고정된 $k$에 대해, 정규화된 열 길이 $\lambda_k'(n)/n$ 은 $n \to \infty$일 때 거의 확실히 $\beta_k / (1 - \mathfrak{q}^{-1})$로 수렴한다.
• 행과 열의 극한 빈도는 에르고딕 측도의 매개변수 $\boldsymbol{\alpha}$ 및 $\boldsymbol{\beta}$에 의해 완전히 결정되며, 이는 킬로프의 추측을 확인한다.
• 증명은 첫 $k$층의 동역학이 더 높은 층들로부터 분리되어 있음을 이용하여, 타워의 첫 $k$층을 독립적으로 분석하는 데 기반한다.
• 총 상자 수 제약 조건과 첫 $k$층의 수렴성을 활용하여, $\lambda_k(n)/n$ 과 $\lambda_k'(n)/n$ 에 대한 날카운 liminf 및 limsup 추정을 확립한다.
• 확률적 RSK 삽입 알고리즘은 고전적 RSK와 베르시크–킬로프의 판버전을 일반화하며, 맥도널드 과정과 할–리틀우드 측도 위의 이변량 동역학을 통해 구성된다.