🔢 数学

Variational formulae for entropy-like functionals for states in von Neumann algebras

本文为半有限冯·诺依曼代数上的正态态的类熵泛函（例如 Segal 和 Rényi 熵）建立了变分公式，从而推广了现有的关于相对熵的结论，并阐明了量子熵与阿贝尔子代数之间的联系。

原作者： Andrzej Łuczak, Hanna Podsędkowska, Rafał Wieczorek

发布于 2026-11-05

📖 1 分钟阅读🧠 深度阅读

原作者： Andrzej Łuczak, Hanna Podsędkowska, Rafał Wieczorek

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

在量子世界中，我们测量无序度或信息的方式很大程度上取决于我们所观察系统的规模和性质。对于简单的有限系统，例如装在盒子里的原子集合，物理学家长期以来一直使用一种涉及“密度矩阵”的标准公式来计算熵，熵是一个告诉我们信息隐藏了多少或状态有多无序的量。这种方法在系统足够小、可以被视为一组有限数字时运作得非常完美。然而，宇宙并不总是如此整齐。在黑洞或广袤的量子场等极端环境中，用于描述现实的数学结构变得无限且无界的。在这些领域，用于描述状态的物体不再以通常的有限或有界方式存在，因此传统的密度矩阵会失效，它们与观测量的代数相关联的方式允许它们是无界的，这需要一套完全不同的数学工具集来描述其熵。

从有限系统到无限系统的这种转变不仅仅是一个技术细节；它是我们思考宇宙中信息方式的一个根本性变化。当物理学家超越简单的有限模型，转向这些更复杂的无限代数时，他们需要一种新的熵的定义，以处理这些无界算符。这正是 Andrzej Łuczak、Hanna Podsędkowska 和 Rafał Wieczorek 的工作变得至关重要的原因。他们开发了一套新的数学工具，称为变分公式（variational formulae），允许研究人员为这些复杂的无限系统计算类熵量。他们的工作侧重于一种被称为 Segal 熵的特定类型熵，以及被称为 Rényi 熵的一系列相关的度量，这些度量对于理解量子场论和黑洞物理学中的信息行为至关重要。

研究人员通过提出一个基本问题来切入这个问题：我们如何利用更简单、更易处理的部分来表达一个复杂无限系统的熵？在有限世界中，熵可以直接从密度矩阵计算得出。而在无限世界中，由于密度矩阵被无界算符取代，直接计算往往是不可能的。该团队发现，这样一个系统的熵可以通过观察我们将系统分解为更简单的阿贝尔子代数（abelian subalgebras）的所有可能方式来找到。可以将阿贝尔子代数想象成一个由表现得像普通数字的观测量组成的集合，在那里测量的顺序并不重要，这与在完整的量子系统中发现的复杂的、非对易的算符不同。作者证明了整个系统的真实熵实际上是通过计算这些更简单的阿贝尔部分，并取这些部分的最佳组合后所能得到的最大值。

为了得出这一结论，团队利用了一个涉及凸函数（convex functions，即向外弯曲如碗状的形状）的强大数学概念。他们表明，对于某些熵函数，除非你找到使该值最大化的特定排列方式，否则整个系统的数值总是小于或等于其各部分计算值的平均值。通过证明最大值是在观察所有可能的阿贝尔子代数时实现的，他们提供了一种定义和计算熵的方法，而无需解决直接处理无界算符这一不可能的问题。相反，他们将问题转化为寻找揭示最多信息的系统最优“切片”。这种方法既适用于有限系统，也适用于更困难的无限系统，统一了跨越不同量子现实尺度的熵的理解。

论文还将这一逻辑扩展到其他类型的熵，例如用于衡量不同信息分布方面的 Rényi 熵。对于这些度量，研究人员发现计算取决于定义熵的参数是大于还是小于 1。如果参数大于 1，则通过对所有可能的阿贝尔子代数取最大值来找到熵。如果参数小于 1，则通过取最小值来找到熵。这种区别至关重要，因为它揭示了不同类型的信息度量在应用于无限系统时表现得不同。作者证明了这些新公式不仅是理论上的奇趣，而且是已知结果的严谨推广，确认了熵与阿贝尔子代数结构之间的关系即使在最复杂的数学设置中也是成立的。

这项工作的特别意义在于它架起了抽象代数数学与量子信息物理现实之间的桥梁。通过展示半有限冯·诺依曼代数（semifinite von Neumann algebra）中一个状态的熵可以通过观察其对阿贝尔子代数的限制来确定，作者为物理学家计算这些值提供了一种具体的方法。这对于黑洞物理学等领域尤为重要，因为那里的观测量代数属于需要这些无限维技术的类型。结果证实，量子熵与更简单的交换子代数结构之间的联系是这些系统的基本属性，为如何存储和处理信息提供了新的解释。

研究人员并未止步于仅仅证明这些公式的存在；他们还展示了如何构建实现最大或最小值所需的特定算符。他们证明了通过仔细选择投影序列（projections，类似于选择系统特定部分的数学过滤器），可以将 true 熵尽可能地逼近。这种构造性的方法意味着这些公式不仅是抽象的陈述，而且可以在实践中应用。团队的工作涵盖了有限和无限代数，确保了结果的稳健性和广泛物理场景的适用性。通过推广已知的相对熵结果，他们提供了一个统一的框架，简化了复杂量子系统中类熵泛函的计算。

最后，这篇论文为一条此前难以航行的数学景观开辟了一条清晰的路径。它确立了无限系统中一个量子态的熵并非一个孤立、无法触及的量，而是可以通过通过其更简单的交换分量来理解的东西。研究结果证实，阿贝尔子代数的结构在定义熵中起着核心作用，为如何组织量子世界中的信息提供了新的视角。对于在量子场论和引力前沿工作的物理学家来说，这些变分公式提供了一个可靠的工具，用以计算和理解那些此前过于复杂而无法直接分析的态的熵。这项工作证明了数学严谨性在揭示量子系统结构与信息流之间深层联系方面的力量。

技术摘要：半有限冯·诺依曼代数中熵类泛函的变分公式

问题陈述
本文探讨了半有限冯·诺依曼代数（ $II_1$ 型和 $II_\infty$ 型）上正规态的熵类泛化的公式化问题。在标准的 I 型情形（有限维或 $B(H)$ ）中，熵通过密度矩阵 $\rho$ 和迹公式 $S(\rho) = -\text{tr}(\rho \log \rho)$ 来定义。然而，在配备了正规忠实半有限迹 $\tau$ 的半有限代数中，密度矩阵的对应物是属于非交换 $L^1$ 空间 $L^1(M, \tau)$ 的、与代数附着的无界正自伴算符 $h_\omega$ 。

主要的挑战在于为形式为 $\tau(f(h))$ 的泛函建立变分公式，其中 $f$ 是凸函数或凹函数，特别是针对 Segal 熵（ $f(t) = t \log t$ ）和 Rényi 熵（ $f(t) = t^\alpha$ ）。虽然对于有限代数中的相对熵已存在变分刻画，但要将这些扩展到半有限情形——其中算符可能是无界的且迹不是有限的——需要新的分析工具并对定义域的处理进行仔细处理。

方法论
作者结合使用了非交换积分理论、谱分析和凸分析。其核心方法论包括：

算符附着与 $L^1$ 空间： 该框架利用了正规态 $\omega$ 与密度算符 $D_\omega \in L^1(M, \tau)_+$ 之间的对应关系。泛函通过迹 $\tau(f(D_\omega))$ 来定义。
通过 Jensen 不等式进行的变分原理： 作者利用了算符凸/凹函数的弱形式 Jensen 不等式。具体而言，他们利用了对于保持迹的正线性幺正映射 $\Phi$ ，有 $\tau(f(\Phi(h))) \leq \tau(\Phi(f(h)))$ 。
阿贝尔子代数与条件期望： 一个核心技术是将问题限制在阿贝尔冯·诺依曼子代数 $A \subset M$ 上。通过考虑从 $M$ 到 $A$ 的条件期望 $E_A: M \to A$ （扩展至 $L^1$ ），作者将非交换问题简化为涉及谱测度的交换问题。
谱分解与测度论： 证明过程严重依赖于密度算符 $D_\omega = \int_0^\infty t \, e(dt)$ 的谱分解。作者构造了由谱投影或可数恒等分解生成的特定阿贝尔子代数，用以逼近算符 $h$ 。
逼近论证： 对于 Segal 熵，作者构造了特定的算符 $h$ （结合了谱部分以及在密度算符核上的投影），以证明即使在密度具有非平凡核或无限迹支撑的情况下，变分公式中的上确界也可以被任意接近。

主要贡献与结果

Segal 熵的变分公式（定理 1 & 2）：
本文证明了对于在半有限代数 $M$ 上具有有限 Segal 熵的正规态 $\omega$ ：
$H(\omega) = \sup_{h^*=h \in M} \left\{ \tau(D_\omega h) - \log \tau(e^h) : D_\omega h, e^h \in L^1(M, \tau) \right\}$
这推广了已知的有限代数结果 $H(\omega) = \sup_{h \in M_h} (\omega(h) - \log \tau(e^h))$ 到半有限情形，不仅移除了对 $\omega$ 必须是忠实的限制，还将上确界范围扩展到了附着的无界算符。
一般凸/凹函数的变分公式（命题 3 & 4, 定理 5 & 6）：
作者证明了对于连续凸函数 $f \in \mathcal{J}$ （包含 $t \log t$ 和 $t^\alpha$ 的类）以及 $h \in L^1(M, \tau)_+$ ：
$\tau(f(h)) = \sup \{ \tau(f(E_A h)) : A \text{ 是一个迹为半有限的阿贝尔子代数} \}$
相反，对于凹函数，该等式通过下确界成立。这一结果将非交换泛函 $\tau(f(h))$ 直接与其交换限制联系起来。
离散变分刻画（定理 5 & 6）：
通过对阿贝尔子代数的上确界/下确界，上述结果被进一步精炼为对可数恒等分解 $\{p_i\}$ 的离散优化：
$\tau(f(h)) = \sup_{\{p_i\}} \sum_{i=1}^\infty f\left( \frac{\tau(p_i h)}{\tau(p_i)} \right) \tau(p_i)$
其中求和运行在满足 $\sum p_i = 1$ 且 $\tau(p_i) < \infty$ 的投影 $p_i$ 上。
特定应用的推论（推论 7 & 8）：
将一般定理应用于特定函数，可以得到以下熵的变分公式：
- Segal 熵： 表示为对所有阿贝尔子代数（其中 $\tau|_A$ 是半有限的）的经典熵的上确界。
- Rényi 熵 ( $R_\alpha$ )： 表示为涉及状态概率和迹权重的和的下确界（对于 $\alpha < 1$ ）或上确界（对于 $\alpha > 1$ ）。
结构性解释（定理 9）：
论文表明，态 $\omega$ 的 Segal 熵是其在所有阿贝尔子代数 $A$ （其中 $\tau|_A$ 是半有限的）上的限制熵的上确界。这强调了“量子”熵完全由其阿贝尔投影的“经典”熵所决定。

意义与主张
作者声称这些结果将相对熵和 Segal 熵的已知变分公式从有限冯·诺依曼代数推广到了半有限冯·诺依曼代数。这项工作为量子场论和黑洞物理学中相关的熵计算提供了严谨的数学基础，在这些领域中，II 型代数是基础性的。

文中强调的一个核心概念贡献是量子熵与阿贝尔子代数结构之间的联系。论文指出，半有限代数中一个态的熵可以完全通过其在阿贝尔子代数上的限制来解释，这为无限维系统中量子信息的“经典”内涵提供了一个全新的视角。作者并未提出新的实验应用，而是强调了这种推广对于在非 I 型设置下进行量子统计力学的代数表述的必要性。

技术摘要：半有限冯·诺依曼代数中熵类泛函的变分公式

类似论文