[论文解读] Reconstructing quantum theory

Lucién Hardy|arXiv (Cornell University)|Mar 6, 2013

Quantum Mechanics and Applications被引用 5

一句话总结

本文从一组不依赖简化公理的物理操作公理出发重构量子理论，使用了信息局部性、层析局部性及可置换性等原则。结果表明，仅有经典概率论与量子理论满足这些公理；当加入一个与经典理论不一致的附加约束时，量子理论便被推导出来。

ABSTRACT

We discuss how to reconstruct quantum theory from operational postulates. In particular, the following postulates are consistent only with for classical probability theory and quantum theory. Logical Sharpness: There is a one-to-one map between pure states and maximal effects such that we get unit probability. This maximal effect does not give probability equal to one for any other pure state. Information Locality: A maximal measurement is effected on a composite system if we perform maximal measurements on each of the components. Tomographic Locality: The state of a composite system can be determined from the statistics collected by making measurements on the components. Permutability: There exists a reversible transformation on any system effecting any given permutation of any given maximal set of distinguishable states for that system. Sturdiness: Filters are non-flattening. To single out quantum theory we need only add any requirement that is inconsistent with classical probability theory and consistent with quantum theory.

研究动机与目标

• 从一组比标准公理更基础且更直观的最小操作公理集出发，推导出量子理论。
• 通过用更物理基础的原理替代早期重构中使用的“简化”公理，消除对这一公理的需求。
• 为量子理论提供一个基础，以指导量子引力理论的发展，使制备、变换与测量在同等地位下被处理。
• 探讨在量子引力中预期存在的不定因果结构下，量子理论是否作为更基本理论的极限情况出现。
• 通过证明不同重构方法的公理可相互转换，统一各种重构路径，揭示其反映的是同一基础结构的不同视角。

提出的方法

• 使用电路框架将量子过程建模为具有确定信息承载能力的系统上的操作。
• 定义关键操作概念：最大测量、最大效应、信息面、非平坦集合，以及作为保持给定面上状态不变的变换的滤波器。
• 应用公理：P1（逻辑清晰性）、P2（信息局部性）、P3（层析局部性）、P4′（可置换性），以及P5（滤波器的坚固性）。
• 采用双张量与算子张量形式化方法处理复合系统，并从公理推导出量子理论的结构。
• 证明仅有经典理论与量子理论满足这些公理，而量子理论通过加入一个与经典概率不相容的约束被唯一确定。
• 依赖算子张量形式化方法，对制备、变换与结果进行对称处理，从而为处理不定因果结构提供可能。

实验结果

研究问题

• RQ1 何种最小操作公理集可唯一重构量子理论，且不依赖简化公理？
• RQ2 信息局部性与层析局部性等原则如何约束与操作现实一致的可能理论？
• RQ3 能否从制备、变换与测量在同等地位下处理的公理中推导出量子理论的结构？
• RQ4 在这一操作框架中，量子理论与经典概率论有何本质区别？
• RQ5 这一重构程序如何为具有不定因果结构的量子引力理论的发展提供启示？

主要发现

• 量子理论与经典概率论是唯一满足五条公理（逻辑清晰性、信息局部性、层析局部性、可置换性、滤波器坚固性）的两种理论。
• 先前重构中必需的简化公理可被坚固性公理（P5）替代，后者确保滤波器不会使信息面变平。
• 通过算子张量形式化实现重构，该形式化对制备、变换与结果进行对称处理，是处理不定因果结构的关键一步。
• 本公理集可与近期其他重构方法（如CDP、Dakić–Brukner、Masanes–Müller）的公理相互转换，表明操作重构中存在深刻的内在统一性。
• 通过加入任何与经典概率不相容但与量子理论相容的公理（如纯态之间存在连续可逆变换），可唯一选出量子理论。
• 该框架自然可推广至具有不定因果结构的一般概率理论，提示可通过因果态形式化路径通向量子引力。