强于标准 Leggett-Garg 不等式的宏观实在论不等式

在两方、两输入与两输出测量场景中，唯一相关的 Bell 不等式是 Clauser-Horne-Shimony-Holt（CHSH）形式。它们也提供了定域实在论的充要条件。任何其他形式，如 Clauser-Horne 与 Wigner 形式，都归约为 CHSH 形式。标准 Leggett-Garg 不等式常被视为 CHSH 不等式的时间类比。但它们并未提供宏观实在论的充要条件。因此，存在空间来表述不同于且强于标准 Leggett-Garg 不等式的新宏观实在论不等式，以检验宏观实在论与量子理论之间的相容性。在本文中，我们在三时间场景中提出三类不同的宏观实在论不等式：（i）在宏观实在论模型与量子理论中均等价于标准 Leggett-Garg 不等式者。（ii）在宏观实在论模型中等价于标准不等式，但在量子理论中不等价且更强的一类不等式。（iii）在宏观实在论模型与量子理论中均不等价于所有 Leggett-Garg 不等式表述的另一类不等式。这类宏观实在论不等式在特定情况下揭示了宏观实在论与量子理论的不相容性，即便任何其他 Leggett-Garg 不等式表述均未能如此。我们将（ii）类不等式的表述扩展至四时间与两时间测量场景。进一步，我们简要讨论了基于无时间信号条件导出的宏观实在论的替代表述。