[论文解读] Logical Entropy for Quantum States

Boaz Tamir, Eliahu Cohen|arXiv (Cornell University)|Dec 1, 2014

Statistical Mechanics and Entropy参考文献 8被引用 13

一句话总结

本文引入了量子逻辑熵作为量子系统中信息的新度量，通过迹公式 $ L(\rho) = \text{Tr}(\rho(1 - \rho)) $ 定义。它建立了非负性、最大混合态时取最大值，以及逻辑分歧的联合凸性等关键性质，提供了一种替代冯诺依曼熵的度量方法，其基础是客观不定性以及量子态之间的区分。

ABSTRACT

The novel concept of quantum logical entropy is presented and analyzed. We prove several basic properties of this entropy with regard to density matrices. We hereby motivate a different approach for the assignment of quantum entropy to density matrices.

研究动机与目标

• 提出一种基于量子态之间逻辑区分的新型量子熵度量，受经典逻辑熵及其作为客观不定性度量的解释启发。
• 使用密度矩阵为量子力学中的逻辑熵提供正式框架，将经典基于划分的定义扩展至希尔伯特空间。
• 分析量子逻辑熵的基本性质，包括单调性、凸性和熵不等式，并与冯诺依曼熵进行比较。
• 探讨逻辑熵在量子信息任务中的潜力，如信道容量、纠缠量化以及量子关联的基础性分析。

提出的方法

• 将量子逻辑熵定义为 $ L(\rho) = \text{Tr}(\rho(1 - \rho)) = 1 - \sum_i \lambda_i^2 $，其中 $ \lambda_i $ 为密度矩阵 $ \rho $ 的本征值，将经典逻辑熵推广至量子态。
• 引入逻辑分歧 $ d(\rho||\sigma) = \frac{1}{2}\text{Tr}((\rho - \sigma)^2) $，其作为相对熵的量子类比，通过厄米矩阵的迹性质证明其非负性。
• 证明逻辑熵非负，且在纯态时为零，最大值为 $ 1 - \frac{1}{d} $，在 $ d $ 维希尔伯特空间中的最大混合态时取得。
• 利用矩阵平方迹的凸性与迹运算的线性性，建立逻辑分歧的联合凸性。
• 通过酉平均和凸性，证明逻辑分歧在部分迹操作下的单调性，表明退化一个子系统会减少分歧。
• 使用 Schmidt 分解与正交态分解，证明两体纯态中逻辑熵的对称性，并推导出非加性乘积规则：$ L(\rho^A \otimes \rho^B) = L(\rho^A) + L(\rho^B) - L(\rho^A)L(\rho^B) $。

实验结果

研究问题

• RQ1 如何通过密度矩阵将经典逻辑熵——基于划分中元素之间区分的定义——推广至量子领域？
• RQ2 量子逻辑熵的基本数学与物理性质是什么，如非负性、最大值性与凸性？
• RQ3 在可加性、次可加性与纠缠行为方面，量子逻辑熵与冯诺依曼熵相比有何异同？
• RQ4 逻辑分歧能否作为相对熵的有效量子类比？其是否具有联合凸性与在部分迹下的单调性？
• RQ5 逻辑熵缺乏强次可加性对基础性量子信息问题（如黑洞信息佯谬或量子信道容量）有何启示？

主要发现

• 量子逻辑熵 $ L(\rho) = \text{Tr}(\rho(1 - \rho)) $ 非负，且当且仅当 $ \rho $ 为纯态时等于零。
• $ L(\rho) $ 的最大值为 $ 1 - \frac{1}{d} $，在 $ d $ 维希尔伯特空间中当 $ \rho = \frac{I}{d} $（即最大混合态）时取得。
• 对于任意两体纯态 $ \rho^{A,B} $，由于 Schmidt 分解的对称性，约化态的逻辑熵满足 $ L(\rho^A) = L(\rho^B) $。
• 逻辑分歧 $ d(\rho||\sigma) = \frac{1}{2}\text{Tr}((\rho - \sigma)^2) $ 非负，且当且仅当 $ \rho = \sigma $ 时为零，从而证明了克莱因不等式。
• 逻辑分歧具有联合凸性：$ d(\lambda\rho_1 + (1-\lambda)\rho_2 \,||\, \lambda\sigma_1 + (1-\lambda)\sigma_2) \leq \lambda d(\rho_1||\sigma_1) + (1-\lambda)d(\rho_2||\sigma_2) $。
• 逻辑分歧在部分迹下具有单调性：$ d(\rho^A \otimes I/b \,||\, \sigma^A \otimes I/b) \leq d(\rho^{A,B} \,||\, \sigma^{A,B}) $，表明退化一个子系统会减少分歧。