An optimal Poincaré inequality for the complex Ginibre log-gas

技術要約：複素ギンブレ・ログガスの最適ポアンカレ不等式

問題設定
本論文は、平面クーロンガスにおける $n$ 個の相互作用する粒子を記述する確率測度 $\mu_n$（$\mathbb{C}^n$ 上、 $n \ge 1$）である複素ギンブレ・ログガスの最適ポアンカレ不等式の決定を扱う。この測度は、二次閉じ込めポテンシャルと粒子間の対数斥力を含むボルツマン・ギブス重みによって定義される：
$$d\mu_n = \frac{1}{c_n} e^{-n \sum |z_k|^2} \prod_{j<k} |z_j - z_k|^2 dz.$$
中心的な課題は、この測度に関連するエネルギー関数 $E_n$ が凸ではないことである。具体的には、エネルギーのヘッセ行列は下方に非有界であり（その下限は $-\infty$）、標準的な凸性に基づく議論（バカリ・エメリーの基準など）を適用できない。したがって、関数 $f$ の分散をディリクレ形式（勾配のエネルギー）に関連付ける鋭いポアンカレ不等式を確立することは非自明である。本論文は、特に実数値の対称な観測量、すなわち $f(z_{\sigma(1)}, \dots, z_{\sigma(n)}) = f(z_1, \dots, z_n)$ （すべての置換 $\sigma$ に対して成立）を満たす関数に焦点を当てる。

手法
主定理の証明は、エネルギーのヘッセ行列に直接依存することなく、代数、複素解析、および確率論的手法の統合に基づいている。その手法は以下の主要なステップで進行する：

1. ヴァンデルモンド変換： 著者は、測度 $\mu_n$ の下での対称関数に関する問題を、標準的な複素ガウス測度 $\gamma_n$ の下での反対称関数に関する問題へと写像する。これは、対称なテスト関数 $f$ にヴァンデルモンド行列式 $V_n(z) = \prod_{j<k}(z_k - z_j)$ を掛けることで達成される。$V_n$ は反対称であるため、積 $g = f V_n$ は反対称関数となる。この変換により、$\mu_n$ のディリクレ形式は、ガウス空間における $\bar{\partial}$ 演算子を用いた重み付きディリクレ形式へと変換される。

2. 正則射影と $\bar{\partial}$-ギャップ： 著者は、ガウス測度の文脈における $\bar{\partial}$ 演算子のスペクトルギャップ不等式であるヘルマンダー・バーンデットスト（Hörmander–Berndtsson）の評価式を利用する。この評価式は、関数の $\bar{\partial}$ 微分の $L^2$ ノルムの下限を、正則関数空間（セガール・バルグマン空間）への距離によって提供する。

3. ヴァンデルモンド多項式による可除性： 重要な代数的ステップとして、$L^2(\gamma_n)$ における反対称正則関数の部分空間の特性付けが含まれる。本論文は、そのような関数は必ずヴァンデルモンド多項式 $V_n$ で割り切れ、結果として対称な正則関数を与えることを証明する。これにより、$L^2(\mu_n)$ における対称関数の空間と、特定の正則関数の部分空間との間の等長写像が確立される。

4. 実半距離評価： 実数値の対称関数に対して、著者は、二乗距離が（関数が中心化されていると仮定した場合）関数の二乗 $L^2$ ノルムの1/2倍以上になるという幾何学的補題を確立する。この「半距離」特性は、特定の重み付き空間における正則成分と反正則成分の直交性に由来する。

主要な結果
主結果である定理 1.1 は、すべての対称な $f \in H^1_{\mathbb{R}}(\mu_n)$ に対して、以下の最適なポアンカレ不等式を確立する：
$$\text{Var}_{\mu_n}(f) \le \frac{1}{2} \mathcal{E}(f, f),$$
ここで、ディリクレ形式は $\mathcal{E}(f, f) = \frac{1}{n} \int |\nabla f|^2 d\mu_n$ と定義される。

• 最適性： 定数 $1/2$ は鋭い。等号は、重心の観測量の実部および虚部の線形結合において正確に達成される：
  $$f(z) = a \, \Re\left(\sum_{k=1}^n z_k\right) + b \, \Im\left(\sum_{k=1}^n z_k\right), \quad a, b \in \mathbb{R}.$$
• スペクトルギャップの解釈： この結果は、複素ギンブレ・アンサンブルに関連する過減衰ランジュバン動力学の自己共役生成子が、対称な観測量に制限されたとき、スペクトルギャップが $2$（次元に依存しない）であることを意味する。
• 実数の場合との対比： 本論文は、実数の類似例（$\mathbb{R}^n$ 上のガウス・ユニタリ・アンサンブル）では、測地線単体への制限により強対数凹性が認められ、標準的な凸性議論が可能であることを指摘している。複素数の場合、測度は対数凹ではないが、最適な定数は重心モードによって規定される値と同じである。

意義と主張
本論文は、複素ギンブレ・ログガスの平衡への収束に関する自然な問題に対し、鋭い解を提供したと主張している。その意義は以下の側面に存在する：

• 非凸性の克服： 特異なクーロン相互作用がエネルギーの凸性を破壊し（ヘッセ行列が下方に非有界となる）、ポアンカレ定数を悪化させる可能性があるにもかかわらず、それが起こらないことを示している。最適なレートは、ガスの内部ダイナミクスからデカップリングされた、重心モードのみによって決定される。
• 隠れた構造： 証明は、ヴァンデルモンド変換を通じて、エネルギーのヘッセ行列のレベルでは見えない「隠れたガウス複素解析的構造」を明らかにしている。この構造により、数変数複素関数論の強力なツール（特にヘルマンダー・バーンデットストの評価式）を用いて、統計力学の問題を解決することが可能となる。
• 線形統計を超えて： 用いられたメカニズムは、ランダム行列理論で使用される標準的な相関核の恒等式よりも強力であると説明されており、加法的（線形）統計だけでなく、一般的な対称な観測量に適用可能である。
• 独立性と手法： 著者は、最終的な分解のアイデアがAI支援による探索を通じて生成されたことを認め、鈴木 [2026] も本質的に同じ手法を用いて同じ定理を独立して発見したことに触れている。本論文は、ヴァンデルモンド変換と複素スペクトルギャップの相互作用に焦点を当てた点で、その精神的な提示方法が異なることを強調している。

本論文は、特異な相互作用は凸性を破壊するものの、対称な観測量に対するポアンカレ定数を重心モードが提供する値以上に大きくすることはないと結論付けており、このモデルにおける対称な観測量に対する決定的な回答を与えている。