[論文レビュー] Consistent Quantum Reasoning

Robert B. Griffiths|ArXiv.org|May 17, 1995

Quantum Mechanics and Applications参考文献 6被引用数 5

ひとこと要約

本稿は、量子記述の枠組みに基づくアプローチを導入することで、一貫した量子的推論を形式化する。ここでは、文は常に互換性のある枠組み内でのみ真偽値を割り当てられる。可換な射影演算子と、密度行列や時間非対称性の仮定を避ける新しい一貫性条件を用いて、量子力学における一貫した論理的推論のルールを確立する。これにより、スピンや回折、古典的挙動の出現を含む、量子測定や歴史の間で、客観的かつ一貫した推論が可能になる。

ABSTRACT

Precise rules are developed in order to formalize the reasoning processes involved in standard non-relativistic quantum mechanics, with the help of analogies from classical physics. A classical or quantum description of a mechanical system involves a {\it framework}, often chosen implicitly, and a {\it statement} or assertion about the system which is either true or false within the framework with which it is associated. Quantum descriptions are no less ``objective'' than their classical counterparts, but differ from the latter in the following respects: (i) The framework employs a Hilbert space rather than a classical phase space. (ii) The rules for constructing meaningful statements require that the associated projectors commute with each other and, in the case of time-dependent quantum histories, that consistency conditions be satisfied. (iii) There are incompatible frameworks which cannot be combined, either in constructing descriptions or in making logical inferences about them, even though any one of these frameworks may be used separately for describing a particular physical system. A new type of ``generalized history'' is introduced which extends previous proposals by Omnès, and Gell-Mann and Hartle, and a corresponding consistency condition which does not involve density matrices or single out a direction of time. Applications which illustrate the formalism include: measurements of spin, two-slit diffraction, and the emergence of the classical world from a fully quantum description.

研究の動機と目的

• 古典論理に類似した、量子力学における明確で客観的な推論ルールの開発。
• 真理値の割り当ての基礎としての枠組みの概念を導入することで、量子記述における解釈的曖昧さを解消すること。
• 密度行列や優先される時間方向に依存しない、量子の歴史にわたる有効な論理的推論を可能にする一貫性条件の確立。
• 互いに不整合な枠組みは、それぞれが個別に有効であっても、単一の記述や推論に組み合わせられないことの明確化により、量子記述の限界を明らかにすること。
• オムニェス、ゲルマンおよびハートルの先行研究を拡張し、一般化された歴史のための時間対称的一貫性条件を導入すること。

提案手法

• ヒルベルト空間内での完全で一貫性のある可換な射影演算子の集合としての枠組みを導入し、量子文の真理値割り当ての根拠とする。
• 量子文は、特定の枠組み内でのみ真または偽であると定義し、論理的一致性を保証する。
• 密度行列や優先される時間方向を必要としない、一般化された歴史のための新しい一貫性条件を提案する。
• スピン測定や二重スリット回折といった標準的量子系にこの枠組みを適用し、一貫性と論理的整合性を検証する。
• 形式的枠組みを用いて、一貫性のある枠組みを通じて、量子力学から古典的挙動がどのように出現するかを分析する。
• 互いに不整合な枠組み（それぞれが個別に有効であっても）は、単一の記述や推論に組み合わせられないことを示す。

実験結果

リサーチクエスチョン

• RQ1 量子的推論をどのように形式化すれば、論理的一致性を保ちつつ客観的になるか？
• RQ2 量子の歴史の集合が一貫しており、同時に真理値を割り当てられるための条件は何か？
• RQ3 なぜ量子力学における特定の枠組みは不整合であり、なぜそれらを単一の記述に組み合わせられないのか？
• RQ4 一貫性のある枠組みを用いることで、どのようにして古典的世界が完全に量子力学的記述から出現するのか？
• RQ5 時間は量子的推論において果たす役割は何か？また、時間対称性を破らずに一貫性を定義できるか？

主な発見

• 本稿は、量子記述が古典的記述と同様に客観的であるが、記述の領域を定義する枠組みの選択に依存することを確立している。
• 一貫した量子的推論には、文に関連するすべての射影演算子が可換でなければならないことが求められ、これにより枠組み内での論理的適合性が保証される。
• 密度行列や優先される時間方向に依存しない、一般化された歴史のための新しい一貫性条件が導入され、時間対称的である。
• 互いに不整合な枠組みは、それぞれが個別に一貫していても、単一の記述や推論に組み合わせられない。これは、量子記述および推論における根本的な制限を示している。
• 形式的枠組みは、スピン測定や二重スリット回折といった標準的量子現象を、一貫した論理的構造内でうまく説明できることを示している。
• 古典的挙動の出現は、粗粒度化された歴史が古典的類似の一貫性を示す枠組みを選択することに起因する、と説明できる。