[论文解读] On some entropy inequalities

Lin Zhang|arXiv (Cornell University)|Mar 26, 2014

Mathematical Inequalities and Applications参考文献 8被引用 3

一句话总结

本论文利用Rényi相对熵和算子不等式建立了新的熵不等式，通过基于迹的量子相对熵界扩展了已知结果。关键贡献是提出了一项充分条件——对对数密度组合的指数进行迹归一化——在此条件下，三体量子态成为马尔可夫态，即具有零条件互信息。

ABSTRACT

In this short report, we give some new entropy inequalities based on Rényi relative entropy and the observation made by Berta {\em et al} [arXiv:1403.6102]. These inequalities obtained extends some well-known entropy inequalities. We also obtain a condition under which a tripartite operator becomes a Markov state.

研究动机与目标

• 通过Rényi相对熵和矩阵范数不等式扩展已知的量子熵不等式。
• 利用迹范数和Frobenius范数推导量子相对熵的更紧下界。
• 表征三体量子态何时具有消失的条件互信息（即成为马尔可夫态）。
• 提供一个充分条件，使得对数密度算子组合的指数形成有效的量子态，从而隐含马尔可夫性。

提出的方法

• 推导涉及Rényi相对熵、密度算子几何平均的迹以及平方根与密度算子差的Frobenius范数的一系列不等式。
• 应用Rényi相对熵的单调性，以及涉及 ∥√M − √N∥²₂ ≤ ∥M − N∥₁ ≤ ∥√M − √N∥₂∥√M + √N∥₂ 的矩阵不等式。
• 利用Golden-Thompson不等式证明 exp(logρ_AC + logρ_BC) 是一个次态（迹 ≤ 1），从而可应用先前的相对熵界。
• 将条件互信息重写为相对熵形式：I(A:B|C) = S(ρ_ABC || exp(logρ_AC + logρ_BC − logρ_C))。
• 证明若 Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1，则指数算子为有效量子态，且 ρ_ABC 为马尔可夫态。
• 应用引理1.2（在量子通道下的熵不等式）推导出以迹和范数表达的相对熵界。

实验结果

研究问题

• RQ1 在何种条件下，对数约化密度之和的指数形成有效的量子态？
• RQ2 三体态在何时满足 I(A:B|C) = 0，即成为马尔可夫态？
• RQ3 如何利用Rényi相对熵推导更紧的量子熵不等式界？
• RQ4 Tr[exp(logρ_AC + logρ_BC − logρ_C)] 的迹与 ρ_ABC 的马尔可夫性之间有何关系？
• RQ5 当其迹为1时，算子 exp(logρ_AC + logρ_BC − logρ_C) 的结构能否被表征？

主要发现

• 对任意量子态 ρ 和次态 σ，不等式 S(ρ||σ) ≥ −2logTr(√ρ√σ) 成立，扩展了标准相对熵界。
• 一系列不等式将相对熵与Frobenius范数和迹范数联系起来：S(ρ||σ) ≥ ∥√ρ − √σ∥²₂ ≥ (1/4)∥ρ − σ∥²₁。
• 对于三体态，有 I(A:B|C) ≥ −2logTr(√ρ_ABC√exp(logρ_AC + logρ_BC − logρ_C)) ≥ ∥√ρ_ABC − √exp(·)∥²₂ ≥ (1/4)∥ρ_ABC − exp(·)∥²₁。
• 若 Tr[exp(logρ_AC + logρ_BC − logρ_C)] = 1，则 exp(logρ_AC + logρ_BC − logρ_C) 为有效量子态，且 ρ_ABC 为马尔可夫态。
• 算子 exp(logρ_AC + logρ_BC − logρ_C) 同时等于 ρ^{1/2}_{AB}ρ^{-1/2}_Bρ_{BC}ρ^{-1/2}_Bρ^{1/2}_{AB} 和 ρ^{1/2}_{BC}ρ^{-1/2}_Bρ_{AB}ρ^{-1/2}_Bρ^{1/2}_{BC}，证实其自洽结构。
• exp(logρ_AC + logρ_BC) 的迹满足 Tr(ρ²_C) ≤ 1，确保其为次态，从而可应用相对熵界。