非上下文与上下文干涉测量

Feynman 曾有名言，单粒子干涉是“一种无法用任何经典方式解释的现象，其中蕴含着量子力学的核心”。在本文中，我们表明干涉的部分现象学可以通过“经典”方式重现，即利用量子模拟逻辑 (QSL) 形式体系的扩展来重现 Elitzur-Vaidman 炸弹测试仪（包括其改进版本）。我们的结果改进并简化了 Catani \emph{et al} 先前的结果，后者依赖于一个涉及“玩具场论”的复杂得多的扩展。我们还表明，并非所有单粒子干涉都能通过如此简单的扩展（包括 Catani et al 的扩展）来解释，我们通过证明 Hofmann 三路径干涉仪在非常特定的意义上是“非经典”的：它违反了 Kochen-Specker 非上下文不等式。鉴于我们对 QSL 的扩展和 Catani et al 的扩展都是 \emph{非上下文的}——因此无法重现 Hofmann 三路径干涉仪的上下文行为——根据 Feynman 的观点，该干涉仪的行为正是蕴含量子力学核心的现象的恰当例子。