技術要約：1次元ガスおよび高温度における三対角ランダム行列の端における大偏差

1. 問題設定

本論文は、2体斥力相互作用を受ける、閉じ込められた$N$個の粒子からなる1次元ガスの最大粒子 $x_{\max} = \max_{1 \le i \le N} x_i$ の大偏差（Large Deviation, LD）挙動を調査している。系は以下のギブス確率測度によって支配される：
$$dP_N(x) = \frac{1}{Z_N} \prod_{i<j} e^{-2\alpha \frac{1}{N} g(x_i - x_j)} \prod_{i=1}^N e^{-V(x_i)} dx_1 \dots dx_N$$
ここで、相互作用カーネル $g$ は、対数型（$g(x) = -\log|x|$）またはリースの型（$g(x) = |x|^{-s}$、ただし $0 < s < 1$）である。

本研究は、逆温度 $\beta_N = 2\alpha/N$ が固定された $\alpha > 0$ に対してスケーリングされる高温度領域に焦点を当てている。この領域では、経験測度は全実数直線上にサポートを持つ平衡測度 $\mu_{eq}$ に収束する（固定された $\beta$ の領域におけるコンパクトなサポートとは異なる）。その結果、最大粒子の典型的なスケールは $x_{\max} \sim (\theta^{-1} \log N)^{1/d}$ と成長する（ここで $V(x) \sim \theta |x|^d$ である）。

主な目的は、$N \to \infty$ における $x_{\max}$ のこの典型的挙動からの偏差の確率を定量化することである。具体的には、スケーリングされた変数 $\hat{x}_{\max} = x_{\max} / (\theta^{-1} \log N)^{1/d}$ に関する大偏差原理（LDP）および中偏差（Moderate Deviation）の推定を確立することを目指している。

さらに、本論文は、ガウス型の裾を持つ独立な成分を持つ対称三対角ランダム行列を分析している。この分析は、対数ガス（二次ポテンシャルを持つ）と三対角行列の固有値（Dumitriu-Edelman表現）との関連性によって動機付けられており、これにより著者らは、LDイベントを行列成分の観点から解釈することを可能にしている。

2. 手法

2.1. ガスモデルのための大偏差分析

ガスモデル（定理1.2および1.3）の証明戦略は、上界と下界のテクニックの組み合わせに基づいている：

• 上界（右偏差）： $x_{\max}$ が典型的よりも大きい偏差（$x > 1$）に対して、著者らは局所統計に関する先行研究から得られた第1粒子のウェグナー推定（周辺境界）を利用する。和集合の法則と交換可能性を適用することで、任意の粒子が閾値を超える確率を抑える。
• 上界（左偏差）： $x_{\max}$ が典型的よりも小さい偏差（$x < 1$）に対して、戦略は、相互作用する系を、平衡測度 $\mu_{eq}^{\otimes N}$ に従って分布する独立な粒子の系と比較することである。エネルギー推定と経験測度の正則化を用いることで、密度 $p_N(x)$ に関する点別境界を確立する：
  $$p_N(x) \le e^{R_N} \prod_{i=1}^N \rho_{eq}(x_i)$$
  ここで $R_N$ は、大偏差の指数スケールに対して無視できる剰余項である。これにより、問題はより扱いやすい独立な粒子の確率の推定へと還元される。
• 下界： 下界は、残りの $N-1$ 個の粒子が典型的なサポート内に留まりつつ、ちょうど1つの粒子が著しく逸脱するという構成空間に制限することで確立される。端における局所統計が不均質なポアソン点過程に収束すること（[Lam21]で確立）がここで重要であり、これにより、単一の粒子が下方に逸脱する確率を抑えることができる。
• 中偏差： 本論文は、偏差のスケールが大偏差のスケールよりも小さく、かつ典型的なゆらぎ（Gumbel領域）よりも大きい中偏差領域へとこれらの結果を拡張している。

2.2. 行列の解釈と切断

（三対角行列モデル（定理1.10）において、著者らは、疎な行列や重い裾を持つ行列に使用されるテクニックと同様の切断手順を用いている：

• 切断： 行列 $T$ は、切断された行列 $T^\varepsilon$（$\varepsilon \sqrt{2 \log N}$ より大きい成分のみを含む）と、残差 $S^\varepsilon$ に分解される。
• 指数的等価性： $T$ と $T^\varepsilon$ の上端固有値は指数的に等価であることが示されている。すなわち、それらが小さな $\delta$ 以上に異なる確率は超指数的に減少する。
• ブロック対角化： ガウス型の裾の仮定により、切断された行列 $T^\varepsilon$ は疎である。高確率で、残っている非対角成分はわずかであり、これにより行列は有限サイズ（$N$ に依存しない）のブロックからなるブロック対角構造へと分解される。
• ノルム境界： 有限なブロックの上端固有値は、そのユークリッドノルムによって抑えられる。成分がガウス型の裾を持つため、そのような成分の有限次元ベクトルのノルムもまたガウス型の裾の挙動を示す。これにより、LDレート関数の導出が可能となる。

3. 主要な貢献と結果

3.1. 対数ガスのための大偏差原理

定理1.2 は、対数ガス（$g = -\log$）の場合の、スケーリングされた最大粒子 $\hat{x}_{\max}$ に対する完全なLDPを確立している。この列は、速度 $\log N$ と以下の良質なレート関数を持つLDPを満たす：
$$I_d(x) = \begin{cases} x^d - 1 & \text{if } x \ge 1 \\ +\infty & \text{if } x < 1 \end{cases}$$
この結果は、高温度領域における相互作用する対数ガスのレート関数が、独立同一分布（iid）の粒子のものと同一であることを意味する。相互作用によって導入される相関は、この領域における最大粒子の大偏差のコストには影響を与えない。

3.2. リースガスのための推定

定理 1.3 は、リースのガス（$g = |x|^{-s}$）に対するLD推定を提供する。すべての $x < 1$ について完全なLDPは証明されていないが、著者らは以下を確立している：

• $x > 1$ の場合の上界：$\limsup \frac{1}{\log N} \log P(\hat{x}_{\max} > x) \le -I_d(x)$。
• $x > 1$ および特定の $x < 1$ の領域に対する下界。
  レート関数は再び $I_d(x)$ であり、これは対数のケースと同様の普遍性を示唆しているが、相互作用の範囲のため、$x < 1$ の左側の裾に関する証明はより繊細である。

3.3. 精緻化された境界と中偏差

• 命題 1.5： 左偏差（$x < 1$）に対する精緻化された上界を提供し、最大粒子が典型的よりも著しく小さくなる確率は、任意の $N$ のべき乗よりも速く減衰すること（具体的には、対数確率は $\log \log N$ でスケールする）を示している。これは、左方向の偏差には、メソスコピックな数の粒子をシフトさせる必要があることを示唆しており、右方向の偏差よりもはるかに稀であることを意味する。
• 命題 1.7： 偏差のオーダーが $(\log N)^{-\gamma}$ である領域における中偏差推定を確立している。著者らは、そのような偏差の確率は $\exp(-x^d (\log N)^{1-\gamma-d^{-1}})$ として減衰することを示している。

3.4. 三対角行列と「少数の成分」メカニズム

定理 1.10 は、成分が一様にガウス型の裾を持つ対称三対角行列の上端固有値に対するLDPを確立している。レート関数は $I_2(x)$ である（ポテンシャル $V(x) \sim x^2$ における $d=2$ に対応）。

• メカニズム： 本論文は、上端固有値の大偏差が、少数の成分が異常に大きな値を取ることによって引き起こされることを示している。
• 対数ガスの回復： 行列成分をDumitriu-Edelmanモデル（対角成分がガウス分布に従い、非対角成分が $\chi$ 分布に従うもの）に特化することで、著者らは対数ガスのLDP（定理1.2）を回復し、ガスに関する結果の行列論的な解釈を提供している。

4. 意義と主張

本論文は、ランダム行列理論および統計力学における大偏差の理解を、高温度領域（$\beta_N \to 0$）へと拡張することを主張している。

• レート関数の普遍性： 中心的な主張は、高温度極限において、対数およびリースのガスにおける最大粒子の大偏差レート関数が、iid粒子のものと一致することである。これは、固定された $\beta > 0$ の領域（例えば、古典的な $\beta$ アンサンブルでは、相互作用がレート関数を著しく変化させる）とは対照的である。
• 稀なイベントの性質： 本研究は、稀なイベントのメカニズムを解明している。右偏差（大きな $x_{\max}$）の場合、そのイベントは単一の粒子がバルクから脱出することによって引き起こされる。左偏差（小さな $x_{\max}$）の場合、そのイベントにはメソスコピックな数の粒子の集団的なシフトが必要であり、それゆえに指数関数的により強く抑制される。
• 行列とガスの接続： 本論文は、特定の三対角モデルにおける上端固有値のLD挙動が、複雑なスペクトル相関ではなく、個々の行列成分の裾の挙動によって完全に決定されることを示すことにより、相互作用する粒子系とランダム行列理論の間の溝を埋めている。これは、高温度（弱相関）極限において、系が局所的に独立な変数の集合として振る舞うという直感を支持している。