[論文レビュー] The quantum logic of causal sets

Horacio Casini|arXiv (Cornell University)|May 3, 2002

Advanced Algebra and Logic被引用数 1

ひとこと要約

本稿では、時空における時間的非接続性に基づく直交補完作用素を定義することにより、因果的集合のための量子論的枠組みを提示する。得られる部分集合の代数が完全かつ原子的であり、直交モジュラーなラティスを形成することを証明し、相対論的時空における因果構造の代数的考察の基盤を提供する。

ABSTRACT

The causal structure of space-time offers a natural notion of an opposite or orthogonal in the logical sense, where the opposite of a set is formed by all points non time-like related with it. We show that for a general space-time the algebra of subsets that arises from this negation operation is a complete orthomodular lattice. We think this fact could be used to investigate causal structure in an algebraic context. As a first step in this direction we show that the causal lattice is in addition atomic, find its atoms, and give necesary and sufficient conditions for ireducibility. I.

研究の動機と目的

• 自然な直交性の概念を用いて、因果的集合のための量子論的枠組みを構築すること。
• 時空の因果的構造が、整合的な代数的系を生じるかどうかを調査すること。
• 特に完全性、原子性、非可約性といったラティスの代数的性質が、因果的補完から導かれるラティスにどのように現れるかを特定すること。
• ラティス的言語で因果的構造を形式化することにより、量子重力の代数的アプローチの基盤を築くこと。

提案手法

• 集合の直交補完を、その集合の任意の点と時空的非接続性にあるすべての点の集合として定義する。
• この否定作用素を用いて、時空の部分集合からラティスを構成する。
• 任意の和集合および共通部分集合がラティス内に留まるという事実を示すことにより、ラティスが完全であることを証明する。
• 定義された否定作用素の下で直交モジュラー法則が成り立つことを確認することにより、ラティスが直交モジュラーであることを確立する。
• ラティスの原子を、他のいかなる点とも時空的非接続性にある個々の時空点として特定する。
• 非可約性の条件を分析し、ラティスがより単純な成分に分解できない状況を同定する。

実験結果

リサーチクエスチョン

• RQ1 時空の因果的構造は、明確に定義された否定作用素を介して自然に量子論的構造を生じるのか？
• RQ2 定義された直交補完の下で、部分集合のラティスが完全かつ直交モジュラーであるか？
• RQ3 このラティスの原子は何か？ そして、それらは時空の点とどのように関係しているか？
• RQ4 どのような条件下でラティスは非可約的であり、これは因果的構造にどのような含意を持つのか？

主な発見

• 因果的補完作用素から導かれる部分集合の代数は、完全かつ直交モジュラーなラティスを形成する。
• ラティスは原子的であり、原子は他のいかなる点とも時空的非接続性にある個々の時空点に対応する。
• 本稿では、ラティスが非可約であるための必要十分条件を提示し、非可約性が時空のグローバルな因果的連結性と関連していることを示している。
• この構成により、因果的集合のための厳密な代数的枠組みが確立され、ラティス論理を通じた量子重力のさらなる研究が可能になる。