Uniqueness for DLR equations of $\mathsf{Sine}_\beta$

技術的要約：Sine$\beta$のDLR方程式における一意性

問題設定
本論文は、1次元$\beta$-対数ガスにおける普遍的なバルク・スケーリング極限であるSine$\beta$点過程の、定常解のDLR（Dobrushin–Lanfred–Ruelle）方程式の一意性について扱っている。Sine$\beta$は、これまで確率微分方程式、明示的な確率演算子、および円周$\beta$アンサンブルの弱極限を通じて特徴付けられてきたが、統計力学的な観点からの特徴付けは不完全なままであった。具体的には、Dereuders, Hardy, Leblé, および Maïda (DHLM) は、Sine$\beta$が標準的なDLR方程式を満たし、かつ数的一致性（number-rigidity）を持つことを確立したが、Sine$\beta$がこれらの方程式に対する「唯一の」定常解であるかという問いは未解決のままであった。

中心となる課題は、古典的なギブス変分原理（通常、DLR解と自由エネルギー最小化を結びつけるもの）が、対数ガスの特異で長距離な対数相互作用に対して、直接的には容易に適用できないことにある。さらに、$\beta \neq 2$の場合、$\beta=2$のケースで使用される行列式構造やリーマン・ヒンポート法を用いることはできない。

手法
著者は、自由エネルギー汎関数を完全に回避し、一般的な定常DLR解と、適切に適合させた円周$\beta$アンサンブルとの間の直接的な比較戦略を採用している。証明のアーキテクチャは、以下の技術的なステップを通じて進行する。

1. 数的一致性と条件付け： （DHLMによって確立された）数的一致性の性質を利用し、有限区間 $I_L = [0, L]$ におけるDLR解 $P$ の条件付き法則は、外部構成 $\xi$ に対して、固定された粒子数 $n = n_L(\xi)$ を持つ単一のファイバー上に支持される。
2. 中和と拡大： 条件付き構成は、写像 $T_{n/L}$ を用いて区間 $I_L$ を長さ $n$ の区間 $I_n$ へ拡大することにより「中和」される。これにより、条件付き法則は、中立な電荷分布を持つ固定粒子数ファイバー上の測度 $\nu_{L,\xi}$ へと変換される。
3. 参照測度： この中和された法則は、円周 $n$ 上の円周$\beta$アンサンブル $Q_{n,\beta}$ と比較される。これは同じファイバー上のギブス測度である。
4. 相対エントロピー推定： 中和されたDLR条件付き法則と円周アンサンブルとの間の平均相対エントロピーが、劣増大的（sub-extensive）であることを証明することが、核心となる技術的成果である：
   $$H^{\text{circ}}_L = \int \text{Ent}(\nu_{L,\xi} \mid Q_{n_L(\xi),\beta}) \, \alpha_L(d\xi) = o(L).$$
   この推定値は、ポテンシャルの差を以下の4つの成分に分解することによって導出される：
   • アフィン拡大統計量： 有限な繰り込み電気エネルギー条件から導かれる劣線形な不一致推定 $v(L) = o(L)$ を用いて制御される。
   • 周期・固有誤差： 周期的な円周エネルギーと固有の区間エネルギーの差は、両方の法則の下で小さいことが示される。
   • 外部境界項： ゲージ不変な境界ポテンシャルの差は、厳密な中立性とシュティルツェス積分による部分積分を用いて制御され、外部相互作用の誤差が $o(L)$ であることが示される。
   • ギブス比較： ポテンシャルの差を抑えるためにイェンセンの不等式が適用される。
5. 循環ギャップ輸送： エントロピーの境界は $o(L)$ であり、$o(1)$ ではないため、ピンサーの不等式を直接用いて全変動収束を導くことはできない。代わりに、著者は循環平均の議論を採用している。エントロピー・コストは、粒子間の $n \approx L$ 個のギャップ（隙間）に分散される。輸送不等式（具体的には、円周ギャップ・ポテンシャルに関連するブレグマン・ダイバージェンス）を用いることで、ギャップあたりの期待コストが $o(1)$ であることが示される。
6. パルム識別： 循環ギャップ輸送は、候補となるDLR解の根付きギャップ法則（rooted gap laws）が円周アンサンブルのそれへと収束することを確立する。円周アンサンブルの局所極限（Sine$\beta$の簡約パルム法則へ収束することが既知）と、候補の根付き法則が自身の簡約パルム法則へ収束することを用いることで、著者は、候補の簡約パルム法則とSine$\beta$の簡約パルム法則が一致すると結論付ける。
7. パルム反転： 最後に、両方の過程は定常であり、単純（simple）であり、強度1であるため、簡約パルム法則の等価性は、過程自体の等価性を意味する。

主要な貢献と結果

• 定理 1.1： すべての $\beta > 0$ に対して、Sine$\beta$点過程は、構成空間上のBorel確率測度のうち、定常であり、標準的な$\beta$-DLR方程式を満たし、かつ有限のプロセスレベルの分岐適合な繰り込み電気エネルギー（$W_{\text{div}}(P) < \infty$）を持つ唯一の測度である。
• 反例： 有限エネルギー条件が不可欠であることを本論文は示している。圧縮写像をSine$\beta$に適用することにより、著者は強度が $m \neq 1$（したがって無限の繰り込みエネルギー）を持つ定常DLR解を構成している。さらに、このような過程と真空状態との混合は、有限エネルギー条件を破っている場合、定常で単純な強度1のDLR解（ただしSine$\beta$ではないもの）を生み出す可能性がある。
• 技術的革新： 本論文は、1次元における特異な対数相互作用を持つギブス測度を比較するための新しい手法を導入している。決定論的構造や変分原理に依存する従来のアプローチとは異なり、この手法は、厳密な中立性と劣線形な不一致推定を利用した、DLR解と円周アンサンブルとの間の直接的な相対エントロピー比較に基づいている。

意義
本論文は、Sine$\beta$点過程の標準的な統計物理学的特徴付けを提供し、DHLMによって提起された問題を解決した。これは、Sine$\beta$が単にDLR方程式の解であるだけでなく、有限エネルギー過程のクラスの中で唯一の解であることを確立している。この結果は、微視的な対数ガスモデルと、そのマクロな極限との間の接続をDLR形式を通じて強固にするものである。著者は、この特徴付けが、自然なギブス構造を持つ前極限モデルへの収束を証明するために有用である可能性があると述べているが、本論文では具体的な応用や高次元への拡張については追求しておらず、この議論は本質的に1次元的なものであると注記している。また、長距離相互作用が存在する場合において、有限の繰り込み電気エネルギー条件が一意性のための必要条件として果たす役割を明確にしている。