[论文解读] Reverse Test and Characterization of Quantum Relative Entropy

Keiji Matsumoto|arXiv (Cornell University)|Oct 5, 2010

Statistical Mechanics and Entropy参考文献 16被引用 29

一句话总结

本文通过资源转换场景对量子相对熵进行了公理化表征，引入了反向检验与渐近反向检验，作为假设检验的对偶。在单调性与归一化条件下，证明了量子相对熵介于标准相对熵 D(ρ||σ) 与 RLD 相对熵 Dᴿ(ρ||σ) 之间；在渐近情形下，其唯一性由 D(ρ||σ) 的常数倍唯一确定。

ABSTRACT

The aim of the present paper is to give axiomatic characterization of quantum relative entropy utilizing resource conversion scenario. We consider two sets of axioms: non-asymptotic and asymptotic. In the former setting, we prove that the upperbound and the lowerbund of $\mathrm{D}^{Q}(ρ||σ) $ is $\mathrm{D}^{R}(ρ||σ) :=\mathrm{tr}% \,ρ\ln\sqrtρσ^{-1}\sqrtρ$ and $\mathrm{D}(ρ||σ) :=$ $\mathrm{tr}\,ρ(\lnρ-\lnσ) $, respectively. In the latter setting, we prove uniqueness of quantum relative entropy, that is, $\mathrm{D}^{Q}(ρ||σ) $ should equal a constant multiple of $\mathrm{D}(ρ||σ) $. In the analysis, we define and use reverse test and asymptotic reverse test, which are natural inverse of hypothesis test.

研究动机与目标

• 通过资源转换场景为量子相对熵提供公理化基础。
• 通过反向检验建立量子相对熵的操作性与信息论依据。
• 在弱可加性与下渐近连续性条件下，表征量子相对熵的渐近行为。
• 通过反向检验分析阐明 RLD Fisher 信息的运行意义。
• 在渐近公理下，证明量子相对熵的唯一性（至多一个常数倍）。

提出的方法

• 将反向检验定义为将经典概率对 (p,q) 转换为量子态对 (ρ,σ) 的 CPTP 映射，作为假设检验的逆操作。
• 将渐近反向检验定义为从经典 n 重分布 (pⁿ,qⁿ) 到量子态 (ρⁿ,σⁿ) 的近似转换，用于建模渐近资源转换。
• 利用反向检验推导下界：Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)] 是所有 (ρ,σ) 的反向检验中 D(p||q) 的最小值。
• 应用 Hiai-Petz 定理构造投影测量，使 ρⁿ 与 σⁿ 在指数误差极小下可渐近区分，从而支持渐近分析。
• 施加公理 (M) 单调性、(N) 归一化、(A) 弱可加性与 (C) 下渐近连续性，以推导唯一性。
• 利用假设检验与反向检验之间的对偶性，证明任何满足 (M)、(A) 与 (C) 的泛函必为 D(ρ||σ) 的常数倍。

实验结果

研究问题

• RQ1 在单调性 (M) 与经典归一化条件下，满足 D^Q(ρ||σ) 的最紧上界与下界是什么？
• RQ2 能否使用自然的资源理论公理在渐近情形下唯一表征量子相对熵？
• RQ3 在量子估计理论中，RLD Fisher 信息的运行意义是什么？
• RQ4 渐近反向检验如何与量子相对熵及假设检验的渐近行为相关联？
• RQ5 渐近连续性条件 (C) 是否可放宽以包含其他发散度（如相对 R{\'e}nyi 发散度）？

主要发现

• 在单调性 (M) 与归一化 (N) 条件下，D^Q(ρ||σ) 的下界为 D(ρ||σ) = tr[ρ(lnρ − lnσ)]，上界为 Dᴿ(ρ||σ) = tr[ρ ln(√ρ σ⁻¹ √ρ)]。
• 在加入弱可加性 (A) 后，下界收紧为 D(ρ||σ) ≤ D^Q(ρ||σ) ≤ Dᴿ(ρ||σ)，表明 Dᴿ(ρ||σ) 是最紧的上界。
• 在 (M)、(A) 与 (C) 条件下，D^Q(ρ||σ) 必须是 D(ρ||σ) 的常数倍，从而在渐近设置中证明了量子相对熵的唯一性。
• RLD 相对熵 Dᴿ(ρ||σ) 是联合凸的，该结果通过反向检验分析得以确立。
• 基于保真度的发散度 D^F(ρ||σ) = ln||√ρ√σ||₁ 不满足下渐近连续性 (C)，表明其并非量子相对熵的有效候选。
• 对于任意适当归一化的单调度量 g，对所有收敛于 ρⁿ 的序列 ˜ρⁿ，(1/n)D^g(˜ρⁿ||σⁿ) 的下确界等于 D(ρ||σ)，表明其在运行上收敛于标准相对熵。