[论文解读] Contextuality beyond the Kochen-Specker theorem

Ravi Kunjwal|arXiv (Cornell University)|Dec 21, 2016

Quantum Mechanics and Applications参考文献 75被引用 11

一句话总结

本论文通过构建一种不依赖于确定性隐变量的上下文性操作框架，将上下文性扩展至 Kochen-Specker 定理之外。它提出了不假设确定性的非上下文性不等式，将上下文性推广至 n-环情景，并在 Specker 情景与更广泛的量子基础之间建立桥梁，使得在单系统情景中无需贝尔型假设即可进行上下文性的实验检验。

ABSTRACT

When it isn't possible to tell two distinct experimental procedures apart purely from their input/output statistics, then it seems a plausible hypothesis that the two procedures must be physically identical. We call such a hypothesis "noncontextuality", an instance of Leibniz's principle of the identity of indiscernibles. Read in the contrapositive, this hypothesis entails that any physical distinctions between two experimental procedures must necessarily lead to a difference in their operational statistics. The results I present in this thesis concern the failure of this hypothesis -- a failure dubbed "contextuality" -- when one tries to embed an operational theory (such as quantum theory) in the ontological models framework. The Kochen-Specker theorem demonstrates the failure of noncontextuality for deterministic ontological models of quantum theory, i.e., those ontological models where the ontic/physical state of the system fixes the outcome of any projective measurement on the system in a deterministic manner. This thesis goes beyond the Kochen-Specker (KS) theorem by asking what operational facts must be verified in experiments to conclude that Nature does not admit noncontextual ontological models, not even indeterministic ones. This leads to noncontextuality inequalities that are robust to noise in the preparations and measurements. In the particular case of quantum theory, these inequalities are meaningful even when unsharp measurements (or POVMs) are allowed, a feature not shared by the traditional approach to KS-noncontextuality where unsharp measurements are excluded by fiat: allowing them renders even trivial POVMs (proportional to identity) maximally KS-contextual. The sense in which trivial POVMs are indeed "trivial" (or "noncontextual") is clear in our approach: they are simply too noisy to lead to violation of our noncontextuality inequalities.

研究动机与目标

• 开发一种超越 Kochen-Specker 定理假设（特别是确定性隐变量假设）的上下文性框架。
• 将上下文性推广至任意 n-环相容性情景，扩展 Specker 原始的非上下文性赋值寓言。
• 在不假设确定性的前提下推导非上下文性不等式，从而实现在单系统情景中对上下文性的实验检验。
• 统一操作性与图论方法的上下文性研究，特别是将 Spekkens 的操作框架与上下文性情景的图论表征联系起来。
• 探索上下文性在量子信息中的资源属性，包括其对噪声的鲁棒性及其在测量型量子计算中的作用。

提出的方法

• 将 Spekkens 的操作框架应用于上下文性，通过联合可测性结构推导非上下文性不等式，且不假设确定性。
• 通过将相容性关系建模为图结构，将上下文性推广至 n-环相容性情景，并分析由此产生的非上下文性不等式。
• 运用图论工具表征上下文性情景，将其与 Kochen-Specker 图框架联系起来，并将其扩展至非投影可观测量。
• 利用该框架分析上下文性在噪声下的鲁棒性，定义类似于纠缠与非局域性中的“上下文性破坏”通道。
• 将该形式化应用于推导单系统情景中上下文性的实验检验，例如 Mazurek 等人（2015）实验所展示的情景。
• 通过分析经典模拟中知识限制及其极限，建立上下文性与其他量子特性之间的联系。

实验结果

研究问题

• RQ1 能否在不假设确定性隐变量（如 Kochen-Specker 定理中所假设的）的操作框架中表述上下文性？
• RQ2 如何将上下文性从 Specker 的情景推广至任意 n-环相容性结构？
• RQ3 在不假设确定性的前提下，可以推导出哪些非上下文性不等式？它们如何实现对上下文性的实验检验？
• RQ4 除了“非局域性是上下文性特例”的俗语之外，贝尔非局域性与上下文性之间存在何种关系？
• RQ5 能否将上下文性量化为量子信息中的资源？其在噪声与退相干下的鲁棒性如何？

主要发现

• 本论文在不假设确定性的前提下推导出非上下文性不等式，使得在单系统情景中能够实现对上下文性的实验检验，如 Mazurek 等人（2015）实验所展示。
• 它将上下文性推广至 n-环相容性情景，为分析任意循环联合可测性结构中的上下文性提供了系统性框架。
• 该工作在图论表征与 Spekkens 的操作框架之间建立了定量联系，统一了两种主要研究方法。
• 它指出，上下文性可在噪声下稳健分析，且可定义类似于纠缠与非局域性的“上下文性破坏”通道。
• 该框架使非投影可观测量情景中的上下文性检测成为可能，扩展了图论方法的应用范围。
• 结果支持上下文性是实现量子优势的根本资源的观点，尤其在测量型量子计算中，且可在无需贝尔型假设的前提下被验证。