[論文レビュー] E. Specker: "The logic of non-simultaneously decidable propositions" (1960)

M.P. Seevinck|arXiv (Cornell University)|Mar 22, 2011

Linguistic research and analysis参考文献 1被引用数 14

ひとこと要約

Speckerの1960年の論文は、同時に測定できない量子命題の論理的構造を調査し、それらの論理積と論理和が、次元が1または2のヒルベルト空間を除き、ブール格子に一貫して埋め込めないことを示している。この論文は、次元≥3における部分空間の非ブール的性質に起因して、量子論理が古典的命題論理に完全に埋め込めないことを示しており、直交する部分空間に対する一貫した真理値割り当てが不可能であることを示すために位相的議論を用いている。

ABSTRACT

Translation of 'Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen' by Ernst Specker, Dialectica, vol. 14, 239 - 246 (1960).

研究の動機と目的

• 量子力学における同時に決定できない命題の論理的構造を調査すること。
• ヒルベルト空間の部分空間の格子が、論理演算を保存する形でブール格子に埋め込めるかどうかを特定すること。
• 便宜的で補助的な命題を導入することで、古典的命題論理が量子系を一貫して記述できるかどうかを評価すること。
• 三次元以上の場合、直交する部分空間に対する一貫した真理値割り当てが不可能であることを示すこと。
• 同時に決定できない状況における含意、論理積、否定の分析を通じて、古典論理が量子理論において果たせる限界を明確にすること。

提案手法

• 含意を命題間の二項関係として定義し、それがドメイン内の命題であると仮定しないこと。
• 論理演算（論理積や論理和）の一意性を保証するため、命題の同値類を導入すること。
• 同時決定可能性をヒルベルト空間の部分空間における相互直交性として特徴づけること。
• 部分空間の共通部分と張る空間を用いて、同時に決定できない命題の論理積と論理和を定義すること。
• 三次元の実直交空間の部分空間からブール格子への写像を構成し、交わりと結びを保存すること。
• 幾何的議論を用いて、すべての直交する部分空間に対して一貫した真理値割り当てが存在しないことを示し、埋め込みの不可能性を証明すること。

実験結果

リサーチクエスチョン

• RQ1 次元≥3のヒルベルト空間における閉部分空間の格子は、直交する部分空間について、否定、論理積、論理和を保存する形でブール格子に埋め込めるか。
• RQ2 三次元ヒルベルト空間のすべての部分空間に一貫した真理値（真／偽）を割り当て、論理積と論理和の演算が保存されるようにできるか。
• RQ3 量子力学における同時に決定できない命題は、便宜的命題を導入することで、一貫した古典的論理的構造を有するか。
• RQ4 二次元を超える次元で、量子論理の構造がブール的でなくなるのはなぜか。ただし、同時に決定可能な命題のペアについてはブール的である。
• RQ5 含意関係に対して推移性と反射性が量子命題に適用された場合、果たす役割は何か。

主な発見

• 次元1のヒルベルト空間における部分空間の格子はブール的であり、一貫した古典的埋め込みが可能である。
• 次元2のヒルベルト空間では、部分空間の格子をブール格子に埋め込むことができ、論理演算が保存される。
• 三次元以上の場合、そのような埋め込みは存在しない。なぜなら、直交する部分空間に対する一貫した真理値割り当てが幾何学的に不可能だからである。
• この不可能性は位相的障害に起因する。すべての部分空間に対する真理値割り当てが、必要な論理積と論理和の条件を満たすことはできない。
• 埋め込みの失敗は、便宜的な補助命題を導入しても、量子論理が完全に古典的命題論理に還元できないことを示している。
• この分析により、次元≥3において、同時に決定できない命題の論理は本質的に非ブール的であることが確認され、古典論理が量子理論において果たせる限界が確立された。