[논문 리뷰] Heat Kernel Empirical Laws on $\mathbb{U}_N$ and $\mathbb{GL}_N$

Todd Kemp|arXiv (Cornell University)|2013. 06. 10.

Random Matrices and Applications참고 문헌 25인용 수 5

한 줄 요약

이 논문은 유니터리 군 $Σ_N$ 및 일반선형군 $Σ_N$ 위의 열핵 측도에서 유도된 랜덤 행렬에 대해 경험적 고유값 및 특이값 분포의 거의 확실 수렴을 확립하며, 짝수 정수 $p$에 대해 $L^p$ 수렴을 증명하고, $Σ_N$ 위의 극한 비공형 분포를 무한차원 다항식 공간 위의 흐름의 사영으로 식별한다.

ABSTRACT

This paper studies the empirical measures of eigenvalues and singular values for random matrices drawn from the heat kernel measures on the unitary groups $\mathbb{U}_N$ and the general linear groups $\mathbb{GL}_N$, for $N\in\mathbb{N}$. It establishes the strongest known convergence results for the empirical eigenvalues in the $\mathbb{U}_N$ case, and the first known almost sure convergence results for the eigenvalues and singular values in the $\mathbb{GL}_N$ case. The limit noncommutative distribution associated to the heat kernel measure on $\mathbb{GL}_N$ is identified as the projection of a flow on an infinite-dimensional polynomial space. These results are then strengthened from variance estimates to $L^p$ estimates for even integers $p$.

연구 동기 및 목표

• 유니터리 군 $Σ_N$ 위의 열핵 측도 하에서 랜덤 행렬의 경험적 고유값 측도에 대해 알려진 바 중 가장 강력한 수렴 결과를 확립하기 위해.
• 일반선형군 $Σ_N$ 케이스에서 고유값과 특이값에 대해 처음으로 알려진 거의 확실한 수렴 결과를 증명하기 위해.
• $Σ_N$ 위의 극한 비공형 분포를 무한차원 다항식 공간 위의 흐름의 사영으로 식별하기 위해.
• 분산 추정치를 짝수 정수 $p$에 대해 $L^p$ 수렴으로 강화하여 수렴 속도의 정량적 비율을 제공하기 위해.
• $U^N_t$ 및 $Z^N_{s,t}$에 모두 분석을 확장하여, 이중 매개변수 보간을 통해 유니터리 및 일반선형 케이스 사이를 연결하는 데 목적이 있다.

제안 방법

• 랜덤 행렬의 확률 법칙으로서 유니터리 군 $\u03a3_N$ 위의 열핵 측도 $\rho^N_t$ 및 일반선형군 $\u03a3_N$ 위의 열핵 측도 $\mu^N_{s,t}$ 를 사용한다.
• 상호연결 연산자와 측도 집중 기법을 활용하여 열핵 측도 하에서 추적 다항식의 분산을 제어한다.
• 함수 해석학과 경험 측도 이론을 적용하여 고유값/특이값 분포를 비공형 분포와 연결한다.
• 비공형 확률론과 자유 확률론 이론을 활용하여 $\mathbb{C}^*$ 위의 극한 분포 $\nu_t$ 를 특성화한다.
• 추적 다항식과 $C_2(s,t,P,P)$ 상수를 사용하여 $\|f(Z, Z^*)\|_{L^p}$ 의 분산 경계를 통해 $L^p$ 수렴을 도출한다.
• 체비셰프 부등식과 보렐-칸탈리의 보조정리를 적용하여 확률 수렴을 거의 확실한 $L^p$ 수렴으로 강화한다.

실험 결과

연구 질문

• RQ1 열핵 측도가 $\u03a3_N$ 위에 정의된 랜덤 행렬의 극한 경험적 고유값 분포는 무엇인가요?
• RQ2 $N \to \infty$ 일 때, $\u03a3_N$ 위의 경험적 고유값 분포는 거의 확실하게 어떻게 수렴합니까?
• RQ3 $\u03a3_N$ 위의 열핵 측도에 대한 비공형 분포 극한은 무엇이며, 무한차원 흐름과 어떻게 관련이 있습니까?
• RQ4 행렬 다항식의 경험적 $L^p$-노름에 대해 $L^p$ 수렴을 확립할 수 있으며, 그 수렴 속도는 무엇입니까?
• RQ5 분산 경계의 상수들이 테스트 다항식의 차수와 노름에 어떻게 의존하는가? 이를 향상시킬 수 있는가?

주요 결과

• $t > 0$ 일 때, $U^N_t$ 의 경험적 고유값 측도 $\widetilde{\nu}^N_t$ 는 약한 수렴을 확률적으로 $\nu_t$ 로 향하고, $1 < p < 3/2$ 일 때 $f \in H_p(\mathbb{U})$ 에 대해 거의 확실한 수렴을 보인다.
• 선형 함수 $\int f \, d\widetilde{\nu}^N_t$ 의 분산은 $C(t,p)/N^{2p-1} \|f\|_{H_p(\mathbb{U})}^2$ 로 유계이다. 여기서 $C(t,p)$ 는 $t$ 와 $p$ 에 대해 연속적이다.
• $p \geq 3/2$ 일 때, $f$ 는 리프시츠 함수이며, 분산 경계는 $2t/N^2 \|f\|_{\mathrm{Lip}(\mathbb{U})}$ 로 향상된다.
• 극한 비공형 분포 $\u03a3_N$ 는 무한차원 다항식 공간 위의 흐름의 사영으로 식별된다.
• $Z^N_{s,t}$ 에서, 행렬 다항식의 $L^p$-노름은 거의 확실하게 비공형 $L^p$-노름으로 수렴하며, 분산 경계는 $O(1/N^2)$ 이다.
• 만약 $C_2(s,t,P,P)$ 상수가 다항식의 차수에 대해 독립적이라면, $L^p$ 수렴 속도는 $p$ 에 대해 균일하다. 이는 논문 내에서 제시된 증거에 의해 지지된다.