[論文レビュー] Quantum logic and decohering histories

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

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

ひとこと要約

この論文は、量子力学の整合的歴史解釈を代数的枠組みで定式化し、歴史的命題の正規直交代数を用いて、標準的量子論理を時間的文脈に一般化する。歴史的命題がヒルベルト空間内の射影作用素に対応することを確立し、一貫した論理的推論を可能にする『歴史群』を定義する。主要な結果として、デコherenceが確率的解釈が可能な一貫した歴史の集合を選択することを示している。

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'.

研究の動機と目的

• 整合的歴史を用いた時間的命題への標準的量子論理の一般化を図ること。
• 正規直交代数に基づく代数的枠組みを構築し、量子イベントの系列に関する推論を行うこと。
• デコherenceが確率的解釈可能な一貫した歴史の集合を選択する役割を明確にすること。
• 量子論理と力学的発展を結ぶ構造としての『歴史群』の概念を形式化すること。
• 一貫性があり論理的に整合性のあるイベントの系列に基づいて、量子力学を解釈する基盤を提供すること。

提案手法

• 歴史的命題を正規直交代数の要素として形式化し、標準的量子論理のラティス構造を時系列順のイベントに拡張する。
• 歴史的命題をヒルベルト空間内の射影作用素として表現し、正規直交代数のヒルベルト空間実現を可能にする。
• 歴史の空間上で作用する群に類似した構造としての『歴史群』の概念を導入し、合成に関して一貫性を保証する。
• デコherence条件を適用して、確率的整合性を満たす（すなわち、和が恒等作用素であり、干渉がゼロである）歴史の集合を選択する。
• 代数的構造を用いて、量子イベントの系列における論理演算（例：否定、論理積）を定義する。
• 歴史の正規直交代数と射影作用素の標準的量子論理との間の対応関係を確立し、後者を時間依存命題に一般化する。

実験結果

リサーチクエスチョン

• RQ1 標準的量子論理は、どのようにしてイベントの時間的系列を含むように一般化できるか？
• RQ2 量子力学における一貫した歴史の論理的関係を最もよく捉える代数的構造は何か？
• RQ3 どのような条件下で、歴史の集合が一貫性があり、確率的に解釈可能な枠組みを形成するか？
• RQ4 ヒルベルト空間内の射影作用素は、どのようにして論理的に整合性のある方法で歴史的命題を表すか？
• RQ5 『歴史群』は、時間発展における一貫性と閉包性を保証するために果たす役割は何か？

主な発見

• 歴史的命題の正規直交代数は、標準的量子論理をイベントの系列にまで拡張する一般化された時間的論理を提供する。
• 歴史的命題はヒルベルト空間内の射影作用素として表現可能であり、ユニタリかつ一貫した数学的定式化を可能にする。
• 『歴史群』の概念は、整合的歴史枠組みにおける論理的一致性と力学的発展を結ぶ自然な代数的構造として現れる。
• デコherenceにより、一貫性があり確率的に解釈可能な歴史の集合に限定され、物理的に意味のある歴史が選択される。
• この形式的枠組みにより、時間順序の命題が標準的量子論理に類似した代数的規則に従う論理的整合性のある量子力学の取り扱いが可能になる。
• この枠組みは、デコherenceが物理的に妥当な歴史の集合を選択する基準として機能するため、歴史に基づく量子理論の一貫した解釈を支援する。