[论文解读] Relative entropy derivation of the uncertainty principle with quantum side information

Patrick J. Coles, Yu Li+1 more|arXiv (Cornell University)|May 24, 2011

Statistical Mechanics and Entropy参考文献 1被引用 8

一句话总结

本文提出了一种基于相对熵的新型证明方法，将含量子侧信息的不确定性原理确立为数据处理不等式。通过利用相对熵的单调性，作者系统性地推导出最小不确定性态——即达到不确定性界限的态——并表明这些态与时间可逆动力学相关联，为量子基础与信息理论中的熵不确定性关系提供了新见解。

ABSTRACT

We give a simple proof of the uncertainty principle with quantum side information, as in [Berta et al. Nature Physics 6, 659 (2010)], invoking the monotonicity of the relative entropy. Our proof shows that the entropic uncertainty principle can be viewed as a data-processing inequality, a special case of the notion that information cannot increase due to evolution in time. This leads to a systematic method for finding the minimum uncertainty states of various entropic uncertainty relations; interestingly such states are intimately connected with the reversibility of time evolution.

研究动机与目标

• 使用相对熵，提供一种简单、信息论化的含量子侧信息不确定性原理的证明。
• 证明不确定性原理自然地作为相对熵单调性导致的数据处理不等式。
• 为熵不确定性关系中的最小不确定性态（MUS）开发系统性识别方法。
• 阐明量子侧信息在不确定性关系中的物理与操作意义，特别是在量子密码学与纠缠探测中的应用。
• 将不确定性界限推广为与状态相关的形式，当测量与先验知识互补时，该界限会增强。

提出的方法

• 以相对熵的单调性为核心原理，表明信息在量子操作下不会增加。
• 将相对熵应用于三体量子态 ρ_abc，其中 b 和 c 分别持有对系统 a 上可观测量的侧信息。
• 利用相对熵的数据处理不等式，推导出互为 unbiased 基（MUBs）下的不确定性关系 H(v|c) + H(w|b) ≥ log d。
• 通过不等式取等号的条件求解，识别出最小不确定性态，将其与密度算符结构下的可逆时间演化相联系。
• 将 MUS 分为两类：Υ（对某一可观测量条件熵为零的态）和 Ω（在不同测量基下具有正交支持的可分态），并识别出不属于这两类的额外 MUS。
• 采用 Schmidt 分解及冯诺依曼熵的性质，分析三体系统中的条件熵与互信息。

实验结果

研究问题

• RQ1 能否在不依赖平滑熵的前提下推导出含量子侧信息的不确定性原理？
• RQ2 当存在量子侧信息时，不确定性界限的操作与物理意义是什么？
• RQ3 量子态在熵不确定性关系中实现等号的必要与充分条件是什么？
• RQ4 最小不确定性态与量子动力学可逆性之间有何关联？
• RQ5 是否存在纠缠态的最小不确定性态，且未被现有分类方案所涵盖？

主要发现

• 含量子侧信息的不确定性原理被证明是相对熵单调性的直接结果，为该原理提供了更深层次的操作与概念基础。
• 最小不确定性态（MUS）被证明恰好是那些在相关量子操作下相对熵不增加的态，从而与时间可逆动力学相联系。
• 对于维度为 d 的互为 unbiased 基，不确定性界限 H(v|c) + H(w|b) ≥ log d 由 Υ 类态精确饱和，包括满足 H(w|c) = 0 或 H(w|b) = 0 的态。
• 第二类 MUS，即 Ω 类，由在不同测量基下具有正交支持的可分态构成，满足 H(z|b) = log s_α 与 H(x|b) = log(d/s_α)，其中 α 适当选择。
• 除 Υ 和 Ω 外，本文在 d=2 和 d=3 时识别出额外的 MUS，例如纠缠态 |ψ⟩_abc = (|0⟩|ϕ_b⟩|ϕ_c⟩ + |1⟩|φ_b⟩|φ_c⟩)/√2，其既非可分态也非 Υ 类态。
• 这些新型 MUS 在 ρ_ab 和 ρ_ac 中均表现出非零量子失谐与纠缠，表明在最小不确定性配置中纠缠并非被排除。