[论文解读] Telescopic Relative Entropy--II Triangle inequalities

Koenraad M. R. Audenaert|arXiv (Cornell University)|Feb 15, 2011

Phagocytosis and Immune Regulation参考文献 3被引用 5

一句话总结

本文引入并证明了望远镜相对熵（TRE）变化量的两个上界，TRE 是标准相对熵的正则化版本，可避免标准相对熵存在的无穷大问题。通过利用凸组合的望远镜正则化方法，作者建立了有限且非平凡的三角不等式形式，提供了原始相对熵框架中所缺乏的连续性界。

ABSTRACT

In previous work (see arxiv:1102.3040), we have defined the telescopic relative entropy (TRE), which is a regularisation of the quantum relative entropy $S(ρ||σ)= raceρ(\logρ-\logσ)$, by replacing the second argument $σ$ by a convex combination of the first and the second argument, $τ=aρ+(1-a)σ$ and dividing the result by $-\log a$. We also explored some basic properties of the TRE. In this follow-up paper we state and prove two upper bounds on the variation of the TRE when either the first or the second argument changes. These bounds are close in spirit to a triangle inequality. For the ordinary relative entropy no such bounds are possible due to the fact that the variation could be infinite.

研究动机与目标

• 为解决当量子态正交时（尤其是纯态）标准相对熵无穷大的根本性限制。
• 开发一种相对熵的正则化版本——望远镜相对熵（TRE），使其保持有限且行为良好。
• 在任一参数发生小扰动时，为 TRE 建立连续性界，类似于三角不等式。
• 证明此类界在标准相对熵中不可能存在，因其存在发散的可能。

提出的方法

• 引入望远镜相对熵（TRE）为 $ S_a(\rho||\sigma) = \frac{1}{-\log a} S(\rho || a\rho + (1-a)\sigma) $，其中 $ a \in (0,1) $，以正则化标准相对熵。
• 利用对数的积分表示和算子单调性，推导 TRE 变化量的界。
• 应用迹范数和正部的变分刻画，控制算子差。
• 采用算子对数的右导数和迹不等式，推导算子差的界。
• 建立两个关键不等式：一个针对第一参数的变化，一个针对第二参数的变化，利用凸组合和迹不等式。
• 通过连续性论证和算子单调性，将结果从正算子推广至一般密度算子。

实验结果

研究问题

• RQ1 能否在输入态发生小扰动时，为量子相对熵的变化量建立有限且非平凡的界？
• RQ2 为何标准相对熵及其变体无法容纳此类界，而望远镜版本中何种结构性质使其成为可能？
• RQ3 通过 $ a\rho + (1-a)\sigma $ 实现的望远镜正则化如何改善了相对熵的连续性性质？
• RQ4 在量子态可区分性的背景下，所推导的类似三角不等式的界具有何种操作或几何意义？
• RQ5 TRE 在 $ a \to 0 $ 和 $ a \to 1 $ 时的极限能否以闭式表达，它们与态正交性和重叠性有何关系？

主要发现

• 望远镜相对熵 $ S_a(\rho||\sigma) $ 始终介于 0 和 1 之间，且 $ S_a(\rho||\sigma) = 1 $ 当且仅当 $ \rho \perp \sigma $。
• 极限 $ S_0(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \rho \{\sigma\} $ 是 $ a \to 0 $ 时的闭式表达，捕捉了 $ \rho $ 与 $ \sigma $ 支持的重叠。
• 极限 $ S_1(\rho||\sigma) = 1 - \mathop{\rm Tr}\nolimits \sigma \{\rho\} $ 捕捉了反方向的重叠。
• 本文证明了 $ |S_a(\rho_1||\sigma) - S_a(\rho_2||\sigma)| \leq \frac{\log(1 + \frac{1-a}{a} T(\rho_1,\rho_2))}{-\log a} $，其中 $ T(\rho_1,\rho_2) $ 为迹距离。
• 对于第二参数的变化，建立了界 $ |S_a(\rho||\sigma_1) - S_a(\rho||\sigma_2)| \leq \frac{\log(a + (1-a)T(\sigma_1,\sigma_2)) - \log a}{-\log a} $，表明其具有有限连续性。
• 这些界是有限且非平凡的，而标准相对熵中此类界将需要无穷大的常数，因其存在发散性。