[论文解读] A Collection of Probabilistic Hidden-Variable Theorems and Counterexamples

Patrick Suppes, J. Acácio de Barros+1 more|ArXiv.org|Oct 8, 1996

Bayesian Modeling and Causal Inference参考文献 2被引用 9

一句话总结

本文建立了量子力学中隐变量存在性与所有可观测量（无论离散或连续）联合概率分布存在性之间的基础性概率等价关系。它形式化证明了这一等价性，提供了对先前猜想关系的反例，并将结果扩展至高自旋体系，为量子基础中的隐变量理论提供了严格的概率框架。

ABSTRACT

The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the general equivalence of the existence of a hidden variable and the existence of a joint probability distribution of the observed quatities, whether finite or continuous.

研究动机与目标

• 将量子系统中隐变量存在性与所有可观测量联合概率分布存在性之间的普遍等价性形式化并证明。
• 通过提供对隐变量模型与联合分布之间关系的猜想的反例，解决量子基础领域长期存在的猜想。
• 通过将高自旋量子体系映射为两态变量，将理论框架扩展至包含高自旋体系。
• 阐明概率隐变量模型中联合概率分布存在的条件。
• 为量子力学中的隐变量理论（特别是在非局域性和contextuality背景下）提供严格的概率基础。

提出的方法

• 形式化证明隐变量存在性与所有观测结果联合概率分布存在性之间的等价性。
• 运用测度论与概率论技术分析有限与连续结果空间。
• 构造显式反例，以反驳联合分布与非上下文隐变量模型之间推测性关系的猜想。
• 将高自旋量子体系（如自旋-1、自旋-3/2）映射为有效两态体系，以简化分析。
• 应用概率论定理于量子测量情境，特别关注联合分布的相容性与一致性。
• 融入对称性与不变性原理，将结果推广至特定模型之外。

实验结果

研究问题

• RQ1 在何种条件下，隐变量的存在性可推出所有可观测量联合概率分布的存在？
• RQ2 若隐变量存在，是否所有量子关联均可由联合概率分布再现？
• RQ3 是否存在对‘非上下文隐变量模型必然导致所有相容测量联合分布’这一猜想的反例？
• RQ4 如何在保持概率一致性的同时，将高自旋量子体系简化为两态模型？
• RQ5 在非局域设置下，为使联合分布与量子力学预测一致，还需施加哪些额外约束？

主要发现

• 本文证明：当且仅当所有观测结果存在联合概率分布（无论有限或连续）时，隐变量模型才存在。
• 构造了反例，以证伪‘所有量子关联均可通过非上下文隐变量模型与联合分布解释’的猜想。
• 证明联合分布的存在性是非上下文隐变量模型存在的必要且充分条件。
• 该框架成功地将高自旋体系（如自旋-1）映射为两态变量，使更简单的概率工具得以应用。
• 识别出联合分布存在性的额外条件，明确了隐变量模型适用范围的边界。
• 通过提供对量子力学中隐变量理论的精确概率刻画，解决了早期表述中的模糊性。