[논문 리뷰] Annular non-crossing permutations and partitions, and second-order asymptotics for random matrices

James A. Mingo, Alexandru Nica|arXiv (Cornell University)|2003. 03. 25.

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

한 줄 요약

이 논문은 랜덤 행렬 이론에서의 2차 점근적 성질을 분석하기 위한 조합적 프레임워크로 고리형 비교교차 순열과 분할을 도입한다. Biane의 디스크 케이스에 해당하는 고리형 지오데식 조건을 수립하고, 순열에서 분할로의 비단사적 사상이 존재함을 규명하며, 고리형 비교교차 구조를 사용하여 독립적인 위샤르트 행렬의 단어의 추적의 점근적 가우시안성을 도출한다. 2차 누적량에 대한 명시적 공식을 제공한다.

ABSTRACT

We study the set $S_{ann-nc}$ of permutations of $\{1, ..., p+q \}$ which are non-crossing in an annulus with $p$ points marked on its external circle and $q$ points marked on its internal circle. The algebraic approach to $S_{ann-nc}$ goes by identifying three possible crossing patterns in an annulus, and by defining a permutation to be annular non-crossing when it does not display any of these patterns. We prove the annular counterpart for a ``geodesic condition'' shown by Biane to characterize non-crossing permutations in a disc. We point out that, as a consequence, annular non-crossing permutations appear in the description of the second order asymptotics for the joint moments of certain families (Wishart and GUE) of random matrices. We examine the relation between $S_{ann-nc}$ and the set $NC_{ann}$ of annular non-crossing partitions of $\{1, ..., p+q \}$, and observe that (unlike in the disc case) the natural map from $S_{ann-nc}$ onto $NC_{ann}$ has a pathology which prevents it from being injective.

연구 동기 및 목표

• 고리형 비교교차 순열과 분할을 랜덤 행렬 점근적 분석을 위한 형식적 대수적 프레임워크에서 정의하고 특성화하기.
• 디스크 설정에서 비교교차 순열에 대한 Biane의 지오데식 조건의 고리형 대응을 수립하기.
• 고리형 비교교차 순열에서 고리형 비교교차 분할로의 자연스러운 사상이 비단사적임을 해결하고, 그 구조적 원인을 규명하기.
• 이 이론을 적용하여 독립적인 위샤르트 행렬의 단어의 추적에 대한 2차 점근적 모멘트를 유도하기.
• 고리형 비교교차 순열의 조합론을 사용하여 위샤르트 행렬의 선형 통계량의 점근적 가우시안성을 보여주기.

제안 방법

• 세 가지 고리형 교차 패턴 (AC-1), (AC-2), (AC-3)을 피하는 순열로 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 를 정의하며, 고리형 의미에서 '표준'이어야 하는 순환을 요구한다.
• 군론적 및 조합론적 추론을 사용하여 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 가 Biane의 디스크 결과에 해당하는 고리형 지오데식 조건을 만족함을 증명한다.
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 가 외부 및 내부 순환 치환 $\gamma_{ext}$ 와 $\gamma_{int}$ 에 의한 공역에 의한 ${\cal S}_{\hbox{{\scriptsize\it disc-nc}}}(p+q)$ 의 포화임을 수립한다.
• 이 프레임워크를 사용하여 $N_k \cdot \text{tr}(X_w^{(k)})$ 를 포함하는 추적 전개를 통해 위샤르트 행렬의 공동 모멘트의 2차 점근적 성질을 분석한다. 여기서 $X_w^{(k)}$ 는 $M_k \times N_k$ 의 i.i.d. 가우시안 행렬의 곱이다.
• 순열 $\tau$ 가 $(p_1,\dots,p_l)$-연결되어 있고 $w \circ \tau = w$ 를 만족하는 조건에서의 합을 사용하여, 단어의 추적 간 점근적 공분산을 유도한다. 항들은 $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$ 로 가중된다.
• 합에서 $N_k$ 의 지수를 최대 $2-l$ 로 제한하여, $l \geq 3$ 인 누적량이 점근적으로 0이 됨을 보여, 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 비교교차 순열과 분할은 디스크에서 고리형 설정으로 어떻게 일반화될 수 있으며, 이를 정의하는 대수적 조건은 무엇인가?
• RQ2 비교교차 순열에 대한 Biane의 지오데식 조건의 고리형 대응은 무엇인가?
• RQ3 고리형 비교교차 순열에서 고리형 비교교차 분할로의 자연스러운 사상이 비단사적임은 이유가 무엇이며, 어떤 구조적 특성이 이 문제를 유발하는가?
• RQ4 고리형 비교교차 순열은 독립적인 위샤르트 행렬의 곱의 추적의 2차 점근적 성질을 어떻게 지배하는가?
• RQ5 위샤르트 행렬의 추적의 선형 통계량이 점근적으로 가우시안이 되는 조건은 무엇이며, 이를 조합론적으로 어떻게 증명할 수 있는가?

주요 결과

• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 는 세 가지 고리형 교차 패턴을 피하고 표준 순환을 요구함으로써 정의되며, 이는 디스크 비교교차 순열의 적절한 일반화이다.
• 고리형 지오데식 조건이 ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 를 특성화함을 증명하였으며, Biane의 디스크 결과를 고리형 케이스로 확장하였다.
• ${\cal S}_{\hbox{{\scriptsize\it ann-nc}}}(p,q)$ 에서 $NC_{\rm ann}(p,q)$ 로의 자연스러운 전성사상은 순환 구조와 치환에 관련된 특정한 대수적 병행성으로 인해 단사적이지 않다.
• 독립적인 위샤르트 행렬의 단어의 추적의 2차 점근적 성질은 고리형 비교교차 순열에 대한 합으로 지배되며, 주요 항은 $\left(\frac{M_k}{N_k}\right)^{\#(\tau)}$ 로 결정된다.
• $l \geq 3$ 인 $N_k \cdot \text{tr}(X_w^{(k)})$ 의 누적량은 점근적으로 0이 되며, 이는 선형 통계량의 가우시안성의 점근적 성질을 증명한다.
• 단어 $v$ 와 $w$ 의 추적 간 점근적 공분산은 $w \circ \tau = w$ 를 만족하고 $(p,q)$-연결된 고리형 비교교차 순열에 대한 합을 사용하여 명시적으로 계산된다. 수렴은 $M_k^{\#(\tau)} N_k^{\#(\tau^{-1}\gamma) - (p+q)}$ 를 포함하는 극한으로 수렴한다.