[论文解读] Ontological models and the interpretation of contextuality

Nicholas Harrigan, Terry Rudolph|ArXiv.org|Sep 26, 2007

Quantum Mechanics and Applications参考文献 16被引用 37

一句话总结

本文将本体论模型形式化扩展至包含制备与测量装置的隐变量，使上下文性可被量化分析为系统与装置配置之间的自然相互作用。它识别出‘缺陷’——一种对称性破缺特征，即制备与测量本体态支持不匹配——作为现实量子理论中的关键约束。

ABSTRACT

Studying the extent to which realism is compatible with quantum mechanics teaches us something about the quantum mechanical universe, regardless of the validity of such realistic assumptions. It has also recently been appreciated that these kinds of studies are fruitful for questions relating to quantum information and computation. Motivated by this, we extend the ontological model formalism for realistic theories to describe a set of theories emphasizing the role of measurement and preparation devices by introducing `hidden variables' to describe them. We illustrate both the ontological model formalism and our generalization of it through a series of example models taken from the literature. Our extension of the formalism allows us to quantitatively analyze the meaning contextuality (a constraint on successful realistic theories), finding that - taken at face-value - it can be realized as a natural interaction between the configurations of a system and measurement device. However, we also describe a property that we call deficiency, which follows from contextuality, but does not admit such a natural interpretation. Loosely speaking, deficiency breaks a symmetry between preparations and measurements in quantum mechanics. It is the property that the set of ontic states which a system prepared in quantum state psi may actually be in, is strictly smaller than the set of ontic states which would reveal the measurement outcome psi with certainty.

研究动机与目标

• 将本体论模型形式化推广，以包含制备与测量装置的隐变量，超越仅限于系统的本体态。
• 为将上下文性解释为系统与测量装置配置之间相互作用提供定量框架。
• 识别并分析‘缺陷’——制备与测量本体态支持关系中一种非直观的对称性破缺特征。
• 通过基于对本体态访问的复杂性类表达，将基础量子概念与量子信息理论相联系。
• 通过认知函数与指示函数，阐明量子力学对现实理论施加的操作性与结构性约束。

提出的方法

• 引入广义本体论模型形式化，其中本体态 λ 代表物理实在，认知态 μ(λ|ψ) 为量子态 |ψ⟩ 在 λ 上的概率分布（见式 67）。
• 定义测量结果的指示函数 ξ(k|λ)，确保其支持覆盖整个本体态空间 Λ（式 67），且不同结果的指示函数支持互不相交（式 68），以保持量子完备性与互斥性。
• 施加操作一致性：若密度算符 ρ = ∑p_i |ψ_i⟩⟨ψ_i| 可表示为凸组合，则其认知态必须满足 μ(λ|ρ, S_P) = ∑p_i μ(λ|ψ_i)（式 69），以确保制备程序下的操作一致性。
• 将此推广至POVM：若POVM效应 E = ∑p_i |ψ_i⟩⟨ψ_i|，则要求指示函数满足 ξ(E|λ, S_M) = ∑p_i ξ(ψ_i|λ)（式 70），以在本体论层面保持概率一致性。
• 利用这些约束分析上下文性作为系统与装置配置之间自然相互作用的结果，同时将缺陷识别为一种独立的、非直观的特征。
• 通过将对单个本体态的访问视为计算资源，将该形式化应用于建模复杂性类（如Aaronson所提出的）。

实验结果

研究问题

• RQ1 如何将本体论模型形式化扩展，以包含制备与测量装置的隐变量？
• RQ2 在现实量子理论中，上下文性如何可被解释为系统与装置配置之间自然相互作用？
• RQ3 ‘缺陷’——制备与测量本体态支持之间不对称性——的起源与物理意义为何？
• RQ4 量子态与POVM的凸组合如何约束本体论模型中认知态与指示函数的结构？
• RQ5 该形式化能否用于分析具有对单个本体态访问能力的理论中的计算能力，如复杂性理论模型所示？

主要发现

• 上下文性可被解释为系统本体态与测量装置配置之间自然相互作用的结果，且与操作约束一致。
• 当制备态 |ψ⟩ 所实际处于的本体态集合严格小于能确定揭示结果 |ψ⟩⟨ψ| 的本体态集合时，即出现缺陷，导致制备与测量之间对称性被打破。
• PVM结果的指示函数支持必须覆盖整个本体态空间 Λ（式 67），以确保每个本体态均对应某一结果。
• 对于确定性指示函数，不同PVM结果的指示函数支持必须互不相交（式 68），以确保任一本体态不会产生多个结果。
• 密度算符的凸组合必须在认知态中被镜像反映：μ(λ|ρ, S_P) = ∑p_i μ(λ|ψ_i)，以确保在制备程序下保持操作一致性。
• 以PVM的随机混合实现的POVM要求指示函数满足 ξ(E|λ, S_M) = ∑p_i ξ(ψ_i|λ)，以在本体论层面保持量子概率。