{"id":"91cadb43-de04-49f9-b4be-58e3921d31dd","arxiv_id":"2507.10289","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Using an automorphism-group criterion, the authors determine exactly how the definable relations of ordered affine, Euclidean, Galilean, Newtonian, Relativistic, Minkowski, and Late Classical geometries are nested.","lead":"This paper compares the mathematical content of several classical geometries and spacetimes by checking which relations between points can be defined in each. It shows, for example, that Minkowski and Relativistic spacetimes contain exactly the same definable concepts, while Late Classical spacetime contains all the concepts of the other geometries.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No internal flaw found; central concept-set results depend on the unproved Part 1 bridge theorem (Thm 2.0.1), a standard but load-bearing external dependency.","rationale":"The reader correctly identified the dependency on Part 1's Theorem 2.0.1/Corollary 2.0.2 as the weakest structural point. I agree that this is the single most load-bearing assumption: it is not proved in the present paper, and the central concept-set comparisons are all derived through it. However, citing a theorem from the companion paper is standard mathematical practice, and the internal automorphism-group proofs in Sections 3.4–3.6 appear sound and check out in detail. The non-containment witnesses in Table 1 (E, P, N, G) are valid over every ordered field. Thus the dependency does not rise to an error or a missing proof that should change the ACCEPT verdict.","tokens_in":23091,"tokens_out":18357,"duration_ms":204208,"concrete_test":"Read the proof of Theorem 2.0.1 in [MSS25] and verify that the definability criterion (every F-definable relation invariant under AffAut G is definable in G) holds for all geometries used here, with no hidden hypothesis such as Euclidean field or d ≥ 3. As a spot check, attempt to derive an explicit first-order definition of Minkowski congruence ∼= from λ and Bw in the d = 2 case over Q; if this fails while the automorphism groups are equal, the bridge theorem's direction is in doubt and Theorem 3.2.2(i) would need revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main conclusions Theorems 3.2.2 and 3.2.3 are obtained by combining the affine automorphism computations of Theorem 3.3.5 with Theorem 2.0.1(ii) and Corollary 2.0.2(ii) from the companion paper [MSS25]. That bridge theorem — Conc G ⊆ Conc G′ iff AffAut G ⊇ AffAut G′ for finitely field-definable coordinate geometries — is cited but neither proved nor sketched here. Every set inclusion, equality, and non-containment in Figure 2/Table 1 is routed through it: for instance, Conc Rel = Conc Mink follows only from AffAut Rel = AffAut Mink plus the theorem. If the AffAut-to-Conc direction failed for any of the seven geometries, e.g. if a relation could be F-definable and PoiSim-invariant without being definable in Rel, the Hasse diagram would be wrong. I have not found any error in the paper's own geometric proofs; this is a genuine structural dependency rather than a detected inconsistency.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper applies a theorem from the authors' companion paper [MSS25] to compare the definable relation sets ('concept sets') of seven classical coordinate geometries over an ordered field. It defines ordered affine, Euclidean, Relativistic, Minkowski, Galilean, Newtonian, and Late Classical spacetimes in a first-order language with betweenness, proves that their affine automorphism groups coincide with various groups of 'similarities' (Theorem 3.3.5), and then derives a complete Hasse diagram of concept-set inclusions (Theorem 3.2.2) and results about expansions of these geometries (Theorem 3.2.3).","tokens_in":23295,"tokens_out":19798,"duration_ms":185146,"significance":"If correct, the results give a clean and illuminating lattice of concept-sets for historically important geometries, including the definitional equivalence of Rel and Mink and the maximality of LClass. The proofs in Sections 3.4 through 3.6 are detailed, case-by-case, and appear internally sound. The paper also demonstrates a powerful proof strategy for establishing concept-set inclusions without writing explicit definitions. The main results are conditional on the bridge theorem from Part 1, which is cited rather than proved here; for a two-part study this is a legitimate dependency, but it should be acknowledged explicitly rather than obscured by the word 'self-contained'.","major_comments":[],"minor_comments":[{"comment":"The abstract and introduction describe the paper as 'self-contained', but Theorem 2.0.1 and Corollary 2.0.2 are stated without proof and are essential to Theorems 3.2.2 and 3.2.3. The authors should clarify the precise sense in which the paper is self-contained, or remove that claim in favor of an explicit statement of the dependency on [MSS25].","section":"Abstract"},{"comment":"In the proof of Theorem 3.2.2(v), 'techniocal' should be 'technical'.","section":"§3.6.1"},{"comment":"In the proof of Theorem 3.2.3(iii), the final sentence refers to 'λClass' instead of 'LClass'.","section":"§3.6.2"},{"comment":"In the proof of Theorem 3.3.5(iii), the assertion that GalSim is closed under composition is stated without proof; a one-sentence justification would make the argument easier to follow.","section":"§3.5"}],"recommendation":"minor_revision","confidential_remarks":"The paper is Part 2 of a two-part series; the companion [MSS25] is not yet published. The editor may wish to verify that [MSS25] is available and under review, since Theorem 2.0.1 is a structural dependency for the concept-set results of the present paper. If that theorem were found to be false, the main conclusions here would be affected."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The key thing to know: this is a genuinely useful applications paper. It takes the Part 1 bridge theorem (Conc G ⊆ Conc G' iff AffAut G ⊇ AffAut G') and uses it to compute the actual concept-set lattice for seven classical geometries and spacetimes. The new mathematical content is Theorem 3.3.5, which identifies the affine automorphism groups with similarity groups—Euclidean similarities for Eucl, Poincaré similarities for Rel and Mink, Galilean similarities for Gal, trivial Galilean similarities for Newt, and trivial Euclidean similarities for LClass. The proofs are detailed, and I did not find a gap. The d=2 cases are handled explicitly, which is where such arguments usually break, and the self-contained proofs of the group characterizations are a real contribution.\n\nThe paper is also honest about what it is not doing: it does not prove the bridge theorem, which comes from the companion paper [MSS25]. That is the only load-bearing external dependency. Every inclusion in Figure 2 is routed through it, so if that theorem were false, the Hasse diagram would be wrong. But the theorem is cited precisely, and using a companion result is standard practice. The one thing that nags me is that the abstract and introduction call the paper 'self-contained'; that is not quite true. It is self-contained modulo Part 1's main theorem. A referee should ask the authors to either soften that claim or add a short proof sketch of the relevant direction of Theorem 2.0.1.\n\nMinor issues: typo 'techniocal' in Section 3.6.1, and 'λClass' for 'LClass' in the proof of 3.2.3(iii). Also 'transitivity of that' is missing a word. None of these affect correctness.\n\nWho is this for? People working on definitional equivalence, 'amount of structure' debates, and first-order axiomatizations of spacetime. It gives a clean, reproducible map of which relations are definable in which geometry, and the open problems at the end are well-posed. I would bring it to a reading group and I would cite it if I were writing about automorphism criteria for structure comparison.\n\nMy recommendation: send it to peer review. It is exactly the kind of paper that deserves a careful referee, not a desk rejection. The referee should have access to Part 1, but that is standard. Overall, this is a solid contribution.","headline":"A solid applications paper that computes the concept-set lattice for classical spacetimes via automorphism groups; the dependency on Part 1's bridge theorem is real but standard.","tokens_in":23824,"tokens_out":2384,"would_cite":true,"duration_ms":27294,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["03C07","03C40","51A05","51P05","83A05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that relativistic and Minkowski spacetime are definitionally equivalent — they define exactly the same relations — and that Late Classical spacetime contains the definable concepts of Euclidean, relativistic, and…","keywords":["definability","concepts","coordinate geometries","Minkowski spacetime","Newtonian spacetime","Galilean spacetime","automorphisms","betweenness"],"falsifier":"Find a relation on the point set of one of the seven structures, over an ordered field such as the rationals, that is preserved by every affine automorphism of the structure but is not first-order definable from its defining relations; this would refute the bridge theorem and thereby the concept-set inclusions of Theorem 3.2.2. For instance, one could search for a relation in the affine-automorphism-invariant closure of ordered affine geometry that is not definable from the betweenness relation.","tokens_in":22906,"feed_emoji":"🕰️","tokens_out":9374,"duration_ms":96463,"temperature":0.7,"pith_summary":"This paper answers a structural question about classical geometry and spacetime: which of the standard theories can define which relations, once all distance and time units are left unspecified? Working with seven geometries over an arbitrary ordered field — ordered affine, Euclidean, relativistic, Minkowski, Galilean, Newtonian, and Late Classical — all expressed in a first-order language built on the ternary betweenness relation, the paper proves that the containment order of their sets of definable relations is exactly the reverse containment order of their affine automorphism groups. The payoff is a complete Hasse diagram: relativistic and Minkowski spacetime are definitionally equivalent, Galilean is contained in Newtonian, ordered affine is contained in the common part of Euclidean, relativistic, and Galilean, and Late Classical contains the concepts of Euclidean, relativistic, and Newtonian geometries. Because the comparison is reduced to affine automorphism groups, which turn out to be familiar similarity groups, the paper settles which of the listed relations — simultaneity, rest, lightlike relatedness, the various congruences — separate one theory from another.","feed_headline":"Relativity and Minkowski spacetime define the same concepts","feed_subtitle":"Comparing symmetry groups shows exactly which classical spacetime can define which concepts.","key_machinery":"The load-bearing machinery is a pair of results from the companion paper, Theorem 2.0.1 and Corollary 2.0.2, which state that for finitely field-definable coordinate geometries G and G′ over the same ordered field, the concept-set of G is contained in that of G′ exactly when the affine automorphism group of G contains that of G′, and the concept-sets are equal exactly when the affine automorphism groups coincide. Applied here, this bridge turns the problem of comparing definability into the problem of computing affine automorphism groups. The paper computes those groups as similarity transformations: Euclidean similarities for Euclidean geometry, Poincaré similarities for both Rel and Minkowski, Galilean similarities for Galilean spacetime, trivial Galilean similarities for Newtonian spacetime, and trivial Euclidean similarities for Late Classical spacetime. The nontrivial parts of the proof are lemmas showing, for example, that a product and its squared distance function are interdefinable, and that the only affine maps that are simultaneously Euclidean and Poincaré similarities are the trivial Euclidean similarities.","core_discovery":"On the paper's own terms, the central discovery is that the concept-sets of the seven standard geometries and spacetimes are partially ordered exactly as shown in the Venn diagram: the concept-sets of Rel and Mink are equal; the concept-set of Gal is contained in that of Newt; the concept-set of OAff is contained in the intersection of those of Eucl, Rel, and Gal; and the union of the concept-sets of Eucl, Rel, and Newt is contained in that of LClass, with a table showing precisely which of the relations S, Rest, lightlike relatedness, Euclidean congruence, congruence on simultaneity, Minkowski congruence, and the derived ternary relation belong to which concept-set. The reason is Theorem 3.3.5: the affine automorphism group of each geometry is a specific similarity group, namely the Euclidean similarities for Eucl, the Poincaré similarities for both Rel and Mink, the Galilean similarities for Gal, the trivial Galilean similarities for Newt, and the trivial Euclidean similarities for LClass. By the bridge result from the companion paper, for finitely field-definable coordinate geometries over the same ordered field, a smaller concept-set corresponds to a larger affine automorphism group, so these five equalities force all the concept-set inclusions. A further theorem shows that adding any missing concept from the list to Eucl, Rel, Gal, or Newt usually produces the full concept-set of LClass, with a handful of exceptions in dimension two.","pith_inferences":["Editorial inference: the same group-comparison strategy would apply to any other geometry whose affine automorphism group is a known similarity group, so the method in principle extends beyond the seven structures listed here.","Editorial inference: because the models are unit-free, scaling is an automorphism; physical theories that fix units, as metric approaches do, have smaller automorphism groups and hence more definable relations, which explains the apparent contradiction with metric treatments noted in the paper.","Editorial inference: the dimension-two exceptional cases suggest that the usual separation of time and space is not definably forced in the plane under these definitions, so low-dimensional versions of the geometry behave differently.","Editorial inference: the open problems asking whether certain intersections of concept-sets are strictly larger than the concept-set of ordered affine geometry could be approached by computing affine automorphism groups of the corresponding intersection geometries; the paper does not do this."],"forward_implications":["Relativistic and Minkowski spacetime define exactly the same relations, so in this unit-free setting lightlike relatedness and Minkowski congruence are interchangeable starting from betweenness.","Every relation definable in Euclidean geometry, in relativistic spacetime, or in Newtonian spacetime is also definable in Late Classical spacetime, which is therefore the richest of the seven structures considered.","None of the relations S, Rest, lightlike relatedness, Euclidean congruence, congruence on simultaneity, Minkowski congruence, or the derived ternary relation can distinguish Rel from Mink; they can, however, distinguish all the other geometries, as Table 1 shows.","If the dimension is at least three, adjoining a single missing concept from the list to Eucl, Rel, Gal, or Newt collapses the expanded structure to definitional equivalence with LClass.","In the plane, there is an exceptional equivalence class: the expansion of Rel by Euclidean congruence, of Eucl by Minkowski congruence, and of Eucl by lightlike relatedness are definitionally equivalent to each other but not to LClass."],"supporting_citations":[{"why":"Supplies the bridge theorem and corollary converting affine automorphism group containment into concept-set containment for finitely field-definable coordinate geometries; without it the applications do not go through.","marker":"[MSS25]"},{"why":"Used in the proof of Theorem 3.3.5(ii) as the classification of distance-preserving transformations from which the equality AffAut Rel = PoiSim is obtained.","marker":"[Les95]"},{"why":"Supplies the definition of ordered affine geometry, affine Cartesian space, that all the paper's structures build on.","marker":"[ST79]"},{"why":"The Galilean spacetime language the paper adopts, using betweenness, simultaneity, and congruence on simultaneity, matches the second-order axiomatization given there.","marker":"[Ket23]"},{"why":"A metric approach to comparing Galilean, Newtonian, and Minkowski spacetime whose different conclusions are reconciled by the paper's unit-free setting.","marker":"[Bar15b]"}],"fun_headline_variants":["Relativity and Minkowski share all definable concepts","Symmetry groups reveal spacetime concept hierarchy","How geometry concepts are decided by symmetries","Classical spacetimes ordered by definable concepts","Minkowski and relativity: same concept set"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole comparison rests on the bridge theorem from the companion paper — that for these geometries, one concept-set contains another exactly when the affine automorphism group of the containing set is contained in the other — and that theorem is cited rather than proved here.","fun_headline_variants_meta":{"raw":{"variants":["Relativity and Minkowski share all definable concepts","Symmetry groups reveal spacetime concept hierarchy","How geometry concepts are decided by symmetries","Classical spacetimes ordered by definable concepts","Minkowski and relativity: same concept set"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000803,"raw_usage":{"total_tokens":3534,"prompt_tokens":953,"completion_tokens":2581,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":569,"completion_tokens_details":{"reasoning_tokens":2510}},"tokens_in":569,"tokens_out":2581,"duration_ms":20074,"temperature":1.0,"reasoning_tokens":2510,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:35:06.642239+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a relation on the point set of one of the seven structures, over an ordered field such as the rationals, that is preserved by every affine automorphism of the structure but is not first-order definable from its defining relations; this would refute the bridge theorem and thereby the concept-set inclusions of Theorem 3.2.2. For instance, one could search for a relation in the affine-automorphism-invariant closure of ordered affine geometry that is not definable from the betweenness relation.","supporting_citations":[],"review_version":1}