{"id":"2d69bf64-4a15-4637-95bc-6e3d60879526","arxiv_id":"2609.04448","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The only healthy regular Minkowski vacua in local four-derivative symmetric teleparallel gravity are GR/STEGR and a scalar extension; all others contain a massive spin-2 ghost.","lead":"This paper works out which versions of a symmetric teleparallel gravity theory with up to four derivatives produce healthy particle spectra around flat spacetime. It finds that only general relativity and a simple scalar extension avoid ghost-like particles, while any theory with a massive spin-2 state inevitably includes a ghost.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"The reduction of the 13 (∇Q)^2 operators to the five β_i bilinears is not independently verified; an omission or error in this step could change the Diff locus dimensionality and the central classification.","rationale":"The reader's weakest assumption concerns the use of Minkowski background and coincident gauge, which are acknowledged limitations. My concern targets a different unverified internal step: the reduction from 13 (∇Q)^2 operators to exactly five β_i. This step is not exhibited in detail and is the foundation for the parameter count in the Diff locus. If it is correct, the rest of the argument holds. An independent symbolic check would confirm or falsify it. Until then, the verdict remains CONDITIONAL but for a different reason. I recommend UNCHANGED because the paper's structure is otherwise robust and the likely outcome is that the reduction is correct, but the test is warranted.","tokens_in":19582,"tokens_out":863,"duration_ms":74116,"concrete_test":"Independently compute the linearised action from the 13 (∇Q)^2 operators in Appendix A, perform a systematic integration-by-parts reduction, and determine the exact number of independent four-derivative bilinears. Compare the resulting {β_i} and the mapping to (B,C). If any bilinear not in Eq. (14) appears or if the mapping differs, the classification must be re-derived. This can be done with a symbolic algebra system.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's entire branch-complete classification rests on the reduction of the 13 (∇Q)^2 operators (Appendix A) to the five four-derivative bilinears B^{(4)}_i defined in Eq. (14). The mapping (15) from the original {b_i} to {β_i} is stated without a detailed derivation or independent check. If integration by parts fails to eliminate a particular operator, or if an additional independent bilinear exists, then the β-space would have dimension six instead of five. Consequently, the Ward constraints in Eq. (29) would involve an extra independent structure, altering the rank of the Diff locus and the three-parameter family (A,B,C). This would directly change the polynomial factors A+2Cq and 2A+(3B-2C)q in the physical kernel (47), and therefore the pole locations, residue signs, and the list of healthy regular branches. The paper is mathematically careful, but the operator reduction is a nontrivial symbolic calculation that is not auditable within the manuscript. It is the most load-bearing unverified step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"This paper performs a classical free-spectrum analysis of local parity-even symmetric teleparallel gravity containing all pure-gravity nonmetricity operators through four derivatives. Around Minkowski spacetime in the coincident gauge, the quadratic action reduces to four two-derivative and five four-derivative bilinears. Unrestricted linearised diffeomorphism invariance leaves a three-parameter family (A,B,C). Using Barnes–Rivers decomposition, gauge fixing, and conserved-source saturation, the physical exchange amplitude is expressed in terms of spin-two and scalar factors A+2Cq and 2A+(3B-2C)q. The generic regular spectrum contains a massless graviton, a massive spin-two state (with residue opposite to the massless graviton), and a massive scalar. The complete regular branch classification yields only two fully healthy Minkowski loci: GR/STEGR (A>0, B=0, C=0) and a scalar-extension branch (A>0, B>0, C=0). The paper concludes that full k^{-4} tensor suppression requires a massive spin-two ghost, so healthy regular spin-two spectrum and full four-derivative tensor suppression are mutually exclusive within this finite local metric theory.","tokens_in":19198,"tokens_out":2437,"duration_ms":23237,"significance":"If the classification is correct, this paper provides a rigorous and complete operator-to-spectrum bridge for a broad class of symmetric teleparallel theories. The main result—that a healthy massive spin-2 pole is impossible in a local four-derivative metric theory, independent of the scalar sector—is a non-trivial and physically important obstruction. It sharpens the well-known tension between ultraviolet improvement and unitarity in a new context, and gives a clear target for nonlinear and quantum analyses. The work is carefully structured, with explicit derivations of the operator reduction, symmetry atlas, and branch classification. The connection to earlier results (Conroy–Koivisto, Stelle, Starobinsky) is properly acknowledged. The paper also honestly states its limitations (Minkowski background, quadratic order only, no radiative stability).","major_comments":[{"comment":"The reduction from the 13 (∇Q)^2 operators to the five β_i bilinears (Eq. (15)) is the most load-bearing unverified step. The manuscript states that the mapping was obtained by deterministic integration by parts and canonicalisation, but it provides no derivation, no algebraic system, and no independent check. Given that the dimension of β-space sets the rank of the Ward constraints and thus the three-parameter family (A,B,C), this step should be either presented in full detail (e.g., a table showing each b_i's contribution to each β_i) or verified by a publicly available symbolic computation script. Without this, the central classification rests on an unverifiable claim. I recommend adding an appendix or supplementary material with the explicit reduction.","section":"Section 3.1, Appendix A"}],"minor_comments":[],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"Punchline: this is the first paper I know that starts from the full 116-operator local parity-even nonmetricity basis and carries the quadratic projection through to a branch-complete spectrum and health classification. The main result—only GR/STEGR (A>0, B=C=0) and the scalar branch (A>0, B>0, C=0) are healthy regular Minkowski loci, and any finite C brings a massive spin-2 ghost with the wrong residue—is derived, not assumed, and the derivation is mostly transparent.\n\nWhat is genuinely new: the explicit coefficient map from the nonlinear basis to the nine bilinears, the six Ward constraints that reduce the Diff locus to the (A,B,C) family, the symmetry atlas (TDiff, Weyl, WTDiff, accidental branches), and the clean statement that k^-4 tensor suppression and a healthy spin-2 spectrum cannot coexist in this finite local metric theory. The GR check (B=C=0) reproduces Einstein exchange correctly, and the kernel maps to the Conroy-Koivisto form factors as a special case. Credit where due: the author is careful about conventions, signs, and about what \"healthy\" does and does not mean, and explicitly quarantines the singular A=0 branches and the f(Q) strong-coupling issues instead of overclaiming.\n\nThe soft spots. First, the load-bearing step—the reduction of the 13 (\\nabla Q)^2 operators to the five beta_i bilinears in Appendix A—is asserted, with the coefficient map (15) given but no derivation or independent check. If that reduction is wrong or misses an independent bilinear, the beta-space dimension, the Ward rank, and the (A,B,C) family all shift, and the classification with them. I see no internal contradiction, and the cross-checks (GR limit, agreement with known quadratic-gravity benchmarks) are some evidence the reduction is right, but it is not auditable within the manuscript. A referee should ask for the symbolic verification or an attached notebook.\n\nSecond, the health theorem is deliberately narrow: Minkowski background, Q=0 vacuum, coincident gauge, conserved metric source, classical free spectrum only. The author says this plainly. Fine as scoping; just do not let anyone cite it as a nonlinear or radiative-stability result.\n\nOn the stress-test note: it makes a fair point, but it is a verification gap, not a demonstrated flaw. Nothing in the text resolves or refutes it; the reduction simply needs checking.\n\nVerdict: send it to peer review. The referee's main job is to audit Appendix A and the symmetry atlas. This is a useful reference for the teleparallel and higher-derivative-gravity crowd, and if the reduction survives scrutiny, the classification is a genuine step forward.","headline":"A careful, self-contained operator-to-spectrum analysis of four-derivative symmetric teleparallel gravity whose headline classification (only GR/STEGR and the scalar branch are healthy) hangs on a 13-to-5 operator reduction that is stated rather than demonstrated.","tokens_in":19904,"tokens_out":3689,"would_cite":true,"duration_ms":33702,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"Complete classification of four-derivative symmetric teleparallel gravity reveals that only GR/STEGR and a scalar extension are ghost-free on Minkowski; all other branches with a massive spin-2 pole carry a ghost regardless of the scalar…","keywords":["symmetric teleparallel gravity","nonmetricity","higher-derivative gravity","physical spectrum","ghost","propagator","gauge symmetries"],"falsifier":"If one can construct a local parity-even metric theory with four-derivative terms around Minkowski spacetime that yields a massive spin-2 pole with positive residue (healthy) from a conserved metric source, then the central claim of the paper would be falsified. Alternatively, showing that the partial fraction identity (61) can be avoided by additional non-minimal couplings or by going beyond four derivatives would also challenge the result.","tokens_in":20463,"feed_emoji":"👻","tokens_out":3374,"duration_ms":30247,"temperature":0.7,"pith_summary":"This paper establishes the complete class of healthy regular Minkowski loci for a local parity-even symmetric teleparallel gravity theory containing all pure-gravity nonmetricity operators through four derivatives. Starting from 116 independent nonlinear operators, the quadratic action around Minkowski spacetime reduces to a nine-dimensional bilinear basis. Linearised diffeomorphism invariance leaves only three free parameters (A,B,C). The physical exchange amplitude for a conserved metric source then has two polynomial factors: one for spin-two (A+2Cq) and one for scalar (2A+(3B-2C)q). The spin-two factor's partial fraction decomposition 1/(q(A+2Cq)) = (1/A)(1/q - 1/(q+$m_2^{2}$)) forces the massive spin-2 residue to oppose the massless graviton residue, making it a ghost whenever C≠0. The only two fully healthy branches are GR/STEGR (B=C=0) and the scalar extension (A>0,B>0,C=0) which carries a massive healthy scalar. The consequence is that in any such finite local metric theory, full $k^{{-4}}$ tensor suppression comes with a ghost, while the healthy scalar branch has mixed UV behaviour (tensor $k^{{-2}}$, scalar $k^{{-4}}$).","feed_headline":"Ghost-free teleparallel gravity: only GR and a scalar extension survive","feed_subtitle":"Complete classification of the local four-derivative symmetric teleparallel operator basis reveals a massive spin-2 ghost in all other…","key_machinery":"The central object is the gauge-independent conserved-source exchange amplitude A(q) = (3I1 - $T^{2}$)/(3q(A+2Cq)) - $T^{2}$/(3q[2A+(3B-2C)q]). The key mechanism is the exact partial fraction identity 1/(q(A+2Cq)) = (1/A)(1/q - 1/(q+$m_2^{2}$)), which forces the massive spin-2 residue to have the opposite sign to the massless one, establishing the ghost independently of the scalar sector.","core_discovery":"The paper's central discovery is that the branch-complete classification of healthy regular Minkowski loci in local four-derivative symmetric teleparallel gravity, for a conserved metric source, yields exactly two possibilities: the GR/STEGR point (A>0, B=0, C=0) and the scalar extension (A>0, B>0, C=0). All other regular branches, especially those with C≠0, contain a massive spin-2 state whose residue is opposite in sign to the massless graviton, making it a ghost irrespective of the scalar sector. No tuning of B or A can remove this ghost. The classification is exhaustive for the unrestricted diffeomorphism locus and shows that the common trade-off between UV improvement and a healthy spin-2 spectrum is unavoidable in the finite local metric theory.","pith_inferences":["This spin-2 obstruction likely extends to any local metric theory with four-derivative terms, because it stems from the polynomial structure of the spin-2 kinetic factor in the metric field itself, not from the teleparallel formulation.","The scalar branch (C=0) may be radiatively unstable under quantum corrections: loops involving the cubic and quartic operators (Q^2∇Q and Q^4) could reintroduce the C operator and thereby a massive spin-2 ghost at higher order.","The symmetry atlas (TDiff, Weyl, WTDiff) provides alternative gauge structures that could avoid the ghost by removing the massive spin-2 state entirely through enhanced gauge symmetry, but such branches are not covered by the unrestricted Diff locus studied here.","These results do not apply to metric-affine or Riemann–Cartan theories where the connection is independent; in those theories a healthy massive spin-2 can live in the connection sector without violating the metric-only residue theorem."],"forward_implications":["Any local parity-even symmetric teleparallel gravity with a four-derivative kinetic term that contains a massive spin-2 pole will always have a ghost in that pole, regardless of the scalar sector.","The scalar extension (C=0, B>0) offers a healthy modification of GR with one extra massive scalar, but its tensor exchange falls off as k^{-2} and only the scalar channel improves to k^{-4}.","Achieving k^{-4} falloff in both physical channels (tensor and scalar) requires the presence of the massive spin-2 ghost, so full four-derivative improvement and a healthy spin-2 spectrum are mutually exclusive in this theory class.","The free-theory classification identifies exact classical targets for nonlinear completions: to preserve health, cubic and quartic vertices must not regenerate the C operator through quantum corrections.","The results reproduce and extend the known curvature-squared benchmarks (GR, R+R^2, Einstein–Weyl, generic quadratic gravity) after convention translation, showing the universality of the spin-2 obstruction."],"supporting_citations":[{"why":"Establishes the ghost-like massive spin-2 in quadratic curvature gravity; provides the benchmark for higher-derivative metric spectra that this paper's teleparallel results must reproduce.","marker":"[2]"},{"why":"Classical analysis of higher-derivative gravity; sets the tension between renormalisability and unitarity that motivates the present work.","marker":"[3]"},{"why":"Starobinsky inflation model (R+R^2) is the canonical healthy scalar extension; provides the curvature-squared comparison for the scalar branch.","marker":"[4]"},{"why":"Comprehensive review of quadratic gravity classifications; supplies the modern context and sign conventions for the ghost analysis.","marker":"[5]"},{"why":"Introduces symmetric teleparallel equivalent of GR (STEGR); supplies the geometric foundation and the covariance structure used throughout.","marker":"[11]"},{"why":"Develops the coincident gauge formulation of STEGR; the gauge-fixing and background expansion rely on this work.","marker":"[12]"},{"why":"Derives the general analytic propagator for symmetric teleparallel gravity using form factors; this paper's polynomial kernel maps to that form factor specialisation and provides the finite local operator origin.","marker":"[22]"}],"fun_headline_variants":["Ghost-free teleparallel gravity reduces to GR and one scalar extension","Massive spin-2 ghost rules out most four-derivative teleparallel gravity","Only two healthy Minkowski loci survive local teleparallel gravity scan","Four-derivative teleparallel gravity: every C≠0 branch has a spin-2 ghost","Teleparallel spectrum scan leaves GR plus scalar extension as ghost-free"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The analysis assumes a Minkowski background with vanishing nonmetricity (Q=0) and uses the coincident gauge where the teleparallel connection is set to zero, so it does not capture possible nontrivial vacua, strong-coupling regimes, or the nonlinear degrees of freedom that appear in f(Q) theories at the quadratic level.","fun_headline_variants_meta":{"raw":{"variants":["Ghost-free teleparallel gravity reduces to GR and one scalar extension","Massive spin-2 ghost rules out most four-derivative teleparallel gravity","Only two healthy Minkowski loci survive local teleparallel gravity scan","Four-derivative teleparallel gravity: every C≠0 branch has a spin-2 ghost","Teleparallel spectrum scan leaves GR plus scalar extension as ghost-free"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000267,"raw_usage":{"cost":0.00026656,"is_byok":false,"cost_details":{"upstream_inference_cost":0.00026656,"upstream_inference_prompt_cost":0.00017668,"upstream_inference_completions_cost":8.988e-05},"total_tokens":1583,"prompt_tokens":1262,"completion_tokens":321,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":0,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":239}},"tokens_in":1262,"tokens_out":321,"cost_source":"openrouter_usage","duration_ms":3768,"temperature":1.0,"reasoning_tokens":239,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-09-08T18:50:56.577654+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"If one can construct a local parity-even metric theory with four-derivative terms around Minkowski spacetime that yields a massive spin-2 pole with positive residue (healthy) from a conserved metric source, then the central claim of the paper would be falsified. Alternatively, showing that the partial fraction identity (61) can be avoided by additional non-minimal couplings or by going beyond four derivatives would also challenge the result.","supporting_citations":[{"cited_title":"Renormalization of Higher-Derivative Quantum Gravity","cited_arxiv_id":null,"evidence_quote":"Establishes the ghost-like massive spin-2 in quadratic curvature gravity; provides the benchmark for higher-derivative metric spectra that this paper's teleparallel results must reproduce."},{"cited_title":"Classical Gravity with Higher Derivatives","cited_arxiv_id":null,"evidence_quote":"Classical analysis of higher-derivative gravity; sets the tension between renormalisability and unitarity that motivates the present work."},{"cited_title":"A new type of isotropic cosmological models without singularity","cited_arxiv_id":null,"evidence_quote":"Starobinsky inflation model (R+R^2) is the canonical healthy scalar extension; provides the curvature-squared comparison for the scalar branch."},{"cited_title":"Quadratic Gravity","cited_arxiv_id":"1804.09944","evidence_quote":"Comprehensive review of quadratic gravity classifications; supplies the modern context and sign conventions for the ghost analysis."},{"cited_title":"Symmetric teleparallel general relativity","cited_arxiv_id":"gr-qc/9809049","evidence_quote":"Introduces symmetric teleparallel equivalent of GR (STEGR); supplies the geometric foundation and the covariance structure used throughout."},{"cited_title":"Coincident General Relativity","cited_arxiv_id":"1710.03116","evidence_quote":"Develops the coincident gauge formulation of STEGR; the gauge-fixing and background expansion rely on this work."},{"cited_title":"The spectrum of symmetric teleparallel gravity","cited_arxiv_id":"1710.05708","evidence_quote":"Derives the general analytic propagator for symmetric teleparallel gravity using form factors; this paper's polynomial kernel maps to that form factor specialisation and provides the finite local operator origin."}],"review_version":1}