{"id":"f7f4ed07-0470-4811-9095-b9d4bbaf149b","arxiv_id":"2501.03355","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"A Bianchi-identity-based covariance test shows effective loop quantum gravity models need quantum-corrected 'emergent' metrics, not just corrected Hamiltonians, to be generally covariant.","lead":"This paper builds a mathematical test for whether a quantum-corrected gravity model respects general covariance. Applying it to spherically symmetric loop quantum gravity models shows that quantum corrections to the metric itself, not just the Hamiltonian, are needed to keep the theory consistent.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper uses ∇_μ G^{μν}|_K=0 as a test of general covariance, but only proves necessity; Section VI.A concedes equivalence with the constraint-algebra criterion is open.","rationale":"The reader's weakest-assumption analysis identifies the sufficiency of the divergence test as the hinge of the paper, and the manuscript itself confirms this gap in Section VI.A. The central claims about which emergent metrics restore general covariance depend on interpreting ∇_μ G^{μν}|_K=0 as a complete test, not merely a necessary condition. Classical Noether arguments supply the converse only when the Bianchi identity holds as an off-shell identity for the full configuration space; the paper defines G^{μν}|_K after imposing the |K relations and does not prove that the resulting identity is equivalent to invariance of the phase-space action under all diffeomorphisms. If a counterexample separates the two criteria, the classification of (31), (32), and (41) as the unique covariant metrics loses its foundation. The paper has genuine independent support: the classical limit reproduces GR, the inverse-triad results agree with earlier constraint-algebra analyses [31,32], and no circular reasoning or data fitting was detected. But the missing sufficiency proof, together with the asserted-only covariance calculations for the q^2 families, justifies keeping the verdict conditional rather than accepting the claims as established.","tokens_in":29855,"tokens_out":9155,"duration_ms":99266,"concrete_test":"Directly compute δS under an infinitesimal diffeomorphism for a claimed covariant emergent metric, e.g., \\bar g^{(IT1)} of Eq. (25) with q^2=E^r, using the phase-space action S=∫(E^r \\dot K_r + E^φ \\dot K_φ - N H_eff - N^r C_eff) and the chain-rule definition of δS/δg from Eq. (11). The divergence condition holds by Eq. (27); the test passes iff δS equals a boundary term for arbitrary compactly supported ξ without separately imposing the |K relations beyond the definitions already used. If the variation survives on configurations that satisfy ∇G|K=0, then the test is only necessary and the §IV.B/IV.C covariance verdicts must be weakened.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing step is the inference from ∇_μ G^{μν}|_K=0 to general covariance of the effective action. Section II establishes only the classical necessity direction: diffeomorphism invariance of S[g] implies the divergence of δS/δg vanishes. The paper then elevates this to a criterion in Section III and applies it to emergent metrics, but Section VI.A states that the relation to the constraint-algebra/diffeomorphism criterion 'remains to be seen' and that the two tests 'could disagree' for a particular effective action. That is precisely the missing direction: a local action is diffeomorphism invariant iff its Euler-Lagrange expressions satisfy the Bianchi identity as an off-shell identity for all field configurations. Here G^{μν}|_K is defined only after substituting the |K relations (e.g., Eqs. (22), (51)), and no argument shows this substitution preserves the content of the off-shell identity. If ∇G|K=0 holds for a subset of field space without δS vanishing under arbitrary infinitesimal diffeomorphisms, then the statements that inverse-triad models are covariant only with respect to (31)/(32) and holonomy models only with respect to (41) are not established. The omitted q^2 covariance calculations in §IV.B compound this: equations (31)/(32) are asserted to pass without displayed verification.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a criterion for testing general covariance in canonically formulated effective gravity theories. The criterion is to compute an effective Einstein tensor G^{μν} in phase space by inverting the map from metric variations to variations with respect to (N, N^a, P^A), then to evaluate the covariant divergence ∇_μ G^{μν} on solutions of the half of Hamilton's equations that express conjugate momenta in terms of configuration variables; vanishing of this quantity is taken as the signature of diffeomorphism invariance. The criterion is applied to spherically symmetric vacuum models with inverse triad and holonomy corrections inspired by loop quantum gravity. The paper finds that inverse triad corrections require emergent metrics, such as E^r→α_2^2 E^r or N→α_2 N, with arbitrary angular metric functions, while holonomy corrections require a lapse-corrected metric N̄=√|∂γ_2/∂K_φ|N. It also establishes a correspondence between inverse-triad-corrected spherical symmetry and an exterior Kantowski-Sachs model, and shows that a specific holonomy-corrected exterior Kantowski-Sachs model cannot be matched to a covariant spherically symmetric model of the type considered.","tokens_in":30271,"tokens_out":6206,"duration_ms":59759,"significance":"If the proposed criterion is valid, it provides a new and explicitly computable tool for assessing the consistency of effective canonical gravity models, and the paper's results would sharpen the ongoing debate about emergent metrics in LQG-inspired effective theories. The explicit phase-space computations, including the appendix with the coefficients of ∇_μ G^{μν}, are a useful resource, and the paper is honest about several limitations. A notable strength is the example of the holonomy-corrected metric ḡ^{(3)}, where the constraint algebra is closed but the divergence test fails, showing that the two criteria do not always agree. However, the paper's central claim depends on a sufficiency step that is not proved; Section VI.A explicitly concedes that the relation between the divergence test and the constraint-algebra/diffeomorphism criterion remains open. The conclusions about which emergent metrics restore general covariance are therefore conditional on an additional assumption.","major_comments":[{"comment":"The paper establishes only the classical implication from diffeomorphism invariance of an action to the vanishing of ∇_μ G^{μν}, and then uses ∇_μ G^{μν}|_K=0 as a sufficient test of general covariance. The converse is not proved, and Section VI.A states that the equivalence with the constraint-algebra/diffeomorphism criterion 'remains to be seen' and that the two tests 'could disagree for a particular effective action.' Because this sufficiency step is load-bearing for the central claims in Sections IV.B and IV.C that the emergent metrics restore general covariance, the verdicts should either be accompanied by a proof that the test is sufficient (for instance, by deriving an off-shell Bianchi identity for the effective action) or be weakened to statements that the models pass a necessary consistency test.","section":"Section II, Eq. (6); Section III; Section VI.A"},{"comment":"The claim that both metric families with arbitrary angular functions q^2(E^r,E^φ) and q̄^2(E^r,E^φ) satisfy ∇_μ G^{μν}|_K=0 is asserted without displaying the calculation, with the text saying only that 'the steps of the analysis will be omitted to avoid unnecessary repetition.' This verification underpins the subsequent conclusion that the inverse triad model is generally covariant with respect to only these two families of metrics. Please include the calculation, or at least a concise argument showing that the q^2 dependence cancels in the divergence, and discuss whether g_Γ remains invertible for generic choices of q^2.","section":"Section IV.B, Eqs. (31)-(32)"},{"comment":"For the lapse-corrected holonomy metric ḡ^{(4)}, the divergence ∇_μ G^{μν} contains a term K^ν H_eff, so it vanishes only when the Hamiltonian constraint H_eff=0 is imposed. The paper notes that this on-shell requirement was not needed in the previous cases, but it does not reconcile this with the criterion's motivation from the off-shell Bianchi identity. This difference is consequential because it changes the status of the test from an off-shell identity to an on-shell condition, and it should be clarified whether the criterion is intended to be evaluated on the constraint surface in this case.","section":"Section IV.C, Eq. (43)"}],"minor_comments":[{"comment":"The sentence defining the vectors reads 'Aμ(i) = Aμ(i)(Γ+) and Bμ(i) = Aμ(i)(Γ+)'; the second expression should presumably read 'Bμ(i) = Bμ(i)(Γ+).'","section":"Section IV.A, near Eq. (20)"},{"comment":"In the sentence 'the constraints or the other half of the Hamilton equations, i.e., ˙Er = {Er, HT...} and ˙Eϕ = {Eϕ, HT...}, were not required', the two displayed equations should refer to ˙Kr and ˙Kϕ, not ˙Er and ˙Eϕ.","section":"Section IV.A, final paragraph"},{"comment":"Reference [33] is incomplete: the title ends with '...loop quantum geometry of the maximally' and is missing the remaining words. Please supply the full title.","section":"References"},{"comment":"The metric (38) contains a signature-changing factor sc, but the paper does not discuss how the divergence computation and the notion of the covariant derivative are adapted when the metric is not Lorentzian in the usual sense. A brief comment would help the reader.","section":"Section IV.C, Eq. (38)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript fits the journal's scope and the calculations are presented in considerable detail. The main issue is not the internal consistency of the phase-space computations, but the gap between the necessary condition ∇_μ G^{μν}|_K=0 and the claimed sufficiency for general covariance; the authors' own discussion in Section VI.A acknowledges this gap. I would recommend allowing a revision in which the authors either prove the sufficiency of their test under clearly stated hypotheses or reframe the results as implications of a necessary condition, and in which the omitted verification for the arbitrary q^2 metrics is supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version: if you work on effective LQG, this paper is worth reading. The divergence criterion is genuinely new as a practical tool, the inverse-triad emergent metric results are clean and agree with Tibrewala where they overlap, and the Kantowski-Sachs correspondence section gives a nice resolution of Bojowald's no-go by admitting emergent metrics. But the paper proves only that its criterion is necessary for general covariance, not sufficient, and it admits this in Section VI.A. So the stronger claims—\"these are the only covariant metrics\"—should be read as conditional.\n\nWhat's actually new: the phase-space test \\nabla_\\mu \\mathcal{G}^{\\mu\\nu}|_K = 0, the two families of inverse-triad emergent metrics (31) and (32) with arbitrary q^2, the lapse-corrected holonomy metric (41) with phase-space-dependent holonomy parameter, and the explicit midi-to-mini-superspace map. The classical derivation is careful, and the appendix supplies many of the coefficients, which is real work. I also credit the authors for flagging the sufficiency gap rather than burying it.\n\nThe soft spots, in proportion:\n\n1. The sufficiency issue is load-bearing. The standard off-shell Bianchi identity implies diffeomorphism invariance for local actions, but here the test is evaluated after substituting the |K relations, which restricts to a subset of field space. Nothing in the paper shows that \\nabla_\\mu \\mathcal{G}^{\\mu\\nu}|_K = 0 implies the action is invariant under arbitrary diffeomorphisms. The authors themselves say in VI.A that equivalence with the constraint-algebra criterion \"remains to be seen\" and that the two tests \"could disagree.\" That is the missing direction, and without it the verdicts on which emergent metrics restore covariance are not fully established. To be clear: this is an honest limitation, not a fatal flaw, but it should be prominent.\n\n2. The arbitrary q^2 results are asserted but not shown. Equations (31) and (32) are stated to pass the covariance test, and the reader is told the steps are omitted. Given that these generate the claimed two-parameter families of covariant metrics, that's a gap in a paper whose appendix otherwise takes the trouble to display long coefficients.\n\n3. Minor: the holonomy/KS comparison at the end is explicitly inconclusive, which is fine, but it means that part is more of a direction for future work than a result.\n\nOverall: the paper is serious, internally consistent, and free of circular fitting. It deserves a referee. I would recommend engaging with it, asking the authors to prove or substantially soften the sufficiency claim and to display the q^2 calculations (or make them available). If the sufficiency gap can be closed, this becomes a go-to reference for covariance tests in effective LQG.","headline":"A new divergence-based covariance test for effective LQG models, honestly presented and worth engaging, but the test's sufficiency is not proven and the q^2 family claims rest on omitted calculations.","tokens_in":30760,"tokens_out":2803,"would_cite":true,"duration_ms":30683,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.60.Pp"],"model":"deepseek-v4-flash","headline":"General covariance in effective quantum gravity reduces to a divergence test on a phase-space Einstein tensor.","keywords":["loop quantum gravity","general covariance","emergent metric","inverse triad corrections","holonomy corrections","spherically symmetric vacuum models","Kantowski-Sachs model","phase-space Einstein tensor"],"falsifier":"Construct an effective action whose phase-space Einstein tensor satisfies $\\nabla_\\mu\\mathcal{G}^{\\mu\\nu}|_K=0$ on-shell while its constraint algebra is not the classical hypersurface-deformation algebra (or while the action is not invariant under diffeomorphisms); such a model would show the test is insufficient and would overturn the paper's verdicts on which emergent metrics restore covariance. A more targeted check is to apply both the divergence test and the gauge-transformation covariance criterion to a concrete model whose metric correction factor depends on radial derivatives of phase-space variables, a case the paper notes lies beyond its current treatment.","tokens_in":29647,"feed_emoji":"","tokens_out":9170,"duration_ms":75723,"temperature":0.7,"pith_summary":"This paper claims that general covariance of a canonically formulated effective gravity theory can be checked by computing $\\nabla_\\mu \\mathcal{G}^{\\mu\\nu}|_K=0$, where $\\mathcal{G}^{\\mu\\nu}$ is the phase-space-projected effective Einstein tensor and $|_K$ means evaluating on the half of the Hamilton equations that express extrinsic-curvature variables in terms of the triad. Applying this test to spherically symmetric vacuum models with inverse triad corrections, it finds that the unmodified classical metric breaks covariance, while two families of 'emergent' metrics -- $\\bar{E}^r=\\alpha_2^2 E^r$ or $\\bar{N}=\\alpha_2 N$, each with an arbitrary angular coefficient $q^2$ -- restore it. For holonomy corrections, a metric with a corrected radial spatial component fails the test, but a lapse-corrected emergent metric $\\bar{N}=\\sqrt{|\\partial\\gamma_2/\\partial K_\\phi|}\\,N$ passes. The paper also shows that the inverse-triad spherical model matches an exterior Kantowski-Sachs model with the same line element only when such emergent metrics are used, and that the matching fails for a standard holonomy-modified Kantowski-Sachs model. The practical point is that a modified effective Hamiltonian plus an unmodified metric is not a covariant effective theory; quantum corrections to the metric itself are part of what makes a model general covariant.","feed_headline":"Covariance test picks which quantum-gravity metrics pass","feed_subtitle":"Inverse-triad and holonomy LQG models need quantum-corrected line elements, not just modified Hamiltonians.","key_machinery":"The load-bearing object is the phase-space-projected Einstein tensor $\\mathcal{G}^{\\mu\\nu}$, obtained by inverting the matrix $g_\\Gamma=\\delta g_{\\mu\\nu}/\\delta(N,N^a,P^A)$ that maps variations of the metric coefficients to variations of canonical variables, and then computing its divergence $\\nabla_\\mu\\mathcal{G}^{\\mu\\nu}$ with respect to a chosen (possibly 'emergent') metric. The classical Bianchi identity $\\nabla_\\mu G^{\\mu\\nu}=0$ -- derived from diffeomorphism invariance of the Einstein-Hilbert action -- serves as the compatibility condition: an effective theory is covariant with respect to a given metric when that divergence vanishes after evaluating on the solutions $K$ of the Hamilton equations that define the curvature variables. The companion idea is the emergent metric: replacing metric coefficients such as $E^r$ or $N$ by correction-function-modified expressions restores the classical structure of the constraint algebra and makes the divergence vanish.","core_discovery":"The central claim is that an effective canonical theory with total Hamiltonian $H_T=N H_{\\rm eff}+N^r C_{\\rm eff}$ is generally covariant with respect to a chosen metric precisely when the divergence of its phase-space Einstein tensor, constructed by inverting the matrix $g_\\Gamma=\\delta g_{\\mu\\nu}/\\delta(N,N^r,P^A)$ and then taking $\\nabla_\\mu\\mathcal{G}^{\\mu\\nu}$, vanishes after the $K$-evaluation. In the classical spherically symmetric model this reproduces the ordinary Einstein tensor and its Bianchi-conserved divergence; with inverse triad corrections it does not, unless $\\alpha_2^2=1$. Covariance is regained with the emergent metrics $\\bar{g}^{(IT1)}_{\\mu\\nu}$ and $\\bar{g}^{(IT2)}_{\\mu\\nu}$, which correspond respectively to $\\bar{E}^r=\\alpha_2^2E^r$ and $\\bar{N}=\\alpha_2N$. For holonomy corrections, the emergent metric with corrected radial spatial metric satisfies only spatial-diffeomorphism invariance, whereas the lapse-corrected metric $\\bar{N}=\\sqrt{|\\partial\\gamma_2/\\partial K_\\phi|}\\,N$ is generally covariant, including for phase-space-dependent holonomy parameters. The paper's overall message is that the line element must be corrected alongside the Hamiltonian for an effective LQG model to qualify as a covariant gravity theory.","pith_inferences":["If the divergence test turns out to be only necessary and not sufficient, a model that passes it could still fail a full constraint-algebra or action-based covariance check; the paper's verdicts on which emergent metrics restore covariance are therefore conditional on the two tests agreeing.","The same construction should extend to other inhomogeneous midisuperspace models, such as Gowdy cosmologies, whenever the reduced phase space admits the same canonical form.","For effective black-hole models, the lapse-corrected holonomy metric carries the signature factor $s_\\gamma=\\mathrm{sgn}(\\partial\\gamma_2/\\partial K_\\phi)$, so a possible signature change inside the horizon could serve as a physical differentiator among emergent-metric proposals.","The map between inverse-triad spherical and exterior Kantowski-Sachs models suggests a systematic route for transferring covariance results between midi- and mini-superspace quantizations, but only when the emergent metric appears on both sides."],"forward_implications":["For inverse triad corrections, a covariant effective theory requires a quantum-corrected metric, not just a corrected Hamiltonian; the two allowed families are $\\bar{E}^r=\\alpha_2^2E^r$ and $\\bar{N}=\\alpha_2N$, each with arbitrary angular coefficient $q^2$.","A holonomy-modified spherical model with a corrected radial spatial metric alone is not generally covariant; only the lapse-corrected emergent metric $\\bar{N}=\\sqrt{|\\partial\\gamma_2/\\partial K_\\phi|}N$ passes the divergence test.","The inverse-triad spherical model and an exterior Kantowski-Sachs model describe the same line element when their correction functions are mapped as $\\alpha_1=\\beta_1$, $\\alpha_2=\\beta_2$, or as $\\beta_2/\\beta_1=\\alpha_2/\\alpha_1$, provided emergent metrics are used on both sides.","For the specific holonomy-modified exterior Kantowski-Sachs model with $\\lambda_1=\\lambda_2=\\sinh(\\delta B)/\\delta$, no matching covariant spherical model within the studied class exists.","Because the two emergent inverse-triad metrics are not related by a diffeomorphism, choosing which one describes physics must rely on boundary conditions or asymptotic behavior once explicit solutions are known."],"supporting_citations":[{"why":"supplies the loop quantum gravity background and the inverse-triad regularization that motivates the effective Hamiltonian.","marker":"[1]"},{"why":"documents the loss of covariance in spherically symmetric effective models and motivates the need for a test.","marker":"[15]"},{"why":"proposes emergent-metric maps for inverse triad corrections and gives the deformed constraint algebra that the paper builds on.","marker":"[31]"},{"why":"solves the effective inverse-triad equations and verifies diffeomorphism invariance of an emergent line element, providing the direct comparison.","marker":"[32]"},{"why":"introduces effective line elements with lapse corrections for holonomy models, which the paper generalizes to phase-space-dependent parameters.","marker":"[22]"},{"why":"provides the alternative gauge-transformation covariance criterion against which the divergence test is compared in the discussion.","marker":"[20]"},{"why":"presents a spacetime-geometry construction for canonical spherical gravity that serves as an alternative emergent-metric approach.","marker":"[24]"},{"why":"provides the exterior Kantowski-Sachs holonomy model used in the unsuccessful matching attempt.","marker":"[36]"},{"why":"states a no-go result for covariance that the paper's emergent-metric correspondence appears to bypass, framing the discussion.","marker":"[38]"}],"fun_headline_variants":["Quantum-corrected metrics are required for LQG's general covariance","Effective LQG models fail covariance without corrected line elements","General covariance in LQG requires emergent quantum metrics","Covariance test: LQG only works with corrected metrics, not just Hamiltonians","Quantum gravity covariance demands metric corrections beyond Hamiltonian"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the divergence test $\\nabla_\\mu\\mathcal{G}^{\\mu\\nu}|_K=0$ is sufficient, not merely necessary, for general covariance; the paper proves the necessity from the classical Bianchi identity but explicitly leaves open whether the two covariance criteria could disagree for a particular effective action.","fun_headline_variants_meta":{"raw":{"variants":["Quantum-corrected metrics are required for LQG's general covariance","Effective LQG models fail covariance without corrected line elements","General covariance in LQG requires emergent quantum metrics","Covariance test: LQG only works with corrected metrics, not just Hamiltonians","Quantum gravity covariance demands metric corrections beyond Hamiltonian"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000462,"raw_usage":{"total_tokens":2336,"prompt_tokens":995,"completion_tokens":1341,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":611,"completion_tokens_details":{"reasoning_tokens":1258}},"tokens_in":611,"tokens_out":1341,"duration_ms":8897,"temperature":1.0,"reasoning_tokens":1258,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T21:52:38.709443+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an effective action whose phase-space Einstein tensor satisfies $\\nabla_\\mu\\mathcal{G}^{\\mu\\nu}|_K=0$ on-shell while its constraint algebra is not the classical hypersurface-deformation algebra (or while the action is not invariant under diffeomorphisms); such a model would show the test is insufficient and would overturn the paper's verdicts on which emergent metrics restore covariance. A more targeted check is to apply both the divergence test and the gauge-transformation covariance criterion to a concrete model whose metric correction factor depends on radial derivatives of phase-space variables, a case the paper notes lies beyond its current treatment.","supporting_citations":[{"cited_title":"Ashtekar and J","cited_arxiv_id":null,"evidence_quote":"supplies the loop quantum gravity background and the inverse-triad regularization that motivates the effective Hamiltonian."},{"cited_title":"Tibrewala, Spherically symmetric einstein–maxwel l theory and loop quantum gravity corrections, Classical and Quantum Gravity 29, 235012 (2012)","cited_arxiv_id":null,"evidence_quote":"proposes emergent-metric maps for inverse triad corrections and gives the deformed constraint algebra that the paper builds on."},{"cited_title":"Tibrewala, Inhomogeneities, loop quantum gravity c orrections, constraint algebra and general covariance, Classical and Quantum Gravity 31, 055010 (2014)","cited_arxiv_id":null,"evidence_quote":"solves the effective inverse-triad equations and verifies diffeomorphism invariance of an emergent line element, providing the direct comparison."},{"cited_title":"Alonso-Bardaji and D","cited_arxiv_id":null,"evidence_quote":"presents a spacetime-geometry construction for canonical spherical gravity that serves as an alternative emergent-metric approach."},{"cited_title":"Ashtekar, J","cited_arxiv_id":null,"evidence_quote":"provides the exterior Kantowski-Sachs holonomy model used in the unsuccessful matching attempt."},{"cited_title":"Bojowald, No-go result for covariance in models of lo op quantum gravity, Phys","cited_arxiv_id":null,"evidence_quote":"states a no-go result for covariance that the paper's emergent-metric correspondence appears to bypass, framing the discussion."}],"review_version":1}