What does Conjecture S.1 (Emergent Relativity, not proven here) establish in the Structural Selection corpus, and what is its proof status?
Last reviewed 2026-07-15 · 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
Conjecture S.1, stated in Appendix S.9 of 'Gravity as a Temporally Closed Dynamical Phase,' is an explicitly conditional (IF...THEN) proposal, not a proven result: IF (L1) 'frame' is restricted to linear, homogeneous reparametrizations of (r,t); (L2) coherence-preserving transformations map uniform motion to uniform motion; and (L3) the admissible transformation set is isotropic — THEN the standard relativity-derivation argument (the appendix cites Einstein 1905 and Pal's 2003 'Nothing but Relativity') implies the admissible transformation group G_adm is either the Galilean group or the Lorentz group with invariant speed c_eff. Its proof status is explicit and self-declared: the appendix states outright that 'None of (L1)-(L3) is established from the closure framework itself in this appendix; each is an additional physical assumption. No proof is given here.' Checking the corpus's own internal claim-ledger audit (content/claim-ledger.json) resolves how this relates to the 'Theorem S.1' referenced in the related encyclopedia entry Q04118: they are the same underlying claim at two different stages of the corpus's own repair history. The audit records that the appendix originally stated this result as 'Theorem S.1 (Emergent Relativity)...[QED, blacksquare]' with, in the audit's words, 'NO PROOF TEXT of any kind appearing between the theorem statement and the QED mark -- a completely empty proof,' classified 'Fake/absent proof.' The audit's prescribed repair was exactly what now appears in the live appendix: 'Remove QED mark; relabel Conjecture S.1 (not proven here); supply L1-L4 or explicitly mark as an open problem.' Its post-repair classification in the ledger is 'Conjecture, unproven' with 'Remaining risk: HIGH.' So Conjecture S.1 is the corpus's own honest downgrade of the former Theorem S.1, not a separate claim -- but the underlying mathematical gap (deriving specifically the Lorentz group, not just some larger set of c_eff-preserving transformations) remains unresolved.
Standard physics
Deriving the Lorentz group specifically (as opposed to some larger set of transformations that merely preserve one invariant speed) from a relativity principle, without postulating the invariance of light speed as a separate axiom, is a real historical derivation problem. Von Ignatowski (1910) showed that the relativity principle together with homogeneity of space and time, isotropy of space, and a reciprocity/group-closure condition on relative velocities forces the admissible transformations to be either the Galilean group or a Lorentz-type group with an undetermined invariant speed (fixed empirically, e.g. via electrodynamics, to be the speed of light).
- Einige allgemeine Bemerkungen über das Relativitätsprinzip (Some General Remarks on the Relativity Principle) — Physikalische Zeitschrift, vol. 11 (1910), pp. 972-976 — source
Einstein's original 1905 route to the Lorentz transformations is a categorically different strategy from Ignatowski's: Einstein postulates (1) the relativity principle and (2) the constancy of the speed of light as a second, independent axiom, and derives the Lorentz transformations from those two postulates directly. This is worth flagging because Conjecture S.1 cites 'Einstein 1905' and Pal's axiom-free group-theoretic derivation in the same breath as instances of 'the standard relativity-derivation argument,' which blurs a real distinction: Einstein's argument assumes light-speed invariance outright, while the Ignatowski/Pal program derives an invariant speed's existence (without fixing its value) from weaker symmetry assumptions alone.
- Zur Elektrodynamik bewegter Körper (On the Electrodynamics of Moving Bodies) — Annalen der Physik, vol. 17 (1905), pp. 891-921 — source
Palash B. Pal's 2003 paper 'Nothing but relativity' (European Journal of Physics 24(3), 315-319) is a real, published, peer-reviewed treatment that deduces the most general space-time transformation laws consistent with the relativity principle alone, showing the Galilean and Einsteinian (Lorentz) transformations are the only two possible implementations, with the invariant speed left undetermined until fixed by further physical input. This is the same paper Conjecture S.1 cites by name.
- Nothing but relativity — European Journal of Physics, vol. 24, no. 3 (2003), pp. 315-319, IOP Publishing — source
Von Ignatowski's original 1910 derivation is historically celebrated but has been reported, per a secondary source (Weinstein's historical review), to rest on additional hidden or unstated assumptions -- a critique associated with Torretti -- and the argument has been independently revisited and re-proved with explicit, tightened hypotheses as recently as 2020 (Anker and Ziegler, following a 1971 reformulation by Gorini). This page located a secondary source corroborating that such a critique exists but could not independently retrieve Torretti's own primary text to confirm the exact content of the critique, so this is reported as historically well-corroborated but not independently primary-verified, not as a fully confirmed fact.
Mathematical background
The general problem behind Conjecture S.1 is: given only that a transformation between frames preserves a single invariant scalar (a maximum signal speed c_eff), what additional structure is needed to force that transformation set to be exactly the Lorentz group, rather than some strictly larger set that merely happens to leave c_eff fixed? Merely 'preserving one number' is a weak condition -- it does not by itself imply linearity, let alone the specific Lorentz form. The mainstream Ignatowski-type program answers this by adding: linearity/homogeneity (no preferred point in space or time), isotropy (no preferred spatial direction), and a reciprocity or group-closure condition (the transformation and its inverse relate velocities symmetrically, and transformations compose consistently). Conjecture S.1's own three listed conditions map onto three of these four ingredients: L1 (frame restricted to linear, homogeneous reparametrizations) covers linearity/homogeneity; L2 (uniform motion maps to uniform motion) is the 'straightness-preservation' condition; L3 (isotropy, no preferred spatial direction) is isotropy. Notably, the appendix does not state a fourth, internal 'L4' group-closure/reciprocity lemma the way the corpus's own claim-ledger audit (content/claim-ledger.json, the related 'G_adm boxes' entry) suggests it should ('bridge lemmas L1-L4 (linearity, straightness-preservation, isotropy, group-theoretic closure argument)') -- instead, Conjecture S.1 outsources that fourth step entirely to the cited external literature ('the standard relativity-derivation argument, e.g. Einstein 1905; Pal 2003') rather than supplying or deriving it internally. So even granting L1-L3 as assumptions, the conjecture's THEN-clause leans on an uncited internal derivation of exactly how those three conditions plus the external argument force the Lorentz-or-Galilean dichotomy specifically for this framework's c_eff -- that final step is not spelled out in the appendix text itself.
What remains open
Every one of L1, L2, and L3 is, by the appendix's own admission, an added physical assumption not derived from the framework's stated dissipation/closure dynamics -- the appendix says so explicitly: 'None of (L1)-(L3) is established from the closure framework itself in this appendix.' The group-theoretic closure step needed to actually pin down the Lorentz group (rather than some larger admissible set) is not carried out inside the appendix either; it is deferred to external literature. There is also an internal presentational tension worth flagging: earlier in the same appendix, Sections S.4-S.5 box the claim G_adm = L(c_eff) ('Lorentz symmetry therefore emerges as... the maximal transformation group consistent with coherence preservation') without any of the S.9 hedging, and the closing S.10 summary box flatly restates '(4) These transformations form the Lorentz group' with no qualification -- so a reader who stops at S.5 or S.10 would not see the conjecture-level hedging that S.9 supplies. Separately, this page directly read Appendix MMM ('Lorentz Invariance from Closure'), which the corpus's own notation.json ledger says revisits the same underlying G_adm = Lorentz-group claim 'without further derivation' -- confirmed on inspection: MMM.6 again simply asserts that the transformations preserving a speed bound, minimal action, and closure admissibility 'are the Lorentz transformations,' with no derivation supplied there either. So no other location in the corpus currently supplies the missing proof. Per the corpus's own claim-ledger audit, this item's 'Remaining risk' is rated 'HIGH' even after the Theorem-to-Conjecture relabeling repair.
Structural Selection perspective
The current corpus does not yet derive an answer to this question.
Read directly, Appendix S is careful to distinguish what it calls a stability-selection argument (Sections S.1-S.8: dissipation and coherence-loss dynamically forbid superluminal frame transformations, leaving only transformations that preserve a finite c_eff) from what it calls Conjecture S.1 (Section S.9): the much stronger claim that the admissible set is exactly the Lorentz group rather than some larger c_eff-preserving set. The appendix itself draws this line -- it does not claim S.9 follows from S.1-S.8 alone. Cross-checking the corpus's own internal audit trail (content/claim-ledger.json) shows that this is not a new, from-scratch conjecture: it is the corpus's documented repair of a defect the audit found in an earlier version of the same appendix, where the claim was presented as 'Theorem S.1 (Emergent Relativity)' closed with a formal QED mark and, in the audit's own words, 'NO PROOF TEXT of any kind' between the statement and that mark. The audit's prescribed fix -- remove the false QED, relabel as an explicitly unproven conjecture, and either supply the missing bridge lemmas or mark the result open -- is exactly what the live Section S.9 text now does. That is a genuine, verifiable improvement in honesty over the flagged defect. It does not, however, supply the missing derivation: the corpus's own post-repair classification is 'Conjecture, unproven' with 'Remaining risk: HIGH,' and this page's own reading confirms the appendix supplies no proof of L1-L3, nor of the final group-theoretic step, anywhere in Appendix S or in Appendix MMM.
Corpus derivation / interpretation
Conjecture S.1's full conditional statement, as written in Appendix S.9: given three additional assumptions (L1 linear/homogeneous frame reparametrizations, L2 uniform-motion preservation, L3 isotropy), the standard relativity-derivation argument implies the admissible transformation group is either the Galilean group or the Lorentz group with invariant speed c_eff.
The appendix explicitly disclaims proof: none of L1-L3 is derived from the closure/dissipation framework itself, and no proof of the conjecture is given in the appendix.
Elsewhere in the same appendix (Sections S.4-S.5, and the S.10 summary), the corpus boxes the same G_adm = Lorentz-group conclusion without the hedging that Conjecture S.1 later supplies, creating an internal presentational inconsistency between the earlier 'boxed result' framing and the later explicit conjecture/no-proof framing.
The corpus's own internal claim-ledger audit (content/claim-ledger.json) documents that Conjecture S.1 is the repaired version of an earlier 'Theorem S.1,' which had carried a formal QED end-of-proof mark with no proof text of any kind between the theorem statement and that mark -- classified by the audit as a 'Fake/absent proof.' The prescribed repair (remove the QED mark, relabel as 'Conjecture S.1 (not proven here),' supply bridge lemmas or mark as open) matches what the live appendix now contains. Post-repair, the audit's own classification is 'Conjecture, unproven,' with 'Remaining risk: HIGH.'
Comparison
The underlying mathematical target -- forcing specifically the Lorentz group out of a relativity principle plus symmetry assumptions, without presupposing light-speed invariance -- is a genuine, historically significant problem, not a settled textbook exercise: von Ignatowski's 1910 attempt is foundational but was later found (per secondary sources) to rest on additional unstated hypotheses, and the derivation was still being independently re-proved with tightened, explicit assumptions as recently as 2020 (Anker and Ziegler, Journal of Geometry and Physics). Conjecture S.1's three listed conditions (L1 linearity/homogeneity, L2 uniform-motion preservation, L3 isotropy) are structurally the same ingredients the mainstream Ignatowski-type program uses. But there are two real gaps relative to the mainstream treatments: first, the corpus does not supply or derive the fourth ingredient (a reciprocity/group-closure argument) internally -- it cites external literature for that step rather than proving it within its own closure-dynamics framework; second, the corpus conflates two historically distinct derivation strategies by citing 'Einstein 1905' (which assumes light-speed invariance as an axiom) in the same breath as Pal's 2003 axiom-free, group-theoretic treatment (which does not). So Conjecture S.1, honestly labeled, sits roughly where Ignatowski's own 1910 axiom list sat before a century of tightening by Torretti, Gorini, Lévy-Leblond, and others -- a plausible starting sketch, not a completed, gap-free derivation, and the corpus says so itself.
Predictions or consequences
As stated, Conjecture S.1 makes no new empirically testable predictions beyond recovering the already-known Lorentz group and its standard consequences (time dilation, length contraction, relativity of simultaneity) -- consequences the appendix itself lists in Section S.8 as already-known operational content, not as new derived formulas. Even if L1-L3 were established, the conjecture's significance within the corpus is interpretive/foundational (an alternative, dissipation-based justification for why Lorentz symmetry rather than some other group governs admissible frames), not predictive of new, distinguishing phenomena. Any observationally distinguishing predictions of the broader closure/dissipation framework would have to come from elsewhere in the corpus; this appendix does not supply them.
Falsifiability
Not directly empirically falsifiable as stated, since it is a claim about the logical structure of a derivation (what follows from L1-L3 plus an external argument), not a claim about a measurable quantity. It would cease to be an open conjecture in one of two ways: (a) positively, if the corpus supplied a complete, internal derivation showing L1-L3 follow from its own closure/dissipation dynamics (rather than being assumed) and that the admissible set under L1-L3 is provably exactly the Lorentz-or-Galilean dichotomy for this framework's c_eff; or (b) negatively, if a counterexample transformation were exhibited that preserves c_eff and satisfies L1-L3 yet falls outside the Lorentz group, which would falsify the THEN-clause itself.
Limitations
This page is based on a direct reading of the live appendix file (content/book/appendix-s-emergent-relativity-lorentz-symmetry-as-a-stability-constraint.mdx), the corpus's internal claim-ledger audit (content/claim-ledger.json), its notation ledger (content/notation.json), and a direct reading of Appendix MMM (content/book/appendix-mmm-lorentz-invariance-from-closure.mdx), which the notation ledger flagged as revisiting the same claim. It does not independently verify whether L1-L3, if granted, actually do force the Lorentz-or-Galilean dichotomy for this specific framework's c_eff -- it reports that the corpus itself does not attempt that internal derivation and instead points to external literature. The Torretti-critique attribution for Ignatowski's original derivation could not be confirmed against Torretti's own primary text within this research pass; it is reported as secondarily sourced (via a historical review paper) rather than independently confirmed, consistent with how the same caveat was handled in the related, already-published entry on 'Theorem S.1' (Q04118). This page does not evaluate whether the closure/dissipation dynamics described in Sections S.1-S.8 of Appendix S are themselves independently established elsewhere in the corpus (e.g. Appendix R's derivation of a finite c_eff) -- it treats that as a separate question and focuses specifically on Conjecture S.1's own conditional claim and proof status. Finally, the claim-ledger.json and notation.json files are internal QA/audit artifacts in the same repository as the published chapter content, not part of the reader-facing chapter text itself; this page treats them as authoritative provenance for the Theorem-S.1-to-Conjecture-S.1 repair history, the same way the related Q04118 page treats the corpus's public criticism log.
References
- Einige allgemeine Bemerkungen über das Relativitätsprinzip (Some General Remarks on the Relativity Principle) — Physikalische Zeitschrift, vol. 11 (1910), pp. 972-976 — https://en.wikisource.org/wiki/Translation:Some_General_Remarks_on_the_Relativity_Principle
- Zur Elektrodynamik bewegter Körper (On the Electrodynamics of Moving Bodies) — Annalen der Physik, vol. 17 (1905), pp. 891-921 — https://onlinelibrary.wiley.com/doi/10.1002/andp.19053221004
- Nothing but relativity — European Journal of Physics, vol. 24, no. 3 (2003), pp. 315-319, IOP Publishing — https://arxiv.org/abs/physics/0302045
- Relativity without light: A new proof of Ignatowski's theorem — Journal of Geometry and Physics, vol. 158 (2020), Article 103871, Elsevier — https://arxiv.org/abs/2007.09301
- A Discussion of Special Relativity — arXiv (preprint) — https://arxiv.org/abs/1205.0221