Almost-optimal bulk regularity conditions in the CLT for G$\beta$E

技術的要約：G$\beta$Eにおける中心極限定理のほぼ最適（Almost-optimal）なバルク正則性条件

問題設定
本論文は、ガウス型$\beta$アンサンブル（G$\beta$E）における線形統計量の中心極限定理（CLT）を調査している。具体的には、$x_k$をG$\beta$E測度に従う固有値とし、テスト関数$f$に対して、和 $F_N(\mathbf{x}) = \sum_{k=1}^N f(x_k)$ の揺らぎを検討する。主な目的は、低正則性のテスト関数、具体的には分数ソボレフ空間 $H^{1/2+\epsilon}(\mathbb{R})$ に属する関数に対するCLTを確立することである。

Johansson [16] やその後の拡張 [1, 2, 18] による先行研究は、より滑らかな関数（例：$C^3$ または $C^5$）に対するCLTを確立してきた。Wigner行列に関するより最近の画期的な成果として、LandonとSosoe [19] は、Littlewood-Paley理論と動的な手法を用いることで、$f \in H^{1/2+\epsilon}$ への結果を拡張した。しかし、[19] はWigner行列に限定されていた。本論文は、この $H^{1/2+\epsilon}$ の結果を一般的な$\beta$アンサンブルへと拡張することを目指しており、$\beta$がWigner行列特有の対称性（多くの場合 $\beta=1, 2, 4$ に対応）に制限されない場合に生じる技術的な課題に対処している。

手法
アプローチは古典的なループ方程式法とは異なり、ダイソン・ブラウン運動（DBM）を用いた動的な手法に依拠している。核となる手法は、以下の3つの主要なコンポーネントを統合したものである：

1. ヘルフェル・シェーレストランド（Helffer-Sjöstrand）表現： 著者は、DBMの生成子と勾配の交換関係から導かれる、線形統計量の共分散に関する表現を利用している。これにより、共分散 $\operatorname{Cov}_\nu(f, g)$ を、テスト関数の勾配と半群 $Q_t$ を含む積分として表現できる。決定的なことに、これは二点レゾルベント相関関数 $\operatorname{Cov}_\nu(s(z), s(w))$ （ここで $s(z)$ はシュティルツ変換）の表現と結合されている。
2. 特性フローの推定： 本論文は、DBMに沿った非局所力学のホモジナイゼーションに関する最新の鋭い推定値を利用している。具体的には、観測量の進化を分析するために特性曲線法を用いている。主要な入力は、実際の粒子力学と、複素バーガース方程式によって駆動されるホモジナイズされたフローとの間の差に関する推定（補題2.2）である。
3. Littlewood-Paley分解： [19] に従い、テスト関数 $f$ は双子スケール（dyadic scales） $f_\ell$ に分解される。線形統計量の分散は、スケールごとに分析される。論文では以下の3つの領域を区別している：
   • メゾスコピック／マイクロスコピック： スケール $N^{-1} \lesssim 2^{-\ell} \lesssim N^{-c}$。
   • サブマイクロスコピック： スケール $N^{-2+\delta_1} \lesssim 2^{-\ell} \lesssim N^{-1}$。
   • 非常に高周波： スケール $N^{-A} \lesssim 2^{-\ell} \lesssim N^{-2+\delta_1}$。

主要な貢献と技術的革新
本論文の主な貢献は、$H^{1/2+\epsilon}$ に関するCLTをWigner行列から一般的なガウス型$\beta$アンサンブルへと拡張したことである。この拡張を可能にする新しい技術的入力は、一般的な $\beta$ の文脈において、二点相関関数にヘルフェル・シェーレストランド表現を適用したことである。

• メゾスコピック・スケールの処理： メゾスコピック領域において、著者は二点相関関数 $\operatorname{Cov}_\nu(s(z), s(w))$ に関する新しい推定（補題2.5）を導出している。ヘルフェル・シェーレストランド公式と特性フローの境界を用いて導出されたこの推定は、Wigner行列でのみ利用可能な特定の代数的構造に依存することなく、共分散を制御する。これにより、以前のアプローチと比較してメゾスコピック・スケールの分析が簡略化されている。
• サブマイクロスコピック・スケールの処理： $N^{-1}$ より小さいスケールについては、[19] のペア結合（pairwise coupling）技術を適応させている。著者らは、短時間 $T_{ab}$ は独立なブラウン運動によって駆動され、その後は同じブラウン運動によって駆動される2つのDBMプロセスを結合（coupling）させる構成をとっている。これにより、粒子の位置 $x_a$ を「決定論的な」部分 $\Xi_a$ とガウス雑音部分 $Z_a$ に分解できる。十分に離れた粒子間では雑音項が独立であるため、この領域における共分散の制御が可能となる。
• エッジおよび高周波の制御： 高周波領域およびエッジの寄与を扱うために、ウェグナー推定（補題3.7）と剛性（rigidity）の結果を利用し、分散が $H^{1/2+\epsilon}$ ノルムによって抑えられることを保証している。

主要な結果
主要な結果は 定理1.1 に述べられている：
任意の $\beta > 0, \epsilon > 0, \kappa > 0$ に対して、バルク $(-2+\kappa, 2-\kappa)$ 内にサポートを持つ任意のテスト関数 $f$ について、線形統計量の分散は以下の不等式を満たす：
$$\operatorname{Var}_{\nu}\left(\sum_{k=1}^{N}f(x_{k})\right)\leq C\|f\|_{H^{ \frac{1}{2}+\epsilon}}^{2}.$$
さらに、中心化された線形統計量は、式(1.4)で与えられる分散を持つガウス型確率変数に分布収束する。

本論文は、$\epsilon$ の因子を除けばこの結果は最適であると述べている（例えば、指示関数などの $H^{1/2-\epsilon}$ に属する関数についてはCLTが成立しないため）。

意義と主張
本論文は、一般的な$\beta$アンサンブルに対して「メゾスコピック・スケールを扱うためのよりロバストな方法」を提供すると主張している。ヘルフェル-シェーレストランド表現と特性フローの推定をうまく統合することで、Wigner行列で用いられた動的なアプローチが、より広いクラスの$\beta$アンサンブルにも一般化できることを示している。

著者は、自身の研究がループ方程式に依存していないことを明示し、以前の変分的なアプローチと区別している。また、結果は $\epsilon$ の観点からは最適であるが、$\epsilon$ の因子を取り除くこと（すなわち、改良された二点推定 (3.12) が一般的な $\beta$ においても成立するかどうか）は依然として未解決の問題であることを認めている。本論文は、[19] で開始されたプログラムを、特定のガウス型$\beta$アンサンブルのケースにおいて完結させるものとして位置づけており、CLTの正則性閾値が、この一般的な設定においても確かに $1/2+\epsilon$ であることを確認している。