Linear statistics in the Coulomb gas: cumulants beyond rotational invariance

技術要約：クーロンガスにおける線形統計：回転不変性を超えた累積モーメント

問題提起
本論文は、一般的な外部ポテンシャル $U$ のもとで、$d \ge 2$ 次元の古典的なクーロンガスにおける線形統計の揺らぎを調査している。粒子は、対数的（$d=2$）またはニュートン力学的（$d=3$）な反発力を介して相互作用する。主要な研究対象は、線形統計 $L_N = \sum_{i=1}^N f(x_i)$ である（ここで $f$ は滑らかなテスト関数である）。

リーディングオーダーの分散については、中心極限定理に従うガウス型の揺らぎ（$O(1)$ でスケールする）としてよく理解されているが、一般的な非対称ポテンシャルおよびテスト関数に対する高次の累積モーメントの挙動については、これまでほとんど解明されていない。高次の累積モーメントに関する先行研究（例：[29]）は、摂動下でも平衡ドロップレット（粒子密度の支持集合）が球体として留まる回転不変な設定に限定されていた。本研究の目的は、ポテンシャル $U$ およびテスト関数 $f$ のいずれについても回転不変性を仮定せず、一般的な滑らかなドロップレット $D_0$ に対するリーディングオーダーの第3および第4累積モーメントの明示的な公式を導出することである。

手法
著者らは、形状解析、ポテンシャル論、および共形写像の組み合わせを用いている：

1. 傾斜ポテンシャルと累積生成関数： 累積モーメントは、累積生成関数（CGF） $\chi(s, N) = \log \langle e^{-Ns L_N} \rangle_U$ から導かれる。傾斜ポテンシャル $U_s = U + s f / \beta$ を導入することで、問題は分配関数 $Z_{N, U_s}$ の解析へと還元される。$q$ 次の累積モーメントは、$s=0$ における $\chi(s, N)$ の $s$ に関する $q$ 回微分によって得られる。
2. 障害物問題と境界速度： 導出の核心は、平衡測度と障害物問題との関連性に依拠している。パラメータ $s$ が変化するにつれ、平衡密度（ドロップレット $D_s$）の支持集合は変形する。著者らは、ドロップレット境界 $\partial D_s$ の法線速度 $v_s$ が、テスト関数の調和拡張の法線微分のジャンプによって決定されるという既知の結果を利用している。具体的には、$v_s = [\vec{\nabla} f_{D_s}] \cdot n_s / (\beta \Delta U_s)$ である。
3. 形状微分： 著者らは、調和拡張された $f$ に付随するディリクレ・エネルギーの、ドメイン変形に対する微分を計算している。これには、アダマール（Hadamard）の公式および外部ディリクレ・ド・ノイマン演算子（$\Lambda_+$）の性質を用いて、動く境界 $\partial D_s$ 上の表面積分を計算することが含まれる。
4. 共形写像 ($d=2$)： 2次元の場合、複素解析を用いた独立した導出が提供されている。このアプローチでは、外部リーマン写像、境界運動に伴うジュリア（Julia）の変分公式、および境界速度とテスト関数を関連付けるヒルベルト変換を利用している。
5. 厳密な正当化 ($d=2, \beta=2$)： セクション4では、実解析的なデータを持つ行列式型（determinantal case, $d=2, \beta=2$）における漸近公式の厳密な証明を行っている。これは、極限の入れ替え（$N \to \infty$ と $s \to 0$）を正当化するために、直交多項式の漸近挙動とバルク・ベルグマン展開に依拠している。

主要な貢献と結果

1. 一般的な第3累積モーメントの公式：
   任意の次元 $d \ge 2$ および一般的な滑らかなドロップレット $D_0$ に対して、リーディングオーダーの第3累積モーメント $\langle L_N^3 \rangle_c$ の明示的な公式を導出した。結果は、平衡ドロップレット上の内在的な境界積分として次のように表される：
   $$\langle L_N^3 \rangle_c \simeq -\frac{1}{N \beta^2 \Omega_d} \int_{\partial D_0} dS \frac{\left( [\vec{\nabla} f_{D_0}] \cdot n \right)^3}{\Delta U}$$
   ここで $[\vec{\nabla} f_{D_0}] \cdot n$ は、調和拡張の法線微分の境界を横切るジャンプであり、$n$ は外向き単位法線、$\Delta U$ は外部ポテンシャルのラプラシアン（背景密度に比例）である。この公式は、このジャンプの3乗に明示的に依存している。

2. 一般的な第4累積モーメントの公式：
   第4累積モーメントは、追加の幾何学的およびスペクトル演算子を含む境界積分として導出される：
   $$\langle L_N^4 \rangle_c \simeq -\frac{1}{\beta^3 \Omega_d N^2} \int_{\partial D_0} dS \left[ 3 \frac{K^2}{\Delta U} \Lambda_+ \left( \frac{K^2}{\Delta U} \right) + 4 \frac{K^3 \Delta f}{(\Delta U)^2} + 2M \frac{K^4}{(\Delta U)^2} + \frac{K^4 \partial_n \Delta U}{(\Delta U)^3} \right]$$
   ここで $K = [\vec{\nabla} f_{D_0}] \cdot n$ は、ジャンプの二乗に対するディリクレ・ド・ノイマン演算子の作用、ならびに曲率および密度勾配の項を含んでいる。第3累積モーメントとは異なり、第4累積モーメントは、ジャンプの二乗に対するディリクレ・ド・ノイマン演算子の作用、および平均曲率 $M$ や背景密度の法線微分 $\partial_n \Delta U$ を伴う。

3. 特殊な幾何学：
   一般的な公式は、以下の特定の幾何学へ特殊化されている：

   • 円盤 ($d=2$)： ヒルベルト変換とフーリエモードを用いて表現される。
   • 半平面 ($d=2$)： $f$ の微分のヒルベルト変換を含む形に簡略化される。
   • 球面 ($d=3$)： 球面調和関数および外部ディリクレ・ド・ノイマン演算子の固有値を用いて表現される。
     これらの特殊化された結果は、$f$ が回転不変である場合に既知の径方向の公式を回収する。

4. 検証：
   著者らは、非径方向の変形を持つ正確に解ける系に対して、一般公式の検証を行っている：

   • $d=2$ における平行移動した楕円ドロップレット（付録A）。
   • $d=3$ における球状変形（付録B）。
     $d=2, \beta=2$ の場合、これらの結果は Wiegmann と Zabrodin [51] によって提案された公式と一致することが示されており、この特定の条件下での第3および第4累積モーメントの厳密な証明となっている。

意義と主張
本論文は、任意の次元 $d \ge 2$ における、一般的な非回転不変ポテンシャルおよびテスト関数を持つクーロンガスの滑らかな線形統計のリーディングオーダーの第3および第4累積モーメントに関する、初の明示的な公式を提供すると主張している。

• ガウス型揺らぎを超えて： 分散は $O(1)$ でありガウス型であることがよく知られているが、これらの高次累積モーメントは、最初の非ガウス的な補正を表している。導出された公式は、積分項におけるスケーリング因子 $N^{-1}$ および $N^{-2}$ を明示しており、これは回転不変なケースで見られる挙動と一致しているが、主な新規性は、境界ジャンプ、ディリクレ・ド・ノイマン演算子、および曲率を含む複雑な積分構造にある。
• 内在的な境界依存性： 主要な発見は、これらの高次累積モーメントが、テスト関数の境界値とその微分、およびドロップレット境界の幾何学的性質（曲率、密度の法線微分）にのみ依存することである。これは、分散において観察される「エッジ普遍性」を高次へと拡張するものである。
• 厳密な基礎： $d=2, \beta=2$ の場合、論文は物理学の文献（Wiegmann and Zabrodin）における以前のヘウリスティックな結果を検証する厳密な導出を提供している。
• 限界： 著者らは、一般的な導出において、摂動を受けたドロップレットが滑らかであり、かつトポロジー的転移（例：分裂や合体）を起こさないことを仮定している。一般の $d$ および $\beta$ に対する厳密な証明は、分配関数の微分に関する十分条件（Remark 4.6）に依拠しており、これはすべてのケースについて完全に証明されているわけではないが、行列式型の場合については確立されている。

本研究は、統計力学、ランダム行列理論、および自由境界問題（障害物問題）を橋渡しし、対称な構成を超えた相互作用粒子系における非ガウス的揺らぎを理解するための統一的な枠組みを提供している。