Bernoulli flow for Erd\H{o}s-Rényi graphs

技術要約：エルデシュ・レニ・グラフにおけるベルヌーイ・フロー

問題設定
本論文は、疎な領域（$Np \gg (\log N)^2$）におけるエルデシュ・レニ・ランダムグラフ $G(N, p)$ の隣接行列 $A$ のスペクトル特性を調査するものである。具体的には、正規化された隣接行列 $H = \theta A$（ここで $\theta = (Np(1-p))^{-1/2}$）を研究し、バルク・スペクトルの非局在化相における2つの特徴を確立することを目的としている。

1. 最適等方的非局在化（Optimal Isotropic Delocalization）： バルク固有ベクトル $u$ が、任意の決定論的な正規化ベクトル $v$ に対して $\langle v, u \rangle^2 \leq C \frac{\log N}{N} \|v\|_e^2$ を満たすことを証明する。ここで $\|\cdot\|_e$ は、トップ固有ベクトルと一様ベクトル $e$ との近接性を考慮した異方的ノルムである。
2. バルク・スペクトルの普遍性（Bulk Spectral Universality）： バルクにおける局所スペクトル統計がガウス型直交アンサンブル（GOE）と一致すること、具体的には Sine$_1$ 点過程に収束することを証明する。

$Np \gg (\log N)^2$ という領域は極めて重要である。非局在化自体は $Np \gg \log N$ まで成立することが知られているが、最適な境界および普遍性は、これまでより密なグラフ（例：$Np \geq N^\epsilon$）においてのみ確立されていた。

手法：ベルヌーイ・フロー
本研究の核心的な技術的革新は、「ベルヌーイ・フロー」の開発である。これは、ブラウン運動を用いて伝統的に用いられてきたパストゥールの特性曲線法を、ブラウン過程をベルヌーイ過程に置き換えることで適応させた、疎なランダム行列のローカル・ロー（局所法則）を証明するための新しいアプローチである。

• ベルヌーイ過程： 連続的な拡散の代わりに、各エッジが単位レートで閉じた状態（0）から開いた状態（1）へと独立にジャンプするマルコフ跳躍過程を通じて、グラフのエッジが進化する。時刻 $T$ におけるエッジの確率は $p_T = 1 - e^{-T} = p$ である。
• ベルヌーイ特性フロー： スペクトルパラメータに関する決定論的な行列値フロー $z_t$ が、時間依存の行列ディソン方程式（MDE）を満たすように構成される。このフローは、関連する観測量の生成子項が相殺するように設計されており、自明な初期状態（空グラフ）から目標の状態へのローカル・ローの伝播を可能にする。
• マルチンゲール解析： 伊藤公式は跳躍過程には適用できないため、著者らは観測量（レゾルベントの成分とその二乗）に関連するディンキン・マルチンゲールを利用する。証明は以下に基づいている：
  • これらのマルチンゲールの予測可能二次変動の推定。
  • 観測量のジャンプサイズの制御。
  • 跳躍過程に対するブルンガード・デヴィー・グジガ・型の不等式を適用し、高確率での境界を確立すること。
  • 観測量がフロー全体を通じて微小であることを示すための、確率的グロンウォールの不等式の使用。

このアプローチの重要な特徴は、中間的なガウス成分を生成することなく、直接ベルヌーイ分布へとフローすることである。その結果、ガウスノイズを排除するために必要とされる摂動的な比較議論（例：累積量展開やジグザグ戦略）を回避できる。これらの手法は、成分のモーメントが大きくなる疎な領域ではしばしば失敗する。

主要な貢献と結果

1. 最適ローカル・ロー： 著者らは、最適なスペクトルスケール $\text{Im } z \sim \frac{\log N}{N}$ まで、かつ最適な誤差境界を持つレゾルベント $G(z) = (H-z)^{-1}$ のローカル・ローを確立する。

   • 等方的法則： $|(G(z) - M(z))_{vw}| \lesssim \|v\|_e \|w\|_e \left( \sqrt{\frac{\log N}{N\eta}} + \sqrt{\frac{\log N}{Np}} \right)$。
   • 非対角成分の改善： $a \neq b$ の場合、誤差境界は疎な項において $1/\sqrt{Np}$ の因子分だけ改善される。
   • 異方的ノルム： 結果は、一様ベクトル $e$ の方向への固有ベクトルの質量を $1/Np$ の因子で抑制する、洗練されたノルム $\|v\|_e$ を利用している。

2. 最適等方的非局在化（定理 1.1）： ローカル・ローの直接的な帰結として、任意のバルク固有ベクトル $u$ と決定論的な $v$ に対して、非常に高い確率で $\langle v, u \rangle^2 \leq C \frac{\log N}{N} \|v\|_e^2$ が成り立つことを証明する。これは、以前の結果が $N^\epsilon/N$ の形の境界しか達成できなかったもの、あるいは $Np \geq N^\epsilon$ を要求していたものを改善するものである。

3. バルク・スペクトルの普遍性（定理 1.2）： 新しいローカル・ローと、ループ方程式に関するBourgadeおよびHuangによる最近の結果を組み合わせることで、著者らは局所固有値統計が Sine$_1$ 過程に収束することを証明する。これにより、非常に疎な領域 $(\log N)^{2+\kappa} \leq Np \leq N^{1-\kappa}$ において普遍性を拡張する。

4. 有向グラフへの拡張： 本手法は有向エルデシュ・レニ・グラフにも適用可能であり、その左および右固有ベクトルに対する最適等方的非局在化を証明する。

意義と主張
著者らは、$Np \gg (\log N)^2$ という下界が、集中不等式における劣指数的な裾の減衰を保証するためにディンキン・マルチンゲールのジャンプサイズを制御する必要性から生じる、彼らの特定の手法における自然な障壁であると主張している。

本研究の意義は以下の点にある：

• ガウス比較のハードルを克服： ベルヌーイ・フローを用いることで、成分の分布の不一致により疎な領域では極めて困難となる、疎な行列をガウス型アンサンブルと比較するプロセスを回避している。
• 最適性： 著者らは、ポロガリスミックな $N$ における疎なランダム行列に対して、最適（$\log N$ の因子を除いて）な非局在化境界およびバルク普遍性の最初の証明を提供している。
• 非摂動的性質： このアプローチはガウス法則の周りの摂動的なものではなく、任意の分散プロファイルや期待値を持つ一般的な疎なランダム行列モデルに適している。

著者らは、非局在化は $Np \gg \log N$ まで成立することが知られているものの、彼らの特定の技術を用いた「最適」な非局在化および普遍性については、現在、より強い条件である $Np \gg (\log N)^2$ を必要とすることを指摘している。また、これらの結果をスペクトルの端（エッジ）へ拡張することは、エッジ位置のランダムな近似の周囲での集中を制御するための非自明なローカル・ローの拡張を必要とする、将来の課題であるとしている。