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

技术摘要：对称包含过程及其相关模型的单粒子与双粒子谱间隙恒等式

问题陈述
本文研究了对称包含过程（Symmetric Inclusion Process, SIP）的谱间隙（负无穷小生成子的最小非零特征值），该过程是一个在有限图 $G$ 上具有相互吸引作用的相互作用粒子扩散系统。核心问题在于确定该系统的精确平衡收敛速率。具体而言，作者分析了在 $\alpha_{\min} \in (0, 1)$ 的区域内（即非对数凹区域），$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（与粒子库接触的系统）以及相关的连续自旋模型，如布朗能量过程（Brownian Energy Process, BEP）。

方法论
作者结合使用了谱理论、狄利克雷型（Dirichlet form）比较以及快-慢系统分析：

1. 特征结构与提升（Lifting）： 证明利用了 SIP 的“刚性特征结构”。该系统是相容的，这意味着 $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），作者利用正交多项式对偶（Meixner 多项式），将特征函数从纯吸收系统（粒子被杀死但不被创建）提升到带有粒子库的一般系统。这使得他们能够将非保守系统的谱与带有杀死的单粒子过程联系起来。

主要贡献与结果

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.$$
   这证实了一个猜想（归功于 Pietro Caputo 对相关分裂过程的研究），即在亚稳态机制下，谱间隙是由两个粒子的动力学而非单个粒子的动力学所控制。

4. 非保守 SIP 的谱间隙恒等式：
   对于开放 SIP（带有粒子库），作者建立了一个稳健的恒等式：无论 $\alpha_{\min}$ 的值或图的几何形状如何，带有粒子库的系统（在可逆情况下）的谱间隙恰好等于带有杀死的单个随机游走的谱间隙：
   $$\text{gap}_{\text{SIP}}(G, \alpha, \omega, \varrho) = \text{gap}_{\text{RW}}(G, \alpha, \omega).$$
   该结果对于任何常数粒子库密度 $\varrho > 0$ 均成立，其依据是吸收系统的特征函数可以提升至一般系统。

5. 对相关模型的扩展：
   研究结果被扩展到了布朗能量过程（BEP）和其他质量再分配模型（如 Beta-Binomial 分裂、KMP 模型）。由于同谱性和泊松交织关系，从 SIP 导出的谱间隙恒等式和渐近行为直接适用于这些连续自旋及其他离散模型。

意义与主张
本文声称解决了 SIP 在以往“单粒子简化”猜想失效的区域中的谱间隙行为问题。通过确立在低扩散极限下由双粒子恒等式控制谱间隙，这项工作为具有吸引力的相互作用粒子系统提供了更准确的收敛速率表征。

作者强调了保守与非保守设置之间的二分性：虽然保守 SIP 的间隙对粒子数量和相互作用强度敏感（在极限下需要双粒子简化），但非保守 SIP 的间隙则普遍由带有杀死的单粒子过程控制，且与相互作用强度无关。

这些结果阐明了在一般非平均场几何结构下，狄利克雷可逆系统的谱性质，提供了此前在这些复杂的相互作用系统中未知的尖锐界限和渐近恒等式。本文结论指出，这些技术适用于更广泛的具有 Gamma 型可逆测度的模型，尽管在一般几何结构下获得其他质量再分配模型保守变体的尖锐下界仍是一个开放性问题。