{"id":"c96d939a-2144-40ce-b50d-bad8a456a0a8","arxiv_id":"2412.15329","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"The full background dynamics of parity-even quadratic metric-affine gravity in FLRW spacetimes are derived, including branches with spatial-curvature screening and analytic de Sitter-like solutions.","lead":"This paper derives the complete background cosmological equations for the most general parity-even quadratic metric-affine gravity, a framework that extends Einstein's theory with torsion and non-metricity. It identifies two special parameter branches: one where spatial curvature is invisible to the field equations, and one with analytically solvable cosmologies that approach de Sitter expansion.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"FLRW minisuperspace reduction of the independent affine connection relies on an unverified application of Palais' symmetric criticality; if the principle fails, the Appendix B field equations are not the true covariant equations.","rationale":"The reader's weakest assumption is also the most load-bearing concern in my reading. The paper's central deliverable is the complete background system: every branch condition, K-screening claim, integrable-branch integration, and particle-spectrum analysis downstream uses the equations in Appendix B. A failure of symmetric criticality for the affine connection would invalidate that equation set even if the algebraic reductions of Section IIIA are correct. I agree with the reader's CONDITIONAL assessment: the paper is careful, contains useful internal calibrations, and is appropriately cautious in its final note, but the minisuperspace-to-covariant equivalence is asserted rather than demonstrated for the connection field. The additional overclaims noted by the reader, concerning the late-time de Sitter behaviour of the integrable branch and the 'most general GR-reproducing model', are real but secondary; they concern the abstract and interpretive claims rather than the core equation set. The proposed test is a direct, finite computation: derive the covariant equations in a manageable subsector and compare with the minisuperspace result. If the test passes, the central claim is substantially supported; until then, keeping the verdict at CONDITIONAL is appropriate.","tokens_in":36512,"tokens_out":6164,"duration_ms":66556,"concrete_test":"Independently derive the covariant equations of motion for Eq. (25) by varying with respect to the metric and the affine connection before any symmetry reduction, using an independent tensor-calculus package (e.g. Cadabra or xAct). Then substitute the FLRW metric and connection ansatz, Eqs. (12) and (14), into those covariant equations and compare term-by-term with Eqs. (B1)-(B7). First carry out the check in a nontrivial subsector where only curvature-squared couplings are present (for example c1, c2, c4 nonzero with all a_i = 0), so that the connection equations contain derivatives of X, Y, Z, V, W and the test is not degenerate. Agreement would validate the minisuperspace reduction; any mismatch would show that Palais' principle fails for the independent connection and that the central equation set needs correction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section IIIB states that imposing the FLRW ansatz on the metric and distortion before taking variations holds as guaranteed by Palais' principle of symmetric criticality, adding that the metric here fulfills the requirements. The cited theorems (Maccallum and Taub 1972; Fels and Torre 2001) concern symmetric criticality for the metric in spatially homogeneous cosmologies; they do not automatically cover the 64-component independent affine connection, whose variational equations are constrained by diffeomorphism and projective symmetries. In gauge-like theories, symmetric criticality can fail: reducing to invariant field configurations before varying can either miss components of the field equations or impose spurious constraints. The paper offers no direct check that the minisuperspace equations (B1)-(B7) coincide with the full covariant field equations evaluated on the same FLRW ansatz. The calibrations in Section IIIB only test limits where the connection equations are algebraic (the Einstein-Hilbert case and the torsion/non-metricity quadratic model of [127,128]); they do not exercise the curvature-squared operators, which produce derivative couplings of the distortion fields and are precisely where a symmetric-criticality failure would first appear. Since the abstract's central claim is the completeness of the resulting background system, this is the load-bearing assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives the complete background cosmology of the general parity-even quadratic metric-affine gravity action (Eq. (25)), which contains 27 independent couplings plus the Einstein constant. Using a FLRW minisuperspace reduction, the authors obtain the modified Friedmann, torsion, and non-metricity equations, and identify a reduced set of 17 couplings relevant at the background level. They then isolate two special branches: a K-screening branch in which spatial curvature is absent from all equations (Eq. (42)), and an integrable branch that is claimed to asymptote to (anti-)de Sitter expansion (Eq. (43)). Particle spectra are computed with the PSALTer software, leading to further parameter restrictions. The full equations for closed, open, and flat cosmologies are provided in supplemental files for SymPy, Mathematica, and Maple.","tokens_in":36760,"tokens_out":4976,"duration_ms":47739,"significance":"If the central derivation is correct, this paper supplies a valuable reference system for background cosmology in a very large theory space, and the computer-algebra pipeline (Gröbner-basis reductions, Macaulay2, PSALTer, and supplementary equation files) is a genuine strength. The K-screening and integrable branches are concrete, falsifiable submodels, and the paper is honest about their limitations, including the admitted superficiality of the particle-spectrum analysis. However, the central claim of completeness rests on an unverified application of symmetric criticality to the independent affine connection, and one abstract claim (the most general GR-reproducing model) is not located in the main text.","major_comments":[{"comment":"The minisuperspace reduction of the independent affine connection relies on Palais' principle of symmetric criticality, but the cited theorems (Refs. [134-137]) are stated for spatially homogeneous metric systems and do not automatically cover the 64-component connection whose equations of motion are second-order in the curvature-squared sector. The claim that the metric 'fulfills the requirements' does not establish that the full field-content of the action satisfies the Palais conditions. This matters because Eqs. (B3)-(B7) contain second derivatives of the distortion scalars (e.g. the alpha X-double-dot term in Eq. (B3) and the W-double-dot term in Eq. (B7)); it is precisely in such derivative-coupled sectors that symmetric criticality can fail. The calibrations in Section IIIB only test the Einstein-Hilbert and torsion/non-metricity limits, where the connection equations are algebraic, so they do not exercise the curvature-squared operators. I ask the authors to provide either a direct check that the covariant field equations of Eq. (25), evaluated on the FLRW ansatz, coincide with Eqs. (B1)-(B7), or a proof that the symmetry group action on the full field space, including the connection, satisfies the Fels-Torre conditions.","section":"Section IIIB and Appendix B"},{"comment":"The abstract asserts that 'the most general model is also found which reproduces the exact Friedmann equations of general relativity,' but I cannot locate this result in the main text. The closest statements are the conditions d1=d2=d3=0 in Section IIIB and the torsion/non-metricity limit of Eq. (34), neither of which is identified as the 'most general' GR-reproducing model, and Eq. (34) actually gives H=0 rather than the Friedmann equations. If this claim is established in the supplementary materials, the authors should state the precise condition in the main text; otherwise the abstract overstates the paper's content.","section":"Abstract and Section IV"},{"comment":"The claim that the integrable branch 'always transitions to a de Sitter or anti-de Sitter epoch in the late Universe' is stronger than what Eq. (69) shows. For mu_2 omega_0 > 0, the large-time limit of Eq. (69) gives H -> -omega_0, which is a contracting exponential scale factor, not an expanding de Sitter phase, unless one reverses the time direction. For mu_2 omega_0 < 0 one obtains H -> +omega_0. The boundary case in Eq. (70) gives tangent, not asymptotic de Sitter, behavior. The conclusion should be restricted to the appropriate sign of mu_2 omega_0 and should say 'asymptotically (anti-)de Sitter' rather than 'always ... expansion'.","section":"Equations (66)-(69) and Section V"},{"comment":"The K-screening condition is stated as a 'we find' result, but the full K-dependent equations are relegated to the supplemental materials [144], and the main text gives no indication of how Eq. (42) was derived or why it is sufficient to remove K from every field equation. Since K-screening is a headline claim, the authors should either display the K-dependent terms that are eliminated by Eq. (42) in an appendix or provide a precise pointer to the supplemental equation numbers. Without this, the claim is not verifiable from the manuscript.","section":"Section IVA, Eq. (42)"}],"minor_comments":[{"comment":"There are several typographical errors: 'graivtational' in the Introduction, 'particlular' and 'wheere' in Section IV, 'somwhat' in Appendix C, 'analagous' in the K-screening discussion, and 'diffeomeorphisms' in Section IVB. A careful proofread is recommended.","section":"Throughout"},{"comment":"The notation 'Y ∝ V ∝ Z ∝ X = X0 = const.' is confusing; since all quantities are proportional to X, it would be clearer to write each as a constant times X with the proportionality factors named explicitly.","section":"Equation (46)"},{"comment":"The sentence 'three relations' is followed by a list of three relations, but the second and third relations contain terms such as '3 A9 + A10 - A11 = 0' that mix different operator families; this is fine, but the display would benefit from clear labels A1, A2, A3 so the text can refer to them individually.","section":"Section IIIA, Eq. (27)"},{"comment":"The captions state that each figure is 'a vector graphic: all details are visible under magnification.' In a printed journal this phrase is not actionable; please provide the full spectrograph data also in a tabular or textual form, or refer the reader to the supplemental materials.","section":"Appendix C, figure captions"}],"recommendation":"major_revision","confidential_remarks":"The paper's computational contribution is substantial and appears to be reproducible from the supplementary files. The main risk is the unverified symmetric-criticality step for the connection, which is load-bearing for the completeness claim. The abstract also overstates the GR-limit result and the 'always de Sitter expansion' statement. These issues are fixable, but they require real work rather than copy-editing, so I recommend major revision rather than minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThe headline is that this paper delivers the long-awaited complete FLRW background equations for the full parity-even quadratic metric-affine action. That alone makes it a useful reference. The reduction to a 17-dimensional coupling basis via Gröbner bases is clean, and the two special branches—K-screening and the integrable branch—are genuinely new classifications. The authors also ship code and supplemental files, which is more than most papers in this area do.\n\nI'm fairly convinced the central derivation is correct. The calibrations against the Einstein-Hilbert limit and the earlier torsion/non-metricity work in [127,128] are reassuring, and the algebraic structure is consistent. The citation pattern is honest: the self-citations to [128] and [4] point to the exact results being extended. The paper is also honest about its own limits: it explicitly says the analysis is superficial, vacuum-only, and that background cosmology cannot detect the usual inconsistencies.\n\nNow the soft spots. The abstract says the integrable branch \"yields (anti) de Sitter expansion at late times.\" That is not what the text shows. For γ/μ2 > 0, the solution (Eq. 70) is a tangent, oscillatory, not de Sitter. So that claim needs qualification. Similarly, \"the most general model reproducing the exact Friedmann equations of GR\" is asserted but I could not find where that model is actually exhibited or proven. That's an overreach that should be fixed.\n\nThe bigger concern is the minisuperspace reduction for the independent affine connection. The paper invokes Palais' principle of symmetric criticality and cites Fels-Torre, but the standard theorems are not obviously set up for a 64-component connection field with its own gauge symmetries. The paper's checks only cover cases where the connection equations are algebraic; in the full curvature-squared action, the distortion equations are differential, and that's exactly where symmetric criticality can fail. This is not a demonstrated flaw, but it is a real gap. The authors should either prove the reduction properly or verify a representative set of full covariant equations against their minisuperspace results. Until then, the completeness claim rests on an unproven though plausible premise.\n\nBottom line: this is a solid reference paper for the MAG cosmology community. It deserves a serious referee, but the referee should ask for the abstract to be toned down and for the symmetric criticality question to be addressed. I'd send it to review, but I wouldn't cite it myself unless I needed the specific reduced coupling basis.","headline":"First complete background equations for parity-even quadratic MAG; the core is solid, but the abstract overclaims on the integrable branch and the minisuperspace reduction merits a closer look.","tokens_in":37316,"tokens_out":5394,"would_cite":false,"duration_ms":46829,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83D05","83F05"],"pacs":["04.50.Kd","98.80.-k"],"model":"deepseek-v4-flash","headline":"For the most general parity-even quadratic metric-affine action, the paper derives the complete FLRW background equations and shows that only 16 coupling combinations matter.","keywords":["metric-affine gravity","quadratic gravity","torsion","non-metricity","FLRW cosmology","K-screening","de Sitter expansion","particle spectra"],"falsifier":"Choose the sub-action containing only $a_0$, $c_1$, and $a_1$, compute the Euler-Lagrange equations covariantly from Eq. (25) without imposing isotropy, then insert the FLRW ansatz and compare the result with the corresponding limit of the Appendix B equations. If any independent background equation differs, the minisuperspace reduction has produced equations that are not the covariant ones, and the calculation would settle whether the Palais-principle assumption holds for the independent connection.","tokens_in":36262,"feed_emoji":"🌌","tokens_out":7447,"duration_ms":56117,"temperature":0.7,"pith_summary":"The paper works out the complete background cosmology of the most general parity-symmetric metric-affine gravity theory whose action is quadratic in curvature, torsion, and non-metricity, with 27 free couplings on top of the Einstein constant. By reducing the action to a homogeneous, isotropic spacetime, the paper shows that only 16 combinations of these couplings affect the background dynamics, and it derives the full modified Friedmann, torsion, and non-metricity equations in closed form. Two special branches stand out: a K-screening branch in which spatial curvature disappears from every field equation, and an integrable branch whose late-time expansion is (anti-)de Sitter. The paper also identifies the most general model that reproduces the exact Friedmann equations of general relativity and makes the full equation set available in machine-readable form. A sympathetic reader would care because this gives the reference system for testing whether this large theory space can address open cosmological questions such as curvature and Hubble tensions.","feed_headline":"Full FLRW equations found for 27-coupling metric-affine gravity","feed_subtitle":"One generic action yields the background equations, plus branches that hide spatial curvature or end in (anti-)de Sitter.","key_machinery":"The load-bearing object is the general QMAG Lagrangian density in Eq. (25), together with a two-step reduction. First, computer algebra finds all linear relations among the quadratic operators in an FLRW setting: of the 16 curvature operators only 8 are independent, and of the 11 torsion/non-metricity operators only 8 are independent; this yields the reduced couplings $d_1,\\dots,d_{16}$ in Eq. (30). Second, a minisuperspace variational calculation treats the scale factor, the lapse, and the five distortion scalars $X,Y,Z,V,W$ as fields and produces the full equations in Appendix B. The special branches are selected by setting combinations of reduced couplings to zero: Eq. (42) for K-screening and Eq. (43) for integrability. The Bianchi-identity identity (33) is what upgrades the first Friedmann equation to the second.","core_discovery":"For the general parity-preserving quadratic metric-affine action, the full set of FLRW background equations is derived and organized. The central claim is that, despite 27 independent couplings plus $a_0$, only 16 reduced parameters influence the background dynamics; the paper obtains the modified first and second Friedmann equations together with the five distortion-field equations. Two special parameter branches are identified: conditions (42), $a_0=d_1=d_2=d_3=0$, screen the Riemannian spatial curvature $K$ completely from the dynamics, and conditions (43) make the system integrable and force late-time (anti-)de Sitter expansion. Linearised particle spectra are computed for these branches, and requiring the absence of ghosts, tachyons, and higher-spin modes picks out in each branch a minimal model, essentially the square of the Holst pseudoscalar and the square of the homothetic curvature, respectively. The paper also determines the most general model that returns exactly the Friedmann equations of general relativity.","pith_inferences":["My inference: the same reduction technique should extend to parity-violating quadratic metric-affine gravity, with the pseudoscalar $W$ acquiring additional parity-odd couplings; the relations derived here form the parity-even baseline to which those terms would be added.","My inference: if K-screening survives beyond the background, curvature-induced contributions to cosmological perturbations would also be suppressed, a prediction that could be tested by computing the perturbation equations in that branch and comparing with CMB distance measurements.","My inference: because only the 16 reduced couplings enter the background equations, a phenomenological search can scan that smaller parameter space directly instead of the original 27 couplings, substantially shrinking the search cost for viable models.","My inference: the paper's conjecture that only the Holst-square and homothetic-square kinetic operators are self-consistent points toward a small viable island in parameter space, and a functional renormalization group analysis would test whether this island is radiatively stable."],"forward_implications":["For any parity-even quadratic metric-affine model, the background cosmology can now be written down without re-deriving equations of motion.","The K-screening conditions identify a concrete parameter region where spatial curvature is invisible to the background dynamics, offering a starting point for models that address the curvature tension in Lambda-CDM.","The integrable branch provides exact analytic solutions for the Hubble parameter and distortion fields, including late-time de Sitter or anti-de Sitter phases.","The no-ghost and no-tachyon analyses reduce the two branches to very small particle sectors, singling out the Holst-square and homothetic-curvature-square kinetic terms as the natural consistent limits.","The machine-readable equation files make the full system available for numerical studies, parameter scans, and future perturbation analyses."],"supporting_citations":[{"why":"Defines the metric-affine geometry conventions, the cosmological hyperfluid formalism, and the FLRW form of the distortion tensor used throughout.","marker":"[3]"},{"why":"Supplies the quadratic metric-affine action and the projective-invariance constraints that the paper matches in Eq. (40).","marker":"[4]"},{"why":"Provides the irreducible-decomposition model used as a calibration check for the action that reduces to general relativity.","marker":"[127]"},{"why":"Earlier quadratic metric-affine cosmology results that the full system must reproduce in the torsion/non-metricity-only limit.","marker":"[128]"},{"why":"Established the K-screening phenomenon in Poincare gauge cosmology and connects it to emergent dark radiation and the Hubble tension.","marker":"[88]"},{"why":"Conjectures that only the Holst-square and homothetic-square operators are self-consistent in metric-affine gravity, which the particle spectra here support.","marker":"[19]"},{"why":"Gives the class of spatially homogeneous models for which symmetric criticality holds, justifying the minisuperspace ordering.","marker":"[135]"},{"why":"States Palais' principle of symmetric criticality as used for the FLRW ansatz.","marker":"[136]"}],"fun_headline_variants":["27-param metric-affine gravity: full FLRW solved","Curvature screened: new metric-affine gravity branch","Complete FLRW background for 27-coupling metric-affine","Metric-affine gravity: all FLRW equations, 27 params"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole derivation assumes that fixing the space to be homogeneous and isotropic before taking variations of the action gives the same equations as varying first and restricting afterward; if that swap fails for the independent connection, the printed equations do not follow.","fun_headline_variants_meta":{"raw":{"variants":["27-param metric-affine gravity: full FLRW solved","Curvature screened: new metric-affine gravity branch","Complete FLRW background for 27-coupling metric-affine","Metric-affine gravity: all FLRW equations, 27 params"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000467,"raw_usage":{"total_tokens":2345,"prompt_tokens":976,"completion_tokens":1369,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":592,"completion_tokens_details":{"reasoning_tokens":1298}},"tokens_in":592,"tokens_out":1369,"duration_ms":9626,"temperature":1.0,"reasoning_tokens":1298,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:32:17.316164+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose the sub-action containing only $a_0$, $c_1$, and $a_1$, compute the Euler-Lagrange equations covariantly from Eq. (25) without imposing isotropy, then insert the FLRW ansatz and compare the result with the corresponding limit of the Appendix B equations. If any independent background equation differs, the minisuperspace reduction has produced equations that are not the covariant ones, and the calculation would settle whether the Palais-principle assumption holds for the independent connection.","supporting_citations":[{"cited_title":"Percacci and E","cited_arxiv_id":null,"evidence_quote":"Supplies the quadratic metric-affine action and the projective-invariance constraints that the paper matches in Eq. (40)."},{"cited_title":"Irreducible decompositions in metric-affine gravity models","cited_arxiv_id":"gr-qc/9705039","evidence_quote":"Provides the irreducible-decomposition model used as a calibration check for the action that reduces to general relativity."}],"review_version":1}