[논문 리뷰] Gap probabilities and applications to geometry and random topology

Antonio Lerario, Erik Lundberg|arXiv (Cornell University)|2013. 09. 22.

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

한 줄 요약

이 논문은 유한한 가우시안 β-앙상블에서 갭 확률의 0에서의 도함수에 대한 정확한 공식을 유도하며, β = 1, 2, 4일 때 점점 커지는 행동이 $-\frac{2\sqrt{2}}{\pi}n^{1/2}$ 비례함을 보여준다. 이 결과는 특이 허미트 행렬의 내재 체적과 무작연 실수 프로젝티브 초곡면 교차의 기대 베티 수에 대한 새로운 정량적 통찰을 가능하게 하며, 고정된 베티 수가 기대값에서 1로 수렴하고 총 베티 수 합이 $n + \frac{2}{\sqrt{\pi}}n^{1/2} + O(n^c)$ 비례해 증가함을 드러낸다. 특히 k=2일 때 성립한다.

ABSTRACT

We give an exact formula for the value of the derivative at zero of the gap probability in finite n x n Gaussian ensembles. As n goes to infinity our computation provides an asymptotic (with an explicit constant) of the order n^(1/2). As a first application, we consider the set of n x n (Real, Complex or Quaternionic) Hermitian matrices with Frobenius norm one and determinant zero. We give an exact formula for the intrinsic volume of this set and as n goes to infinity its asymptotic (with an explicit constant) is of the order n^(1/2). As a second application we consider the problem of computing Betti numbers of an intersection of k random Kostlan quadrics in RP^n. We show that the i-th Betti number is asymptotically expected to be one (for i sufficiently away from n/2). In the case k=2 the the sum of all Betti numbers was recently shown by the first author to equal n+o(n). Here we sharpen this asymptotic proving an asymptotic with two orders of precision and explicit constants.

연구 동기 및 목표

• 유한한 가우시안 $\beta$-앙상블에서 $\beta = 1,2,4$에 대해 갭 확률의 0에서의 도함수 $f_{\beta,n}'(0)$를 계산하는 것.
• 이 계산을 이용해 노름이 1인 특이 $\beta$-허미트 행렬의 집합 $\Sigma_{\beta,n}$의 내재 체적을 결정하는 것.
• 실수 프로젝티브 공간 $\mathbb{R}\textrm{P}^n$에서 $k$개의 무작연 코스타란 쌍곡형의 교차에서의 기대 베티 수를 분석하는 것, 특히 $k=2$의 경우에 중점적으로 다루는 것.
• 고정된 베티 수가 중간 차원에서의 유계된 편차를 가진 상태에서 1으로 수렴하는 데 있어 점점 커지는 균일성의 성립을 확립하는 것.
• k=2일 때 총 베티 수 합의 점점 커지는 행동을 정교화하여 갭 확률 도함수와 연결하는 것.

제안 방법

• 모든 $\beta > 0$에 대해 유효한 스펙트럼 통계를 이용해 $f_{\beta,n}'(0)$에 대한 정확한 공식을 유도하고, $\beta = 1,2,4$에 대해 점점 커지는 분석을 수행하는 것.
• 단위 구면 $S^{N_{\beta}-1}$에서 특이 집합의 $\varepsilon$-튜브 체적을 통해 $\Sigma_{\beta,n}$의 내재 체적을 갭 확률 도함수와 연결하는 것.
• 행렬의 최소 특이값과 특이 집합까지의 거리를 연결하기 위해 적분 기하학과 에카르트-영 정리를 사용하는 것.
• $k$개의 무작연 쌍곡형의 교차에서의 기대 베티 수를 계산하기 위해 코스타란 무작연 행렬 모델과 카크-라이스 공식을 적용하는 것.
• 포incare 대칭성과 실대수기하학의 경계를 이용해 베티 수의 성장을 통제하고 균일 수렴 속도를 확립하는 것.
• $SO(N)$ 작용에 대한 대칭성과 불변성을 이용해 임의의 2차원 평면과 $\Sigma_{2,n}$의 교차점 수의 기대값을 계산하고, 이를 $|\Sigma_{2,n}|$과 연결하는 것.

실험 결과

연구 질문

• RQ1 유한한 가우시안 $\beta$-앙상블에서 $\beta = 1,2,4$에 대해 갭 확률의 0에서의 도함수 $f_{\beta,n}'(0)$의 정확한 값은 무엇인가요?
• RQ2 n → ∞일 때, 노름이 1인 특이 $\beta$-허미트 행렬의 집합 $\Sigma_{\beta,n}$의 내재 체적은 무엇인가요?
• RQ3 실수 프로젝티브 공간 $\mathbb{R}\textrm{P}^n$에서 $k$개의 무작연 코스타란 쌍곡형의 교차 $X$에서 고정된 $i$에 대해 기대 베티 수 $\mathbb{E}b_i(X)$는 어떻게 행동합니까?
• RQ4 k=2일 때, 총 베티 수 합 $\sum_j \mathbb{E}b_j(X)$의 점점 커지는 행동은 무엇인가요?
• RQ5 기대 베티 수 $\mathbb{E}b_i(X)$가 중간 차원 $n/2$에서의 거리에 따라 1로 수렴하는 데 있어 그 의존성은 어떻게 되나요?

주요 결과

• 점점 커지는 행동에서 $\beta = 1,2,4$일 때 갭 확률의 도함수는 $f_{\beta,n}'(0) \sim -\frac{2\sqrt{2}}{\pi}n^{1/2}$를 만족한다.
• $\Sigma_{\beta,n}$의 내재 체적은 $|\Sigma_{\beta,n}| \sim |S^{N_{\beta}-2}| \cdot \frac{2}{\sqrt{\pi}}n^{1/2}$를 만족하며, 여기서 $N_{\beta}$는 $\beta$-허미트 행렬 공간의 실수 차원이다.
• 모든 $i \geq 0$에 대해 고정된 $i$에 대해, $k$개의 무작연 코스타란 쌍곡형의 교차에서의 $i$번째 기대 베티 수는 $\mathbb{E}b_i(X) = 1 + O(n^{-M})$를 만족하며, $M > 0$이면 항상 성립하고, $i$가 $n/2$에서 유계된 거리 떨어져 있을 동안 균일하게 성립한다.
• k=2일 때, 모든 기대 베티 수의 합은 $\sum_{j=0}^n \mathbb{E}b_j(X) = n + \frac{2}{\sqrt{\pi}}n^{1/2} + O(n^c)$를 만족하며, $c > 0$인 임의의 $c$에 대해 성립한다. 보정 항은 중간 차원의 베티 수 기여로 인해 발생한다.
• 보정 항 $\frac{2}{\sqrt{\pi}}n^{1/2}$는 $-\sqrt{\frac{\pi}{2}}f_{1,n}'(0)$와 같으며, 이는 총 베티 수 합이 갭 확률 도함수와 직접적으로 연결됨을 보여준다.
• 임의의 2차원 평면과 $\Sigma_{2,n}$의 교차점 수의 기대값은 $\frac{2}{\sqrt{\pi}}n^{1/2} + O(1)$이다. 이는 적분 기하학과 대칭성을 통해 계산되었다.