[論文レビュー] A logical treatment of special relativity, with and without faster-than-light observers

Benjamin Hoffman|arXiv (Cornell University)|Jun 25, 2013

Noncommutative and Quantum Gravity Theories参考文献 12被引用数 4

ひとこと要約

本稿では、特殊相対性理論を一階論理的公理系として形式化し、光より遅い（STL）および光より速い（FTL）観測者を含む最小限の未定義述語の集合を用いて記述する。FTL拡張理論のモデルが実閉順序体上の時空構造とちょうど一致することを示す表現定理を確立することで、論理体系の完全性および決定可能性を証明し、FTL状況における主要な物理的述語を一般化する。

ABSTRACT

There are three goals of this thesis. First: to present a concise yet accessible description of basic mathematical logic and model theory. Second: to develop an axiomatization of special relativity using only two undefined predicates. Ideally, these axioms should be empirically verifiable and supported by a large body of evidence. Finally: to weaken this axiomatization so as to allow for the existence of faster-than-light observers, which are normally excluded from the theory of special relativity. The modifications to the axiom system should be as slight as possible, and should be motivated by the question: what features of the original axiom system preclude the existence of faster-than-light observers?

研究の動機と目的

• 観測者と信号の2つの未定義述語のみを用いて、特殊相対性理論の簡潔で経験的根拠を持つ一階論理的公理系を構築すること。
• 最小限の公理を変更することで、標準的な特殊相対性理論の枠組みを光より速い観測者を含むように拡張し、論理的整合性を保つこと。
• 拡張理論のすべてのモデルが実閉順序体上の時空構造と同型であることを特徴付ける表現定理を提供すること。
• 同時性、中間性、固有時間などの主要な物理的述語を、STLおよびFTLの両状況に適用可能な形に一般化すること。
• 拡張理論が完全かつ決定可能であることを証明し、すべての論理的帰結を導出・検証可能であることを保証すること。

提案手法

• 観測者と信号の2つのスライス構造を用いた一階論理における特殊相対性理論の形式化。送信（T）と相対性（R）の原始的関係を導入。
• Axの枠組みに基づく最小公理系SimpleRelを導入。因果性、信号伝播、時空内での観測者の振る舞いを捉える公理を含む。
• SimpleRelFTLに拡張する際、AxFTL1–AxFTL3の公理を追加し、FTL観測者を許容しつつ論理的整合性とミンコフスキー幾何学との整合性を保つ。
• 時空線のタイプに基づき、STLおよびFTL観測者に適用可能な一般化された幾何的述語Bw^FTL、Eq^FTL、Sim^FTL、Δ^FTL、τ^FTLを定義。
• 表現定理の証明：SimpleRelFTLのすべてのモデルは、実閉順序体F上の構造M_F^FTLと同型である。これにより、モデルと時空幾何学との間の正確な対応関係を確立。
• モデル理論的道具（同値性、定義可能性、完全性など）を用いて、拡張理論の論理的性質を分析。

実験結果

リサーチクエスチョン

• RQ1 特殊相対性理論を一階論理的体系で完全に特徴付けるために必要な最小限の論理的公理は何か？
• RQ2 標準的な特殊相対性理論におけるどの仮定が、光より速い観測者の存在を論理的に排除しているのか？
• RQ3 光より遅いおよび光より速い観測者を含む整合的な一階論理的枠組みを構築できるか？
• RQ4 同時性や固有時間といった物理的述語を、論理的整合性を損なわずにFTL観測者に適用可能にするにはどうすればよいか？
• RQ5 FTL観測者を含む拡張理論は完全かつ決定可能か？

主な発見

• 理論SimpleRelFTLは完全かつ決定可能であり、公理のすべての論理的帰結を導出・検証可能である。
• SimpleRelFTLのすべてのモデルは、実閉順序体F上の構造M_F^FTLと同型である。これにより、論理的モデルと時空幾何学との間の明確な対応関係が確立される。
• 観測者aがbに対して平行であり、因果的に関係がない場合、aのbに関する関係的双対が存在し、一意に定義される。これは表現定理により証明された。
• 一般化された述語Bw^FTL、Eq^FTL、Sim^FTL、Δ^FTL、τ^FTLは、標準的な物理的概念をFTL観測者にまで拡張し、フレームワーク内での論理的整合性を保っている。
• 公理AxFTL1–AxFTL3は、FTL観測者の世界線が、体に基づく時空モデル内での空間的線に位置することを保証することで、論理的構造を損なわず、FTL観測者を許容するのに成功している。
• 一般化された述語を備えた体系SimpleRel^*は、元の理論と同一の論理的内容を捉えている。これにより、新しい定義が元の理論の保存的拡張であることが示された。