Widom asymptotics for spatial compressions of Schrödinger spectral projections

技术摘要：薛定谔谱投影空间压缩的 Widom 渐近行为

问题陈述
本文研究了应用于半经典薛定谔算子精确谱投影的空间压缩的谱函数迹的渐近行为。具体而言，令 $H_h = -h^2\Delta + V$ 为一个半经典薛定谔算子，其中 $V$ 是紧致经典允许区域 $D = \{x : V(x) < \mu\}$ 附近的平滑势能。令 $P_h = \mathbb{1}_{(-\infty, \mu]}(H_h)$ 为费米投影（即能量低于 $\mu$ 的谱投影）。所研究的对象是空间压缩算子 $T_h = Q P_h Q$，其中 $Q = \mathbb{1}_\Omega$ 是由区域 $\Omega \subset D$ 的特征函数构成的乘法算子。

虽然 $P_h$ 的谱是平凡的（包含在 $\{0, 1\}$ 中），但压缩算子 $T_h$ 的谱是非平凡的，且包含在 $(0, 1)$ 内。这些“过渡特征值”决定了粒子数涨落和自由费米子纠缠熵。核心问题是为一类广泛的、在端点 $0$和$1$处消失的连续函数$g$，建立关于$\text{Tr}, g(T_h)$ 的 Widom 型迹公式，并确定其在半经典参数 $h \to 0$ 时的领先阶项。

方法论
证明过程结合了半经典分析和算子理论中的多种先进技术：

1. 限制性替换与局部比较： 作者使用一个平滑的全局限制性势能 $V_c$ 来替换原始势能 $V$，该 $V_c$ 在 $\Omega$ 附近与 $V$ 一致。通过对易子估计和谱壳分析，他们证明了原始算子与限制性算子之间的差异在相关的 Schatten 类中是可忽略的（$O(h^{1-n})$）。
2. 局部正规型与 Hardy 模型： 为了分析边界行为，作者构造了一个适配边界的正规型。利用 Hamilton-Jacobi 构造，他们将问题在局部归约为涉及半直线上的 Hardy 压缩算子 $B = Q \mathbb{1}_{(-\infty, 0)}(D) Q$ 的模型。这使得可以提取出一个通用的谱泛函 $W(g)$。
3. Schatten 类估计： 一个关键组成部分是在每个固定的正 Schatten 类 $S_p$ 中建立“一个对数”对易子估计。作者证明了 $\|[P_h, Q]\|_{S_p} = O(h^{1-n} \log h^{-1})$。这控制了在谱端点 $0$和$1$ 附近的特征值累积。
4. 正分割与粘合： 对于维度 $n \ge 2$，证明采用了相空间中的正单位分解，以将横向边界贡献与掠射（grazing）贡献分离。利用已知的方差渐近性（来自 Deleporte 和 Lambert）来控制掠射余项，从而确保全局迹公式成立。在维度 $n=1$ 时，所有边界费米点都是横向的，简化了粘合论证。
5. 端点正则性： 作者论证了仅靠连续性和加权可积性不足以保证迹公式成立。他们要求 $g$ 在端点处具有固定的正幂次衰减（$|g(t)| = O(t^{\alpha_0})$ 且 $|g(1-t)| = O(t^{\alpha_1})$）。这一条件确保了谱端点的必要一致可积性。

主要贡献与结果

• Widom 迹公式： 主要结果（定理 1.1）表明，对于任何在端点处具有正幂次衰减的连续函数 $g$：
  $$\text{Tr}\, g(T_h) = C_{\Omega, 1} W(g) (2\pi h)^{1-n} \log h^{-1} + o(h^{1-n} \log h^{-1})$$
  其中 $W(g) = \int_0^1 \frac{g(t)}{t(1-t)} dt$ 是通用谱泛函，$C_{\Omega, 1}$ 是取决于 $\Omega$ 的边界和势能 $V$ 的几何系数。
• 纠缠熵渐近行为： 该公式给出了固定正阶数的冯·诺依曼熵（$S_1$）和所有 Rényi 熵（$S_\alpha$）的精确渐近式。具体而言，$S_\alpha(h) \sim \frac{\pi^2}{6}(1+\alpha^{-1}) C_{\Omega, 1} M_h$，其中 $M_h = (2\pi h)^{1-n} \log h^{-1}$。对于一维中的单个区间，冯·诺依曼熵系数为 $1/3$。
• 通用比例： 本文证明了纠缠熵与粒子数方差的比值收敛于一个通用常数：
  $$\frac{S_\alpha(h)}{\text{Var}\, N_\Omega} \to \frac{\pi^2}{6}(1+\alpha^{-1})$$
  该比例与维度、势能以及区域的几何形状无关。
• 过渡谱律： 该定理意味着缩放后的过渡特征值在测度意义下弱收敛于密度为 $C_{\Omega, 1} \frac{dt}{t(1-t)}$ 的测度。用纠缠能量 $\varepsilon = \log((1-t)/t)$ 表示，这对应于一个常数密度。
• 反例： 作者提供了一个使用谐振子的反例（定理 1.4），用以说明如果将端点处的幂次衰减条件放宽为仅仅是连续性和加权可积性，则迹公式将失效。这反驳了 [4, Conjecture 1] 中的连续加权可积性表述。

意义与主张
本文为变量势能薛定谔算子的空间压缩的精确谱投影建立了 Widom 迹公式。其意义在于：

1. 普遍性： 识别出一种通用的局部机制（Hardy 模型），它决定了无论具体的势能或维度如何，都支配着过渡谱的非线性统计特性。
2. 精确性： 提供了纠缠熵的精确对数系数，修正了此前差异达 $\log \log h^{-1}$ 数量级的界限。
3. 端点条件的必要性： 通过构建的反例，严谨地证明了测试函数 $g$ 的幂次衰减条件不仅是技术上的便利，而且是迹公式成立的必要条件。
4. 统一性： 将粒子数涨落（方差）与纠缠熵的分析统一在单一的迹渐近框架下，表明两者都源于相同的由边界产生的谱密度。

作者指出，尽管其结果涵盖了固定正阶数的 Rényi 熵和固定正 Schatten 指数，但关于这些参数趋于零时的一致估计以及最大允许函数类的研究仍有待开展。