论个体量子测量结果的不可预测性

我们发展了一种适用于评估个体物理事件（不可）预测性的一般性、非概率预测模型。我们利用该模型首次对一类个体量子测量结果的不可预测性给出了严格证明，这一众所周知的量子属性长期以来被公设或宣称。我们证明了量子非决定论——形式化建模为值不定性——与可预测性假设不相容：对值不定可观测量的测量是不可预测的。该证明本质上利用了先前证明的 Kochen-Specker 定理的加强形式来识别值不定可观测量的。这种形式的量子不可预测性与 Kochen-Specker 定理一样，依赖于三个假设：与量子力学预测的相容性、非语境性，以及与量子态制备基相对应的可观测量的值确定性。我们探讨了不可预测性与不可计算性之间的关系，并证明了值不定量子可观测量的个体测量的不可预测性，是对该特定量子实验任何结果序列的全局强不可计算性的补充，且与之相互独立。最后，我们讨论了一个计算能力尚待确定的超计算真实模型，以及进一步的开问题。