[論文レビュー] An Axiom System for General Relativity Complete with respect to Lorentzian Manifolds

Hajnal Andréka, Judit X. Madarász+2 more|arXiv (Cornell University)|Oct 5, 2013

Noncommutative and Quantum Gravity Theories参考文献 31被引用数 3

ひとこと要約

本稿では、連続的に微分可能なローレンツ多様体に関して完全な、一般相対性理論のための1階論理（FOL）公理系 GenRel を提示する。GenRel から定義可能な時空的曲線および測地線を用いて、標準的な GR モデルで真であるすべての命題が導出可能であることが確立され、滑らかでない場合や n 回連続的に微分可能な時空へも完全性が拡張される。

ABSTRACT

We introduce several axiom systems for general relativity and show that they are complete with respect to the standard models of general relativity, i.e., to Lorentzian manifolds having the corresponding smoothness properties.

研究の動機と目的

• 標準的な時空モデルの完全な構造を捉える、論理的に透明な1階論理（FOL）公理系としての一般相対性理論の開発を目的とする。
• 連続的に微分可能なおよび滑らかなローレンツ多様体に関して、公理系の完全性を保証すること。これは、これらのモデルで真であるすべての命題が証明可能であることを意味する。
• 時空的測地線や曲率といった核心的な幾何的概念を、定義可能な関数および関係を用いて1階論理枠組み内で定義すること。
• 局所化された公理と自然な導出経路を示すことにより、特殊相対性理論（SpecRel）から一般相対性理論（GenRel）への論理的ブリッジを確立すること。
• 論理的比較、定義的同等性、物理的予測の逆解析を可能にする、相対性理論の基礎的分析を支援すること。

提案手法

• 物体（観測者や光信号を含む）と量（座標、速度など）の2つの種類を用いて、1階論理（FOL）で一般相対性理論を形式化する。
• 観測者 m が d 次元時空において物体 b に座標を割り当てる様子を表す、世界観関係 W(m, b, x₁,…,x_d) を導入する。
• 1階論理内での定義可能な関数および論理式を用いて、時空的ベクトル、曲線、測地線といった主要な幾何的対象を定義する。
• 多項式パラメータ化（例：γ(t) = ⟨t, …⟩）を用いて、点間の連続的に微分可能な時空的曲線を構成し、初期速度および時空的条件を満たす。
• モデル理論的議論を用いて完全性を証明する：すべての標準的ローレンツ多様体で真である文が、GenRel から証明可能であることを示す。
• 滑らかでない場合や n 回連続的に微分可能な多様体に対しても完全性を拡張する。滑らかさの公理（例：CONT_G）を強化することで実現する。

実験結果

リサーチクエスチョン

• RQ1 連続的に微分可能なローレンツ多様体に関して完全な、一般相対性理論の1階論理公理系を構築することは可能か？
• RQ2 時空的測地線や曲率といった核心的な幾何的概念を、1階論理枠組み内でどのように定義できるか？
• RQ3 特殊相対性理論（SpecRel）と一般相対性理論（GenRel）の公理間の論理的関係は何か？また、GenRel は局所化によって SpecRel から導出可能か？
• RQ4 公理系の完全性は C¹ を超えて C^∞ および C^n 多様体へ拡張可能か？
• RQ5 逆解析（最小公理から予測を導出すること）や代替公理系の論理的比較といった基礎的タスクを、どのように形式化できるか？

主な発見

• 公理系 GenRel は連続的に微分可能なローレンツ多様体に関して完全であり、すべての真である命題が GenRel から証明可能である（定理 4.1）。
• 公理系 GenRel^n は n 回連続的に微分可能なローレンツ多様体に関して完全であり、滑らかな時空へ完全性が拡張される（定理 7.2）。
• GenRel における時空的測地線は1階論理で定義可能であり、実数上での標準的なリーマン的定義と一致する（定理 6.1）。
• 任意の2点間で、指定された初期および最終の時空的速度を満たす、定義可能な連続的に微分可能な時空的曲線 γ が存在する。この曲線は厳密な光速未満の速度制限を満たす（補題 8.11）。
• γ の構成には多項式パラメータ化が用いられ、|γ′_s(t)| < (1−δ)|γ′_t(t)| を満たす δ > 0 が存在し、これにより全区間で時空的性質が保証される。
• この枠組みは、代替公理系の論理的比較を可能とし、光より速い運動の不可能性といった物理的予測の逆解析を可能にする。