On non-monotonicity of logarithmic energy for random matrices

技术摘要：随机矩阵对数能量的非单调性

问题陈述
本文探讨了一个关于平均经验谱分布的二次惩罚对数能量（quadratically penalised logarithmic energy）的维度单调性猜想。具体而言，研究了对于 Wigner 矩阵的惩罚能量泛函 $F_R$ 以及对于具有独立同分布（i.i.d.）条目的矩阵的惩罚能量泛函 $F_C$，是否随着矩阵维度 $n$ 的增加而单调递减，并收敛至其各自平衡测度（半圆律 $\sigma$ 与圆律 $\omega$）的能量。

该猜想由 Chafaï, Dadoun, 和 Youssef [5] 提出，认为对于序列 $M_n$ 的矩阵，量值 $F(E[\mu_{M_n/\sqrt{n}}])$ 应随 $n$ 非增地变化并收敛至平衡值。虽然这种单调性已通过显式计算在特定系综（高斯酉系综、复 Ginibre 系综以及平方 Laguerre 酉系综）中得到证明，但对于任意 Wigner 矩阵或一般的 i.i.d. 条目矩阵，其普遍有效性仍是一个悬而未决的问题。

方法论
作者构建了显式的反例以证伪该广义单调性猜想。其方法论依赖于两种截然不同的构造：

1. Wigner 反例： 构建了一个条目分布为标准半圆律 $\sigma$ 本身的实对称 Wigner 序列。论文分析了小维度（$n=1$ 和 $n=2$）下的平均谱分布 $\rho_n = E[\mu_{M_n/\sqrt{n}}]$。

   • 分析利用了由 Proposition 2.2 推导出的惩罚能量分解式 $F_R(\mu) - F_R(\sigma)$。该分解式将能量差表示为涉及半圆律势函数 $v_{sc}$ 在支撑集 $[-2, 2]$ 之外的“半圆间隙（semicircle gap）”项与一个非负傅里叶项之和。
   • 通过证明 $\rho_2$ 在半圆律的支撑集（具体为 $(2, \infty)$）内放置了正质量，作者证明了能量间隙项严格大于零，从而导致 $F_R(\rho_2) > F_R(\rho_1)$。

2. i.i.d. 反例（高斯正则化 Bernoulli）： 构建了一个具有 i.i.d. 条目的一参数矩阵族。条目定义为 $Y_\varepsilon = (X + \varepsilon G)/\sqrt{1+\varepsilon^2}$，其中 $X$ 是一个取值为 $-1/\sqrt{31}$ 和 $\sqrt{31}$ 且概率特定的离散 Bernoulli 变量，$G$ 是标准复高斯变量。

   • 参数 $\varepsilon$ 作为正则化项，用以确保存在有界密度和有限的对数能量。
   • 分析侧重于当 $\varepsilon \to 0$ 时惩罚能量 $F_C(\nu_{n,\varepsilon})$ 的渐近行为。
   • 作者利用 Lemma 2.3 和 Lemma 2.4，通过使用未正则化原子测度 $\nu^0_n$ 的“碰撞质量（collision mass）”（即点质量平方和）来对正则化测度的对数能量进行上下界估计。
   • 具体而言，论文计算了维度 $n=2$ 情况下的精确碰撞质量 $C_2$，并基于未正则化 Bernoulli 矩阵中零特征值的谱聚类特性，建立了维度 $n=3$ 情况下的下界 $L_3$。

主要结果
本文确立了两个主要定理：

• 定理 1.1 (Wigner 情况)： 对于具有半圆分布条目的 Wigner 序列，平均谱分布 $\rho_1$ 为半圆律 $\sigma$，而 $\rho_2$ 具有更大的惩罚能量。具体而言，$F_R(\rho_2) - F_R(\rho_1) \geq \frac{p_0^3}{2}(\frac{3}{4} - \log 2) > 0$，其中 $p_0 = \sigma((3/2, 2))$。这证明了即使对于具有紧支撑、有界密度的 Wigner 矩阵，单调性也会失效。

• 定理 1.2 (i.i.d. 情况)： 对于具有特定参数（$p=1/32, q=31/32$）的高斯正则化 Bernoulli 族，存在一个阈值 $\varepsilon_0 > 0$，使得对于所有 $0 < \varepsilon < \varepsilon_0$，维度 3 的惩罚能量严格大于维度 2 的惩罚能量（$F_C(\nu_{3,\varepsilon}) > F_C(\nu_{2,\varepsilon})$）。

  • 该结果是通过证明当 $\varepsilon \to 0$ 时，维度 $n=3$ 的能量增长渐近系数（记作 $L_3$）严格大于维度 $n=2$ 对应的系数（记作 $C_2$）而得出的。
  • 计算得出 $L_3 - C_2 > 0$，证实了非单调性。

意义与主张
本文声称明确展示了二次惩罚对数能量的所谓维度单调性在一般 Wigner 矩阵或具有 i.i.d. 条目的矩阵类中并不成立。作者指出，尽管该单调性在高斯基础的特定系综中成立，但它并不是随机矩阵极限的一个普遍性质。

这项工作表明，探讨在更严格的假设下，或者仅在超过某个足够大的维度阈值后，该单调性是否成立，仍然是一个有趣的开放性问题。论文并未提出新的应用或未来的实验方向，而是专注于对所定义的矩阵类中该猜想进行理论上的证伪。

技术工具
证明过程依赖于：

• 对数能量的变分特征化以及大偏差率泛函。
• 半圆律的 Stieltjes 变换与势论的显式计算。
• 原子测度的碰撞质量分析及其高斯卷积。
• 扰动理论（Rouché 定理与 Riesz 投影），用于追踪正则化 Bernoulli 矩阵中随着噪声参数 $\varepsilon$ 趋于零时的特征值分支。
• 对小维度矩阵（$n=2, 3$）特征值配置的精确组合计数。