Relativity Without Light: Homogeneity, Isotropy, and Determinism Force Quadratic Spacetime Metrics
📄 arXiv:2606.25993 · 📥 PDF · 2026-06-24 · gr-qc
Authors: Deon Nicholas [arXiv · scholar]
🕰 Orloj analysis
Tento článek odvozuje Lorentzianovu nebo Euklidovskou geometrii časoprostoru z několika základních fyzikálních principů, jako je hladkost, homogenita, izotropie a determinismus inerciálního pohybu, aniž by předpokládal existenci světla. Ukazuje, že jediné invariantní intervalové funkce konzistentní s těmito axiomy jsou mocniny nedegenerovaných kvadratických forem, přičemž exponent je roven dvěma v případě neurčité signatury.
💡 Práce nabízí cennou re-derivaci základních metrik časoprostoru z minimálního souboru axiomů, což je koncepčně nové a má vysokou hodnotu pro fundamentální fyziku.
Categories:
THE-1
GRV-2
THE-2
MET-1
✓ modest_claims, falsifiable, limit_reductions
⚠ determinism_of_inertial_motion_as_strong_axiom
📄 Abstract
This paper develops a foundational argument for Lorentzian or Euclidean spacetime geometry without presupposing the existence of light or electromagnetic phenomena. Beginning with a few intuitive physical principles -- smoothness, homogeneity, isotropy, and the determinism of inertial motion -- we formalize these as axioms about an "invariant interval" function $D:\mathbb{R}^n\to\mathbb{R}$ (with $n\geq 3$). Smoothness and homogeneity force $D$ to be a homogeneous function of degree $p>0$; together with determinism -- the requirement that an inertial worldline be uniquely fixed by its initial point and direction -- this makes its geodesics straight lines. Isotropy -- requiring the isometry group to act transitively on each level set, and the stabilizer of a reference direction to reverse every transverse direction -- then forces $D$ to take the form $D(v)=C\,(v^T S v)^{p/2}$ for a nondegenerate symmetric matrix $S$ and $p>0$, with $p$ forced to equal $2$ -- so that $D$ is exactly a quadratic form -- when $S$ has indefinite signature. Thus the only invariant interval functions consistent with these structural assumptions are powers of nondegenerate quadratic forms. The signature of $S$ is otherwise free: the definite case is Euclidean geometry and the indefinite case includes Minkowski geometry, the two distinguished by the absence or presence of a null cone.