{"id":"4ff04c6d-054c-4364-b8fe-b72423b0db2d","arxiv_id":"2504.14734","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper argues that geodesic motion is excluded from a dynamically grounded hierarchy of natural motion in general relativity, and that inertia is only a formal construct.","lead":"This philosophy of physics paper argues that in general relativity, geodesic motion is not an approximation or idealization of real free-body motion, but a formal artefact of the geometry. It proposes replacing the principle of inertia with a layered 'principle of natural motion' grounded in approximation schemes for structured and backreacting bodies.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Approximation test is misapplied: geodesic motion can be an approximation even if no limit system contains a geodesic body.","rationale":"The reader identified the reliance on Norton's dichotomy and the strict test-body definition as the weakest assumption. My concern is more specific and more damaging: even granting Norton's framework, the paper applies the wrong criterion for approximation. Norton's approximation is an inexact description of a real system; it requires decreasing error, not exact instantiation. The Ehlers–Geroch theorem (§4.2) and the Gralla–Wald ordinary limit (§6.1) supply precisely such decreasing error for small bodies, so the paper's claim that geodesic motion is not an approximation fails on its own terms. Since the abstract's strongest formulation—'fails to qualify as either an approximation or an idealisation' and 'without real or fictitious instantiation'—depends on the approximation rejection, this flaw is load-bearing. The paper's constructive layered account of natural motion may survive in a weakened form, but the central thesis as stated is unsound. Hence the verdict should move from CONDITIONAL to REJECT; the paper would need major revision to soften or abandon the 'not even an approximation' claim before it could be accepted.","tokens_in":43781,"tokens_out":7960,"duration_ms":80233,"concrete_test":"Take the one-parameter Gralla–Wald family of exact spacetimes for a small compact body in a Schwarzschild background, and compute the proper acceleration (deviation from the background geodesic) of the body's center-of-mass worldline as a function of the scaling parameter λ. If a(λ) → 0 as λ → 0 while the body has non-zero mass for every λ > 0, then geodesic motion is an epsilon-delta approximation of the motion of sufficiently small real bodies, directly refuting the paper's assertion that no stage of any such construction is even approximately geodesic.","verdict_should_be":"REJECT","load_bearing_attack":"The central conclusion that geodesic motion is not an approximation rests on a misapplication of Norton's own definition of approximation. In §4.2, the paper denies approximation because 'at no point in the construction—neither in the sequence nor in the limit—does a real, dynamically admissible body follow a geodesic, even approximately', and in §6.1 it dismisses the Gralla–Wald ordinary limit as 'pathological tracking'. But an approximation is defined by Norton as an inexact description of a real target system; it does not require the property to be exactly instantiated at any finite stage, nor does it require a limit system that contains a body bearing the property. The Ehlers–Geroch and Gralla–Wald ordinary limits provide exactly the relevant structure: for a one-parameter family of bodies whose mass and size shrink, the deviation of the body's worldline from a background geodesic tends to zero, while a real, non-zero-mass body exists at every finite parameter value. By demanding that the approximate statement be exactly true somewhere, the paper conflates approximation with idealization and, if applied consistently, would rule out every legitimate approximation in physics. This is the load-bearing weakness of the paper's central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper argues that in General Relativity, geodesic motion—the standard relativistic counterpart of inertial motion—is neither an approximation nor an idealisation in Norton's sense, but rather a 'formal artefact' of the theory's geometric structure. It first reviews classical and relativistic formulations of the Principle of Inertia, diagnosing circularity or triviality. It then analyses four strategies for deriving the geodesic principle (Geroch–Jang, Ehlers–Geroch, Einstein–Grommer, Geroch–Traschen) via Tamir's taxonomy, concluding that each fails to ground geodesic motion as approximation or idealisation. The paper then surveys extended test bodies (MPD equations, geodesic deviation), perturbative self-force (MiSaTaQuWa, Gralla–Wald), and FLRW cosmology, and proposes a layered 'natural motion' hierarchy governed by a new Principle of Natural Motion.","tokens_in":43930,"tokens_out":5042,"duration_ms":48389,"significance":"If the central claim were established, the paper would make a significant contribution to the philosophy of spacetime and to longstanding debates about the status of the geodesic principle. Its strengths include a careful engagement with Tamir's analysis, a clear taxonomy of the four theorem-based strategies, an explicit and candid treatment of the Gralla–Wald scaled limit, and a constructive alternative framework. The paper also provides clean summaries in Tables 1–3 and states several definitions precisely. However, the central verdict depends on a nonstandard definition of test bodies and on a contestable reading of Norton's approximation condition; as it stands, the main conclusion is not fully supported.","major_comments":[{"comment":"The paper denies that geodesic motion approximates anything because, as stated in §4.2, 'at no point in the construction—neither in the sequence nor in the limit—does a real, dynamically admissible body follow a geodesic, even approximately', and it similarly dismisses the Gralla–Wald ordinary limit in §6.1 as 'pathological tracking'. This misapplies Norton's own definition: an approximation is an inexact description of a real target system, and it does not require the approximated property to be exactly instantiated at any finite stage, nor does it require a limit system that contains a body bearing the property. The Ehlers–Geroch and Gralla–Wald one-parameter families provide a real, non-zero-mass body at every finite parameter value whose worldline approaches a background geodesic as the parameter tends to zero, which is precisely the structure of a legitimate approximation. By demanding that the approximate statement be exactly true somewhere, the paper conflates approximation with idealisation; applied consistently, this standard would rule out virtually every approximation in physics. This is load-bearing, since the central claim that geodesic motion is 'neither approximation nor idealisation' rests on this argument.","section":"§4.2, §6.1"},{"comment":"The paper stipulates that 'Strictly speaking, test bodies are systems with vanishing stress–energy' and then uses this definition to argue that Geroch–Jang particles, which have non-zero stress–energy in a fixed background, are not legitimate test bodies. This is a nonstandard definition: in the standard GR practice that the Geroch–Jang theorem is usually taken to capture, a test body has negligible but non-zero backreaction, and the fixed-background construction is understood as the limit of such bodies. Under the standard reading, the Geroch–Jang construction can be read as a legitimate idealisation, and the conclusion that geodesic motion has 'no real or fictitious instantiation' depends on the stipulative definition. The paper needs to justify this definitional choice explicitly or soften the conclusion accordingly.","section":"§4.1"},{"comment":"Definition 11 (PNM v.1) states that a body maintains natural motion if and only if its motion is determined by no interaction other than gravity—the very biconditional that the paper diagnoses as trivial in PIN (v.4) at §3.2 and Table 1. The paper does not explain how PNM avoids the same triviality objection. If the phrase 'determined by no interaction other than gravity' is tied definitionally to the applicable approximation regime, then the principle either inherits the triviality or needs a substantive, independent account of that phrase. As written, the constructive principle repeats the defect it criticises.","section":"§3.2, §7, Definition 11"},{"comment":"The FLRW discussion treats the geodesic Hubble flow as a 'formal artefact' partly because Buchert's averaging results show that inhomogeneous backreaction terms do not generically vanish. But FLRW with dust is an exact solution of the Einstein field equations, and the geodesic flow is derived from ∇_a T^{ab}=0 (eq. 11), as the paper itself concedes. The averaging results concern whether FLRW is a good coarse-grained model of our clumpy universe; they do not show that the FLRW model lacks a real or fictitious instantiation within GR. At most they show that FLRW is not the emergent limit of arbitrary inhomogeneous configurations, which is a different claim from the paper's 'no referent' conclusion. This distinction needs to be drawn explicitly.","section":"§6.2"}],"minor_comments":[{"comment":"The manuscript contains several typographical errors: 'An apple falled' (§1), 'a a body maintains' (Definition 9), 'yer uninstantiable' (§4), 'dybamical' (§7), and 'the Riemann tensor tensor' (§5.2). These should be corrected.","section":"§1, §3, §7"},{"comment":"Table 2 classifies the Ehlers–Geroch failure as 'Type II failure: limit property and limit system disagree', but the text in §4.2 says the limit system exists but does not bear the geodesic property; these formulations should be reconciled so the table and prose use the same criterion.","section":"§4.2, Table 2"},{"comment":"The notation in eq. (25) mixes abstract indices and coordinate-dependent quantities; the paper should state the index conventions and specify that the expression is schematic, as it does for eq. (26).","section":"§6.1"},{"comment":"The sentence about Cox and the 'counterfactual scaffold' could be misread as claiming that geodesic deviation equations are not derived from geodesics; the paper should clarify that the reference geodesic is a mathematical benchmark, not a physical trajectory, as it already does later in the same section.","section":"§5.2"},{"comment":"Some references are incomplete or informal, including 'Bamonti, N. (2023). What is a reference frame in general relativity?' and 'Bamonti, N. and H. Gomes (2024). What reference frames teach us about symmetry principles and observability. forthcoming.' These should be completed or marked clearly as forthcoming.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is a thoughtful and ambitious contribution, but its central conclusion is currently defended through a narrow reading of Norton's approximation concept and a stipulative definition of test bodies. I recommend major revision rather than rejection because the framework could be revised into a more defensible weaker thesis—for example, that geodesic motion is not a well-founded idealisation under strict dynamical admissibility, while allowing that it may serve as a legitimate approximation in standard perturbative practice. The author should also address the internal tension between the triviality diagnosis of PIN (v.4) and the formally identical PNM (v.1)."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe paper you asked about argues that geodesic motion in GR is neither an approximation nor an idealization of free-body motion, but a formal artefact with no real or fictitious referent, and that natural motion should be understood as a layered hierarchy of dynamical regimes. The headline claim is stronger than the evidence supports, but the paper is a genuine and mostly careful contribution to the literature on the geodesic principle.\n\nWhat is actually new: the reclassification of geodesic motion as a third category (useful construct) and the explicit Principle of Natural Motion. The exegesis of Geroch-Jang, Ehlers-Geroch, Einstein-Grommer, and Geroch-Traschen is accurate at the level of the cited literature, and the paper is candid about the Gralla-Wald scaled limit and about the circularity/triviality of several PIN formulations. That gives the reader a clear map of where the difficulties lie.\n\nThe soft spots are real. First, the approximation argument in §4.2 is misapplied. The paper denies that Ehlers-Geroch yields an approximation because at no point in the construction—neither in the sequence nor in the limit—does a real, dynamically admissible body follow a geodesic, even approximately. But an approximation does not require exact instantiation at any stage, nor a limit system containing the property. A one-parameter family of bodies with shrinking size and mass whose worldlines deviate from a background geodesic by an amount tending to zero is a textbook approximation. The demand that the property be exactly borne somewhere conflates approximation with idealization. This is load-bearing: if it fails, the conclusion that geodesic motion is not an approximation does not follow.\n\nSecond, the argument rests on a nonstandard definition of test bodies as having vanishing stress-energy (§4.1). Under the standard reading—negligible but non-zero backreaction—Geroch-Jang can be read as a legitimate idealization. The paper needs to engage that reading head-on rather than stipulate it away.\n\nThird, the paper's own PNM (v.1) repeats the 'no interaction other than gravity' biconditional it earlier diagnosed as trivial in PIN (v.4). That is a smaller issue, but it undercuts the claim that the framework avoids the definitional vacuity it identifies elsewhere.\n\nThe central interpretive position is defensible if one grants Norton's dichotomy and the strict test-body definition, but the strongest formulation—'no referent whatsoever'—goes beyond what the theorems show, especially given Gralla-Wald's ordinary limit as a vanishing-body limit.\n\nThis is a paper for philosophers of physics working on spacetime theory and the geodesic principle. It deserves a serious referee: the argument is clearly presented, engages the right literature, and the stress-testable claims are well-defined enough to be worth pushing back on. I would send it to review, with the expectation of major revision on the approximation point.","headline":"A well-written, provocative reclassification of geodesic motion as a 'useful construct' rather than approximation or idealization; the approximation argument overreaches, but the paper is serious and refereeing-worthy.","tokens_in":44509,"tokens_out":2650,"would_cite":true,"duration_ms":23702,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"General relativity gives no physical content to inertial motion: geodesic motion is neither an approximation nor an idealization of how bodies actually move.","keywords":["inertial motion","geodesic principle","general relativity","idealization and approximation","natural motion","self-force","test body","philosophy of physics"],"falsifier":"Calculate whether a one-parameter family of exact, smooth solutions of the Einstein equations can be arranged so that a small body's center-of-mass worldline converges to a timelike geodesic while the limiting stress-energy remains a non-zero distributional source satisfying the field equations under Geroch–Traschen regularity. The Geroch–Traschen theorem says this is impossible, so exhibiting such a family—or any coherent limit system that retains a body—would refute the paper's central claim.","tokens_in":43499,"feed_emoji":"🍎","tokens_out":9156,"duration_ms":82528,"temperature":0.7,"pith_summary":"The paper argues that the geodesic principle—the claim that free bodies in general relativity follow geodesics—is neither an approximation of real motion nor an idealization of any possible system. Drawing on the distinction between idealization and approximation and on an analysis of four derivation strategies, it claims that every attempt to derive geodesic motion either presupposes a test-body regime, loses the body in the limit, or violates the field equations. The author proposes replacing inertial motion with a layered account of natural motion: extended, structured, and backreacting bodies require successively refined formalisms—spin and multipole couplings, tidal deviation, self-force, and full backreaction—none of which has geodesic motion as its base. If this is right, the Principle of Inertia has no explanatory role in general relativity, and inertia survives only as a useful formal construct.","feed_headline":"Falling bodies do not move inertially, paper argues","feed_subtitle":"Geodesic paths are neither approximations nor idealizations; natural motion is layered instead.","key_machinery":"The machinery is the idealization/approximation distinction combined with the classification of geodesic-principle derivations into limit proofs and singularity proofs. The paper adds the diagnostic of off-shell failure: an approximating procedure violates the theory's own field equations, so it cannot track any admissible target system. Four theorems—Geroch–Jang, Ehlers–Geroch, Einstein–Grommer, and Geroch–Traschen—are used to show that geodesic motion fails as an approximation either through off-shell failure or pathological tracking, and fails as an idealization because the limit system either does not exist or does not bear the geodesic property.","core_discovery":"The central claim is that geodesic motion in general relativity fails to qualify as either an approximation or an idealization, and is best understood as a formal artefact of the theory's geometric structure, without real or fictitious instantiation. The Geroch–Jang theorem assigns geodesic motion to a curve only by placing non-zero stress-energy in a fixed background without dynamical justification; the Ehlers–Geroch construction recovers the geodesic only after the matter vanishes; the Einstein–Grommer strategy excises the body from the manifold; and the Geroch–Traschen theorem proves that no distributional stress-energy source supported on a curve can satisfy the Einstein field equations. Geodesic motion therefore has no referent among the theory's admissible solutions. In its place, natural motion is a hierarchy of dynamically admissible approximations: extended bodies with spin and structure deviate via the Mathisson–Papapetrou–Dixon equations, tidal effects are captured by geodesic deviation, self-interacting bodies require the self-force formalism, and fully backreacting systems obey the non-linear Einstein equations. Each layer replaces geodesic motion rather than correcting it.","pith_inferences":["Extension: If the paper's standard is applied to other field theories, many point-particle idealizations may turn out to be off-shell artifacts rather than legitimate idealizations, since a structureless point source often cannot satisfy the full non-linear field equations.","Extension: The paper's layered hierarchy suggests a testable diagnostic for any proposed law of motion: if the trajectory is attributed to a curve rather than derived from a source dynamics, it may be a formal construct rather than a physical motion.","Extension: The argument could be carried into quantum field theory in curved spacetime, where field configurations rather than worldlines are fundamental; the same distinction between formal constructs and dynamically admissible motion may reappear without any privileged geodesic trajectory."],"forward_implications":["The geodesic principle cannot be derived from Einstein's equations; at best it is assigned to a curve under assumptions that already presuppose the test-body regime.","Extended test bodies with spin, quadrupole structure, or internal stresses deviate from geodesics, so inertial motion fails before backreaction is even considered.","Gravitational self-force formalisms such as MiSaTaQuWa, as made rigorous by the Gralla–Wald construction, are not corrections to geodesic motion but the first admissible layer of natural motion for backreacting bodies.","The FLRW dust model's geodesic Hubble flow is a symmetry artifact: averaging realistic inhomogeneous matter distributions generically yields non-geodesic effective flows.","A Principle of Natural Motion, tied to dynamically admissible approximation regimes rather than privileged trajectories, replaces the Principle of Inertia as the foundational statement about free motion in general relativity."],"supporting_citations":[{"why":"Supplies the idealization/approximation dichotomy and the failure modes that frame the paper's verdict on geodesic motion.","marker":"Norton (2012)"},{"why":"Provides the three-pronged physical critique and the limit-proof/singularity-proof taxonomy the paper applies to derivations of the geodesic principle.","marker":"Tamir (2012)"},{"why":"The theorem that assigns geodesic motion to a curve while presupposing a fixed background with non-zero stress-energy.","marker":"Geroch and Jang (1975)"},{"why":"The limit construction whose matter vanishes in the limit, showing that the limit system lacks the body that should bear geodesic motion.","marker":"Ehlers and Geroch (2004)"},{"why":"The no-go result that no distributional stress-energy supported on a worldline can satisfy the Einstein field equations.","marker":"Geroch and Traschen (1987)"},{"why":"The rigorous derivation of gravitational self-force from smooth extended solutions, used as the model of an admissible layer of natural motion.","marker":"Gralla and Wald (2008)"},{"why":"Averaging results showing that inhomogeneous backreaction does not vanish, used to deny FLRW geodesic flow the status of approximation or idealization.","marker":"Buchert et al. (2020)"}],"fun_headline_variants":["Geodesic motion: a formal artifact, not nature's default","Why inertia isn't natural motion in general relativity","Natural motion is layered, not geodesic","Geodesics fail as approximations or idealizations","Inertia's trolling: geodesics are a construct"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument presumes that an idealization must be borne by a coherent limit system and that an approximation must track a real target system, and it treats test bodies as having exactly vanishing stress-energy; relax any of these and geodesic motion may be reinstated as a legitimate idealization.","fun_headline_variants_meta":{"raw":{"variants":["Geodesic motion: a formal artifact, not nature's default","Why inertia isn't natural motion in general relativity","Natural motion is layered, not geodesic","Geodesics fail as approximations or idealizations","Inertia's trolling: geodesics are a construct"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000156,"raw_usage":{"total_tokens":1257,"prompt_tokens":1020,"completion_tokens":237,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":636,"completion_tokens_details":{"reasoning_tokens":160}},"tokens_in":636,"tokens_out":237,"duration_ms":3205,"temperature":1.0,"reasoning_tokens":160,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:41:25.304830+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Calculate whether a one-parameter family of exact, smooth solutions of the Einstein equations can be arranged so that a small body's center-of-mass worldline converges to a timelike geodesic while the limiting stress-energy remains a non-zero distributional source satisfying the field equations under Geroch–Traschen regularity. The Geroch–Traschen theorem says this is impossible, so exhibiting such a family—or any coherent limit system that retains a body—would refute the paper's central claim.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the idealization/approximation dichotomy and the failure modes that frame the paper's verdict on geodesic motion."},{"cited_title":"(2012, May)","cited_arxiv_id":null,"evidence_quote":"Provides the three-pronged physical critique and the limit-proof/singularity-proof taxonomy the paper applies to derivations of the geodesic principle."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The theorem that assigns geodesic motion to a curve while presupposing a fixed background with non-zero stress-energy."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The limit construction whose matter vanishes in the limit, showing that the limit system lacks the body that should bear geodesic motion."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The no-go result that no distributional stress-energy supported on a worldline can satisfy the Einstein field equations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The rigorous derivation of gravitational self-force from smooth extended solutions, used as the model of an admissible layer of natural motion."},{"cited_title":"Mourier, and X","cited_arxiv_id":null,"evidence_quote":"Averaging results showing that inhomogeneous backreaction does not vanish, used to deny FLRW geodesic flow the status of approximation or idealization."}],"review_version":1}