Linear statistics in the Coulomb gas: cumulants beyond rotational invariance

技术摘要：库仑气体中的线性统计：超越旋转不变性的累积量

问题陈述
本文研究了在 $d \ge 2$ 维空间中，由一般外部势能 $U$ 约束的 $N$ 个经典库仑气体中线性统计的涨落。粒子通过对数（$d=2$）或牛顿（$d=3$）排斥进行相互作用。主要研究对象是线性统计 $L_N = \sum_{i=1}^N f(x_i)$，其中 $f$ 是一个光滑测试函数。

虽然线性统计的一阶方差已得到充分理解，并受控于具有高斯涨落的中心极限定理（标度为 $O(1)$），但对于一般非对称势能和测试函数的高阶累积量的行为在很大程度上仍未被探索。以往关于高阶累积量的结果（例如在 [29] 中）局限于旋转不变的情形，即在扰动下平衡液滴（粒子密度的支撑集）仍保持为球体。本研究旨在为具有一般光滑液滴 $D_0$ 的情况，推导出领先的三阶和四阶累积量的显式公式，而不假设势能 $U$ 或测试函数 $f$ 具有旋转不变性。

方法论
作者结合使用了形状微积分、势论和共形映射技术：

1. 倾斜势能与累积量生成函数： 累积量是通过累积量生成函数 (CGF) $\chi(s, N) = \log \langle e^{-Ns L_N} \rangle_U$ 推导出来的。通过引入倾斜势能 $U_s = U + s f / \beta$，问题被简化为分析配分函数 $Z_{N, U_s}$。第 $q$ 阶累积量通过对 $s$ 在 $s=0$ 处求 $q$ 阶导数获得。
2. 障碍问题与边界速度： 推导的核心依赖于平衡测度与障碍问题之间的联系。随着参数 $s$ 的变化，平衡密度（液滴 $D_s$）的支撑集发生形变。作者利用已知结果，即液滴边界 $\partial D_s$ 的法向速度 $v_s$ 由测试函数的调和扩张的法向导数跳跃决定。具体而言，$v_s = [\vec{\nabla} f_{D_s}] \cdot n_s / (\beta \Delta U_s)$。
3. 形状导数： 作者计算了与 $f$ 的调和扩张相关的狄利克雷能量关于定义域形变的导数。这涉及利用 Hadamard 公式和外部狄利克雷-到-尼曼算子 ($\Lambda_+$) 的性质，计算随移动边界 $\partial D_s$ 变化的表面积分。
4. 共形映射 ($d=2$)： 在二维情况下，提供了一种基于复分析的独立推导。该方法利用外部黎曼映射、Julia 关于共形映射在边界运动下演化的变分公式，以及通过 Hilbert 变换将边界速度与测试函数联系起来。
5. 严格证明 ($d=2, \beta=2$)： 第 4 节为行列式情形（$d=2, \beta=2$）且具有实解析数据时，提供了渐近公式的严格证明。这依赖于正交多项式渐近性和体 Bergman 展开，以证明极限交换（$N \to \infty$ 与 $s \to 0$）的合理性。

主要贡献与结果

1. 一般三阶累积量公式：
   本文推导了对于任何维度 $d \ge 2$ 和一般光滑液滴 $D_0$ 的领先三阶累积量 $\langle L_N^3 \rangle_c$ 的显式公式。结果表示为一个关于平衡液滴的内在边界积分：
   $$\langle L_N^3 \rangle_c \simeq -\frac{1}{N \beta^2 \Omega_d} \int_{\partial D_0} dS \frac{\left( [\vec{\nabla} f_{D_0}] \cdot n \right)^3}{\Delta U}$$
   其中 $[\vec{\nabla} f_{D_0}] \cdot n$ 是 $f$ 的调和扩张跨越边界的法向导数跳跃，$n$ 是外单位法向量，$\Delta U$ 是外部势能的拉普拉斯算子（与背景密度成正比）。该公式显式地依赖于该跳跃的立方。

2. 一般四阶累积量公式：
   四阶累积量被推导为一个涉及额外几何和谱算子的边界积分：
   $$\langle L_N^4 \rangle_c \simeq -\frac{1}{\beta^3 \Omega_d N^2} \int_{\partial D_0} dS \left[ 3 \frac{K^2}{\Delta U} \Lambda_+ \left( \frac{K^2}{\Delta U} \right) + 4 \frac{K^3 \Delta f}{(\Delta U)^2} + 2M \frac{K^4}{(\Delta U)^2} + \frac{K^4 \partial_n \Delta U}{(\Delta U)^3} \right]$$
   其中 $K = [\vec{\nabla} f_{D_0}] \cdot n$，$\Lambda_+$ 是外部狄利克雷-到-尼曼算子，$M$ 是边界的平均曲率，$\partial_n \Delta U$ 是背景密度的法向导数。与三阶累积量不同，四阶累积量涉及狄利克雷-到-尼曼算子对跳跃平方的作用，以及曲率和密度梯度项。

3. 特殊几何结构：
   将一般公式应用于特定几何结构，包括：

   • 圆盘 ($d=2$)： 用 Hilbert 变换和傅里叶模表示。
   • 半平面 ($d=2$)： 简化为涉及 $f$ 导数的 Hilbert 变换。
   • 球面 ($d=3$)： 使用球面谐波和外部狄利克雷-到-尼曼算子的特征值表示。
     这些专门的结果在 $f$ 具有旋转不变性时恢复了已知的径向公式。

4. 验证：
   作者通过非径向形变的精确可解案例验证了其一般公式：

   • $d=2$ 中的平移椭圆液滴（附录 A）。
   • $d=3$ 中的球状变形球体（附录 B）。
     在 $d=2, \beta=2$ 的情况下，结果被证明与 Wiegmann 和 Zabrodin [51] 提出的公式一致，从而为该特定设置下的三阶和四阶累积量提供了严格证明。

意义与主张

本文声称提供了对于任意维度 $d \ge 2$ 的一般非旋转不变势能和测试函数的平滑线性统计的领先三阶和四阶累积量的第一个显式公式。

• 超越高斯涨落： 虽然方差是众所周知的 $O(1)$ 且呈高斯分布，但这些高阶累积量代表了首次非高斯修正。推导出的公式显式地展示了积分项中的标度因子 $N^{-1}$ 和 $N^{-2}$，这与在旋转不变情形下观察到的行为一致，但其主要新颖之处在于涉及边界跳跃、狄利克雷-到-尼曼算子和曲率的复杂积分结构。
• 内在边界依赖性： 一个关键发现是，这些高阶累积量仅取决于测试函数及其导数的边界值，以及液滴边界的几何特性（曲率、密度的法向导数）。这将其在方差中观察到的“边缘普适性”扩展到了更高阶。
• 严谨基础： 对于 $d=2, \beta=2$ 的情况，本文提供了一个严格推导，验证了物理文献（Wiegmann 和 Zabodin）中之前的启发式结果。
• 局限性： 作者指出，一般推导假设扰动后的液滴保持光滑且不会发生拓扑转变（例如分裂或合并）。对于一般 $d$ 和 $\beta$，严格证明依赖于关于配分函数导数的充分条件（备注 4.6），这在所有情况下并未完全证明，但在行列式情形下已得到确立。

这项工作连接了统计力学、随机矩阵理论和自由边界问题（障碍问题），为理解相互作用粒子系统中超越对称配置的非高斯涨落提供了一个统一的框架。