4. 量子相对熵与熵不等式

量子相对熵是量子信息论中最基础、也最具“母函数”性质的量之一。它把经典相对熵（KL散度）推广到密度算符，用来衡量两个量子态之间的可区分程度。定义如下：对两个密度算符 ρ 与 σ，若 supp(ρ) ⊆ supp(σ)，则

S(ρ‖σ) = Tr[ρ (log ρ − log σ)]

若支撑条件不满足，则规定 S(ρ‖σ) = +∞。这里的对数通常取自然对数或底为2，工程中需全文统一；本文取底为2，单位为比特。注意相对熵不是距离：它不满足对称性，也不满足三角不等式，但它是非负的，这正是 Klein 不等式的结论。

Klein 不等式：非负性的来源

Klein 不等式断言 S(ρ‖σ) ≥ 0，等号成立当且仅当 ρ = σ。它的证明思路非常典型：利用算符凸性 log 的 Jensen 不等式，或等价地利用经典 KL 散度的非负性。对工程实现而言，Klein 不等式给出一个重要的判据——相对熵可以作为“态偏离程度”的单向指标：当 ρ 偏离 σ 越远，S(ρ‖σ) 越大；当二者完全一致时为零。它不能反向使用，即 S(ρ‖σ) 大不代表 σ 偏离 ρ 也大。

一个常见教学示例：令 ρ = |0⟩⟨0|，σ = (1−p)|0⟩⟨0| + p|1⟩⟨1|。由于 ρ 的支撑在 |0⟩ 上，计算得 S(ρ‖σ) = −log(1−p)。当 p = 0.1 时，S ≈ 0.152 比特；当 p = 0.5 时，S = 1 比特。这组数值说明：σ 在 |1⟩ 上的权重越大，ρ 与 σ 的可区分度越高，相对熵随之单调上升。

单调性：数据处理不等式

相对熵最重要的结构性质之一是单调性（数据处理不等式，DPI）：对任意量子信道（完全正迹保持映射）Φ，有

S(Φ(ρ)‖Φ(σ)) ≤ S(ρ‖σ)

直观含义是：任何物理上可实现的量子操作都不会增加两个态之间的可区分度。信道只会“抹平”差异，不会“制造”差异。这一性质是相对熵成为纠缠度量、信道容量、假设检验等众多量基础的根本原因。工程上，它意味着若把 ρ 与 σ 同时送入同一信道，输出端的相对熵只会下降或持平；若观察到上升，则说明计算或信道建模有误。

单调性的一个重要推论是联合凸性：对任意概率分布 {p_i} 和两组态 {ρ_i}、{σ_i}，有

S(Σ_i p_i ρ_i ‖ Σ_i p_i σ_i) ≤ Σ_i p_i S(ρ_i‖σ_i)

联合凸性说明：先混合再比较，其可区分度不超过分别比较后按概率加权。它在证明纠缠度量的凸性、信道容量的加性等结论时反复出现。

在纠缠度量中的基础作用

相对熵之所以成为纠缠度量的基石，是因为它天然满足纠缠度量所需的若干公理。以相对熵纠缠度 E_R(ρ_AB) 为例，其定义为

E_R(ρ_AB) = min_{σ_AB ∈ SEP} S(ρ_AB‖σ_AB)

其中 SEP 表示可分态集合。这个定义直接依赖相对熵的非负性（保证 E_R ≥ 0）、单调性（保证 LOCC 下不增）以及联合凸性（保证 E_R 是凸函数）。换句话说，Klein 不等式、DPI 和联合凸性共同构成了 E_R 作为合法纠缠度量的“公理底座”。

实际计算时，E_R 的优化通常很困难，但工程上常借助以下可操作路径：

• 对称态简化：若 ρ_AB 具有 U⊗U* 对称性，最优 σ_AB 可限制在同对称子空间内，把优化维度从 d² 降到多项式级。
• 数值求解：用半定规划或迭代投影算法，在可分态凸集上做最小化；每步计算 S(ρ‖σ) 时用特征分解 log ρ 与 log σ。
• 结果判读：若 E_R 在 LOCC 操作后上升，说明数值优化未收敛或可分态约束被破坏；若 E_R = 0，则 ρ_AB 必为可分态。

参数关系与数值观察

为便于工程复现，下表给出一组教学示例参数（非实测，仅用于说明趋势）。设 ρ = |0⟩⟨0|，σ_p = (1−p)|0⟩⟨0| + p|1⟩⟨1|，底数为 2：

从表中可见，相对熵随 p 单调上升，且在 p = 0.5 时达到 1 比特，对应 ρ 与 σ 正交的极端情形。这一趋势与 Klein 不等式和单调性的定性结论完全一致，可作为数值实现正确性的快速校验。

总结来看，量子相对熵通过 Klein 不等式获得非负性，通过数据处理不等式获得单调性，通过联合凸性获得混合稳定性，这三条性质共同支撑了相对熵纠缠度 E_R 的合法性。工程实现中，只要保证底数统一、支撑条件检查、方向不混淆，并利用对称性简化优化，就能把这一理论工具稳定地用于纠缠度量的计算与验证。