Central Limit Theorem for continuous $N$-particle systems in fixed- and high-temperature: single level

技术摘要：固定温度与高温度下连续 $N$-粒子系统的中心极限定理

问题陈述
本文旨在刻画 $\mathbb{R}$ 上连续 $N$-粒子系统对于多项式线性统计的中心极限定理（CLT）特征。研究涵盖了两种截然不同的渐近机制：

1. 固定温度： 反温度参数 $\theta = \beta/2 > 0$ 固定，而 $N \to \infty$。
2. 高温度： 相互作用随 $N$ 的增长而减弱，使得 $\theta_N \to 0$ 且 $N\theta_N \to \gamma > 0$。

这些系统通过贝塞尔生成函数（BGF）进行建模，即 $G_{N,\theta}(\vec{x}) = \mathbb{E}_{\mu_N}[B_{\vec{a}}(\vec{x}; \theta)]$，其中 $B_{\vec{a}}$ 是与 Jack 参数 $\theta$ 相关的多元贝塞尔函数。目标是根据对数 BGF 的系数确定 CLT 成立的充分必要条件，并推导出极限协方差的显式组合公式。

方法论
证明策略结合了算子理论的矩提取与多元贝塞尔函数的拓扑展开。

1. Dunkl 算子与矩提取：
   作者利用 Dunkl 算子 $D_i$ 从 BGF 中提取矩。通过对 BGF 的对数 $\log G_{N,\theta}$ 应用这些算子，多项式可观测量的协方差被表示为加权配置之和。这些配置被建模为配备有块函数（用于追踪变量间度数分布）的 Lukasiewicz 路径（具有特定步长约束的随机游走）。

   • 在固定温度机制下，主阶项相互抵消，协方差由对大数定律（LLN）不可见的项决定。
   • 分析过程涉及将这些配置分类为“一阶”（仅涉及一阶自由累积量）和“二阶”（涉及二阶自由累积量），其依据是作用于路径上的特定算子类型（Type II 和 Type V）的数量。

2. 拓扑展开：
   为了建立“仅当”（必要性）方向以及高阶累积量消失的证明，本文采用了 $\log B_{\vec{a}}(\vec{x}; \theta)$ 的拓扑展开。该展开由 Jack 级数恒等式（Chapuy–Dołęga）导出，将对数表示为嵌入在曲面上的星座（ribbon graphs）之和。

   • 每个项都由涉及底层曲面亏格 $g$ 和非定向统计量 $\nu_\rho$ 的因子加权。
   • 固定温度： 标度意味着只有亏格为零（平面）的星座会对主阶项有贡献。
   • 高温度： 标度 $N\theta \to \gamma$ 改变了亏格相关因子的权重，使得任意高亏格的贡献都能在极限中存续。

3. 组合识别：
   本文在 Lukasiewicz 路径配置与自由概率中的经典组合对象（如非交叉环形排列和二阶非交叉环形划分）之间建立了双射，从而将新公式与现有文献联系起来。

主要贡献与结果

1. 充分必要条件：
   本文根据 $\log G_{N,\theta}(\vec{x}) = \sum c_\lambda p_\lambda(\vec{x})$ 中系数 $c_\lambda$ 的渐近行为，为两种机制下的 CLT 提供了精确判据：

   • 固定温度： 当 $\ell(\lambda) \ge 3$ 时 $c_\lambda \to 0$；单行系数按 $N^{-1}c_{(d)} \to \theta^{1-d}\kappa_d$ 缩放；两行系数按 $c_{(r,s)} \to \theta^{1-r-s}\kappa_{r,s}$ 缩放。
   • 高温度： 当 $\ell(\lambda) \ge 3$ 时 $N^{\ell(\lambda)/2}c_\lambda \to 0$；单行系数按 $d \cdot c_{(d)} \to \kappa^\gamma_d$ 缩放；两行系数按 $N(1 + 1_{r=s})rs \cdot c_{(r,s)} \to \kappa^\gamma_{r,s}$ 缩放。
     此处，$\kappa$ 和 $\kappa^\gamma$ 分别代表一阶自由累积量和二阶自由（或 $\gamma$-）累积量。

2. 显式协方差公式：
   极限协方差通过 Lukasiewicz 路径上的求和，显式地表示为这些累积量的函数：

   • 固定温度： 协方差由两部分组成：一部分是涉及一阶累积量并由路径统计量（$A(E)B(E)C(E)$）加权的乘积项，另一部分是涉及二阶累积量的项。该公式在 $1/\theta$ 的因子修正下，恢复了经典的二阶自由矩-累积量关系（Collins–Mingo–Śniady–Speicher）。
   • 高温度： 推导出了一个涉及二阶自由 $\gamma$-累积量的新公式。协方差是关于由 $\gamma$ 的幂次和路径中下行步数加权的配置之和。

3. 拓扑解释：
   研究揭示了两种机制下截然不同的拓扑结构：

   • 在固定温度下，极限严格受亏格为零（平面）贡献的支配。
   • 在高温度下，极限纳入了来自任意高亏格的贡献，为新的 $\gamma$-累积量提供了拓扑解释。

4. 应用：

   • $\beta$-加法： 本文证明了 $\beta$-加法（一种通过 BGF 乘积定义的 $N$-粒子系统二元运算）在两种机制下均保持 CLT 性质。和的极限累积量等于输入累积量的和。
   • 特定系综： 该理论被应用于高斯和 Laguerre $\beta$-系综，得到了显式的高温度 CLT 和极限协方差。
   • 过渡： 建立了从高温度协方差到固定温度对应项的重标度过渡，当 $\gamma \to \infty$ 时成立。

意义
本文声称通过超越特定的对数气体密度，转向基于贝塞尔生成函数的通用框架，统一了跨温度机制的随机矩阵系综涨落理论。

• 它将二阶自由概念扩展到了高温度机制，引入了能使 $\gamma$-卷积线性化的二阶自由 $\gamma$-累积量。
• 它提供了一种不依赖于环形非交叉划分、而是基于 Lukasiewicz 路径的协方差组合描述，这为处理高温度标度提供了一个自然的视角。
• 其拓扑展开提供了一个统一的观点，即固定温度与高温度的区别在于哪些亏格在渐近展开中占据主导地位，从而弥合了经典矩阵模型与一般连续粒子系统之间的鸿沟。

研究结果以严谨的形式呈现了 CLT 的特征化，建立了特定 BGF 系数的收敛性与全局可观量的高斯涨落之间的等价性，且无需假设粒子是特定随机矩阵模型的特征值。