{"id":"9b5368f7-8595-4b99-b0bf-b45d001c0405","arxiv_id":"1909.00168","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"A perturbative method for building diffeomorphism-invariant gravitational equations from any tensor matter theory is outlined and tested on metric and area metric gravity.","lead":"This paper sketches a way to build gravitational equations for any given matter theory by requiring that they stay the same under all coordinate changes, working step by step outward from flat spacetime. It applies the recipe to two examples, one that reproduces Einstein's equations and one that matches the causal structure of electrodynamics.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper's central reduction to linear algebra rests on an asserted equivalence of diffeomorphism invariance with PDE systems (2)/(4) that is deferred to unavailable Ref. 2; the linear-term discard in Eq. (5) is also not generally correct.","rationale":"The reader's weakest_assumption is exactly the locus of the most load-bearing concern: the equivalence of diffeomorphism invariance with the PDE systems (2) and (4) is asserted but not proven in this submission, with details deferred to an unavailable reference. Since the paper's method, examples, and causality comparison all build on these systems, the absence of a derivation is fatal to the standalone preprint. I therefore agree with the reader's REJECT verdict. I also note an additional internal issue that the reader flagged: the statement in Eq. (5) that linear terms in the Lagrangian can be neglected because they do not contribute to the EOM is not generally correct. In the metric example the linear coefficients turn out to vanish after solving the linear system, so the final conclusion there may survive, but the general method's justification contains a false claim. The paper does present a plausible and interesting program, and the reported causality match for area metric gravity is consistent with the approach, but the submission itself does not provide the derivations needed to verify the central claim. No machine-checked proofs or reproducible code are offered. The test I propose would directly check whether the foundational equivalence holds in a simple case; if it does, the method gains credibility, but as submitted the evidence is insufficient.","tokens_in":5369,"tokens_out":3658,"duration_ms":91549,"concrete_test":"Independently derive Eq. (2) from Eq. (1) for the simplest nontrivial case, e.g. a scalar density Lagrangian L = phi sqrt(-g) on a metric background, by computing the Lie derivative of L along a vector field, requiring it to vanish for all vector fields, and collecting coefficients of xi^m, partial xi, and second derivatives of xi. Check whether the resulting PDEs match every line of (2) with the correct structure tensor C. Then apply the variational derivative to L and verify that the resulting EOM satisfy system (4) without additional assumptions. If any term in (2) or (4) is missing or extra, the asserted equivalence is not as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim depends on the asserted equivalence between diffeomorphism invariance of the Lagrangian, Eq. (1), and the PDE system (2), and on the analogous assertion that Eq. (1) forces the EOM to satisfy system (4). The text states that this 'can be shown' and that details are in Ref. 2, which is listed as 'in preparation' and is unavailable. No derivation or verification of either equivalence appears in this submission. Every subsequent step, including the linear systems (6) and (7) obtained by expanding (2) and (4), and both examples in Section 3, inherits this unproven foundation. If the equivalence is not exactly as asserted, or if the systems are incomplete, the method loses its basis. This is a missing proof of a load-bearing premise, not merely a missing citation. Additionally, Eq. (5) discards linear terms in the Lagrangian because they 'do not contribute to the EOM.' That is not generally true: a term c_A(v^A - N^A) in the Lagrangian yields a constant EOM contribution c_A, which is not zero unless the background solves the homogeneous equations or the equivariance equations force c_A to vanish. In the metric example the linear coefficients are later found to vanish after solving (6), but the general statement in Eq. (5) is mathematically incorrect. The metric/Einstein comparison itself is also asserted without showing the computation, and the area-metric details are likewise deferred. The standalone preprint therefore does not contain the evidence needed to support its central constructive claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a perturbative method, called covariant constructive gravity, for completing a given matter action with diffeomorphism-invariant equations of motion for a background tensor field G. It asserts that the diffeomorphism-invariance condition (1) is equivalent to the first-order PDE system (2) for the Lagrangian and to the analogous system (4) for the Euler-Lagrange expressions, and that expanding around Minkowski space reduces these to the linear systems (6) and (7). The metric example claims to reproduce the Einstein equations in quadratic order, and the area-metric example claims that the constructed gravitational dynamics are causally compatible with general linear electrodynamics. The central derivations are deferred to Ref. 2, listed as 'in preparation', and the metric/Einstein comparison is stated without displaying the computation.","tokens_in":5697,"tokens_out":6905,"duration_ms":64389,"significance":"If established, the method would be a useful tool: it would systematically reduce the construction of diffeomorphism-invariant gravitational dynamics to solving linear algebraic systems order by order, and it would allow a direct comparison of characteristic cones with the matter equations. The jet-bundle formulation and the power-series strategy are natural and potentially valuable. However, the paper as submitted does not provide enough support for these claims: the key equivalence is unproved and deferred, one expansion step is based on an incorrect general statement, and the validation examples are not shown. The significance is therefore conditional on the missing derivations.","major_comments":[{"comment":"The foundational claim that diffeomorphism invariance (1) is equivalent to the PDE system (2), and that the Euler-Lagrange expressions consequently satisfy (4), is stated as 'can be shown' with details deferred to Ref. 2, which is unpublished. No derivation, sketch, or reference to a published proof is provided. Since Eqs. (6)-(7) and both examples in Sections 3 and 4 build on this equivalence, the manuscript currently does not contain a verifiable basis for its central claim. A revision must either include the derivation of (2) and (4) or cite a published source.","section":"Section 2, Eqs. (2) and (4)"},{"comment":"The statement that 'any linear terms are neglected as they do not contribute to the EOM' is not generally true. A term c_A (v^A - N^A) in the Lagrangian produces a constant contribution c_A in the Euler-Lagrange expression E_A, which vanishes only for c_A = 0 or under additional conditions that are not stated. In the metric example the linear coefficients are later found to vanish after solving (6), but the general assertion before Eq. (5) is incorrect as written. The paper should prove that the equivariance equations force such coefficients to vanish, or treat them explicitly in the expansion.","section":"Section 2, Eq. (5)"},{"comment":"The claim that the computed quadratic expansion of the equations of motion 'coincides' with the Einstein field equations is made without displaying the expansion of E_A or showing the comparison. This is a load-bearing validation of the method, and the reader cannot check it from the text. The authors should include the explicit second-order EOM and identify the overall constant with the gravitational coupling.","section":"Section 3.1, after Eq. (10)"},{"comment":"The area-metric example is summarized only by counts of constants ('3 masses and 7 gravitational constants in linear order'), and the principal polynomial Parea in Eq. (17) is stated as 'calculated as' without derivation; the details are deferred to Ref. 2. Since the causal-compatibility argument is a second central pillar of the paper, the relevant calculation must appear in the present manuscript.","section":"Sections 3.2 and 4"}],"minor_comments":[{"comment":"The sentence 'Terms with an odd number of indices are neglected' conflicts with the displayed expansion, which explicitly retains the three-index terms L:A:B:C|x0 and L:Ap:Bq:C|x0. Please clarify what is meant by 'odd number of indices' and reconcile this statement with Eq. (5).","section":"Section 2, Eq. (5)"},{"comment":"The action is written as S_KG[Φ; gab) with a closing parenthesis; the notation should be made consistent, e.g., S_KG[Φ; gab].","section":"Section 3.1, Eq. (8)"},{"comment":"The phrase 'in variance' in the abstract and on page 1 should be 'invariance'.","section":"Abstract and page 1"},{"comment":"The notation 'where ... = (pqm) denotes the total symmetrization in pqm for the whole equation' is confusing; please define the symmetrization operation on the displayed equation explicitly.","section":"Section 2, Eq. (6)"}],"recommendation":"major_revision","confidential_remarks":"This is a very short proceedings-style paper whose central technical content is deferred to an unpublished companion paper. A thorough revision would need to make the manuscript self-contained, in particular by proving the equivalence in Section 2 and displaying the metric and area-metric calculations. If the journal does not accept such expanded submissions, the present form is unlikely to be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper presents a covariant, perturbative method for constructing diffeomorphism-invariant gravitational equations for any tensor field. That framing is genuinely new relative to the canonical approach, and the reduction of the invariance condition to a linear-algebra problem order by order is elegant. The two worked examples are concrete: the metric case reproduces linearized Einstein equations, and the area-metric causality match with GLED is a real result, even if the details are hidden.\n\nThe soft spots are proportional to how the paper is packaged. The central equivalence between diffeomorphism invariance and the PDE systems (2) and (4) is asserted, with the proof deferred to Ref. 2, which is listed as in preparation and unavailable. Everything downstream — equations (6) and (7), both examples, the causality comparison — inherits that gap. That is not a minor citation issue; it is the foundation of the method. The metric/Einstein comparison is also stated without showing the computation, and the area-metric details are likewise deferred.\n\nOne specific mathematical claim is wrong as stated: Eq. (5) says linear terms in the Lagrangian can be neglected because they do not contribute to the EOM. That is not generally true — a linear term c_A(v^A - N^A) produces a constant EOM contribution c_A, which vanishes only if the background solves the homogeneous equations or the equivariance equations force c_A to zero. In the metric example the linear coefficients do vanish after solving (6), so the example survives, but the blanket statement in Eq. (5) is incorrect.\n\nThe paper is clearly written and the authors are honest about what they are deferring. I see no circularity: the metric example independently matches the known Einstein equations, and the free parameters in the area-metric comparison are not tuned to force the causality match. Still, as a standalone preprint, the evidence for the central claim is not in hand. This reads like a proceedings summary, not a self-contained paper.\n\nWho gets value from this? A specialist in constructive gravity who already knows the companion paper. For everyone else, the right move is to wait for Ref. 2. I would not cite this for the central method, though the area-metric causality observation is worth remembering.\n\nRecommendation: if the editor can obtain the companion paper and send both to a referee, this deserves serious peer review. As submitted alone, it is too incomplete to accept. I would not desk-reject outright — the idea is sound enough to merit referee time — but the referee needs the full derivation.","headline":"A promising covariant perturbative reformulation of constructive gravity, but the standalone paper defers the load-bearing derivations to an unavailable companion.","tokens_in":127,"tokens_out":1670,"would_cite":false,"duration_ms":28632,"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":"Requiring diffeomorphism invariance reduces the perturbative construction of gravitational equations of motion to a linear-algebra problem around Minkowski space, and in the metric case the second-order result coincides with the Einstein…","keywords":["constructive gravity","diffeomorphism invariance","perturbative equations of motion","Einstein field equations","area metric gravity","principal polynomial","causal compatibility","Minkowski expansion"],"falsifier":"Take the second-order metric expansion produced by the paper, substitute it into the exact equivariance condition (1) for a one-parameter family of finite diffeomorphisms, and check whether invariance holds; if it fails, the linear systems (6)/(7) are necessary but not sufficient, and the construction does not actually produce diffeomorphism-invariant dynamics.","tokens_in":5159,"feed_emoji":"🌌","tokens_out":8002,"duration_ms":68256,"temperature":0.7,"pith_summary":"This paper tries to establish a covariant, perturbative route to “constructive gravity”: given any tensorial matter field theory whose background is a geometric tensor field $G$, one can construct diffeomorphism-invariant equations of motion for $G$ order by order around Minkowski space. The key step is that diffeomorphism invariance, expressed as equivariance of the Lagrangian, is equivalent to a system of PDEs; a power-series ansatz turns those PDEs into systems of linear equations in each order. Working to second order, the metric field case yields the Einstein field equations, and the area-metric case yields equations whose principal polynomial has the same vanishing set as that of general linear electrodynamics, so matter and gravity share initial-data hypersurfaces. A sympathetic reader would care because this offers a systematic, purely covariant recipe for deriving gravitational dynamics from a matter theory plus causality, without gauge-fixing.","feed_headline":"Einstein's equations emerge from linear algebra","feed_subtitle":"Invariance under coordinate changes turns gravity construction into linear algebra around Minkowski space.","key_machinery":"The load-bearing object is the pair of linear systems (6) and (7), which encode diffeomorphism invariance order by order around Minkowski space. They arise from the PDE system (4) satisfied by any diffeomorphism-equivariant Euler–Lagrange expression, evaluated at an expansion point induced by the flat metric; the only input that depends on the gravitational field is the constant tensor $C^{Bm}_{An}$ describing the Lie-algebra action of vector fields on the bundle. A second piece of machinery is the principal polynomial of a system of PDEs—the polynomial whose vanishing set gives the characteristic cones, hence the admissible initial-data hypersurfaces—which the paper uses to impose causal compatibility between matter and gravitational equations.","core_discovery":"The central claim is that the hard PDE problem of constructing diffeomorphism-invariant gravitational Lagrangians can be solved perturbatively by linear algebra. Starting from the equivariance condition (1), the paper uses the Lie-algebra-level conditions (2) for the Lagrangian and (4) for the equations of motion, then expands around an η-induced point where the flat Minkowski metric lives and derivative coordinates vanish. The expansion coefficients are built from $\\eta_{ab}$ and $\\epsilon_{abcd}$; substituting into (4) and prolonging yields the linear systems (6) and (7), which constrain the coefficients at linear and quadratic order. Solving these systems for the metric field leaves a single overall constant and produces a second-order expansion of the equations of motion that the paper identifies with the Einstein field equations. For the area metric, the same procedure yields free masses and gravitational constants, and the principal polynomial of the resulting equations is shown to agree, up to a density factor, with the GLED principal polynomial, so the two systems are causally compatible.","pith_inferences":["A natural next step, not taken in the paper, is to push the metric construction to third order; if the linear systems continue to reproduce the Einstein–Hilbert expansion, the perturbative reduction is likely complete, whereas new free constants would signal that the method only captures a subset of diffeomorphism-invariant theories.","The area-metric example suggests that causal compatibility may be a derived rather than an imposed condition: the diffeomorphism-invariant equations already match the matter characteristic variety, at least to second order. Testing a second matter theory on the same background would show whether this is a general pattern.","Because the ansatz uses only $\\eta_{ab}$ and $\\epsilon_{abcd}$, the method is tailored to four spacetime dimensions; applying it with a different background expansion point could reveal how the number of gravitational constants depends on dimension and signature."],"forward_implications":["For any tensorial background field, the procedure is algorithmic: compute the structure tensor $C$, write the most general expansion coefficients from $\\eta$ and $\\epsilon$, and solve linear systems at each order.","In the metric case, the second-order expansion of the equations of motion has a single free overall constant and matches the Einstein field equations, so general relativity is recovered without postulating it.","For area metric gravity, the constructed equations are automatically causally compatible with general linear electrodynamics to second order: their principal polynomials have the same vanishing set, so matter and gravity can share initial-data hypersurfaces.","The same derivation can be repeated for other choices of the background tensor field, since the only field-dependent input is the Lie-algebra structure tensor.","The causality requirement adds no new restriction in the metric example, because the principal polynomial of the gravitational equations has the same vanishing set as the Klein–Gordon polynomial already at second order."],"supporting_citations":[{"why":"Supplies the canonical constructive-gravity setup and the principal-polynomial criterion for causal compatibility that the paper adopts.","marker":"[1]"},{"why":"Contains the derivation of the equivariance PDE systems (2) and (4) and the result that expansion coefficients are built from $\\eta$ and $\\epsilon$; the linear-system reduction depends on it.","marker":"[2]"},{"why":"Provides the jet-bundle lift of the diffeomorphism action used to state equivariance condition (1).","marker":"[3]"},{"why":"Underpins the claim that admissible initial-data hypersurfaces are determined by the cone of the principal polynomial.","marker":"[4]"},{"why":"Gives the principal polynomial of general linear electrodynamics used in the area-metric causality comparison.","marker":"[5]"}],"fun_headline_variants":["Gravity's equations are just linear algebra","Einstein out of a linear system","Covariant gravity from linear algebra","How to build Einstein's equations with linear algebra","Diffeomorphism invariance yields Einstein via algebra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that “invariance under all spacetime coordinate changes” is exactly the same as a particular list of differential equations written down in the paper, with the proof of that equivalence left to a reference that is not yet available.","fun_headline_variants_meta":{"raw":{"variants":["Gravity's equations are just linear algebra","Einstein out of a linear system","Covariant gravity from linear algebra","How to build Einstein's equations with linear algebra","Diffeomorphism invariance yields Einstein via algebra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001234,"raw_usage":{"total_tokens":5001,"prompt_tokens":814,"completion_tokens":4187,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":4122}},"tokens_in":430,"tokens_out":4187,"duration_ms":25121,"temperature":1.0,"reasoning_tokens":4122,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T06:00:39.604443+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the second-order metric expansion produced by the paper, substitute it into the exact equivariance condition (1) for a one-parameter family of finite diffeomorphisms, and check whether invariance holds; if it fails, the linear systems (6)/(7) are necessary but not sufficient, and the construction does not actually produce diffeomorphism-invariant dynamics.","supporting_citations":[{"cited_title":"Alex and T","cited_arxiv_id":null,"evidence_quote":"Contains the derivation of the equivariance PDE systems (2) and (4) and the result that expansion coefficients are built from $\\eta$ and $\\epsilon$; the linear-system reduction depends on it."},{"cited_title":"Generally covariant Fresnel equation and the emergence of the light cone structure in linear pre-metric electrodynamics","cited_arxiv_id":"gr-qc/0109012","evidence_quote":"Gives the principal polynomial of general linear electrodynamics used in the area-metric causality comparison."}],"review_version":1}