[論文レビュー] A short introduction to the quantum formalism[s]

François David|arXiv (Cornell University)|Nov 24, 2012

Quantum Mechanics and Applications参考文献 83被引用数 3

ひとこと要約

本稿は、量子力学の核となる形式的枠組みである正準的、代数的、量子論理的枠組みについて、技術的でない一貫性のある紹介を提供している。因果性、可逆性、局所性という共通の基盤に焦点を当て、それらの枠組みがどのように相互に接続されており、測定、もつれ、非局所性といった重要な量子概念をどのように裏付けるかを示している。理論物理学および数学の大学院研究者を対象とした統一的視点を提供する。

ABSTRACT

These notes are an elaboration on: (i) a short course that I gave at the IPhT-Saclay in May-June 2012; (ii) a previous letter on reversibility in quantum mechanics. They present an introductory, but hopefully coherent, view of the main formalizations of quantum mechanics, of their interrelations and of their common physical underpinnings: causality, reversibility and locality/separability. The approaches covered are mainly: (ii) the canonical formalism; (ii) the algebraic formalism; (iii) the quantum logic formulation. Other subjects: quantum information approaches, quantum correlations, contextuality and non-locality issues, quantum measurements, interpretations and alternate theories, quantum gravity, are only very briefly and superficially discussed. Most of the material is not new, but is presented in an original, homogeneous and hopefully not technical or abstract way. I try to define simply all the mathematical concepts used and to justify them physically. These notes should be accessible to young physicists (graduate level) with a good knowledge of the standard formalism of quantum mechanics, and some interest for theoretical physics (and mathematics). These notes do not cover the historical and philosophical aspects of quantum physics.

研究の動機と目的

• 歴史的・哲学的発展から逸脱せずに、主要な量子形式的枠組みを統一的かつ物理的動機づけに基づいて概説すること。
• 因果性、可逆性、局所性／分離可能性という原則が、量子形式的枠組みのあらゆる分野において統一的原理として機能することを明確にすること。
• 特に代数的および量子論理的アプローチといった高度な形式的枠組みを、標準的な量子力学の訓練を受けた大学院レベルの物理学者にも理解可能にする。
• コンテキスト性、非局所性、量子重力といった基礎的問題にわずかに触れるが、構造的整合性に焦点を当てる。
• 代数的および量子論理的枠組みが自然に因果的および分離可能な構造を強調しており、量子重力にとって堅牢な基礎を提供する可能性を主張すること。

提案手法

• 正準的枠組みを出発点とし、状態、観測量、ユニタリダイナミクス、密度行列をレビューする。
• C*-代数枠組みを導入し、観測量を∗-代数の自己随伴元として定義し、状態を正の線形汎関数として定義する。
• GNS構成を用いて、代数的状態からヒルベルト空間表現を導出し、抽象的代数と標準的量子力学を結びつける。
• 正射影演算子の正交モジュラー格子を用いて量子論理を展開し、測定結果に関する命題をモデル化する。
• Gleasonの定理を用いて、次元が3以上のヒルベルト空間における射影の格子上の確率測度が、密度行列によって与えられることを示し、量子確率の根拠を立証する。
• 代数的量子場理論とスーパー選択セクターを通じて、局所性と分離可能性を扱い、因果的独立性に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 正準的、代数的、量子論理的枠組みが量子力学においてどのように相互に接続されており、それらの背後にある共通の原則は何であるか？
• RQ2 因果性、可逆性、局所性が、ヒルベルト空間に依存しない形で、量子理論の基礎的原則と見なされる程度はどの程度か？
• RQ3 GNS構成は、抽象的C*-代数とヒルベルト空間表現との間にどのように橋渡しを行うか？
• RQ4 Bornの法則は量子論理枠組みにおいて果たす役割は何か？Gleasonの定理はそれをどのように正当化するか？
• RQ5 代数的および量子論理的アプローチが、因果的および分離可能な構造に焦点を当てていることから、量子重力のより基本的な枠組みを提供できるか？

主な発見

• C*-代数とGNS構成に基づく代数的枠組みは、ヒルベルト空間量子力学を厳密かつ物理的動機づけに基づいて導出する。
• Gleasonの定理は、次元が3以上のヒルベルト空間における射影の格子上の任意の確率測度が、密度行列によって与えられることを示し、Bornの法則の正当化を提供する。
• 正交モジュラー格子に基づく量子論理枠組みは、量子測定の論理的構造を捉え、分配法則が量子論理で成立しない理由を説明する。
• 本稿は、ヒルベルト空間の複雑な構造が、力学的要請と局所性の要請から自然に生じることを示している。これは、恣意的な仮定ではなく、自然に導かれるものである。
• スーパー選択セクターは、代数的枠組みにおいて自然に出現し、物理的に異なる量子系を分類する手段を提供する。
• 代数的および量子論理的枠組みは、空間と時間を因果的および分離可能な関係に従って二次的とみなしており、量子重力にとって堅牢な基礎を示唆している。