Asymptotics for partition functions of random normal matrix models with singularities

技术摘要：带有奇异性的随机正规矩阵模型配分函数的渐近特性

问题陈述
本文研究了在逆温度 $\beta=2$ 时，二维库仑气体（等价于随机正规矩阵模型）配分函数的渐近行为。研究重点是受控于光滑径向势 $Q(z) = q(|z|)$ 的系统，并考虑了三种特定类型的奇异性和约束：

1. 硬壁区域（Hard Wall Regions）： 粒子被限制在禁止区域 $U$ 的补集内，其中 $U$ 可以是中心圆盘（$D_{\rho_2}$）、圆盘补集（$D_{\rho_1}^c$）或圆环（$A_{\rho_1, \rho_2}$）。
2. 跳跃型奇异性（Jump-Type Singularities）： 该模型通过具有不连续权重的矩生成函数引入计数统计，从而允许研究特定半径内粒子数量的波动。
3. 光滑扰动（Smooth Perturbations）： 系统包含光滑径向线性统计以及点电荷插入（由参数 $\alpha$ 参数化）。

主要目标是推导当粒子数 $n \to \infty$ 时，配分函数（及相关量，如空穴概率和矩生成函数）的显式渐近展开式，其精度达到包括 $O(1)$ 项在内的阶数。

方法论
分析依赖于势函数的径向对称性，这使得配分函数可以通过 Andréief 恒等式分解为一维径向范数的乘积。核心技术策略包括：

1. 精确分解： 变形后的配分函数被表示为径向范数（$h_{n,j}$）与无约束范数（$h_{n,j}$）之比的乘积，并将其分为硬壁比率项和跳跃变形因子项。
2. 范数的一致渐近分析： 作者利用拉普拉斯方法（Laplace method）和欧拉-麦克劳林求和公式（Euler–Maclaurin summation）对径向范数进行详细的渐近分析。分析的一个关键环节是对势函数鞍点接近硬壁边界时的过渡区域进行一致处理，这涉及：
   • 体区（Bulk Regimes）： 标准的拉普拉斯展开。
   • 半硬边与硬边区域（Semi-Hard and Hard-Edge Regimes）： 在边界附近涉及互补误差函数（$\text{erfc}$）和 Airy 型过渡的展开。
   • 圆环谱间隙（Annular Spectral Gap）： 处理两个硬端点之间的竞争，这会导致产生振荡项。
3. 求和技术： 对索引 $j$（代表角动量模）的求和通过欧拉-麦克劳林公式进行评估。特别需要注意的是，必须匹配“中度偏差”范围与“过渡”窗口（标度为 $n^{-1/2}$ 和 $n^{-1}$）的贡献，以确保辅助截断参数的抵消。
4. Theta 函数识别： 在圆环情况下，两个硬壁之间的相互作用产生了一个通过雅可比 Theta 函数表达的有界修正项，该项源于谱间隙中填充分数（filling fraction）的离散性质。

主要贡献与结果
本文提供了一个统一的框架，恢复并推广了以往关于特定奇异机制（如合并奇异、软边、硬边）的众多研究结果。主要结果是针对三种不同硬壁几何结构的显式渐近展开：

1. 通用配分函数展开（定理 1.2–1.4）：
   对于每种几何结构（圆环、圆盘补集、中心圆盘），$\log D_n$ 的展开式为：
   $$\log D_n = C_1 n^2 + C_2 n \log n + C_3 n + C_4 \sqrt{n} + C_5 \log n + C_6 + \text{Theta 项} + O(n^{-1/12})$$
   系数 $C_k$ 被显式计算，并分解为来自无约束模型、硬壁以及计数统计插入项的贡献。

2. 空穴概率（定理 1.6–1.8）：
   通过将光滑参数和计数参数设为零，作者推导了宏观区域内不含粒子的概率的大偏差渐近特性。

   • 对于圆环空穴，展开式包含一个 $\log \theta(\xi_n | \tau)$ 项，反映了粒子分布在间隙中的振荡性质。
   • 对于圆盘补集和中心圆盘，展开式涉及特定的对数修正（分别为 $-\frac{1}{4}\log n$ 和 $+\frac{1}{3}\log n$）以及显式常数。

3. 光滑线性统计的波动（定理 1.10–1.12）：
   本文确立了光滑旋转不变线性统计的极限分布。

   • 在圆盘补集和中心圆盘情况下，其波动呈高斯分布。
   • 在圆环情况下，极限行为取决于测试函数在两个壁处的差值 $\delta_\lambda = \lambda(\rho_2) - \lambda(\rho_1)$。若 $\delta_\lambda = 0$，极限为高斯分布；若 $\delta_\lambda \neq 0$，由于额外的 Theta 函数贡献，极限是非高斯的，表现为离散高斯混合分布。

4. 多元计数统计（定理 1.14, 推论 1.17）：
   作者推导了圆环机制下圆盘计数统计的联合矩生成函数。这导致了一个具有各向异性标度的多元中心极限定理（CLT）（硬边区域为 $\sqrt{n}$，体区为 $n^{1/4}$）。至关重要的是，本文识别出了一个计数统计表现出 $O(1)$ 阶离散高斯波动的机制（推论 1.17），该波动受填充分数小数部分控制。

意义与主张
本文声称提供了一个统一框架，能够同时处理一般的光滑径向势、多种类型的奇异性（跳跃型和点电荷型）以及各种硬壁几何结构。

• 统一性： 它恢复了如 Forrester、Ameur、Charlier、Byun 等人的工作中关于特定情形（如合并奇异、硬边、空穴概率）的已知结果，同时将其扩展到更一般的设定中。
• 精确性： 展开式的推导达到了 $O(1)$ 阶，捕捉到了微妙效应，例如圆环情况下的雅可比 Theta 函数以及空穴概率中的特定对数修正。
• 普遍性： 结果适用于满足严格次调和性（subharmonicity）和增长条件的广泛类别的势函数，包括 Ginibre 系综和 Mittag-Leffler 型势函数（尽管后者在圆盘假设下需要 $b=1$，但该框架具有通用性）。

作者强调，其方法允许推导所有计数统计的累积量，并能精确刻画多组分模型中从高斯到非高斯极限律的转变过程。这项工作并非提出新的实验设置，而是为理解这些复杂系统的统计力学提供了严谨的数学基础。