[论文解读] A Kochen-Specker Theorem for Imprecisely Specified Measurement

N. David Mermin|ArXiv.org|Dec 16, 1999

Scientific Measurement and Uncertainty Evaluation被引用 18

一句话总结

本文通过证明量子力学概率在小的实验扰动下仍保持连续，驳斥了Meyer与Kent关于有限实验精度可使Kochen-Specker（KS）定理失效的主张。研究表明，尽管Meyer-Kent稠密可着色集合可近似不可着色的可观测量，但它们必然缺乏KS不可着色集合中可交换子集的完整拓扑结构，从而在实验不精确性下仍保持该定理的物理意义。

ABSTRACT

A recent claim that finite precision in the design of real experiments ``nullifies'' the impact of the Kochen-Specker theorem, is shown to be unsupportable, because of the continuity of probabilities of measurement outcomes under slight changes in the experimental configuration.

研究动机与目标

• 挑战Meyer与Kent提出的观点，即有限实验精度使Kochen-Specker（KS）定理失效。
• 阐明为何稠密的非contextual可着色集合（即Meyer-Kent集合）无法在真实实验中完全复现KS不可着色集合的结构。
• 确立量子概率在小实验变化下的连续性，确保KS定理即使在测量不完美时仍具有物理意义。
• 证明Meyer-Kent集合中缺乏与KS不可着色集合中可交换子集的完全对应关系，从而削弱其主张的定理失效论点。
• 通过表明非contextual赋值无法在所有相关可观测量子集中重现量子约束，强化量子力学中contextual值赋值的必要性。

提出的方法

• 分析KS不可着色集合中可交换可观测量的拓扑网络，并与Meyer-Kent稠密可着色集合的结构进行比较。
• 利用量子概率在实验配置发生微小变化时的连续性，论证结果统计在实验不精确性下仍保持稳定与可预测。
• 证明由于KS定理的拓扑约束，KS不可着色集合与MK可着色集合之间不可能存在可交换子集的一一对应关系。
• 将该论证应用于真实实验及仅含稠密物理可观测量的假想宇宙，表明KS定理仍可通过连续性作用于附近的物理可观测量。
• 主张物理学中使用实数的合理性源于概率的连续性，即使测量为有限精度，该连续性依然成立。
• 将KS定理的物理相关性重新定义为并非依赖于完美测量，而是依赖于在随机选取实验中禁用结果的频率。

实验结果

研究问题

• RQ1 Meyer与Kent声称有限实验精度可使Kochen-Specker定理失效，这一主张是否成立？
• RQ2 稠密的非contextual可着色集合（即Meyer-Kent集合）是否保持了KS不可着色集合的完整可交换子集结构？
• RQ3 量子概率在小实验扰动下的连续性是否足以在真实实验中维持KS定理的物理相关性？
• RQ4 为何Meyer-Kent集合中可交换子集的不完全对应关系使其无法真正使KS定理失效？
• RQ5 量子力学中使用实数与测量概率的物理连续性之间有何关联？

主要发现

• 即使在有限实验精度下，KS定理仍具有物理相关性，因为量子概率随实验设置的微小变化而连续变化。
• Meyer-Kent稠密可着色集合无法复现KS不可着色集合的所有相互可交换子集，意味着它们至少在一个子集中无法满足量子力学约束。
• KS不可着色集合与MK可着色集合之间可交换子集的完全对应关系不存在，意味着MK集合中的非contextual值赋值无法一致地表示所有量子预测。
• 即使在实验不精确性下，若对KS不可着色集合的理想化测量分配非contextual值，也会导致量子力学所禁止的结果出现。
• 结果概率的连续性确保了略微不完美的实验的统计行为仍反映KS定理所确立的非contextual不可能性。
• 在量子力学中使用实数的物理合理性源于概率的连续性，这使得KS定理仍可适用于附近物理可观测量，即使无法获得精确值。