1 定义与数学形式
1.1 密度矩阵形式
冯·诺依曼熵的核心定义依赖于量子系统的密度矩阵ρ。对于任意量子态，熵由公式 \( S(\rho) = -\mathrm{Tr}(\rho \log \rho) \) 给出，其中Tr表示矩阵迹，log通常为自然对数或2为底的对数。这一形式适用于任意维度的希尔伯特空间。
1.1.1 离散谱系下的表达式
| 当系统具有有限维希尔伯特空间时，密度矩阵可对角化为 \( \rho = \sum_i p_i | i\rangle\langle i | \)，其中p_i为非负本征值且满足 \( \sum_i p_i = 1 \)。此时熵简化为经典香农熵形式：\( S(\rho) = -\sum_i p_i \log p_i \)。这体现了量子熵对经典概率分布的继承性。 |
|---|
1.1.2 连续谱系下的推广
对于无限维系统（如谐振子或电磁场模式），密度矩阵可能具有连续谱。此时熵定义为 \( S(\rho) = -\int \lambda(x) \log \lambda(x) \, dx \)，其中λ(x)是谱密度。但需注意，连续变量系统的熵可能发散，需通过正则化或截断处理。
1.2 基底的无关性
熵的值不依赖于计算时选择的基底，这保证了其物理客观性。
1.2.1 谱分解证明
| 任何密度矩阵在谱分解下均写作 \( \rho = \sum_i p_i | \psi_i\rangle\langle\psi_i | \)，其迹与迹的对数仅依赖于本征值集合{p_i}。由于谱分解唯一确定本征值，熵与基底表示无关。 |
|---|
1.2.2 酉变换不变性
对密度矩阵施加任意酉变换U：\( \rho \to U\rho U^\dagger \)，由于迹在循环置换下不变，有 \( S(U\rho U^\dagger) = S(\rho) \)。这本质上是量子力学中对应原理的体现——熵是算符的泛函，而非其特定表示。
1.3 对数基的选择与归一化
对数基的选择决定了熵的单位。以2为底时熵的单位为比特（bit），以e为底（自然对数）时为纳特（nat），以10为底时为哈特（hart）。不同基之间可通过系数换算，例如1 nat ≈ 1.4427 bit。实际应用中，量子信息论多采用2为底，而量子统计力学偏好自然对数。
2 基本性质
2.1 非负性与有界性
冯·诺依曼熵恒非负，且对于给定维度的系统存在上界。
2.1.1 纯态与混合态
纯态（密度矩阵满足 \( \rho^2 = \rho \)）的熵为零，表示系统状态完全确定。混合态（存在至少两个不同的本征值）的熵严格大于零。纯态对应于量子信息完全已知的情形；混合态则体现统计不确定性。
2.1.2 最大熵与系统维度
对于d维希尔伯特空间，最大混合态 \( \rho = \mathbb{I}/d \) 的熵为 \( \log d \)。此时所有本征值相等，不确定性达到最大。熵的上界 \( S(\rho) \leq \log d \) 反映了量子系统的可分辨状态总数。
2.2 凸性
熵函数在密度矩阵空间中是凹函数，这一性质是信息处理的基础。
2.2.1 混合态熵的凹性
对于任意概率分布{p_i}及密度矩阵{ρ_i}，有 \( S(\sum_i p_i \rho_i) \geq \sum_i p_i S(\rho_i) \)。换言之，统计混合态的不确定性不低于各成分的加权平均不确定性。这一性质直接源于量子力学的凸性结构。
2.2.2 相对熵的非负性
| 量子相对熵定义为 \( D(\rho\|\sigma) = \mathrm{Tr}[\rho(\log\rho - \log\sigma)] \)，且恒非负，当且仅当ρ=σ时为零。这一性质是Klein不等式在量子力学中的体现，可证明冯·诺依曼熵的凹性。 |
|---|
2.3 次可加性与强次可加性
这些不等式是量子熵的核心性质，深刻制约量子系统的纠缠结构。
2.3.1 次可加性不等式
对于复合系统AB，其熵满足 \( S(\rho_{AB}) \leq S(\rho_A) + S(\rho_B) \)，其中ρ_A和ρ_B为约化密度矩阵。等式成立当且仅当子系统A与B无量子或经典关联（即ρ_AB = ρ_A ⊗ ρ_B）。
2.3.2 强次可加性及其在量子信息中的意义
强次可加性不等式为：\( S(\rho_{ABC}) + S(\rho_B) \leq S(\rho_{AB}) + S(\rho_{BC}) \)。这一发现（Lieb和Ruskai于1973年）标志着量子熵理论的重要突破。它确保了条件熵的单调性，是量子信道容量公式和量子纠错存在性证明的基础。
2.4 三角不等式
量子熵的差受到子系统维度的约束。
2.4.1 Araki–Lieb不等式
| 对于二分系统AB，有 \( | S(\rho_A) - S(\rho_B) | \leq S(\rho_{AB}) \)。这一不等式是次可加性的补充，体现了量子纠缠的独特性质——纠缠纯态的子系统的熵可以不为零，甚至大于总系统熵。 |
|---|
2.4.2 纠缠熵的约束
当AB处于纯态时，\( S(\rho_{AB}) = 0 \)且Araki–Lieb不等式退化为 \( S(\rho_A) = S(\rho_B) \)。这说明纯态纠缠的熵在子系统间是对称的。对于混合态，此不等式则限制了两子系统熵的偏差。
3 物理意义与解释
3.1 作为量子混合度的度量
冯·诺依曼熵定量刻画了量子态偏离纯态的程度，即量子混合度。
3.1.1 纯态与最大混合态
| 纯态（如\( | \psi\rangle\langle\psi | \)）的熵为零，描述完全确定的量子信息。最大混合态（如\( \mathbb{I}/d \)）的熵为log d，代表完全无序。介于两者之间的混合态则表示不同程度的统计不确定性。 |
|---|
3.1.2 热平衡态的关系
对于与热库达到平衡的系统，密度矩阵为吉布斯态 \( \rho = e^{-\beta H}/Z \)，其中β=1/(kT)，Z为配分函数。此时冯·诺依曼熵退化为经典热力学熵（乘以玻尔兹曼常数k_B），这一联系巩固了熵在统计力学中的核心地位。
3.2 纠缠熵
这是量子信息论中最具特色的应用之一，用以度量量子纠缠的强弱。
3.2.1 二体系统的约化密度矩阵
| 对于复合系统AB的纯态 | ψ⟩_AB，若将子系统B求迹，得约化密度矩阵ρ_A = Tr_B( | ψ⟩⟨ψ | _AB)。ρ_A的混合程度完全由纠缠决定：ρ_A为纯态意味着无纠缠，而混合态越接近最大混合态则纠缠越强。 |
|---|
3.2.2 纠缠熵与量子纠缠的联系
纠缠熵定义为S(ρ_A)或S(ρ_B)，对于纯态二者相等。纠缠熵是量子纠缠单调的一个自然度量：它随局域操作与经典通信而递减，且对最大纠缠态（如贝尔态）取最大值log d。对于二维系统，纠缠熵为log 2即1 bit，表示共享一个纠缠比特。
3.3 热力学第二定律的量子形式
冯·诺依曼熵的动力学行为暗示了量子版的熵增原理。
3.3.1 孤立系统的熵增
对于孤立量子系统，若演化是幺正的，冯·诺依曼熵保持常数。然而，若考虑系统与环境的耦合，或进行测量导致退相干，则一般有熵增。这与经典热力学第二定律一致：可达操作（如环境耦合）会引入不可逆性。
3.3.2 量子热机中的熵变化
在量子热机（如量子Otto循环或量子Carnot循环）中，工作介质的熵变化决定了效率上限。冯·诺依曼熵可用于量化热机在等温过程或可逆过程中的可提取功，并导出了量子卡诺效率η = 1 - T_c/T_h，与经典热力学无异。
4 计算方法
4.1 有限维系统的直接对角化
当系统维度有限且不大时，可直接计算本征值并代入熵公式。
4.1.1 特征值计算步骤
步骤包括：1）构造密度矩阵ρ；2）求解特征方程det(ρ - λI)=0，得特征值{λ_i}；3）排除零特征值（因0 log 0 = 0）；4）求和S = -∑ λ_i log λ_i。对于包含多体作用的系统，可利用张量网络方法辅助对角化。
4.1.2 数值稳定性的考虑
当特征值极小（如小于机器精度）时，直接计算log λ可能导致数值异常。实践中常采用以下策略：对λ_i设定一个正数下界，或采用更稳定的算法如矩阵函数展开。另一种方法是直接利用熵的超算子表示，避免显式对角化。
4.2 无限维系统的截断近似
对于无限维系统，需通过截断有限子空间进行近似计算。
4.2.1 连续变量系统的离散化
如将谐振子的无限维希尔伯特空间截断至N个最低能级（福克基底），得到N×N的近似密度矩阵。截断维数需根据系统能量和效应的大小酌情增加，以确保主要概率质量被包含。
4.2.2 截断误差与收敛性
随着截断维数N增大，近似熵趋近精确值。通常需检查熵随N的变化是否收敛，例如对谐振子态，当N大于平均光子数的数倍时截断误差可忽略。截断误差可通过外推法或物理参数（如温度）来估计。
4.3 解析解的特例
部分系统可得到熵的闭合解析表达式，为理论分析提供简洁工具。
4.3.1 双态系统（qubit）
| 对于任意二维密度矩阵 \(\rho = \frac{1}{2}(\mathbb{I} + \mathbf{r}\cdot\boldsymbol{\sigma})\)，其中r为布洛赫向量（0 ≤ | r | ≤ 1），本征值为 \( \frac{1\pm | r | }{2} \)。熵为 \( S = -\frac{1+ | r | }{2}\log\frac{1+ | r | }{2} - \frac{1- | r | }{2}\log\frac{1- | r | }{2} \)。这一表达式简洁地描述了qubit混合态的全部熵信息。 |
|---|
4.3.2 高斯态与相干态
| 对于玻色子系统的高斯态（如热态、相干态或压缩态），熵可由协方差矩阵解析表示。以单模热态 \(\rho_{th} = \frac{1}{\bar{n}+1}\sum_{n=0}^\infty n!^{-1} \bar{n}^n | n\rangle\langle n | \) 为例，熵为 \( S = (\bar{n}+1)\log(\bar{n}+1) - \bar{n}\log\bar{n} \)，其中\(\bar{n}\)为平均粒子数。 |
|---|
5 应用领域
5.1 量子信息与量子计算
冯·诺依曼熵是量子信息论的基本工具。
5.1.1 量子纠错码的熵界
量子纠错码的存在条件需满足量子香农定理：对于噪声信道，可编码的量子信息量由信道容量C = max_{ρ} [S(ρ) - S(ρ')] 给出，其中ρ'为解码后的状态。熵的次可加性提供了纠错码设计中的上界，例如Kraus秩和熵不等式是量子码构造的基石。
5.1.2 量子信道容量
量子信道容量分为经典容量 C(Φ) 和量子容量 Q(Φ)。经典容量由Holevo-界给出：C(Φ) = max_{p_i,ρ_i} [S(∑p_iΦ(ρ_i)) - ∑p_i S(Φ(ρ_i))]；量子容量则通过熵的强次可加性证明的LSD（Lloyd–Shor–Devetak）定理计算。冯·诺依曼熵的这些应用奠定了量子通信的理论基础。
5.2 量子统计力学
熵的变化揭示了量子系统在热化过程中的行为。
5.2.1 热化与本征态热化假说
本征态热化假说（ETH）断言孤立系统的能量本征态中的子系统约化密度矩阵近似于热态。这导致子系统熵随着时间演化趋近于微正则系综的熵，即熵增的微观机制。冯·诺依曼熵在研究从初始纯态到热平衡态的熵产生时至关重要。
5.2.2 相变中的熵行为
在量子相变点附近，纠缠熵呈现奇异性。例如，一维横场伊辛模型在临界点处纠缠熵发散，其标度行为与共形场论描述一致。这提供了一种不依赖序参量即可探测相变的新方法。
5.3 黑洞物理学
量子熵在黑洞信息悖论中扮演核心角色。
5.3.1 贝肯斯坦-霍金熵的联系
黑洞的贝肯斯坦-霍金熵S_BH = A/4（自然单位），其中A为事件视界面积，与冯·诺依曼熵存在深层联系。霍金辐射的量子态可视为热态，其熵使人联想到黑洞内部微观自由度；而黑洞信息悖论则直接涉及辐射熵与黑洞内熵的比较。
5.3.2 信息悖论与“防火墙”争论
该悖论的核心问题是：黑洞蒸发过程中，辐射的冯·诺依曼熵是否最终小于黑洞熵的减少量？若辐射的熵始终高于黑洞内态，则信息似乎被破坏。2012年，Almheiri等人提出“防火墙”假说以维护一致性，其论证依赖于纠缠熵的强次可加性，引发了持续至今的讨论。
5.4 多体量子系统
通过追溯部分系统而获得的纠缠熵揭示了量子多体系统的集体行为。
5.4.1 纠缠熵的标度律
在一维临界系统中，纠缠熵随子系统尺寸L发散的比例为S(L) ~ (c/3) log L，其中c是中心荷。对于非临界系统，熵趋于常数（面积律）。更高维度中，熵通常满足面积律，但在某些拓扑序系统中存在对数修正。
5.4.2 拓扑序的识别
在某些拓扑有序系统（如分数量子霍尔态中），纠缠熵包含一个普适的负常数项，即拓扑纠缠熵γ。γ的值由拓扑量子场论中的量子维数决定，可用来区分不同拓扑相。这使得冯·诺依曼熵成为量子物质中隐藏有序的敏感探针。
6 与其他熵概念的比较
6.1 与经典香农熵的异同
两者都度量不确定性，但量子情况有独特之处。
6.1.1 共同点：不确定性度量
对于可对角化的密度矩阵，其本征值对应经典概率分布，此时冯·诺依曼熵等同于香农熵。两者都满足非负性、凸性等基础性质，且都在信息处理中作为信息量度的上限。
6.1.2 量子特有：非交换性导致的不同性质
经典香农熵仅涉及概率分布；而量子熵因非交换性的引入，具有新的特征：1）量子联合熵可能小于单系统熵（纠缠引起）；2）条件熵可以负（强纠缠）。这些性质从根本上源于量子关联，在经典世界中不存在对应物。
6.2 与Rényi熵的关系
Rényi熵是一参数化熵族，冯·诺依曼熵是其特例。
6.2.1 定义与参数依赖
Rényi熵定义为 \( S_\alpha(\rho) = \frac{1}{1-\alpha} \log \mathrm{Tr}(\rho^\alpha) \)，其中α为正参数（α≠1）。它包含香农熵（α→1）和最大熵（α=0）等极限情况。
6.2.2 极限情况恢复冯·诺依曼熵
当α→1时，S_α(ρ)趋近于冯·诺依曼熵S(ρ)。由于计算Rényi熵通常比冯·诺依曼熵更容易（可避免对数展开），这一极限常用于数值模拟中近似冯·诺依曼熵。Rényi熵在区分量子态和刻画纠缠谱方面有独立应用。
6.3 与Tsallis熵的对比
Tsallis熵是非广延统计力学中的熵概念。
6.3.1 非广延统计中的对应
Tsallis熵定义为 \( S_q(\rho) = \frac{1 - \mathrm{Tr}(\rho^q)}{q-1} \)，参数q≠1。量子情况下，它适用于存在长程相互作用或分形结构的系统，此时标准熵的广延性失效。Tsallis熵在q→1时退化为冯·诺依曼熵。
6.3.2 非平衡系统的适用性
某些远离平衡的量子系统（如色噪声驱动下的开放系统）可能呈现非广延行为。Tsallis熵为此类系统的信息度量提供了候选工具，但其物理根基尚不如冯·诺依曼熵稳固。
7 历史与演变
7.1 冯·诺依曼的原始推导
熵概念的量子创生始于冯·诺依曼对量子统计力学基础的研究。
7.1.1 量子力学背景与动机
20世纪初，经典统计力学中的吉布斯熵面临着量子化挑战。1920年代，冯·诺依曼试图将熵概念严格建立在冯·诺依曼代数框架上，以统一量子力学与热力学。他注意到纯态的确定性特性要求熵为零，而混合态熵由密度矩阵的本征值决定。
7.1.2 《量子力学数学基础》中的表述
1932年，冯·诺依曼在经典著作《量子力学数学基础》中首次给出了熵的严格定义及性质证明。他通过“全同粒子”论证和测量理论推导出熵的凹性，并将熵视作可观测量的泛函。这一工作奠定了量子统计力学的公理化基础。
7.2 信息论时代的复兴
二战后，信息理论的发展重新激活了冯·诺依曼熵的应用。
7.2.1 香农熵的启发
1948年香农创立信息论，给出经典信源熵的定义，类似于冯·诺依曼熵的经典特例。量子信息的先驱（如Ingarden、Holevo等）意识到，香农熵可能自然推广到量子情形，从而为量子通信提供了理论工具。
7.2.2 量子信息理论的发展
1990年代以来，量子计算和量子密码学的兴起使冯·诺依曼熵成为核心工具。Schumacher的量子无噪声编码定理直接使用了冯·诺依曼熵，证明量子信息压缩的极限。Lieb和Ruskai对强次可加性的证明进一步巩固了熵不等式的数学基础。
7.3 现代重要进展
近二十年来，冯·诺依曼熵的理论和实验研究不断深化。
7.3.1 纠缠熵的严格不等式
2012年，Brandão等人发现了纠缠熵的“单片性”不等式，证明了多体系统纠缠的分布约束。这启发了一系列关于量子纠错、全息对偶的进展。2015年，Mintchev和Scarlatti完善了热力学极限下的熵性质证明。
7.3.2 实验测量方法
近年来，实验物理学家开始直接测量量子系统的冯·诺依曼熵。主要途径包括：1）联合测量多副本系统的纠缠；2）通过量子态层析重建密度矩阵并直接计算熵；3）利用量子断层扫描或ramp干涉测量熵。2020年，在超导量子处理器上实现了针对16个qubit的熵测量，验证了理论预测。