《Analysis and Mathematical Physics》：Critical temperatures and collapsing of two-dimensional Log gases
编辑推荐：
研究人员考虑球面上点粒子系统的正则系综，粒子间通过对数对势相互作用。研究人员研究了当逆温度趋近于配分函数发散的临界值时相关Gibbs测度的行为。主要结果之一表明，Gibbs测度弱收敛于一个支撑在退化构型上的概率测度，在这些退化构型中某些粒子子集发生坍缩。研究人
研究人员考虑球面上点粒子系统的正则系综，粒子间通过对数对势相互作用。研究人员研究了当逆温度趋近于配分函数发散的临界值时相关Gibbs测度的行为。主要结果之一表明，Gibbs测度弱收敛于一个支撑在退化构型上的概率测度，在这些退化构型中某些粒子子集发生坍缩。研究人员通过离散优化问题的解来刻画极限构型中可能的团簇，该优化问题同时也确定了临界逆温度。研究人员的方法依赖于构型空间的Fulton–MacPherson紧化（Fulton–MacPherson compactification）和复幂的亚纯延拓（meromorphic continuation）。对于任意电荷的双组分等离子体（two-component plasma），研究人员显式求解了优化问题，从而获得了可能极限团簇的完整描述。特别地，极限测度支撑在形成了最大数量正–负偶极子（dipole）的构型上。允许完全一般电荷的部分动机来自Onsager湍流模型。在此背景下，研究人员利用以耦合矩阵特征值表示的一般估计，建立了随机耦合和电荷情况下临界逆温度的显式概率界。
**研究背景与问题**
二维Log气体是统计力学中一类重要的粒子系统模型，其粒子间相互作用势为对数形式。该模型涵盖了物理中多个重要系统，包括单组分和双组分（及更一般的n组分）球面等离子体、超导Ginzburg–Landau模型中的涡旋、XY模型的Berezinskii–Kosterlitz–Thouless相变以及二维Euler流体的Onsager湍流模型等。与由Laplace方程Green函数支配的其他维度Coulomb气体不同，二维Log气体由于对数奇异性，其配分函数（partition function）仅在逆温度\(\beta\)的某个区间\((\beta^-,\beta^+)\)内有限，在临界端点处发散，Gibbs测度随之失效。此前，临界逆温度的显式公式仅在\(Z_1=Z_2\)等特殊情形下得到严格证明，一般情形下的临界行为及临界点附近Gibbs测度的极限结构尚缺乏系统刻画。研究人员开展此项研究，旨在建立临界逆温度与离散优化问题之间的精确联系，并完整描述Gibbs测度在临界点附近的坍缩行为。
**研究内容与结论**
研究人员证明了配分函数\(\mathcal{Z}(\beta)\)的有限性恰好由两个离散优化问题（问题1.1和问题1.2）确定，临界逆温度\(\beta^\pm\)可通过这些优化问题的最优值显式表达。进一步，研究人员证明了当\(\beta\to\beta^\pm\)时Gibbs测度弱收敛于支撑在退化构型上的概率测度，这些退化构型由优化问题的最优解集构成的“巢”（nest）结构所刻画。自由能（free energy）在临界点附近呈现对数发散行为，其系数等于最大巢的基数\(\kappa^\pm\)。对于双组分等离子体，研究人员显式求解了优化问题，证明了在\(\beta^+=1/(Z_1Z_2)\)处正负粒子配对形成最大数量的偶极子。对于Onsager湍流模型中的随机耦合和随机电荷情形，研究人员利用耦合矩阵特征值给出了临界逆温度的显式概率界。这些结果的重要意义在于：首次在一般耦合条件下严格建立了二维Log气体临界温度的变分刻画，揭示了临界点附近粒子坍缩的几何与组合结构，并将临界现象与代数几何中的log canonical threshold、图论中的arboricity以及Sherrington–Kirkpatrick自旋玻璃模型建立了联系。
**关键技术方法**
研究人员采用的主要技术方法包括：（1）将球面\(\mathbb{S}^2\)等同于Riemann球\(\mathbb{CP}^1\)，在复几何框架下将配分函数表示为Archimedean局部zeta函数（local zeta function）；（2）利用Fulton–MacPherson紧化（Fulton–MacPherson compactification）构造构型空间的嵌入消解（embedded resolution of singularities），将碰撞对角线的奇异性转化为法交叉除子（normal crossings divisor）；（3）通过Bernstein–Sato型恒等式和分部积分实现配分函数作为分布值函数的亚纯延拓（meromorphic continuation），分析临界点处Laurent展开的极点阶数；（4）将离散优化问题与对称矩阵的Rayleigh–Ritz商及min-max特征值定理相联系，获得临界温度的特征值界；（5）对随机耦合情形，利用Gaussian Orthogonal Ensemble（GOE）最大特征值的已知分布和极值理论获得概率界。样本队列来源为球面上\(N\)个点粒子的正则系综，无特定实验队列。
**研究结果**
**临界逆温度的变分公式（定理1.3）**：通过Fulton–MacPherson紧化将配分函数的有限性约化为法交叉坐标下的一族不等式，证明\(\mathcal{Z}(\beta)\)有限当且仅当\(\beta\in(\beta^-,\beta^+)\)，其中\(\beta^-\)和\(\beta^+\)分别由问题1.2和问题1.1的最优值给出。当所有耦合为正时，该公式给出代数几何中log canonical threshold的显式表达。
**Gibbs测度的弱收敛与坍缩（定理1.5）**：通过分析配分函数在临界点处Laurent展开的最低阶非零系数，证明该系数定义了紧化空间上的正测度，进而推出Gibbs测度的弱收敛性。利用Fulton–MacPherson紧化中例外除子的相交准则（引理2.5），证明极限测度的支撑集由优化问题最优解的最大巢所确定，即\(\textrm{supp}\,\mu^\pm=\bigcup_{K\in\mathcal{N}^\pm}\bigcap_{S\in K}W_S\)。
**自由能渐近展开（定理1.6）**：证明自由能\(-N^{-1}\log\mathcal{Z}(\beta)\)在\(\beta\to\beta^\pm\)时呈\(\kappa^\pm N^{-1}\log|\beta-\beta^\pm|+\mathcal{O}(1)\)的渐近行为，其中\(\kappa^\pm\)为最大巢的基数，并给出完整的Laurent级数展开。
**双组分等离子体的偶极子形成（定理1.7）**：通过显式求解问题1.1，证明\(\beta^+=1/(Z_1Z_2)\)，极限测度支撑在正负粒子最大配对的构型上，\(\kappa^+=N_1\)，自由能系数为\(Z_2/(Z_1+Z_2)\)。这严格证明了临界温度处偶极子的形成机制。
**负温度区的完全坍缩（推论6.3）**：在电荷变差满足\(\max k_i<\frac{3}{2}\min k_i\)（正负电荷分别满足）的条件下，显式求解问题1.2，证明极限测度支撑在全部正电荷粒子或全部负电荷粒子坍缩为单点的构型上，呈现与正温度区多团簇形成截然不同的完全坍缩行为。
**随机耦合与随机电荷的概率界（命题5.1和5.2）**：对于独立同分布正态随机耦合，证明\(T^+\)的上极限几乎必然不超过2，\(T^-\)的下极限几乎必然不低于\(-2\)；对于独立标准正态随机电荷，利用极值理论和中心极限定理给出\(T^+\)和\(T^-\)的显式随机界，分别收敛于Gumbel分布和正态分布。
**讨论部分与结论**
讨论部分将问题1.1和问题1.2与图论中的arboricity（当耦合矩阵为邻接矩阵时，\(\lceil-T^-\rceil\)等于图的arboricity）、拟阵划分问题以及Sherrington–Kirkpatrick自旋玻璃模型的最小能量问题建立了联系。研究人员指出，临界温度问题在随机耦合情形下类似于自旋玻璃基态能量问题，并推测问题1.1可能与\(\beta>\beta^+\)区域更高阶中性多极子的形成有关，但明确表示这将在后续工作中处理。研究结论为：二维Log气体的配分函数有限性由离散优化问题精确刻画，临界逆温度由这些优化问题的最优值确定，Gibbs测度在临界点附近弱收敛于由最优解的最大巢结构所决定的退化测度，自由能的对数发散系数等于最大巢的基数；对于双组分等离子体和一般电荷系统，优化问题可显式求解，分别揭示偶极子形成和完全坍缩两种不同的临界现象。
