一致性量子推理

借助经典物理学的类比，我们发展了精确规则以形式化标准非相对论量子力学中所涉及的推理过程。对力学系统的经典或量子描述都涉及一个（常隐式选取的）{\it 框架（framework）}以及关于该系统的{\it 陈述（statement）}或断言，该断言在与其关联的框架内非真即假。量子描述并不比经典描述更不“客观”，但在以下方面不同于后者：(i) 框架采用 Hilbert 空间而非经典相空间。(ii) 构造有意义陈述的规则要求关联投影算符彼此对易，并且在含时量子历史情形下需满足一致性条件。(iii) 存在不可兼容的框架，即便其中任一框架均可单独用于描述特定物理系统，它们也无法在构造描述或对其进行逻辑推断时组合。我们引入了一种新型“广义历史”，推广了 Omnès 以及 Gell-Mann 和 Hartle 此前的方案，并给出相应的一致性条件，该条件不涉及密度矩阵且不单独指定时间方向。阐释该形式化的应用包括：自旋测量、双缝衍射，以及从完全量子描述中经典世界的涌现。