[论文解读] The structure of Renyi entropic inequalities

Noah Linden, Milán Mosonyi+1 more|arXiv (Cornell University)|Dec 2, 2012

Statistical Mechanics and Entropy被引用 4

一句话总结

本文研究多体量子态的Rényi微分熵不等式，发现当 $0 < \alpha < 1$ 时，唯一普遍成立的不等式是非负性——任何非负的熵向量均可被某个量子态的约化密度矩阵的熵任意精确地逼近。当 $\alpha > 1$ 时，不存在非平凡的齐次不等式，尽管仍存在非线性约束，这与 von Neumann 熵（$\alpha = 1$）所具有的丰富不等式结构（如强子加性）形成鲜明对比。

ABSTRACT

We investigate the universal inequalities relating the alpha-Renyi entropies of the marginals of a multi-partite quantum state. This is in analogy to the same question for the Shannon and von Neumann entropy (alpha=1) which are known to satisfy several non-trivial inequalities such as strong subadditivity. Somewhat surprisingly, we find for 01 we show analogously that there are no non-trivial homogeneous (in particular no linear) inequalities. On the other hand, it is known that there are further, non-linear and indeed non-homogeneous, inequalities delimiting the alpha-entropies of a general quantum state. Finally, we also treat the case of Renyi entropies restricted to classical states (i.e. probability distributions), which in addition to non-negativity are also subject to monotonicity. For alpha different from 0 and 1 we show that this is the only other homogeneous relation.

研究动机与目标

• 确定多体量子态中约化密度矩阵的Rényi $\alpha$-微分熵所受的所有普遍不等式的完整集合。
• 将Rényi微分熵不等式的结构与 von Neumann 微分熵（$\alpha = 1$）所具有的丰富约束（如强子加性）进行对比。
• 研究当 $\alpha \neq 1$ 时，Rényi 微分熵是否满足任何非平凡的齐次或线性不等式。
• 考察经典态与可分量子态中单调性的角色，并确定此类情况下的所有齐次不等式集合。

提出的方法

• 作者分析了在不同 $\alpha$ 范围内，$n$-体量子态可实现的Rényi微分熵向量集合。
• 对于 $0 < \alpha < 1$，通过构造其约化熵可任意接近任意给定非负向量的量子态，证明唯一约束为非负性。
• 对于 $\alpha > 1$，利用微扰和张量积构造方法，证明不存在非平凡的齐次不等式，并表明缩放后的熵向量在该空间中是稠密的。
• 将分析扩展至经典态（概率分布），证明当 $\alpha \neq 0,1$ 时，唯一的齐次不等式为非负性与子集包含下的单调性。
• 证明技术涉及密度算符的谱分析、态的直和与张量积构造，以及渐近逼近论证。
• 利用已知的经典微分熵不等式结果（如 Zhang-Yeung），并将其推广至量子Rényi框架，尤其针对 $\alpha > 1$ 的情形。

实验结果

研究问题

• RQ1 对于 $0 < \alpha < 1$，除了非负性之外，是否存在任何非平凡的普遍不等式，约束多体量子态约化密度矩阵的Rényi微分熵？
• RQ2 对于 $\alpha > 1$，是否存在任何非平凡的齐次（如线性）不等式，约束量子态Rényi微分熵向量？
• RQ3 在经典情形下，当 $\alpha \neq 0,1$ 时，Rényi微分熵的唯一齐次不等式是否仅为非负性与子集包含下的单调性？
• RQ4 对于 $\alpha > 1$，可实现的Rényi微分熵向量集合是否构成一个凸锥，或是否存在额外的非齐次约束？
• RQ5 von Neumann微分熵不等式（如强子加性）所具有的丰富结构，能否在 $\alpha \neq 1$ 的Rényi框架中被推广或恢复？

主要发现

• 对于 $0 < \alpha < 1$，唯一普遍成立的Rényi微分熵不等式是非负性：对于 $n$ 个参与者的非空子集，任何非负实数向量均可被某个量子态的 $\alpha$-微分熵约化密度矩阵任意精确地逼近。
• 对于 $\alpha > 1$，不存在非平凡的齐次不等式约束量子态Rényi微分熵向量，但可实现向量的集合并非一个锥，表明存在非线性约束。
• 当适当缩放后，$\alpha > 1$ 时的Rényi微分熵向量集合在正象限中是稠密的，意味着任一正向量均可被该类熵向量的正倍数逼近。
• 在经典情形下，当 $\alpha \neq 0,1$ 时，唯一的齐次不等式为非负性与子集包含下的单调性，这反映了经典信息度量的结构。
• 当 $\alpha = 0$ 时，Rényi微分熵为密度矩阵秩的对数，其为不连续函数，不满足强子加性，但满足次可加性。
• 本文指出，对于 $\alpha > 1$，存在非齐次不等式（如 Audenaert 证明的不等式），表明其结构远超齐次关系，具有复杂性。