结果族 298：Two notions of free entropy differ even when both are finite · 学科：Operator algebras · 验证状态：暂无形式化证明，请以社区核验为准
测量一个随机变量的”不确定性”，经典概率论只有一种熵，答案唯一。可在变量不满足乘法交换律的”自由世界”里，Voiculescu 给出两种测法：一是”数替身”——统计有多少组有限矩阵能惟妙惟肖地模仿这组变量（微状态熵 χ）；二是”量敏感度”——沿添加噪声的轨道积分一种反应力（非微状态熵 χ）。单变量时两者相等；人们长期追问：两者都取有限值时是否必相等？本文构造反例：即便都是有限数，χ 仍可以比 χ 小至少 1/2。
关键词卡片
看个具体例子
反例骨架：取 p 个（可取 @@M@@2^{64}@@）两两自由的半圆变量 B，再让一个均匀取 p 个等距值的离散变量 Y 以”经典独立”的方式与它们同住。妙在 Y 与 B 交换而非自由：按 Y 的取值把空间切成 p 个块，每块权重约 1/p，B 超过四分之三的能量被锁在块内。
这个”块结构”就是分歧的信号：矩阵替身很难同时模仿块结构与其余统计，于是 χ 与 χ* 拉开至少 1/2 的差距——这正是对”有限熵相等问题”的否定回答。
为什么值得关心
自由熵是自由概率的核心不变量，此结果表明”熵有限”这一良好性质远不足以统一两种定义，划出了一条真实存在的鸿沟。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把两种自由熵比作”数替身”和”量敏感度”。翻译过来：对象是一组不满足乘法交换律的、有界的”广义随机变量”；第一种测法数一数有多少组有限矩阵能惟妙惟肖地模仿这组变量的全部统计特征，第二种测法沿逐步添加噪声的路径累积这组变量对噪声的反应力。悬案是：当两种测法都给出有限数值时，答案是否必定相同？
第二级台阶
用本科术语说清楚：设 X 是带忠实正规迹态的冯·诺依曼代数中的有界自伴元组。微状态指归一化迹的各阶矩都逼近 X 的矩阵组；微状态熵 χ(X) 是这些矩阵组构成的集合的渐近体积（对数尺度），带算子范数截断、对矩阵维数取上极限。非微状态熵 χ*(X) 则不用矩阵，改用共轭变量——经典得分变量的自由类比——积分自由 Fisher 信息而得。单变量时两者相等。
第三级台阶
定理在这样的语境下陈述：存在元组 X，使 χ 与 χ* 都是有限数，却满足 χ(X)≤χ*(X)−1/2。”χ 有限”这个假设挡住了早已知道的病态例子（不可逼近律中 χ=−∞ 而χ*有限）；”算子范数截断与上极限”是 Voiculescu 原始的严格版本，不许放松。结论用这些话说：即便在最有希望相等的有限情形，两种自由熵之间仍存在真实鸿沟，有限性远不足以统一两种定义。
本文构造了一个有界自伴算子组，其微状态自由熵 @@M@@\chi@@ 与非微状态自由熵 @@M@@\chi^*@@ 均为有限值，却满足 @@M@@\chi\leq\chi^*-\tfrac12@@。这否定地回答了 Voiculescu 的有限熵相等问题：即使两种自由熵都有限，它们也可以严格不相等。
自由熵 (free entropy) 是 Voiculescu 为研究自由概率与自由群因子引入的核心不变量，他给出两种定义：微状态熵 (microstates entropy) @@M@@\chi(X)@@ 度量”矩逼近 @@M@@X@@ 的矩阵组”的渐近体积；非微状态熵 (nonmicrostates entropy) @@M@@\chi^*(X)@@ 则用共轭变量 (conjugate variables)——经典得分变量的自由类比——沿添加自由半圆噪声的轨道积分自由 Fisher 信息 (free Fisher information)。单变量情形二者相等；一般算子组上是否相等是 Voiculescu 统一问题的公开部分，Guionnet 明确陈述了有限熵版本：@@M@@\chi(X)>-\infty@@ 是否蕴含 @@M@@\chi(X)=\chi^*(X)@@？已知一般比较 @@M@@\chi\leq\chi^*@@ 成立（Biane–Capitaine–Guionnet 用矩阵布朗运动大偏差证明，Jekel–Pi 后给出初等证明），且在严格凸位势等正则情形下相等（Dabrowski、Jekel）；另一方面已存在 @@M@@\chi=-\infty<\chi^*@@ 的不可逼近律。本文首次证明：两者都有限时仍可出现严格间隙。
主定理：存在整数 @@M@@n\geq2@@ 与带忠实正规迹态 (faithful normal tracial state) 的冯·诺依曼代数中的有界自伴元组 @@M@@X=(X_1,\ldots,X_n)@@，使得
@@M@@D-\infty<\chi(X)\leq\chi^*(X)-\tfrac12<\infty,@@
其中 @@M@@\chi@@ 采用带算子范数截断 (operator-norm cutoff)、对矩阵维数取上极限 (limsup) 的原始定义。反例的变量个数 @@M@@n=p+1@@ 很大但固定。这表明”微状态熵有限”这一正则性远不足以恢复两种自由熵的相等。
证明骨架是”先造信号，再在两个噪声尺度上分头估计，最后用相对熵合围”。
先造信号。取 @@M@@p@@ 个自由、方差为一的半圆变量 (semicircular variables) @@M@@B_1,\ldots,B_p@@，再在独立的张量因子上取均匀分布于 @@M@@[-1,1]@@ 中 @@M@@p@@ 个等距点上的 @@M@@Y@@，令 @@M@@C=(B_1,\ldots,B_p,Y)@@。妙处在于 @@M@@Y@@ 与诸 @@M@@B_i@@ 张量独立而非自由：自由性保证累积量稀疏，张量独立则使 @@M@@Y@@ 与所有 @@M@@B_i@@ 交换，按 @@M@@Y@@ 的谱把空间分成 @@M@@p@@ 个块，各块迹约 @@M@@1/p@@，前 @@M@@p@@ 个坐标超过四分之三的 @@M@@L^2@@ 能量被困在块内。加小噪声得 @@M@@X=C+\sqrt h\,S@@：块结构在扰动下稳定；再用显式矩阵模型加方差 @@M@@h@@ 的 GUE 噪声（密度有上界）证得 @@M@@\chi(X)>-\infty@@。
再做双边估计。固定大 @@M@@p@@（可取 @@M@@2^{64}@@）与额外噪声时间 @@M@@t=p^{3/4}@@。分析侧借助 Speicher 非交叉累积量 (noncrossing cumulants) 与半圆 Wick 多项式的正交性，证明 Fisher 亏损的平方累积量上界：@@M@@\Phi^*(V_u)@@ 超出同协方差半圆基准的部分被信号高阶累积量数组的平方 @@M@@\ell^2@@ 范数控制；张量结构迫使 @@M@@B@@ 位置做非交叉配对，得 @@M@@\|\kappa_m(C)\|_2\le K^m p^{m/4}@@，故 @@M@@\chi^*(V_{h+t})@@ 距半圆熵基准 @@M@@L(h+t)@@ 不足 @@M@@\tfrac12@@。矩阵侧选定一族体积渐近最优的截断微状态集，取其上一致分布 @@M@@A^{(d)}@@，加方差 @@M@@t@@ 的独立 GUE 噪声：de Bruijn 恒等式把熵产生写成经典 Fisher 信息积分，分部积分把矩阵得分与共轭变量的变分公式衔接，经 Jekel–Pi 的经典—自由 Fisher 比较得下界 @@M@@\limsup_d H_d\geq\chi_R(X)+\tfrac12\int_0^t\Phi^*(V_{h+s})\,ds@@。关键在于始终保留这族具体终末系综——其熵的上极限不必等于极限律的微状态熵，间隙正源于此。结构侧定义”块事件”@@M@@\mathcal E_d@@：存在秩至多 @@M@@2d/p@@ 的 @@M@@p@@ 块单位分解，使前 @@M@@p@@ 个坐标保留至少 @@M@@\sqrt p/4@@ 的块内能量。演化后的微状态系综以 @@M@@\ge\tfrac12@@ 的概率落入 @@M@@\mathcal E_d@@（初始谱分解作见证，噪声平均仅贡献 @@M@@\le 2t@@，由 @@M@@32t/p<\tfrac18@@ 控制）；而同方差的独立 GUE 律落入的概率至多 @@M@@e^{-4d^2}@@——枚举至多 @@M@@(d+1)^p@@ 种秩表、用西群的体积覆盖网与卡方尾估计，参数条件 @@M@@p/(256(2+t))@@ 压倒覆盖开销，这正是选 @@M@@t=p^{3/4}@@（同时满足 @@M@@t\gg\sqrt p@@ 与 @@M@@t\log p/p\to0@@）的原因。
最后合围。相对熵的数据处理不等式把两概率之差放大为 @@M@@d^{-2}\mathrm{KL}\ge2@@，代入熵的精确分解恒等式得 @@M@@\limsup_d H_d\le L(h+t)-1@@；与下界及自由熵流恒等式 @@M@@\chi^*(V_{h+t})-\chi^*(V_h)=\tfrac12\int_0^t\Phi^*\,ds@@ 串联，即得 @@M@@\chi(X)\leq\chi^*(X)-\tfrac12@@。
本结果暂无 Lean 形式化证明，属 OpenAI 2026 年 9 月发布的手稿；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。姊妹篇《An isomorphism of the free group factors》证明四种自由熵维数 @@M@@\delta,\delta_0,\delta^*,\delta^\star@@ 在 @@M@@L(\mathbb F_2)@@ 的生成元组上可取一切 @@M@@\ge2@@ 的整数值，与本文从不同侧面展现自由熵的反直觉行为。技术上的一处巧思是绕开”上、下矩阵极限是否相等”的公开难题：只追踪选定系综的熵上极限，让有限时间的结构亏损直接产生严格间隙。
问 1：证明中最关键、也最脆弱的一步是什么？
（答：是”保留选定系综”的策略。论文不追问上、下矩阵极限是否相等这个公开难题，而是只追踪一族具体的截断微状态系综演化后的熵上极限——引言明说这个上极限”不必等于极限律的微状态熵”，严格间隙正源于此。脆弱点在于块事件估计：演化系综以不小于 1/2 的概率保住块结构，而同方差 GUE 律落入的概率至多 e^{-cd²}，两者的对比撑起全部结论。）
问 2：为什么附加噪声时间必须选 t=p^{3/4}？
（答：这是一个两难窗口。解析侧的 Fisher 亏损要 t/√p→∞ 才变小；几何侧的块估计要 t·log p/p→0 才压得过酉群覆盖网的体积开销。t=p^{3/4} 同时满足两端。窗口一关，论证就塌——这是全文最紧的参数簿记。）
问 3：哪个假设最不能去掉？
（答：”χ 取有限值”。此前已知存在 χ=−∞<χ* 的不可逼近律，有限性正是 Guionnet 提问时排除这些病态的屏障；本文表明即便如此仍不相等。另外 χ 必须用带算子范数截断、取上极限的原始定义，换弱化版本结论未必成立。）
问 4：与已有工作相比真正的新意是什么？
（答：一般比较 χ≤χ* 是 Biane–Capitaine–Guionnet 用矩阵布朗运动大偏差证的，Jekel–Pi 给了初等证明；相等只在严格凸位势等正则情形（Dabrowski、Jekel）已知。本文首次造出双方都有限的严格间隙，把”相等”从默认期待变成需要额外正则性的例外。）
问 5：AI 生成证明最可能在哪里出错？
（答：组合体积估计区。秩表枚举（至多 (d+1)^p 种）、西群覆盖网、卡方尾估计，再配上”p/(256(2+t)) 压倒覆盖开销”“32t/p<1/8”这类常数不等式——先选 p=2^64 再选 h 的多级选参最容易出现常数算错却无人察觉，而论文未形式化。）
问 6：谁会用到这个结果？
（答：自由概率与自由群因子社区。姊妹篇已展示四种自由熵维数在 L(F_2) 生成元组上可取一切 ≥2 的整数值；任何默认 χ=χ* 的推理——比如熵维数相互替换——从今往后都要先检查本文的块结构式病理。论文未展开小变量数目的情形。）
这是对 Voiculescu 统一问题有限熵版的干净否定回答，技巧上以”两时间尺度夹击+保留系综”避开公开难题，分量很重；最大风险集中在巨型参数下的组合体积与常数估计，亟需独立核验。