[论文解读] Quantum Coupling and Strassen Theorem

Li Zhou, Shenggang Ying+2 more|arXiv (Cornell University)|Mar 28, 2018

Quantum Mechanics and Applications参考文献 8被引用 5

一句话总结

本文在量子概率论中引入了概率耦合的量子推广，建立了斯特拉斯恩定理的量子扩展。证明了对于量子态与可观测量，存在一种耦合，使得一个系统上可观测量的期望值被另一系统上的期望值所界定，通过密度算符与正算符将经典概率界推广至量子领域。

ABSTRACT

We introduce a quantum generalisation of the notion of coupling in probability theory. Several interesting examples and basic properties of quantum couplings are presented. In particular, we prove a quantum extension of Strassen theorem for probabilistic couplings, a fundamental theorem in probability theory that can be used to bound the probability of an event in a distribution by the probability of an event in another distribution coupled with the first.

研究动机与目标

• 将经典概率耦合的概念推广至量子系统，以支持在量子概率中的关系推理。
• 将经典概率论中基础性的斯特拉斯定理扩展至量子领域，用于界定可观测量的期望值。
• 为量子关系Hoare逻辑提供基础，应用于验证量子密码协议与差分隐私。
• 在未来工作中探索量子耦合作为分析量子马尔可夫链与随机游走的工具。

提出的方法

• 将量子耦合定义为复合量子系统上的联合密度算符，其部分迹运算可恢复边缘态。
• 引入量子提升，作为基于量子态支撑集之间关系选择理想耦合的方法。
• 通过正算符与密度矩阵表述量子斯特拉斯定理，以界定可观测量的期望值。
• 利用谱分解与算符序化，通过一系列递减的投影将量子问题约化为经典不等式。
• 证明量子斯特拉斯条件与涉及正算符与态迹的算符不等式之间的等价性。
• 通过经典与量子概率结构之间的对应关系，将量子斯特拉斯定理建立为经典版本的约化。

实验结果

研究问题

• RQ1 能否通过密度算符与联合态将经典概率耦合的概念推广至量子系统？
• RQ2 斯特拉斯定理（通过耦合界定概率）在可观测量期望值上是否存在有效的量子类比？
• RQ3 如何利用量子耦合来推理量子程序与协议的关系性质？
• RQ4 在何种结构与数学条件下，量子耦合能保持顺序与期望值界？
• RQ5 量子斯特拉斯定理是否在无限维希尔伯特空间中成立，还是仅限于有限维？

主要发现

• 通过联合密度算符定义了量子耦合，其部分迹可恢复边缘态，将经典耦合扩展至量子系统。
• 本文证明了量子斯特拉斯定理，通过量子耦合界定一个量子系统上可观测量的期望值，使其不超过另一系统上的期望值。
• 证明了量子斯特拉斯条件与涉及正算符与态迹的一组不等式等价，推广了经典情形。
• 证明技术通过将可观测量分解为投影序列并利用算符单调性，将量子问题约化为经典不等式。
• 量子斯特拉斯定理在有限维希尔伯特空间中建立，无限维情形作为开放问题留待未来研究。
• 该框架为发展用于验证量子程序（尤其在密码学与差分隐私领域）的量子关系Hoare逻辑提供了基础。