[論文レビュー] Gap probabilities and applications to geometry and random topology

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

Random Matrices and Applications参考文献 27被引用数 5

ひとこと要約

本稿では、有限ガウス型 β-アンサンブルにおけるギャップ確率の原点での微分について、正確な公式を導出している。β = 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$ の場合のギャップ確率の原点での微分 $f_{\beta,n}'(0)$ を計算すること。
• この計算を応用して、ノルムが 1 で特異な $\beta$-ヘルミート行列の集合 $\Sigma_{\beta,n}$ の内在的体積を特定すること。
• 特に $k=2$ の場合に、$\mathbb{R}\textrm{P}^n$ 内の $k$ 個のランダム Kostlan 2次形式の交差における期待ベッチ数を分析すること。
• 中間次元からの有界なずれの下で、固定されたベッチ数が 1 に収束する際の漸近的均一性を確立すること。
• k=2 の場合のベッチ数総和の漸近的成長を精緻化し、ギャップ確率の微分と関連付けること。

提案手法

• すべての $\beta > 0$ に対して有効な、有限 $\beta$-アンサンブルのスペクトル統計を用いて $f_{\beta,n}'(0)$ の正確な公式を導出し、$\beta = 1,2,4$ の場合に漸近的解析を施すこと。
• $\Sigma_{\beta,n}$ の内在的体積を、単位球面 $S^{N_{\beta}-1}$ 内の特異部分集合の $\varepsilon$-チューブの体積を通じてギャップ確率の微分と関連付けること。
• 積分幾何学および Eckart-Young 定理を用いて、行列の最小特異値と特異集合への距離を関連付けること。
• Kostlan ランダム行列モデルおよび Kac-Rice 公式を用いて、$k$ 個のランダム 2次形式の交差における期待ベッチ数を計算すること。
• ポincare双対性および実代数的幾何学からの境界を用いて、ベッチ数の成長を制御し、一様収束速度を確立すること。
• $SO(N)$ の作用における対称性と不変性を用いて、ランダムな 2 次元平面と $\Sigma_{2,n}$ の交点数の期待値を計算し、$|\Sigma_{2,n}|$ と関連付けること。

実験結果

リサーチクエスチョン

• RQ1 有限ガウス型 $\beta$-アンサンブルにおけるギャップ確率の原点での微分 $f_{\beta,n}'(0)$ の正確な値は何か？ ただし $\beta = 1,2,4$ の場合に限る。
• RQ2 $n \to \infty$ のとき、ノルムが 1 で特異な $\beta$-ヘルミート行列の集合 $\Sigma_{\beta,n}$ の内在的体積は何か？
• RQ3 ランダム Kostlan 2次形式 $k$ 個の交差 $X$ における固定された $i$ に対して、期待ベッチ数 $\mathbb{E}b_i(X)$ はどのように振る舞うか？
• RQ4 k=2 の場合に、すべてのベッチ数の期待値の総和 $\sum_j \mathbb{E}b_j(X)$ の漸近的成長は何か？
• RQ5 期待ベッチ数 $\mathbb{E}b_i(X)$ が 1 に収束する様子は、$i$ が中間次元 $n/2$ からの距離にどのように依存するか？

主な発見

• ギャップ確率の微分は、$\beta = 1,2,4$ の場合、$n \to \infty$ のとき $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$ に対して、$k$ 個のランダム Kostlan 2次形式の交差における $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$ は任意であり、補正項は中間次元のベッチ数の寄与に起因する。
• 補正項 $\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)$ に等しく、積分幾何学および対称性を用いて計算された。