Random Schrödinger operators on manifolds and abstract bounds for multiplier-type operators

技术摘要：流形上的随机薛定谔算符与多项式型算符的抽象界限

问题陈述
本文研究了定义在封闭（紧致、无边界）黎曼流形 $(M, g)$（维度 $d \geq 2$）上的随机薛定哥算符 $H_{\omega, \lambda} = -\Delta_g + V_{\omega, \lambda}$ 的谱性质。势函数 $V_{\omega, \lambda}$ 是安德森型（Anderson type）的，由尺度为 $\lambda^{-1}$ 的局部化“凸起”（bumps）及其随机系数 $\omega_j$（独立同分布的对称伯努利分布或中心化归一化高斯分布）之和构成。

主要目标是建立对于能量至 $\lambda^2$ 的 $H_{\omega, \lambda}$ 特征值的概率高置信度界限。具体而言，作者旨在量化扰动算符的谱与未扰动拉普拉斯算符 $-\Delta_g$ 的谱之间的接近程度。本研究试图证明，随机化相比于确定性的谱包含界限（这些界限通常依赖于势函数的 $L^\infty$ 或 $L^q$ 范数而缺乏概率性的改进），能够产生“平方根抵消”（square-root cancellation）的增益。

方法论
证明策略依赖于两步法：首先，建立关于随机乘法算符算子范数的通用抽象原理；其次，将该原理应用于流形上的特定谱算符和解析算符。

1. 抽象算子理论原则：
   其核心创新在于建立了一个通用的框架，展示了随机化如何改进形式为 $T_1^* V_\omega T_2$ 的算子的范数界限，其中 $V_\omega$ 是随机乘法算符，$T_1, T_2$ 是结构化线性算符（例如谱投影算符、解析算符）。

   • 离散情形： 作者提出了一个离散估计（定理 1.2），其中定义在有限集上的函数在对划分进行随机化。证明过程利用了受 Bourgain 熵界启发而来的链式论证（chaining argument），并利用了亚高斯尾部估计（Dudley 不等式）以及划分的几何性质。
   • 连续情形： 该方法被扩展到 Ahlfors $d$-正则度量测度空间（定理 1.4）。随机化是在与极大 $r$-分离集相关的 Voronoi 胞腔上进行的。作者引入了诸如“局部常数性”（local constancy）和“一致重参数化”（uniform reparametrisation）等技术条件来处理连续几何，从而允许将离散概率估计转移到流形设置中。

2. 在谱理论中的应用：
   这些抽象界限被应用于与薛定谔算符相关的两个特定情形：

   • 谱投影算符： 利用针对算符 $\Pi_\lambda = \mathbb{1}_{[\lambda, \lambda+1]}(\sqrt{-\Delta_g})$ 的 Sogge 谱簇界限。随机化改进了 $\|\Pi_\lambda^* V_\omega \Pi_\lambda\|$ 的界限，将确定性的 $L^q$ 依赖性替换为系数的概率性 $\ell^{2q}$ 依赖性，获得了 $\lambda^{-\mu(q)}$ 的因子增益。
   • 半解析算符（Half-Resolvents）： 作者推导了关于解析算符平方根 $|-\Delta_g - z|^{-1/2}$ 的确定性估计。这些估计与随机乘法器界限相结合，用于估计 Birman-Schwinger 算符 $K_{\omega, \lambda}(z) = |-\Delta_g - z|^{-1/2} V_{\omega, \lambda} (-\Delta_g - z)^{-1/2}$。

3. 离散化与并集界限：
   为了将关于 Birman-Schwinger 算符的点态概率界限扩展到关于连续谱参数 $z$ 的一致界限，作者采用了离散化方案。他们根据解析算符权重 $B(z)$ 的大小对复平面进行划分，构造了一个 $\epsilon$-网，并利用 Birman-Schwinger 算符对 $z$ 的 Lipschitz 连续性，在网格点上应用并集界限。

主要贡献与结果

• 定理 1.1（谱包含）： 主要结果提供了 $H_{\omega, \lambda}$ 谱的高概率界限。它指出，以至少 $1 - \exp(-K^2)$ 的概率，任何满足 $|z| \leq \lambda^2$ 且到未扰动谱距离 $\geq \lambda^{-N}$ 的特征值 $z$，都位于以拉普拉斯特征值 $\lambda_k^2$ 为中心的圆盘并集内。这些圆盘的半径 $r_k$ 以及排除区域 $\Omega$ 取决于势系数的 $\ell^{2q}$-范数、维度 $d$ 以及参数 $q$。

  • 平方根抵消： 该界限相对于确定性结果（特别是 [Cue26] 中的结果）表现出增益。确定性界限随 $\|V\|_{L^q}$ 缩放，而随机化界限随 $\|v\|_{\ell^{2q}}$ 缩放，并具有改进的 $\lambda$ 幂次。作者指出，对于 $q > (d+1)/4$，概率性界限严格优于确定性界限，有效地实现了势函数范数的平方根抵消。

• 定理 1.2 与 1.4（抽象估计）： 这些定理提供了实现主要结果的技术手段。它们确立了对于 $T_1^* V_\omega T_2$，其期望算子范数被一个涉及 $(\log \#E)^{5/2}$（离散）或 $(\log \#\Lambda)^{5/2}$（连续）以及系数的 $\ell^{2q}$（或 $L^{2q}$）范数的项所控制，而非 $L^\infty$ 范数。

• 命题 4.1 与 4.6： 这些中间结果量化了谱簇估计和 Birman-Schwinger 界的改进，明确展示了对随机化尺度和概率增益的依赖关系。

意义与主张
本文声称其主要贡献在于提供了一个“通用的抽象框架”，将概率输入（系数的随机化）与分析输入（确定性谱界限）分离开来。

• 几何独立性： 抽象结果是针对一般的 Ahlfors 正则度量测度空间制定的，这表明其适用范围超出了特定的紧致流形设置。
• 优于确定性界限： 作者明确指出，其结果相比于确定性的谱包含界限实现了“平方根抵消增益”。在高能机制下，这种改进是显著的（例如在球面或 Zoll 流形上，确定性界限是精细的）。
• 广泛的适用性： 作者指出该机制适用于多种环境，包括：
  • 带有边界的流形和非紧致空间（渐近锥形或双曲空间）。
  • $\mathbb{R}^d$ 上带有俘获势（trapping potentials）或磁场的随机薛定谔算符。
  • 晶格（$\mathbb{Z}^d$）或图上的离散模型。
  • 关于随机设置中波算符的存在性、完备性以及嵌入特征值不存在性的问题。

论文最后总结道，虽然针对紧致流形的特定界限是研究重点，但随机化改进算符范数界限的底层机制是一个稳健的原理，具有扩展到一类广泛谱问题的潜力。