[论文解读] Disk counting statistics near hard edges of random normal matrices: the multi-component regime

Yacin Ameur, Christophe Charlier+2 more|arXiv (Cornell University)|Oct 25, 2022

Random Matrices and Applications被引用 4

一句话总结

本文研究了在具有硬墙分隔两个不相交圆域的两组分库仑气体模型中随机正规矩阵的圆盘计数统计。在硬边区域中推导出矩生成函数的精确渐近展开，揭示了由雅可比θ函数控制的振荡波动，并表明各组分的方差遵循魏尔斯特拉斯℘-函数的渐近行为。

ABSTRACT

We consider a two-dimensional point process whose points are separated into two disjoint components by a hard wall, and study the multivariate moment generating function of the corresponding disk counting statistics. We investigate the ``hard edge regime" where all disk boundaries are a distance of order $\frac{1}{n}$ away from the hard wall, where $n$ is the number of points. We prove that as $n o + \infty$, the asymptotics of the moment generating function are of the form \begin{align*} & \exp \bigg(C_{1}n + C_{2}\ln n + C_{3} + \mathcal{F}_{n} + \frac{C_{4}}{\sqrt{n}} + \mathcal{O}(n^{-\frac{3}{5}})\bigg), \end{align*} and we determine the constants $C_{1},\dots,C_{4}$ explicitly. The oscillatory term $\mathcal{F}_{n}$ is of order $1$ and is given in terms of the Jacobi theta function. Our theorems allow us to derive various precise results on the disk counting function. For example, we prove that the asymptotic fluctuations of the number of points in one component are of order $1$ and are given by an oscillatory discrete Gaussian. Furthermore, the variance of this random variable enjoys asymptotics described by the Weierstrass $\wp$-function.

研究动机与目标

• 分析具有硬墙分隔两个不相交圆域的两组分库仑气体模型中随机正规矩阵的圆盘计数统计。
• 研究当圆盘边界与硬墙距离为 $\mathcal{O}(1/n)$ 时的“硬边区域”。
• 为圆盘计数统计的多变量矩生成函数推导精确的渐近展开式。
• 表征每个组分中点数波动行为，特别是其方差和分布极限。
• 建立渐近波动与特殊函数（如雅可比θ函数和魏尔斯特拉斯℘-函数）之间的联系。

提出的方法

• 构建一个逆温度 $\beta=2$ 且在半径 $\rho_1$ 和 $\rho_2$ 处具有硬墙的库仑气体模型，导致具有两个不相交组分的点过程。
• 使用修正势 $Q(z)$ 的Mittag-Leffler系综，通过在环形区域 $[\rho_1, \rho_2]$ 内施加无穷势来实现硬墙。
• 应用扫除技术（balayage）计算极限宏观测度 $\mu_h$，其在圆周 $r=\rho_1$ 和 $r=\rho_2$ 上具有奇异分量。
• 推导圆盘计数统计的矩生成函数，并利用复分析和特殊函数渐近展开，在 $n \to \infty$ 时对其作渐近展开。
• 识别渐近展开中的振荡项 $\mathcal{F}_n$ 可通过雅可比θ函数表达。
• 利用不完全伽马函数的均匀渐近展开及其与误差函数和Stirling型展开的关系，控制误差项。

实验结果

研究问题

• RQ1 在靠近硬边的两组分库仑气体中，圆盘计数统计的矩生成函数的渐近行为是什么？
• RQ2 当 $n \to \infty$ 时，各组分中点数的波动行为如何？
• RQ3 矩生成函数中的振荡项 $\mathcal{F}_n$ 的作用是什么，它与模形式有何关联？
• RQ4 各组分中计数的方差如何渐近缩放，何种特殊函数控制这种缩放？
• RQ5 两个组分中计数的联合分布能否用带振荡修正的离散正态分布来描述？

主要发现

• 当 $n \to \infty$ 时，矩生成函数具有渐近展开式 $\exp\big(C_1 n + C_2 \ln n + C_3 + \mathcal{F}_n + \frac{C_4}{\sqrt{n}} + \mathcal{O}(n^{-3/5})\big)$，其中 $C_1, \dots, C_4$ 有显式表达式。
• 振荡项 $\mathcal{F}_n$ 的阶为1，且可显式用雅可比θ函数表示。
• 单个组分中点数的渐近波动阶为1，服从振荡的离散正态分布。
• 每个组分中点数的方差渐近由魏尔斯特拉斯 $\wp$-函数描述。
• 常数 $C_1, C_2, C_3, C_4$ 可显式用 $b$、$\alpha$、$\rho_1$ 和 $\rho_2$ 表示。
• 结果通过不完全伽马函数的均匀渐近展开及一种新颖的展开方法（涉及 $\lambda$-变量的洛朗级数奇异部分）推导得出。