光を仮定せずに導いた結論:等方性と決定論が時空の距離を二次式に制限する
この論文は、光や電磁現象を前提にせずに時空の幾何を導けるかを問います。著者は「不変区間」と呼ぶ関数D: R^n→Rを基本的対象とし、滑らかさ、平坦性(同次性)、等方性、慣性運動の決定論といった直感的な公理を課して調べます。主な結論は、これらの公理はDを非退化な二次形式の冪(べき)に限定し,符号が不定(すなわち時間と空間を区別するような場合)ならそのべき指数は2に固定される、というものです。これによりミンコフスキー(ローレンツ)幾何やユークリッド幾何が光速度の仮定なしに現れることが示されます。論文は次のような要素で議論を組み立てます。Dは原点以外で無限回微分可能であること、平行移動に不変なことからDは差分だけに依存すること、スケール同次性(スケーリングの比が普遍的であること)からD(λv)=λ^p D(v)という性質が得られます。さらにDは向きを反転しても同じ値になると仮定します。これらの仮定に基づき、L(v)=D(v)をラグランジアンとして定め、オイラー=ラグランジュ方程式で定義される測地線(慣性運動の軌跡)を考えます。慣性運動の決定論を公理として「一点とその方向が与えられれば慣性世界線は一意に定まる」と置くと、あらゆる測地線の軌跡は直線になることが示されます。等方性の公理は、Dの等値集合(レベル集合)上で等距変換群が遍在することや、基準方向を固定した安定群が横断方向を反転できることを要求します。これらを組み合わせると、Dは次の形に限定されます:D(v)=C (v^T S v)^{p/2}。ここでSは非退化な対称行列であり、Cは定数です。さらに、Sが符号不定(正負の符号が混在する)ならば解析の中でpは自動的に2に固定され、Dは厳密に二次形式そのものになります。符号が全て同号のときはユークリッド幾何に対応し、符号不定のときはミンコフスキー(ローレンツ)型の構造と、そこに現れる「零化円錐」(区間がゼロになる方向)や不変速度のような概念が導かれます。重要な注意点があります。まずこの結論は論文が掲げる特定の公理群に依存します。とくに等方性や慣性運動の決定論は強い仮定です。これらの仮定が成り立たない物理系では結果は適用できません。次に本文の抜粋は証明の概要と主張を与えますが、詳細な議論や一般化、例外事項は元論文全体を参照する必要があります。最後に、p>0や次元n≥3といった技術条件も仮定に含まれており、それらが満たされない場合は結論が変わる可能性がある点にも注意が必要です。要するに、この研究は「光速一定」を前提にせずとも、ある自然な対称性と決定論の仮定から時空の距離関数が本質的に二次的であることを示しています。ただしその妥当性は採る公理に依存し、物理世界への適用には公理の実効性を慎重に評価する必要があります。