标题： 反对宏观实在论的更强定理 显示英文标题

标题： A Stronger Theorem Against Macro-realism

摘要： 宏观实在论是一种认为某些“宏观”可观测量总是具有确定值的立场：例如，桌子处于某种确定的位置，即使我们不知道它确切是什么位置。 传统观点认为，通过假设宏观实在论可以推导出Leggett-Garg不等式，该不等式限制了某些实验可能的统计特性。 由于量子实验可以违反Leggett-Garg不等式，因此这被视为排除了量子宇宙中宏观实在论的可能性。 然而，最近的分析揭示了Leggett-Garg论证中的漏洞，这些漏洞允许许多类型的宏观实在论与量子理论以及Leggett-Garg不等式的违反相容。 本文采取了一种不同的方法来排除宏观实在论，并得到了一个比Leggett-Garg论证更强的关于量子理论中宏观实在论的否定性定理。 这种方法使用了本体模型框架：这是一种优雅的方式来推理量子理论的基础问题，已成功产生了许多其他近期成果，例如PBR定理。 显示英文摘要

摘要： Macro-realism is the position that certain "macroscopic" observables must always possess definite values: e.g. the table is in some definite position, even if we don't know what that is precisely. The traditional understanding is that by assuming macro-realism one can derive the Leggett-Garg inequalities, which constrain the possible statistics from certain experiments. Since quantum experiments can violate the Leggett-Garg inequalities, this is taken to rule out the possibility of macro-realism in a quantum universe. However, recent analyses have exposed loopholes in the Leggett-Garg argument, which allow many types of macro-realism to be compatible with quantum theory and hence violation of the Leggett-Garg inequalities. This paper takes a different approach to ruling out macro-realism and the result is a no-go theorem for macro-realism in quantum theory that is stronger than the Leggett-Garg argument. This approach uses the framework of ontological models: an elegant way to reason about foundational issues in quantum theory which has successfully produced many other recent results, such as the PBR theorem.