[论文解读] Quantum Rényi and $f$-divergences from integral representations

Christoph Hirche, Marco Tomamichel|arXiv (Cornell University)|Jun 21, 2023

Deception detection and forensic psychology被引用 4

一句话总结

本文通过基于量子曲棍球棒散度的积分表示，提出了一种f-散度和Rényi散度的新型量子推广，其中曲棍球棒散度定义为Tr((ρ − γσ)+)。关键贡献在于，这些散度的正则化版本分别统一了α < 1时的Petz Rényi散度和α > 1时的夹心Rényi散度，且对算子凸f函数，收缩系数完全坍缩，从而解决了长期存在的猜想。

ABSTRACT

Smooth Csiszár $f$-divergences can be expressed as integrals over so-called hockey stick divergences. This motivates a natural quantum generalization in terms of quantum Hockey stick divergences, which we explore here. Using this recipe, the Kullback-Leibler divergence generalises to the Umegaki relative entropy, in the integral form recently found by Frenkel. We find that the Rényi divergences defined via our new quantum $f$-divergences are not additive in general, but that their regularisations surprisingly yield the Petz Rényi divergence for $α&lt; 1$ and the sandwiched Rényi divergence for $α&gt; 1$, unifying these two important families of quantum Rényi divergences. Moreover, we find that the contraction coefficients for the new quantum $f$ divergences collapse for all $f$ that are operator convex, mimicking the classical behaviour and resolving some long-standing conjectures by Lesniewski and Ruskai. We derive various inequalities, including new reverse Pinsker inequalities with applications in differential privacy and explore various other applications of the new divergences.

研究动机与目标

• 通过基于量子曲棍球棒散度的积分表示，发展一种自然的量子f-散度类比。
• 通过新f-散度的正则化，统一量子Rényi散度的两个主要家族——Petz型与夹心型。
• 解决Lesniewski与Ruskai关于算子凸函数f的f-散度收缩系数的长期猜想。
• 建立新不等式，包括反向Pinsker不等式，其在差分隐私中有应用。
• 提供一个保持关键性质（如数据处理不等式与联合凸性）的量子散度框架。

提出的方法

• 将量子曲棍球棒散度定义为Eγ(ρ‖σ) = Tr((ρ − γσ)+)，将经典曲棍球棒散度推广至量子态。
• 通过积分表示构造量子f-散度：Df(ρ‖σ) = Tr(ρ − σ) + ∫₁^∞ [f''(γ)Eγ(ρ‖σ) + γ⁻³f''(γ⁻¹)Eγ(σ‖ρ)] dγ。
• 利用积分表示，通过与Hellinger型散度Hα(ρ‖σ)相关联，推广Rényi散度，其中Dα(ρ‖σ) = (1/(α−1)) log(1 + (α−1)Hα(ρ‖σ))。
• 证明新f-散度的正则化版本在α < 1时给出Petz Rényi散度，在α > 1时给出夹心Rényi散度。
• 分析收缩系数并证明其对所有算子凸f函数完全坍缩，与经典行为一致。
• 推导Df(aρ‖bσ)的标度律，并利用该框架建立新的反向Pinsker型不等式。

实验结果

研究问题

• RQ1 能否通过量子曲棍球棒散度的积分表示构造出保持关键经典性质的f-散度的量子推广？
• RQ2 所提出的量子f-散度的正则化是否能在所有α ≠ 1时统一Petz与夹心Rényi散度？
• RQ3 为何新f-散度的收缩系数对算子凸f函数会完全坍缩？这是否解决了Lesniewski与Ruskai的猜想？
• RQ4 从该框架中可推导出哪些新不等式（如反向Pinsker不等式）？其应用为何？
• RQ5 新散度在密度矩阵缩放下行为如何？是否保持单调性与凸性？

主要发现

• 所提量子f-散度的正则化版本在α < 1时给出Petz Rényi散度，在α > 1时给出夹心Rényi散度，从而统一了两类散度。
• 新f-散度的收缩系数对所有算子凸f函数完全坍缩，证实了Lesniewski与Ruskai的长期猜想。
• 新散度满足数据处理不等式与联合凸性，继承自量子曲棍球棒散度的性质。
• 推导出一个反向Pinsker不等式，潜在应用于差分隐私与量子信息理论。
• 标度律Df(aρ‖bσ) = (a−b) + bD_{F_{a,b}}(ρ‖σ) + ∫_{b/a}^1 f''(a/b γ)(a²/b)(1−γ) dγ成立，推广了经典标度行为。
• 当f(x) = x log x时，通过Frenkel公式恢复Umegaki相对熵的积分表示，作为特例。