One- and two-particle spectral gap identities for the symmetric inclusion process and related models

技術要約：対称包含過程および関連モデルにおける一粒子および二粒子スペクトルギャップの恒等式

問題設定
本論文は、有限グラフ $G$ 上で相互吸引的な粒子が拡散する相互作用系である、対称包含過程（Symmetric Inclusion Process, SIP）のスペクトルギャップ（負の無限小生成子の最小の非ゼロ固有値）を調査している。中心となる問いは、この系の平衡への収束率を正確に決定することである。具体的には、著者らは、$k$ 個の粒子を持つ相互作用系のスペクトルギャップ $\text{gap}_k(G, \alpha)$ が、より単純な非相互作用過程のスペクトルギャップへと還元できるかどうかを分析している。

先行研究 [KS24] では、「対数凹性レジーム」（サイトの重み $\alpha_x \ge 1$ の場合）において、SIPのスペクトルギャップは単一のランダムウォーク（RW）のスペクトルギャップと一致すること $\text{gap}_{\text{SIP}} = \text{gap}_{\text{RW}}$ が確立されている。本論文は、このレジーム外、特に $\alpha_{\min} \in (0, 1)$ の場合におけるスペクトルギャップの挙動を扱い、拡散率が消失する極限において、二粒子系への還元が成立するかどうかを探索する。さらに、非保存的SIP（粒子リザーバーと接触している系）およびブラウンエネルギー過程（BEP）のような関連する連続スピンモデルへとこの調査を拡張する。

手法
著者らは、スペクトル理論、ディリクレ形式の比較、および緩慢・速い系（slow-fast system）の解析を組み合わせて用いている：

1. 固有構造とリフティング： 証明は、SIPの「硬い固有構造（rigid eigenstructure）」を利用している。この系は一貫性（consistency）を持っており、$k$ 粒子系は $(k-1)$ 粒子系のスペクトルを含んでいる。著者らは、消滅演算子（$a_k$）および生成演算子（$a^\dagger_{\alpha, k-1}$）を用いて $L^2$ 空間を直交部分空間に分解し、異なる粒子数間でのスペクトルギャップの比較を可能にしている。
2. ディリクレ形式の比較： $\alpha_{\min} < 1$ のレジームにおけるスペクトルギャップの下界を導出するために、任意のグラフ $G$ 上のSIPのディリクレ形式を完全グラフ $K$ 上のディリクレ形式と比較する。著者らは、エネルギー散逸を抑え込むために、区別可能なパス（および複雑なケースでは、パスの二次元的な曲面）を構築し、$\alpha_{\min}$ およびグラフの直径やサイズといった幾何学的パラメータへの依存性を注意深く追跡している。
3. 緩慢・速い系の解析： 拡散率が消失する漸近的レジーム（$\alpha = \varepsilon \hat{\alpha}$ かつ $\varepsilon \to 0$）において、著者らは緩慢・速い系の極限定理（[Kur73]に基づく）を適用する。生成子を、粒子をスタック（積み重ね）へと融合させる速い部分と、これらのスタックの移動を駆動する遅い部分に分解する。スペクトルギャップは、「スタック」の構成空間上で作用する極限的な有効生成子を通じて分析される。
4. 非保存系における双対性とリフティング： 開いた系（粒子が消滅するが生成はされない、吸収的な系へのリフティングを伴うSIP）において、著者らは直交多項式双対性（メクスナー多項式）を利用して、吸収的な系からの固有関数を、リザーバーを持つ一般的な系へとリフトする。これにより、非保存的系のスペクトルを、キリング（消滅）を伴う単一粒子のスペクトルに関連付けることができる。

主な貢献および結果

1. 対数凹性レジームにおける一粒子恒等式の失敗：
   本論文は、$\alpha_{\min} < 1$ のとき、恒等式 $\text{gap}_{\text{SIP}} = \text{gap}_{\text{RW}}$ が一般には成立しないことを示している。著者らは、高次元トーラスなどの具体的な例を挙げ、$\text{gap}_{\text{SIP}} < \text{gap}_{\text{RW}}$ となることを示している。これは、恒等式が成立する対数凹性レジームとは対照的である。

2. 小さな $\alpha_{\min}$ に対する鋭い下界：
   著者らは、$\alpha_{\min} \in (0, 1)$ において正しい線形依存性を捉えた、スペクトルギャップの非漸近的な下界を導出している。具体的には、次のように示される：
   $$\text{gap}_{\text{SIP}}(G, \alpha) \ge C \alpha_{\min}$$
   ここで $C$ はグラフの構造と重みの比に依存する。これは、単純なスケーリング論から示唆される二次的な依存性を修正するものである。

3. 消失拡散率極限における二粒子スペクトルギャップ恒等式：
   $\alpha \to 0$ の極限（固定された方向極限に沿って）において、本論文は、多粒子SIPのスペクトルギャップが二粒子系によって漸近的に決定されることを証明している：
   $$\lim_{\varepsilon \to 0} \frac{\text{gap}_k(G, \varepsilon \hat{\alpha})}{\text{gap}_2(G, \varepsilon \hat{\alpha})} = 1, \quad \forall k \ge 2.$$
   これは、関連する分割過程に関するピエトロ・カプートによる予想（スペクトルギャップは、メタステーブルなレジームにおいて単一の粒子ではなく、二粒子のダイナミクスによって支配されるというもの）を裏付けるものである。

4. 非保存的SIPにおけるスペクトルギャップ恒等式：
   開いたSIP（リザーバーを持つSIP）については、堅牢な恒等式を確立している。すなわち、$\alpha_{\min}$ やグラフの幾何学に関わらず、リザーバーを持つ系のスペクトルギャップ（可逆な場合）は、キリングを伴う単一のランダムウォークのスペクトルギャップと正確に一致する：
   $$\text{gap}_{\text{SIP}}(G, \alpha, \omega, \varrho) = \text{gap}_{\text{RW}}(G, \alpha, \omega).$$
   この結果は、一定のリザーバー密度 $\varrho > 0$ に対して成立し、吸収的な系の固有関数が一般的な系へとリフトされる事実に依拠している。

5. 関連モデルへの拡張：
   これらの知見は、ブラウンエネルギー過程（BEP）や他のモデル（ベータ・バイノミアル分割、KMPモデルなど）へと拡張される。等スペクトル性およびポアソン・インターツィンキング（Poisson intertwining）の関係により、SIPから導出されたスペクトルギャップの恒等式および漸近的挙動は、これらの連続スピンおよび他の離散モデルに直接適用される。

意義および主張
本論文は、従来の「一粒子への還元」の予想が成立しないレジームにおける、SIPのスペクトルギャップの挙動を解決したと主張している。スペクトルギャップが低拡散率極限において二粒子恒等式によって支配されることを確立することで、本研究は、引力的力を伴う相互作用粒子系の収束率に対して、より正確な特徴付けを提供している。

著者らは、保存的設定と非保存的設定の間の二分法を強調している。保存的なSIPのギャップは、粒子の数と相互作用の強さに敏感であるが（低拡散率では二粒子への還元を必要とする）、非保存的なSIPのギャップは、相互作用の強さに依存せず、普遍的にキリングを伴う単一のプロセスによって支配される。

これらの結果は、平均場理論的ではない一般的な幾何学上のディリクレ可逆系におけるスペクトル特性に光を当てるものであり、これまでこれらの複雑な相互作用系において未知であった鋭い境界と漸近的恒等式を提供している。本論文は、これらの手法がガンマ分布型の可逆測度を持つより広範なモデルに適用可能であることを結論付けているが、一般的な幾何学における他の保存的質量再分配モデルの鋭い下界を得ることは、依然として未解決の課題である。