[论文解读] Equivalence of contextuality and Wigner function negativity in continuous-variable quantum optics

Jonas Haferkamp, Juan Bermejo-Vega|arXiv (Cornell University)|Dec 29, 2021

Quantum Mechanics and Applications被引用 4

一句话总结

本文建立了连续变量量子光学中contextuality与Wigner函数负性的严格等价关系，证明了高斯量子系统的非contextual隐变量模型恰好对应于非负Wigner表示。关键结果是，contextuality与Wigner负性均为非经典性的等价概念，且是高斯光学中实现量子计算加速的必要资源。

ABSTRACT

One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigner function description. Conversely, it was known that the Wigner representation provides a non-negative non-contextual description of Gaussian quantum optics. It follows that contextuality and Wigner negativity are equivalent notions of non-classicality and equivalent resources for this quantum subtheory. In particular, both contextuality and Wigner negativity are necessary for a computational speed-up of quantum Gaussian optics. At the technical level, our result holds true for any subfamily of Gaussian measurements that include homodyne measurements, i.e., measurements of standard quadrature observables.

研究动机与目标

• 解决连续变量量子光学中区分量子系统与经典系统的基础性问题。
• 阐明两个核心非经典性概念之间的关系：通过非contextual隐变量模型定义的contextuality与Wigner函数负性。
• 确立在高斯量子光学中，非contextuality等价于存在非负Wigner表示。
• 证明在连续变量系统中，contextuality与Wigner负性均为实现量子计算加速的必要资源。
• 将离散变量系统（如奇维数qudit）中的等价性扩展至连续变量领域，涵盖完整的高斯操作与变换。

提出的方法

• 将离散变量系统（Delfosse et al., 2015）中的证明技术适配至连续变量设置，重点关注相空间函数的可积性与测度论性质。
• 采用Spekkens的广义contextuality框架（2005）定义高斯量子光学中的非contextual隐变量模型，包括态制备、测量与变换。
• 证明任何针对高斯系统与同镜测量的非contextual模型必须容许非负Wigner函数表示（定理5）。
• 证明Wigner表示是完整高斯子理论中非contextual隐变量模型的唯一性。
• 利用量子通道Wigner函数的复合规则（$W_{ ho_2 ho_1} = W_{ ho_2} W_{ ho_1}$）将等价性扩展至序列与动力学contextuality。
• 与独立工作（Booth et al., 2021）进行比较，采用层论框架的contextuality理论，确认在连续变量扩展中的一致性。

实验结果

研究问题

• RQ1 在连续变量量子光学中，高斯态与测量的contextuality是否等价于Wigner函数负性？
• RQ2 高斯量子光学的非contextual隐变量模型能否通过非负Wigner函数表示完全表征？
• RQ3 contextuality与Wigner负性之间的等价性是否可扩展至完整的高斯操作，包括量子通道与变换？
• RQ4 Wigner函数负性与contextuality在实现连续变量量子计算加速中扮演何种角色？
• RQ5 连续变量领域中的等价性与离散变量系统中的已知结果（特别是奇维数qudit）相比如何？

主要发现

• 本文证明了在高斯量子光学中，针对同镜测量的非contextuality等价于Wigner函数的非负性（定理5）。
• 任何高斯量子光学的非contextual隐变量模型均容许唯一的非负Wigner函数表示，确立了Wigner函数作为规范的非contextual模型。
• 反之，若存在非负Wigner函数，则系统可被非contextual隐变量描述，确认了双向等价性。
• 该等价性可扩展至完整的高斯子理论，包括所有高斯态、测量以及完全正迹保测（CPTP）映射，原因在于Wigner函数的优良复合规则。
• 在连续变量量子光学中，contextuality与Wigner函数负性均为实现量子计算加速的必要资源，因为二者均排除了高效的经典模拟。
• 该结果表明，Wigner函数是整个Bosonic高斯子理论中唯一的非contextual隐变量模型，解决了连续变量量子基础中的一个基础性问题。