[論文レビュー] Contexts in quantum, classical and partition logic

Karl Svozil|arXiv (Cornell University)|Sep 27, 2006

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

ひとこと要約

本稿では、共測定可能な観測量の最大集合としてのコンテキストを導入し、古典的、量子的、一般化されたウーム／オートマトン論理を統合する。量子力学は、ヒルベルト格子におけるコンテキスト（ブロック）の貼り合わせから生じることを示しており、コンテキスト性とグレーゾンの定理がボーン則を強制する。一方、古典論理では、二値測度による全知と確率的整合性が可能である。

ABSTRACT

Contexts are maximal collections of co-measurable observables "bundled together" to form a "quasi-classical mini-universe." Different notions of contexts are discussed for classical, quantum and generalized urn-automaton systems.

研究の動機と目的

• 古典的、量子的、一般化されたウーム／オートマトン系において、コンテキストを最大の共測定可能な観測量の集合として形式化すること。
• コンテキスト性が、量子的確率と論理が古典的ものとどのように異なるかを明確にすること。
• 論理と確率がコンテキストの貼り合わせから生じる統一的枠組みを確立すること。
• 特にコヘン＝スペイカーの定理とベルの定理に関連して、コンテキスト性の実験的・解釈論的意味を明らかにすること。
• 分割論理とオートマトンモデルにおける二値状態の存在が、確率割り当てにどのように制約をもたらすかを調査すること。

提案手法

• 量子論理におけるヒルベルト格子内に、コンテキストを最大のブール部分代数（ブロック）として定義する。
• ブール代数と二値測度を用いて、古典的コンテキストと確率をモデル化する。
• グレーゾンの定理を適用し、量子コンテキストにおけるボーン則を導出し、確率測度が二値状態の凸結合であることを示す。
• 一般化されたウームモデルとオートマトンモデルを、量子論理の離散的アナロジーとして構築し、コンテキストを入出力挙動によって定義する。
• 直接的構成と分散なし状態スキームを用いて、オートマトンモデルと一般化されたウームモデルの論理的同等性を示す。
• 測定装置を通じて、互いに不測定可能な測定も操作的に関連付けることができる「コンテキスト翻訳原理」を導入する。

実験結果

リサーチクエスチョン

• RQ1 古典的、量子的、オートマトン系におけるコンテキストは、論理的・確率的構造においてどのように異なるか？
• RQ2 コンテキスト性が、量子力学におけるボーン則をどのように強制するか？
• RQ3 ブール部分代数上の二値測度から、古典的確率は完全に回復可能か？そして、量子系ではなぜそれが失敗するのか？
• RQ4 一般化されたウームモデルとオートマトンモデルは、完全なヒルベルト空間構造なしに、どのように量子的類似のコンテキスト性を実現するか？
• RQ5 複数のオートマトンで構成されるスイングレット状態における連関確率の操作的意味は何か？そして、それらはコンテキスト性とどのように関係するか？

主な発見

• 量子論理は、ブール部分代数（コンテキスト）の連続的な貼り合わせから生じ、その結果としてヒルベルト格子が得られる。
• コヘン＝スペイカーの定理は、すべてのコンテキストに同時に二値測度が存在できないことを示し、非コンテキスト的隠れ変数理論を排除する。
• グレーゾンの定理は、量子コンテキスト上の任意の確率測度が、二値状態の凸結合である必要があることを示し、ボーン則に導く。
• オートマトンおよび一般化されたウームモデルでは、コンテキスト構造が状態遷移規則に符号化されており、複数のオートマトン系における連関確率は操作的に意味を持つ。
• 古典論理では、単一のコンテキストが全知を可能にするが、量子的およびオートマトン系ではコンテキスト性と操作的制限が強制される。
• コンテキスト翻訳原理は、測定装置が、結果が確率的であっても、一方のコンテキストをもう一方にマッピングできることを説明し、操作的整合性を保つ。