Tracy Widom law for sample covariance matrices under quadratic form concentration

技術要約：二次形式集中性を備えた標本共分散行列におけるトレイシー・ウィドム則

問題設定
本論文は、独立かつ同一分布（i.i.d.）に従う、中心化された等方的ランダムベクトル $q_1, \dots, q_N \in \mathbb{R}^M$ からなる標本共分散行列のエッジ普遍性を調査している。本研究は、次元 $M$ とサンプルサイズ $N$ が $M/N \to y_\infty \in (0, \infty) \setminus \{1\}$ を満たす比例レジームにおいて展開される。主要な対象は、正規化された共分散行列 $H = N^{-1} \sum_{i=1}^N q_i q_i^T$ である。

このような行列の極限スペクトル分布（マルチェンコ・パストゥル則）はよく理解されているが、本研究の焦点は、スペクトルの端（エッジ）付近における最大固有値 $\lambda_1(H)$ の揺らぎにある。具体的には、$\lambda_+ = (1+\sqrt{y})^2$ 付近での $\lambda_1(H)$ の揺らぎの普遍性を扱っており、適切に中心化およびスケーリングされた $\lambda_1(H)$ が、一般的な非ガウス型アンサンブルに対してトレイシー・ウィドム分布（$TW_1$）に収束するかどうかを問うものである。

既存の対数凹型アンサンブル（例：[6]）に関するエッジ普遍性の結果には「無条件性（unconditionality）」の仮定が必要であったが、本研究は、この仮定を解消し、二次形式集中境界を満たすより広いクラスの分布へと結果を拡張することを目的としている。

手法
証明は、Erdős–Yau学派によって開発された標準的な3ステップ戦略に従っている：

1. ローカル・ロー（局所法則）とスペクトル剛性： 著者らは、[13] の最近の結果に基づき、彼らのモデルにおけるローカル・マルチェンコ・パストゥル則と固有値剛性を確立する。
2. ダイソン・ブラウン運動（DBM）補間： 参照用アンサンブルに対してトレイシー・ウィドム極限を確立するために、ガウス分割可能な補間を用いる。経路 $X(t) = \sqrt{1-t}X + \sqrt{t}X_w$ （ここで $X_w$ はガウス行列）を定義する。$t_0 = N^{-1/3+\epsilon}$ と設定することで、時刻 $t_0$ における行列 $\tilde{X}$ がエッジにおいて局所平衡に達しており、ガウス直交アンサンブル（GOE）からトレイシー・ウィドム型の揺らぎを継承していることを示す。
3. グリーン関数比較： 元の行列 $H$（$t=0$）と補間された行列 $\tilde{H}$（$t=t_0$）を比較することが核心的な技術的貢献である。著者らはリンデベルグ置換戦略を用い、行列 $X$ の列を $\tilde{X}$ の列へと一つずつ置き換えていく。

主要な技術的革新
比較ステップにおける主要な障害は、2つのアンサンブル間におけるグリーン関数（レゾルベント）の汎関数の期待値の差を推定することである。この差は以下の形式の項を含む：
$$E\left[ (x^T G(z_1) x)(x^T G(z_2) x) \right] - E\left[ (x_w^T G(z_1) x_w)(x_w^T G(z_2) x_w) \right]$$
ここで $x$ は元のアンサンブルの列であり、$x_w$ はガウス型の列である。

• 二次形式集中性： 本論文では、任意の決定論的な対称行列 $A$ に対して、二次形式が $|q_i^T A q_i - \text{Tr} A| \prec \|A\|_{HS}$ を満たすと仮定している。この条件は対数凹型ベクトルやガウス型ベクトルにおいて成立し、無条件性の必要性を代替するものである。
• 自己一致方程式の構築： ローカル・ローから導かれる標準的な境界では、比較における誤差項を制御するには不十分である。著者らは、レゾルベント汎関数の高次テイラー展開を行っている。彼らは、この差がランダムベクトルの4次累積量に依存することを特定した。
• 累積量解析： 著者らは第4次累積縮約 $K[A, B]$ を定義し、この縮約を含む項の期待値に関する自己一致方程式を導出している。追加の列を削除した後のレゾルベント（シャーマン・モリソン公式）を展開し、条件付き期待値のタワー・プロパティを利用することで、誤差項を必要なスケール（$N^{-7/6}$）に抑えるための自己一致方程式を構築した。これにより、レゾルベントの典型的な大きさのみを用いて精密な推定を行うことの困難さが解決された。

主な結果

• 定理 1.2（普遍性）： 仮定 1.1（独立性、等方性、および二次形式集中性）の下で、標本共分散行列の最大固有値の分布は、ウィシャート行列 $W$（ガウス型の場合）の極限と一致する。具体的には：
  $$\lim_{N \to \infty} P_H \left( N^{2/3}(\lambda_1(H) - \lambda_+) \le x \right) = \lim_{N \to \infty} P_W \left( N^{2/3}(\lambda_1(W) - \lambda_+) \le x \right)$$
• 系 1.4： ウィシャート行列に対する既知のトレイシー・ウィドム極限と定理 1.2 を組み合わせることで、正規化された最大固有値 $H$ がトレイシー・ウィドム分布 $TW_1$ に分布収束することを結論付けている。

意義と主張
本論文は、既存の対数凹型アンサンブルのエッジ普遍性の結果（特に [6] を参照）において要求されていた「無条件性」の仮定を取り除くという、本研究の動機となった特定の問いを解決したと主張している。単に二次形式集中境界に依拠することで、著者らは、対数凹型でも無条件でもない、より広いクラスのランダムベクトルに対してトレイシー・ウィドム則の普遍性を拡張した。

著者らは、自身のアプローチが堅牢であり、一般の母集団ケース（$\Sigma \neq I$ である場合の $\Sigma^{1/2} H \Sigma^{1/2}$）へも拡張可能である可能性を示唆しているが、この拡張は今後の課題としている。本論文は新しい実験的応用を提案するものではなく、統一された集中フレームワークの下でのエッジ普遍性の結果の理論的統合に焦点を当てている。