[論文レビュー] Quantum Logical Structures For Identical Particles

Federico Holik, Décio Krause+1 more|arXiv (Cornell University)|May 22, 2013

Quantum Computing Algorithms and Architecture参考文献 36被引用数 3

ひとこと要約

本論文は、混合状態を凸構造内の原子として組み込むことで、従来の量子論理の制限を克服する、同一粒子の複合系のための新しいラティス論理的量子論理枠組みを構築する。主な貢献は、同一粒子系におけるエンタングル状態の論理的および確率的構造を捉える形式的枠組みを提供することであり、これにより、非分配的論理と不変性の扱いが一貫して可能になる。

ABSTRACT

In this work we discuss logical structures related to indistinguishable particles. Most of the framework used to develop these structures was presented in [17, 28] and in [20, 14, 15, 16]. We use these structures and constructions to discuss possible ontologies for identical parti-cles. In other words, we use these structures in order to characterize the logical structure of quantum systems for the case of indistinguishable particles, and draw possible philosoph-ical implications. We also review some proposals available in the literature which may be considered within the framework of the quantum logical tradition regarding the problem of indistinguishability. Besides these discussions and constructions, we advance novel technical results, namely, a lattice theoretical structure for identical particles for the finite dimensional case. This kind of approach was not present in the scarcely literature of quantum logic and indistinguishable particles.

研究の動機と目的

• 同一粒子系を論理的に特徴づける基礎的問題、特にそれらの非個体性に光を当てるため。
• もつれや対称化によって混合状態の部分系をとる場合に、標準的量子論理がその記述に限界を示すのを克服するため。
• 混合状態を基本的要素として組み込むラティス論理的構造を構築し、同一粒子のための一貫した命題論理を可能にするため。
• 同一粒子が個体ではないという「受容された見解」との整合性を保つため、古典的同一性の仮定を避けることで、量子力学の基礎に適合する形式的枠組みを提供するため。
• 操作的量子論理のアプローチを拡張し、状態の凸集合を含めることで、古典的および量子的行動の構造的比較を可能にするため。

提案手法

• 操作的量子論理（OQL）フレームワークを採用し、量子系における基本的検定から命題のラティスを構築する。
• 状態空間の凸部分集合を確率空間として扱い、混合状態を導出された実体ではなく、ラティス内の基本的原子として扱う。
• [17, 28, 29] の形式的枠組みを用い、複合系の状態から部分系の状態への写像が、部分系が混合状態にあっても保存される新しいラティス構造を定義する。
• 二粒子系の対称化（ボソン的またはフェルミオン的）状態を明示的に組み込み、スピン統計則の接続性と第二量子化と整合性を保つ。
• 非分配的論理を反映する非古典的量子命題の性質をモデル化するため、ラティス論理的道具を用いる。
• 対称化の仮説を基礎的公理として採用せず、凸状態空間の論理的構造に埋め込むことで、それを回避する。

実験結果

リサーチクエスチョン

• RQ1 部分系が混合状態にある場合に、標準的量子論理が機能しないため、同一粒子の複合系に対して一貫した量子論理的構造をどのように定式化できるか。
• RQ2 混合状態を原始的要素として組み込むラティス論理的枠組みを構築できるか。これにより、もつれた同一粒子の論理的記述が可能になるか。
• RQ3 提案された構造が、「同一粒子は非個体である」という「受容された見解」をどの程度支持するか。また、古典的同一性に依存しない仕組みはどのように実現されるか。
• RQ4 古典的複合系と比較して、同一粒子系の論理的構造は、分配法則や確率空間表現の観点でどのように異なるか。
• RQ5 凸状態ラティスに論理を根拠とすることで、隠れ変数や原始的「この性質」を排除した量子力学の解釈のより明確な基礎を形式的枠組みが提供できるか。

主な発見

• 本論文は、有限次元の同一粒子系のための、これまでの量子論理文献に存在しなかった、新しいラティス論理的枠組みを構築する。
• 状態空間の凸部分集合を確率空間として扱うことで、混合状態をラティス内の原子として表現可能となり、標準的OQLの主要な制限を克服する。
• 形式的枠組みは、対称化によって部分系が混合状態にある場合でも、同一粒子の複合系の状態と部分系の状態との間の関係を的確に保証する。
• 古典的同一性を避けることで、同一粒子が個体ではないという「受容された見解」を一貫した形で形式的根拠づけた。
• 量子力学における余剰構造問題（古典的論理と量子非個体性の矛盾）が、基礎論理枠組みの再定義によって解決可能であることを示した。
• この枠組みは、古典的および量子的行動の構造的比較を可能にし、同一粒子における交換相関の非古典的性質を浮き彫りにする。