[论文解读] Quantum logic and decohering histories

C. J. Isham|ArXiv.org|Jun 16, 1995

Quantum Mechanics and Applications参考文献 12被引用 10

一句话总结

本文提出了一种基于历史命题正交代数的量子力学一致历史诠释的代数框架，将标准量子逻辑推广至时间情境。该形式化体系将历史命题与希尔伯特空间中的投影算符相对应，定义了一个‘历史群’，从而实现对量子事件序列的逻辑一致性推理，关键结果表明退相干机制可选择出可用于概率解释的一致历史集合。

ABSTRACT

An introduction is given to an algebraic formulation and generalisation of the consistent histories approach to quantum theory. The main technical tool in this theory is an orthoalgebra of history propositions that serves as a generalised temporal analogue of the lattice of propositions of standard quantum logic. Particular emphasis is placed on those cases in which the history propositions can be represented by projection operators in a Hilbert space, and on the associated concept of a `history group'.

研究动机与目标

• 将标准量子逻辑推广至时间命题，使用一致历史。
• 基于正交代数构建一个代数框架，用于推理量子事件的序列。
• 阐明退相干在选择可用于概率解释的一致历史集合中的作用。
• 形式化‘历史群’的概念，作为连接量子逻辑与动力演化结构的工具。
• 为基于一致且逻辑自洽的事件序列解释量子力学提供基础。

提出的方法

• 将历史命题形式化为正交代数的元素，将标准量子逻辑的格结构扩展至时间有序事件。
• 将历史命题表示为希尔伯特空间中的投影算符，从而实现正交代数的希尔伯特空间实现。
• 引入‘历史群’的概念，作为一种类似群的结构，作用于历史空间，确保在复合下的一致性。
• 应用退相干条件，选择满足概率一致性（即总和为单位算符且干涉为零）的历史集合。
• 利用代数结构在量子事件序列上定义逻辑运算（例如否定、合取）。
• 建立历史正交代数与投影算符标准量子逻辑之间的对应关系，将后者推广至时间依赖命题。

实验结果

研究问题

• RQ1 如何将标准量子逻辑推广以包含事件的时间序列？
• RQ2 何种代数结构最能捕捉量子力学中一致历史之间的逻辑关系？
• RQ3 在何种条件下，历史集合构成一致且可进行概率解释的框架？
• RQ4 希尔伯特空间中的投影算符如何以逻辑一致的方式表示历史命题？
• RQ5 ‘历史群’在确保时间演化下的一致性和封闭性方面起什么作用？

主要发现

• 历史命题的正交代数提供了一种广义的时间逻辑，将标准量子逻辑推广至事件序列。
• 历史命题可由希尔伯特空间中的投影算符表示，从而实现单位性和一致性的数学表述。
• ‘历史群’的概念作为自然的代数结构浮现，将逻辑一致性与一致历史框架中的动力演化联系起来。
• 退相干确保仅某些历史集合是一致且可进行概率解释的，从而选择出物理上有意义的历史。
• 该形式化体系允许对量子力学进行逻辑一致的处理，其中时间有序命题遵循类似于标准量子逻辑的代数规则。
• 该框架支持基于历史的量子理论一致解释，其中退相干作为选择物理上有效历史集合的标准。