Is "Theorem S.1" (Emergent Relativity) has no proof text" a resolved or open problem in the Structural Selection corpus?
Last reviewed 2026-07-12 · Structural Selection Physics Encyclopedia (AI-assisted pipeline) · This page was drafted by an AI system (Claude) processing the verified Structural Selection corpus and independently retrieved external physics sources, then passed through four scripted review passes (standard-physics, corpus-fidelity, mathematical, skeptical-referee) executed by the same system. It has not been reviewed by a human physicist. Report a problem via the corpus's Open Review page.
Direct answer
Open — and, per the corpus's own audit log, the single highest-risk item in its entire manuscript audit. "Theorem S.1" (Appendix S) claims that the admissible frame transformations preserving a maximum coherence/signal speed are exactly the Lorentz group, closed with a formal proof-end mark (QED) — but the corpus's own criticism log states plainly that there is no proof text of any kind between the statement and that mark.
Standard physics
In mainstream physics, deriving specifically the Lorentz group (rather than some larger set of transformations preserving a finite invariant speed) from a relativity principle is a real, historically significant derivation problem, first tackled by von Ignatowski in 1910, who showed the Lorentz group (or the Galilean group as a degenerate limit) follows from the relativity principle plus homogeneity of space and time, isotropy of space, and a reciprocity condition on relative velocities — notably without assuming the invariance of light speed as a separate postulate.
- Einige allgemeine Bemerkungen über das Relativitätsprinzip — Physikalische Zeitschrift, vol. 11
Von Ignatowski's original 1910 derivation has, per multiple independent secondary sources on its history, been reported to rest on hidden or additional hypotheses beyond its stated axioms (a critique commonly attributed to Torretti, 1983) — and the derivation has been independently revisited and re-proved with explicit, tightened assumptions as recently as 2020. This page could not directly verify the Torretti attribution against a primary source, so it is reported as a historically well-corroborated but secondarily-sourced fact, not a directly confirmed one — flagged rather than smoothed over.
- Relativity without light: A new proof of Ignatowski's theorem — arXiv (preprint) — source
Mathematical background
The general problem is: given a one-parameter family of linear transformations between inertial frames that preserves some notion of 'maximum signal speed' and forms a group under composition, which additional properties force that group to be specifically the Lorentz group (as opposed to, say, the larger set of all transformations merely preserving one invariant scalar quantity)? The mainstream answer requires linearity, homogeneity (translations don't change the transformation law), isotropy (no preferred spatial direction), and closure/reciprocity under composition — each a separate, substantive assumption, not a free consequence of 'there exists a maximum speed.' The corpus's own criticism log makes exactly this point about its own Theorem S.1: 'the admissible set... is almost certainly larger than the Lorentz group; deriving the Lorentz group specifically requires linearity, homogeneity, isotropy, and a reciprocity/group-closure property, none of which are stated.'
What remains open
The corpus's own audit log states this directly: 'there is no proof text of any kind between the statement and the mark' for Theorem S.1. Four bridge lemmas were later drafted to try to close the gap (restricting to linear/homogeneous reparametrizations, forcing uniform motion to map to uniform motion, isotropy, and the standard group-closure argument) — but the corpus's own audit is explicit that these are 'framed as added assumptions, not consequences of what's given,' and that 'the theorem itself remains unproven in the source.' This is not a minor technical gap: it is the corpus's own designated highest-risk open item.
Structural Selection perspective
The current corpus does not yet derive an answer to this question.
The corpus's publicly tracked criticism log (slug appendix-s-emergent-relativity) states this is 'the single highest-risk item in the entire audit.' Four bridge lemmas were drafted as candidate patches, but the audit explicitly frames them as additional, separately-needed assumptions rather than a completed proof — the corpus does not claim Theorem S.1 is proven, and this page does not either.
Corpus derivation / interpretation
Corpus criticism log entry appendix-s-emergent-relativity (category: mathematical, status: open, book: Gravity as a Temporally Closed Dynamical Phase, location: Appendix S): Theorem S.1 has no proof text between its statement and its QED mark.
The audit's own response: four bridge lemmas were drafted as explicit added assumptions (not derived consequences) attempting to close the gap, but the theorem remains formally unproven.
Comparison
The underlying mathematical question — what minimal assumptions force specifically the Lorentz group, rather than a larger transformation set — is a real, nontrivial problem even in mainstream physics: von Ignatowski's 1910 attempt is historically celebrated but was later shown by Torretti and others to rest on unstated additional hypotheses, and the derivation has been revisited and re-proved with tighter assumptions as recently as 2020. So the corpus's gap here is not a failure to solve an easy, settled textbook exercise — it is a failure to even attempt the same substantive derivation problem the mainstream field itself has spent over a century tightening. The corpus's own bridge lemmas parallel the same ingredients (linearity, homogeneity, isotropy, reciprocity/closure) that mainstream treatments use — but, unlike the mainstream literature, the corpus has not yet turned these into a completed, gap-free proof.
Falsifiability
Not directly falsifiable as stated — this is a question about whether a mathematical derivation is complete, not an empirical claim. It would cease to be an open problem if the corpus supplied a complete proof (using its four bridge lemmas or otherwise) that the admissible transformation set is exactly the Lorentz group under its own stated assumptions.
Limitations
This page reports the corpus's own self-assessment from its public criticism log; it does not independently attempt to complete the missing proof, nor does it verify whether the four drafted bridge lemmas are themselves individually correct — only that the corpus itself frames them as unproven additional assumptions rather than completed derivations.
References
- Einige allgemeine Bemerkungen über das Relativitätsprinzip — Physikalische Zeitschrift, vol. 11
- Relativity without light: A new proof of Ignatowski's theorem — arXiv (preprint) — https://arxiv.org/abs/2007.09301