{"id":"7ef5b85b-3a25-4790-be82-775c33ca16c9","arxiv_id":"2507.21180","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Andr\\'eka's conjecture is proven: no intermediate model of spacetime exists strictly between special relativity and late classical kinematics on R^4.","lead":"This paper proves that among spacetime theories built on four-dimensional real space, there is no middle ground between special relativity and late classical Newtonian kinematics. The result suggests that Einstein's theory was the only minimal conceptual way to reconcile lightlike-relatedness with the null result of the Michelson-Morley experiment.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central proof hinges on the unproved definability-to-automorphism duality (Theorem 5.6, backed by Theorem 5.4) cited from the companion [MSS25a]; if that duality fails, the reduction to the group-theoretic argument collapses.","rationale":"After reading the full manuscript, the formal structure is coherent: given Theorem 5.6, the chain Conc RelST ⊂ Conc ⟨RelST,C⟩ ⊆ Conc LClassST translates to Aut RelST ⊃ Aut ⟨RelST,C⟩ ⊇ Aut LClassST; the group theorem (Corollary 6.9) is proved inside the paper using Borisov's theorem and succeeds in showing there is no intermediate group. The internal proof of Theorem 6.4 is detailed and appears sound. The principal weak point is the external, self-cited duality theorem. This is not a manufactured concern: the proof sketch in Section 4 explicitly identifies the supporting results, and the reader's conditional verdict already targets the same assumption. The informal historical overclaim in the abstract is a presentational issue but not load-bearing for the mathematical claim; the mathematical contribution is Theorem 3.1. If [MSS25a] and [MSS25b] survive independent checking, the theorem appears correct. I therefore agree with the reader's weakest-assumption analysis and see no reason to move the verdict: the appropriate disposition remains CONDITIONAL on verification of the companion results.","tokens_in":10964,"tokens_out":22667,"duration_ms":266047,"concrete_test":"Inspect arXiv:2507.10279 and verify that its Theorems 5.1.2 and 5.1.4/Cor.5.1.5 contain complete, self-contained proofs of the statements used here as Theorems 5.4 and 5.6, and confirm that those proofs do not cite or depend on the present paper's Theorem 3.1 (i.e., no circularity). If the companion proof is complete and independent, the concern is resolved and the main argument goes through; if it is missing, incomplete, or circular, the proof of Andréka's conjecture in this paper is not yet established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 3.1 reduces the conjecture to a group-theoretic statement via Theorem 5.6: for FFD coordinate geometries, Conc G ⊆ Conc G' iff Aut G ⊇ Aut G'. This theorem is cited as a special case of [MSS25a, Thm.5.1.4/Cor.5.1.5], and its parent Theorem 5.4 (definable iff field-definable and closed under automorphisms) is also cited from the same companion; neither is proved in the present paper. This is genuinely load-bearing: without the duality, a concept C with Conc RelST ⊂ Conc ⟨RelST,C⟩ ⊆ Conc LClassST need not force the chain Aut RelST ⊃ Aut ⟨RelST,C⟩ ⊇ Aut LClassST, so the proof of Section 4 cannot get started. The duality is nontrivial: in arbitrary structures, automorphism invariance does not imply definability (the real field has trivial automorphism group but not all subsets are first-order definable), so the FFD-coordinate-geometry condition must do real work. The paper also depends on a second companion result, Proposition 6.3(ii) from [MSS25b], to identify Aut LClassST; a failure there would also weaken Theorem 6.4, but the concept-to-automorphism duality is the more central assumption. Because these supporting results are self-cited and not reproduced, the central claim is only as secure as [MSS25a].","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a formal version of Andr\\'eka's conjecture: for any concept C definable in late classical spacetime LClassST = \\langle R^4, S, \\lambda\\rangle but not definable in relativistic spacetime RelST = \\langle R^4, \\lambda\\rangle, the expansion \\langle RelST, C\\rangle is definitionally equivalent to LClassST. Equivalently, there is no model whose concept class lies strictly between Conc RelST and Conc LClassST. The proof strategy is to reduce this model-theoretic statement, via a definability-to-automorphism duality for finitely field-definable coordinate geometries (Theorem 5.6), to the group-theoretic claim that no group lies strictly between Aut RelST = Scal \\circ Poi and Aut LClassST = Scal \\circ Triv. The paper also shows that LClassST is definitionally equivalent to Galilean spacetime extended with lightlike relatedness.","tokens_in":11186,"tokens_out":14557,"duration_ms":155235,"significance":"If the cited companion results hold, the paper settles Andr\\'eka's conjecture and gives a sharp formal sense in which special relativity is the only way to add a non-relativistic classical concept to lightlike relatedness without introducing entirely new vocabulary. The reduction of the conjecture to a no-intermediate-group statement is elegant, and the group-theoretic proof of Theorem 6.8 is a genuine contribution. However, the central definability-to-automorphism duality and several supporting identifications of automorphism groups are cited from the authors' own companion preprints rather than proved here, so the mathematical contribution of the present paper is conditional on [MSS25a] and [MSS25b].","major_comments":[{"comment":"The proof of Theorem 3.1 reduces the conjecture to the group-theoretic no-intermediate-group statement through the equivalence Conc G \\subseteq Conc G' iff Aut G \\supseteq Aut G' for FFD coordinate geometries. Theorem 5.6 is not proved in this manuscript; it is cited as a special case of [MSS25a, Thm.5.1.4 and Cor.5.1.5], and its parent Theorem 5.4 is likewise cited from [MSS25a, Thm.5.1.2]. The converse direction (automorphism invariance implies definability) is false for general first-order structures, so the FFD hypothesis is doing substantial work. This is load-bearing: without this duality, the strict inclusion Conc RelST \\subset Conc \\langle RelST, C\\rangle does not imply the strict inclusion Aut RelST \\supset Aut \\langle RelST, C\\rangle, and the proof of Section 4 cannot start. I recommend either proving Theorems 5.4 and 5.6 in an appendix or making the companion paper's status explicit and verifiable.","section":"Section 5, Theorems 5.4 and 5.6"},{"comment":"The computation Aut LClassST = Scal \\circ Triv in Theorem 6.4 depends on Proposition 6.3(ii), which is quoted from the companion paper [MSS25b, Thm.3.2.2 and Thm.3.2.3] rather than proved here. This result is used to replace LClassST by \\langle R^4, \\sim, Rest, Bw\\rangle before the automorphism computation; if it is unavailable, the equality Aut LClassST = Scal \\circ Triv is not established and the lower end of the group-theoretic chain fails. The authors should either include a proof of the needed statements or clearly state that the companion is part of the same accepted or near-accepted body of work.","section":"Section 6, Proposition 6.3"}],"minor_comments":[{"comment":"The claim that the two theorems are equivalent is stated without proof; a short argument for Theorem 3.1 implies Theorem 3.2 for arbitrary models would be helpful, for example by choosing C \\in Conc M \\setminus Conc RelST and observing that Conc \\langle RelST, C\\rangle \\subseteq Conc M.","section":"Section 3, Theorems 3.1 and 3.2"},{"comment":"The correspondence R \\mapsto \\hat{R} is introduced only by example, with the general definition deferred to [MSS25a]; since field-definability is a central notion, a precise general definition would make the paper more self-contained.","section":"Section 5, Definition 5.2"},{"comment":"In the first paragraph of the proof, the phrase \"we can assume without loss of generality that f and t are linear\" is terse; a one-sentence justification using conjugation by a translation would improve readability.","section":"Section 6, Theorem 6.8"},{"comment":"The phrase \"the only difference being the order in which the relations are listed\" should be phrased as \"up to definitional equivalence\" or \"up to relabeling of relation symbols\".","section":"Section 6, Proposition 6.3(ii)"},{"comment":"The historical claims, such as \"there was essentially no other option but to switch to special relativity,\" extrapolate from a theorem relative to a fixed universe R^4 and a fixed vocabulary; a sentence acknowledging this limitation would be appropriate.","section":"Abstract and Introduction"}],"recommendation":"major_revision","confidential_remarks":"The paper is essentially a reduction of Andr\\'eka's conjecture to results cited from the authors' own companion preprints [MSS25a] and [MSS25b]. The editor may wish to verify that those companions are under review and do not themselves depend on the present manuscript. My recommendation assumes that the definability-to-automorphism duality in Theorem 5.6 and the results quoted in Proposition 6.3 are correct; if those companions are available and sound, the present paper is a strong contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Judit, Mike, and Gergely have proved Andréka's conjecture. If the companion paper's duality theorem holds, the proof is clean: any new classical concept added to relativistic spacetime collapses you to full late classical kinematics. That is a genuine result, the first for arbitrary concepts, not just absolute simultaneity. The automorphism-group reduction is elegant, and the no-intermediate-group argument (Theorem 6.8) is self-contained and convincing.\n\nThe paper is honest about what it depends on. The load-bearing step is Theorem 5.6, cited from their companion [MSS25a]: for FFD coordinate geometries, concept inclusion is equivalent to reverse automorphism-group inclusion. That is a nontrivial duality—automorphism invariance alone does not give definability in general, so the FFD condition is doing real work. The proof is not in this paper. If [MSS25a] is wrong, the whole reduction collapses. The same applies, less centrally, to Proposition 6.3(ii) from [MSS25b]. This is not a fatal flaw, but it makes the result conditional on unpublished (or not-yet-refereed) machinery.\n\nSecond soft spot: the abstract's historical framing overshoots. The formal theorem is about first-order definable concepts on R^4. That says nothing about all possible 'options' in the history of physics. The informal claim should be qualified.\n\nOverall, the mathematics looks sound, the exposition is clear, and the citation of their own work is appropriate given the division of labor. I'd send it to a referee. The referee should be asked to verify Theorem 5.6 and its applicability, or to insist that the proof be included.","headline":"A significant and likely correct proof of Andréka's conjecture, but the decisive definability-to-automorphism duality is imported from a companion paper, so the referee should check that bridge.","tokens_in":11798,"tokens_out":1917,"would_cite":true,"duration_ms":22668,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C40","03G15","83A05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves there is no intermediate model of spacetime between special relativity and late classical kinematics, so adding any single classical concept to relativistic spacetime yields the full late classical spacetime up to…","keywords":["Andréka's conjecture","special relativity","classical kinematics","definitional equivalence","finitely field-definable coordinate geometries","definability and automorphism groups","Alexandrov–Zeeman theorem","Borisov's theorem"],"falsifier":"Find a model $M$ with $\\operatorname{Conc}\\mathrm{RelST} \\subset \\operatorname{Conc} M \\subset \\operatorname{Conc}\\mathrm{LClassST}$, or equivalently a group of transformations $G$ with $\\mathrm{Scal}\\circ\\mathrm{Triv} \\subset G \\subset \\mathrm{Scal}\\circ\\mathrm{Poi}$; alternatively, exhibit two finitely field-definable coordinate geometries with the same automorphism group but different concept sets, refuting the duality theorem.","tokens_in":10688,"feed_emoji":"⚡","tokens_out":9880,"duration_ms":90546,"temperature":0.7,"pith_summary":"The paper proves a purely mathematical conjecture about the conceptual structure of spacetime: there is no intermediate model strictly between special relativity and late classical kinematics. Concretely, if one starts from relativistic spacetime — the structure consisting only of the relation of lightlike relatedness on $\\mathbb{R}^4$ — and adds any single classical concept that the late classical model can express (such as absolute simultaneity), the resulting expansion is definitionally equivalent to the full late classical spacetime. This matters for the history of physics because the Michelson–Morley experiment ruled out the late classical model while leaving its basic lightlike notion intact; the theorem says there was no halfway conceptual stop on the way to relativity. The statement is equivalent to the algebraic-logic claim that the concept algebra of relativistic spacetime is a maximal proper subalgebra of the concept algebra of late classical spacetime.","feed_headline":"No spacetime theory sits between relativity and classical kinematics","feed_subtitle":"Proof of the conjecture: adding any classical concept to special relativity restores all of late classical kinematics.","key_machinery":"The machinery is a duality theorem (Theorem 5.6) for finitely field-definable coordinate geometries: if $G$ and $G'$ are such geometries, then $\\operatorname{Conc} G \\subseteq \\operatorname{Conc} G'$ exactly when $\\operatorname{Aut} G \\supseteq \\operatorname{Aut} G'$, with strict versions for proper inclusions. A coordinate geometry is a structure on $\\mathbb{R}^4$ with no constants or functions whose collinearity relation is definable; it is finitely field-definable when its finitely many relations are definable in the real field $\\langle \\mathbb{R}, +, \\cdot, 0,1\\rangle$. The paper feeds into this duality the automorphism computations $\\operatorname{Aut}\\mathrm{RelST} = \\mathrm{Scal}\\circ\\mathrm{Poi}$ (the Alexandrov–Zeeman theorem), $\\operatorname{Aut}\\mathrm{LClassST} = \\mathrm{Scal}\\circ\\mathrm{Triv}$, and the group-theoretic gap theorem (Theorem 6.8) showing no group lies strictly between these two. The duality then transmits the group gap to a concept gap.","core_discovery":"The central discovery is Theorem 3.1: for every concept $C$ that is definable in late classical spacetime $\\mathrm{LClassST} = \\langle \\mathbb{R}^4, S, \\lambda \\rangle$ but not in relativistic spacetime $\\mathrm{RelST} = \\langle \\mathbb{R}^4, \\lambda \\rangle$, the expansion $\\langle \\mathrm{RelST}, C\\rangle$ has exactly the same definable relations as $\\mathrm{LClassST}$, i.e. $\\langle \\mathrm{RelST}, C\\rangle \\mathrel{\\Delta\\!\\!\\!\\equiv} \\mathrm{LClassST}$. Equivalently, no model $M$ satisfies $\\operatorname{Conc}\\mathrm{RelST} \\subset \\operatorname{Conc} M \\subset \\operatorname{Conc}\\mathrm{LClassST}$. The proof converts definability into automorphisms: for the finitely field-definable coordinate geometries involved, concept inclusion reverses automorphism-group inclusion, so an intermediate concept would force an intermediate transformation group between $\\operatorname{Aut}\\mathrm{RelST} = \\mathrm{Scal}\\circ\\mathrm{Poi}$ and $\\operatorname{Aut}\\mathrm{LClassST} = \\mathrm{Scal}\\circ\\mathrm{Triv}$. The paper shows, using a corollary of Borisov's theorem, that no such group exists.","pith_inferences":["Because the duality theorem is proved only for finitely field-definable coordinate geometries, the no-intermediate result is established for finite first-order vocabularies definable in the real field; a natural extension would be to ask whether an infinite vocabulary or a non-field-definable relation can be inserted between the two concept sets.","The same lattice argument could be run with a different base relation than lightlike relatedness (for example, spacelike relatedness or the causal order), provided the relevant automorphism-group ladder has no intermediate group; whether such variants hold is open.","The result gives the 'no alternative' thesis a precise mathematical content: it concerns concept lattices of definable relations, not empirical equivalence. Any philosophical claim that Einstein's choice was underdetermined would need to locate the supposed alternative outside this class."],"forward_implications":["Any single definable classical concept added to $\\mathrm{RelST}$ yields all of $\\mathrm{LClassST}$ up to definitional equivalence; in particular, absolute simultaneity is enough.","The concept algebra $\\mathrm{Cs}\\,\\mathrm{RelST}$ is a maximal proper subalgebra of $\\mathrm{Cs}\\,\\mathrm{LClassST}$.","Galilean spacetime augmented with lightlike relatedness, $\\langle \\mathrm{GalST}, \\lambda\\rangle$, is definitionally equivalent to $\\mathrm{LClassST}$, justifying the name 'late classical spacetime'.","Within first-order definable relations on $\\mathbb{R}^4$, there is no conceptual halfway house between special relativity and late classical kinematics.","The historical inference drawn by the authors: once the Michelson–Morley null result ruled out late classical kinematics, retaining lightlike relatedness forced the conceptual jump to special relativity."],"supporting_citations":[{"why":"Supplies the duality theorem (Theorem 5.6) that converts concept inclusion into automorphism-group inclusion for finitely field-definable coordinate geometries.","marker":"[MSS25a]"},{"why":"Provides the definability results for Euclidean and relativistic geometries used to show $\\mathrm{LClassST} \\mathrel{\\Delta\\!\\!\\!\\equiv} \\langle \\mathrm{Eucl}, \\mathrm{Rest}\\rangle$.","marker":"[MSS25b]"},{"why":"Alexandrov–Zeeman theorem, used to identify $\\operatorname{Aut}\\mathrm{RelST}$ with $\\mathrm{Scal}\\circ\\mathrm{Poi}$.","marker":"[Ale75]"},{"why":"Gives the corollary of Borisov's theorem that there is no group strictly between $\\mathrm{Triv}^\\uparrow$ and $\\mathrm{Poi}^\\uparrow$.","marker":"[MSS22]"},{"why":"Borisov's theorem on the maximality of the orthochronous Poincaré group among transformation groups, on which Theorem 6.7 rests.","marker":"[Bor86]"},{"why":"Shows collinearity can be defined from lightlike relatedness, used to prove $\\mathrm{RelST}$ is a coordinate geometry.","marker":"[Pam07]"},{"why":"Earlier result that adding absolute simultaneity to special relativity already restores late classical kinematics, the motivating precedent for the conjecture.","marker":"[LS18]"}],"fun_headline_variants":["No intermediate spacetime theory between relativity and classical","Relativity and classical kinematics: no conceptual middle ground","From classical to relativistic: it's all or nothing","Special relativity is the only bridge from classical kinematics"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on a theorem, cited from a companion preprint rather than proved here, that for these finitely field-definable coordinate geometries a relation is definable exactly when it is field-definable and invariant under all automorphisms; if that duality fails, the reduction to the group-theoretic gap collapses.","fun_headline_variants_meta":{"raw":{"variants":["No intermediate spacetime theory between relativity and classical","Relativity and classical kinematics: no conceptual middle ground","From classical to relativistic: it's all or nothing","Special relativity is the only bridge from classical kinematics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000283,"raw_usage":{"total_tokens":1642,"prompt_tokens":886,"completion_tokens":756,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":502,"completion_tokens_details":{"reasoning_tokens":696}},"tokens_in":502,"tokens_out":756,"duration_ms":10363,"temperature":1.0,"reasoning_tokens":696,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T13:52:26.902700+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a model $M$ with $\\operatorname{Conc}\\mathrm{RelST} \\subset \\operatorname{Conc} M \\subset \\operatorname{Conc}\\mathrm{LClassST}$, or equivalently a group of transformations $G$ with $\\mathrm{Scal}\\circ\\mathrm{Triv} \\subset G \\subset \\mathrm{Scal}\\circ\\mathrm{Poi}$; alternatively, exhibit two finitely field-definable coordinate geometries with the same automorphism group but different concept sets, refuting the duality theorem.","supporting_citations":[],"review_version":1}