{"id":"19c56298-652b-46f4-a045-d468bf2caf1a","arxiv_id":"2510.27676","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"An exact RG equation for classical gravity is proposed that reproduces the PM expansion and recovers the 1PN two-body action without explicit three-graviton vertices.","lead":"The authors propose an exact renormalization-group equation for classical general relativity and show it reproduces known post-Minkowskian and 1PN results for the two-body problem. It could become a practical tool for modeling gravitational waves from binary systems.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The 1PN result relies on conservation of the scale-dependent stress tensor T_k^{μν}, but the regulator breaks diffeomorphism invariance and no modified Ward identity is given; if ∂_μ T_k^{μν}≠0 at finite k, Eq. (6) is invalid.","rationale":"The reader's weakest_assumption is exactly the conservation of the running stress tensor, and this is the most load-bearing point in the 1PN derivation. The central exactness claim is deferred to a companion paper, but the paper does present an explicit 1PN calculation; that calculation depends on a specific shortcut (the virial identity applied to T_k) that is not derived from the flow equation. The reader's conditional verdict is appropriate: the method is plausible and the result matches known 1PN, but the finite-k conservation assumption is unproven. A direct check of ∂_μ T_k^{μν} would settle whether this assumption is valid; in the meantime, the conditional verdict should stand.","tokens_in":11051,"tokens_out":18322,"duration_ms":170017,"concrete_test":"Compute the divergence ∂_μ T_k^{μν} of the explicit T_k^{00}, T_k^{0i}, T_k^{ij} given in the text at finite k, using the equations of motion from the same S_k (with N_k and the other running coefficients). If ∂_μ T_k^{μν}≠0, the virial identity fails and the T^{ii} used in Eq. (6) is inconsistent. A cleaner cross-check: repeat the 1PN coefficient extraction with a manifestly diffeomorphism-invariant regulator, e.g., the Morris–Preston construction [33], and compare the flowed coefficients. If the coefficients change, the finite-k scheme-dependence is not under control; if they remain identical, the conservation assumption is effectively justified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The 1PN extraction in the section 'Fast track to the 1PN Lagrangian' uses the identity ∫d³x T_k^{ii} = (1/2)d²/dt² ∫d³x T_k^{00} x², which is justified only if ∂_μ T_k^{μν}=0. However, T_k^{μν} is defined as the functional derivative of the running action S_k, and the regulator R_k in Eq. (2) and the gauge-fixing terms break diffeomorphism invariance. The conservation law is not automatic at finite k; the correct statement would be a Ward identity modified by the regulator. The paper does not derive such an identity. Consequently, the T^{ii} components substituted into Eq. (5) and used to obtain the flows in Eq. (6) are not guaranteed to be correct. Since Eq. (6) determines the coefficients A,B,C,D,F,H, a finite-k violation of conservation would change the claimed 1PN action. Agreement with the known 1PN result at k→0 does not validate the finite-k T_k used during the flow integration. This is a load-bearing assumption because the 1PN result is one of the two main claims of the paper and the method must be extendable to strong-field/PN calculations where T_k construction is the central step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a scale-dependent effective action S_k for classical two-body gravity and derives a functional RG flow equation, Eq. (2), which is claimed to be exact. The authors argue that solving this equation from k=∞ (where S_k reduces to the free point-particle action) to k=0 recovers the full post-Minkowskian expansion; they illustrate the first three PM orders diagrammatically. They then present a 'fast track' derivation of the 1PN two-body Lagrangian by promoting seven coefficients in a PN ansatz to k-dependent functions and integrating the flow with the Litim regulator. The final 1PN coefficients (N=1, A=3/2, B=-7/2, C=-1/2, D=F=0, H=-1/2) coincide with the known harmonic-gauge result. The central claims are that Eq. (2) is an exact RG equation for classical GR and that it reproduces both the PM and PN expansions in a computationally efficient way.","tokens_in":11410,"tokens_out":14576,"duration_ms":132197,"significance":"If Eq. (2) is indeed exact and the derived PM/PN results are correct, this would be a novel and potentially powerful tool for classical gravitational dynamics: a loop-free, non-perturbative RG scheme that could complement EFT and amplitude methods. The explicit recovery of the 1PN action and the diagrammatic PM structure are non-trivial consistency checks. The paper is clearly written and the use of the Litim regulator is concrete. However, the exactness of the flow equation is not proven in this manuscript — the derivation is explicitly heuristic and deferred to a companion paper — and the 1PN fast-track relies on assumptions about the scale-dependent stress tensor that are not justified. The significance is therefore conditional: the approach is promising, but the central claims are not yet established to the standard required by the journal.","major_comments":[{"comment":"The central equation is introduced heuristically: the text states 'After giving an heuristic derivation' and the rigorous derivation is left to a companion paper [26]. Since the exactness of Eq. (2) is the basis for all subsequent claims, this is load-bearing. The equation is not a standard identity (no loop term, no Ward identity), so the label 'exact' is unsupported in this manuscript. Please either provide a derivation or clear theorem with assumptions, or explicitly present Eq. (2) as a conjecture and adjust the abstract/title accordingly.","section":"An RG equation for GR, Eq. (2)"},{"comment":"The derivation of T^{ij} uses the virial identity ∫d³x T^{ii} = (1/2) d²/dt² ∫d³x T^{00}x², which is valid only for a conserved stress tensor. The regulator R_k breaks diffeomorphism invariance, and no modified Ward identity is supplied. Moreover, the construction of T^{00} splits the potential energy symmetrically (-N_k/2 for each particle) without justification; this split is not fixed by total energy alone. Since the flow integral samples all k, agreement at k=0 does not validate the finite-k T_k used. A non-conserved or non-unique T_k would change the coefficients A,B,C,D,F,H. This is a load-bearing gap for the 1PN result.","section":"Fast track to the 1PN Lagrangian, T^{00},T^{ij} and Eq. (6)"},{"comment":"The claim that the flow equation 'correctly reproduces the PM expansion' is supported only by diagram topologies. For 2PM and 3PM, the paper lists diagrams and states they coincide with literature topologies, but it does not explicitly compare the algebraic coefficients. Matching topologies is not sufficient to demonstrate that the iterative solution of Eq. (2) yields the known PM coefficients. Please provide explicit coefficient checks for S_2 and at least one non-trivial S_3 term (or a general argument that the iterative solution reproduces the standard expansion).","section":"Recovering the PM expansion and Supplementary Material"},{"comment":"The final values of A,B,C,D,F are asserted after 'integrating equation (6)', but neither the intermediate flows for these coefficients nor the matching of velocity/acceleration structures is shown. Without this derivation, the 1PN claim is not independently verifiable. Please include the full algebra in the Supplementary Material or an appendix.","section":"Fast track to the 1PN Lagrangian, after Eq. (6)"}],"minor_comments":[{"comment":"The abstract and introduction call Eq. (2) an exact RG equation, while the main text explicitly says the derivation is heuristic and rigorous proof is deferred to [26]. Please align the wording to avoid overclaiming.","section":"Abstract and Introduction"},{"comment":"There is a typo: 'Thenth functional derivative' should be 'The nth functional derivative'.","section":"Recovering the PM expansion"},{"comment":"The propagator convention is inconsistent: earlier Δ^{-1} ∝ 1/(-q²), while Eq. (5) has (q² - R_k)² in the denominator. Please clarify the sign conventions for Lorentzian signature.","section":"Eq. (5) and regulator conventions"},{"comment":"The condition lim_{k→∞} R_k(p²) = -∞ is not pointwise for the Litim regulator R_k(q²) = (q²-k²)θ(k²-q²), which is only non-zero for q²<k². Please state the limiting behavior more precisely.","section":"Regulator limits"},{"comment":"The diagrammatic conventions in Figure 2 are compressed and hard to read; please enlarge and label the worldline and graviton propagator clearly.","section":"Figure 1 and diagrammatic conventions"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know two things about this paper. First, the RG equation it writes down for classical two-body gravity is genuinely new, distinct from Morris and Preston's diffeo-invariant ERG. Second, its more interesting result, the fast-track 1PN action, depends on an assumption about the scale-dependent stress tensor that the paper never proves. That is the real soft spot, and it's load-bearing.\n\nWhat's good: the paper demonstrates that its flow equation reproduces the 1PM and 2PM effective actions, and sketches a diagrammatic 3PM recovery matching known topologies. That is a necessary consistency check, and passing it is meaningful. The 1PN computation is clever: by promoting the coefficients of a PN ansatz to scale-dependent functions and identifying the first functional derivative of the running action with T_k^{μν}, they get the known action without the three-graviton vertex. The writing is clear about what is heuristic and what is deferred, which I appreciate.\n\nThe soft spots, in order of severity. First, the exactness of Eq. (2) is not proven here; the companion paper may supply that, but as a standalone Letter the central claim rests on unpublished work. Second, the 1PN derivation uses ∫d^3x T^{ii} = (1/2)d²/dt²∫d^3x T^{00}x², which requires ∂_μ T_k^{μν}=0. The regulator breaks diffeo invariance, so conservation of T_k is not automatic, and no modified Ward identity is given. If ∂_μ T_k^{μν} ≠ 0 at finite k, the extracted coefficients A,B,C,D,F,H are not guaranteed. This is not a nitpick; it's the bridge from the flow equation to the claimed 1PN action. Third, the 3PM check is diagrammatic, not an explicit coefficient comparison, and the flows for A,B,C,D,F are stated without derivation. These are addressable in a longer paper, but they are real gaps.\n\nOn circularity: the ansatz is informed by the known final action, which is standard truncation practice, and the coefficients are solved from the flow, not fitted. I think that concern is minor.\n\nThe stress-test note holds up. I don't think it kills the paper—the approach may still work—but it means the 1PN claim is conditional on an unverified conservation property.\n\nWho is this for? People working on classical RG, gravitational EFT, or strong-field two-body dynamics will want to read it. I'd bring it to a reading group, but I would not cite it yet as a foundational result. It deserves a serious referee; the referee should ask for the companion paper or at minimum a derivation of the modified Ward identity for T_k.","headline":"A genuinely new RG equation for classical gravity that reproduces known PM/1PN results, but the 1PN extraction leans on an unproven conservation assumption for the running stress tensor.","tokens_in":11829,"tokens_out":2304,"would_cite":false,"duration_ms":23317,"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":"An exact renormalization group equation for classical general relativity reproduces the post-Minkowskian expansion and yields the 1PN two-body action directly, without computing the three-graviton vertex.","keywords":["renormalization group","general relativity","post-Minkowskian expansion","post-Newtonian expansion","two-body problem","effective action","gravitational waves","stress-energy tensor"],"falsifier":"Compute the 1PN coefficient H_k (the order-G^2 term) using a different regulator and show that the k-integrated value at k=0 changes; or directly compute the divergence of T_k^{μν} for the regulator used in the paper and show it is nonzero at finite k. Either check would settle whether the method's 1PN result is an artifact of the conservation identity.","tokens_in":10977,"feed_emoji":"🌀","tokens_out":5122,"duration_ms":44997,"temperature":0.7,"pith_summary":"This paper proposes a scale-dependent effective action for two point masses interacting gravitationally, governed by an exact renormalization group (RG) flow equation. The claim is that integrating this flow from the free-particle action down to zero scale produces the full conservative two-body effective action. The paper shows the flow reproduces the first three orders of the post-Minkowskian expansion, and that a simple ansatz recovers the known 1PN Lagrangian. The key step is identifying the first derivative of the running action with a scale-dependent stress-energy tensor and using conservation identities to avoid computing the three-graviton vertex. A sympathetic reader would see this as a possible middle path between numerical relativity and perturbative expansions.","feed_headline":"RG flow recovers 1PN two-body action","feed_subtitle":"Scale-dependent action reproduces post-Minkowskian and 1PN results without three-graviton vertex calculations.","key_machinery":"The scale-dependent effective action S_k[g, x_n] and the flow equation ∂_k S_k = -κ/2 S_k^{(1)}·∂_k G_k·S_k^{(1)}, where G_k = (S_g^{(2)} + R_k)^{-1} is the regulated graviton propagator. The regulator R_k cuts off momenta below k; flowing from k=∞ to k=0 interpolates between free particles and the full effective action. The argument is carried by replacing S_k^{(1)} with the stress-energy tensor T^{μν}_k and using the conservation identity to express the spatial trace integral in terms of the second time derivative of the moment of energy, which supplies the T^{ii} term that would otherwise require the three-graviton vertex.","core_discovery":"The central discovery is the flow equation ∂_k S_k = -κ/2 S_k^{(1)}·∂_k G_k·S_k^{(1)} for the running effective action S_k of two point particles. Starting at large k with the free point-particle action and flowing to k=0 gives the effective action of the interacting system. No loops or factors of ℏ appear. The equation is claimed to be exact, with a rigorous derivation deferred to a companion paper. The iterative solution of the flow reproduces the post-Minkowskian expansion order by order, and the 1PN two-body Lagrangian emerges from an ansatz with seven running coefficients whose flows are fixed by the stress-energy tensor of the ansatz.","pith_inferences":["The conservation assumption for T_k^{μν} is likely the most fragile step; a direct check of whether the regulator breaks conservation at finite k would decide whether the 1PN extraction is regulator-independent.","A natural testable extension is to push the ansatz to 2PN; the known 2PN action would provide a sharp falsifier for the method's claimed efficiency.","The claim that the equation is exact is not proven in this Letter; the companion paper's derivation is the missing link, and until then the post-Minkowskian reproduction and 1PN recovery are demonstrations of consistency rather than proof of exactness.","If the method proves reliable, it suggests a classical analogue of the functional RG where approximations like a derivative expansion could give analytic estimates for strong-field phenomena, including merger dynamics."],"forward_implications":["If the flow equation is exact, it provides a non-perturbative framework for classical gravitational dynamics, potentially reaching strong-field regimes without full numerical relativity.","The method extracts PN coefficients without explicit multi-graviton vertices; a systematic functional expansion could generate higher-order PN terms more cheaply than current effective-field-theory calculations.","The same equation can be applied to cosmological structure formation, where similar RG methods are already used.","Because the flow reproduces known post-Minkowskian results order by order, it can serve as a cross-check or as a generator of new perturbative orders.","The flow equation is classical and defined in a spacetime with one timelike direction, so it tests RG ideas in a regime with directly observable predictions, which may inform quantum-gravity constructions."],"fun_headline_variants":["Exact RG flow reproduces 1PN two-body action","Classical gravity’s RG flow yields post-Minkowskian results","Renormalization group bypasses three-graviton vertex","Flow equation recovers 1PN action without vertex calculus","Gravitational RG: exact flow to 1PN dynamics"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The 1PN result depends on the scale-dependent stress-energy tensor being conserved, in particular on the identity ∫ d^3x T^{ii} = (1/2) d^2/dt^2 ∫ d^3x T^{00} x^2; the regulator breaks diffeomorphism invariance, so this conservation is not guaranteed, and if it fails at finite k the extracted coefficients would be wrong.","fun_headline_variants_meta":{"raw":{"variants":["Exact RG flow reproduces 1PN two-body action","Classical gravity’s RG flow yields post-Minkowskian results","Renormalization group bypasses three-graviton vertex","Flow equation recovers 1PN action without vertex calculus","Gravitational RG: exact flow to 1PN dynamics"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000137,"raw_usage":{"total_tokens":937,"prompt_tokens":648,"completion_tokens":289,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":392,"completion_tokens_details":{"reasoning_tokens":202}},"tokens_in":392,"tokens_out":289,"duration_ms":7761,"temperature":1.0,"reasoning_tokens":202,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T06:52:45.029167+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the 1PN coefficient H_k (the order-G^2 term) using a different regulator and show that the k-integrated value at k=0 changes; or directly compute the divergence of T_k^{μν} for the regulator used in the paper and show it is nonzero at finite k. Either check would settle whether the method's 1PN result is an artifact of the conservation identity.","supporting_citations":[],"review_version":1}