{"id":"eb4f756e-f1c2-4d72-a8cd-6b422dec51fa","arxiv_id":"2607.25714","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"The superconformal formulation of four-dimensional supergravity yields a coupling flow operator that is regular at zero gravitational coupling, clearing two of three obstacles to a Nicolai map.","lead":"This paper constructs a coupling flow equation for four-dimensional supergravity that tracks how quantum correlation functions respond to changes in the gravitational constant. It clears two of three known obstacles and may give a new perturbative route to quantum gravity around flat spacetime.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Regularity check at κ=0 is enforced by choosing the integration-by-parts parameter p in Eq. (6.12), so Eq. (6.15) does not independently support the all-order flow claim.","rationale":"The reader's verdict CONDITIONAL is appropriate. I did not find grounds to reject the construction outright: the superconformal formulation is a known framework, the leading-order comparison with the on-shell result of [19] in Section 7 is a meaningful consistency test, and the paper is transparent about the unresolved conversion of multiplicative terms. However, the regularity check is the only quantitative evidence for the central all-order flow claim, and that check is weakened by the p-adjustment. I differ slightly from the reader's weakest_assumption: the unproven supervariation identity (2.5) with Mα from (2.6) is indeed foundational and should be supplied, but the p-dependence of Eq. (6.15) is the more immediately checkable soft spot. A direct parameter-free evaluation of (6.15) for a fixed functional would either validate the κ=0 expansion or show that the advertised cancellation is an artefact of the integration-by-parts split. Until then, the all-order claim should remain conditional.","tokens_in":17792,"tokens_out":11496,"duration_ms":105043,"concrete_test":"Recompute the left-hand side of Eq. (6.15) directly from the p-independent first line of Eq. (6.12), using the full free graviton propagator (5.5), for a specific test functional such as Y=φ_{ab}(x)φ_{cd}(y), performing all Wick contractions and integration by parts without introducing p or discarding contributions. If the resulting free correlator is not identically zero, the regularity condition (3.17) fails and the leading-order expansion around κ=0 is not justified; the all-order flow claim should be withdrawn until a parameter-free check is supplied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The all-order flow claim rests on the κ→0 regularity condition (3.17), but the only explicit check, Eq. (6.15), is underdetermined. In Eq. (6.12) the authors use the freedom to add a total derivative to introduce parameters p and q with p+q=1. After a partial Wick contraction, Z0 produces the operator ∫φ{¼η^{ab}+(4p−3/2)∂^a∂^b/□}δ/δφ^{ab}; the local coefficient is said to be 'precisely what is needed', and p is then adjusted to cancel the nonlocal term in (6.3). Since p is chosen to make the cancellation happen, the computation does not independently test the identity (3.17). An exact evaluation of the free correlator should be p-independent, but only a partial contraction is performed and the p-dependence of the discarded/disconnected terms is not tracked. Moreover, this is a leading-order check in κ, while Section 8 asserts all-order existence; the paper itself concedes in §4 and §8 that the all-order Nicolai map remains open.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a coupling-flow formalism for four-dimensional Poincaré supergravity in its superconformal formulation. The authors express the superconformal off-shell Lagrangian as a supervariation, Eqs. (2.5)-(2.6), and use this to construct a gauge-invariant flow operator R_inv in the effective vierbein theory, Eq. (3.7). After BRST gauge fixing, a multiplicative term Z appears in the flow equation, Eq. (3.11); the paper argues, using supersymmetric Yang-Mills theory as a model, that such multiplicative terms might be converted into derivational terms via Wick contractions in the final free correlator. The Landau-gauge regularity condition at κ=0 is checked to leading order in Section 6, and the resulting leading-order flow operator is compared with the direct on-shell Nicolai-map construction in Section 7. The paper concludes that an all-order flow in κ exists and that two of the three obstacles of [18] have been overcome.","tokens_in":18012,"tokens_out":9981,"duration_ms":91862,"significance":"If the construction is correct, it would provide a perturbative framework for quantum supergravity correlators around Minkowski space and a substantial step toward a Nicolai map for supergravity. The paper contains useful technical material: explicit free propagators for the graviton, gravitino, compensator and ghost system (Section 5), a worked example showing how a multiplicative term can be converted into a derivative one in super Yang-Mills theory (Section 4), and a concrete leading-order comparison with the on-shell method (Section 7). These elements are valuable for follow-up work. However, the central claims rest on an asserted supervariation identity and a regularity check that is partially parameter-adjusted, and the paper itself concedes that the all-order Nicolai map remains open.","major_comments":[{"comment":"The identity L_SUSY = δ_α M_α is the foundation of the entire construction: the gauge-invariant flow operator R_inv in Eq. (3.7) and the subsequent flow equation (3.11) are derived from it. The only support provided is the sentence \"Indeed we have verified this key relation,\" with no derivation, no explicit check of the composite connections ω, f and φ_μ, and no reference to where such a verification appears. Given that this identity is nontrivial and load-bearing, the paper should either provide a direct proof or an explicit term-by-term verification in an appendix, or state clearly that the result is an unproved assumption.","section":"2 (Eqs. (2.5)-(2.6))"},{"comment":"The regularity check for the condition (3.17) is underdetermined. In Eq. (6.12) a total-derivative freedom is used to introduce parameters p and q with p+q=1, and in Eq. (6.14) the coefficient (4p-3/2)∂^a∂^b/□ appears; p is then adjusted so that this nonlocal term cancels the corresponding term in Eq. (6.3). This means the cancellation is enforced by a parameter choice rather than derived from the theory. Moreover, only a partial Wick contraction is performed, and the p-dependence of the disconnected terms, which are explicitly discarded, is not tracked. An exact evaluation of the free correlator ⟨Z_0 Y⟩ should be p-independent; please perform the complete Wick contraction, or otherwise show that the discarded terms cannot affect the regularity condition.","section":"6 (Eqs. (6.12)-(6.15))"},{"comment":"The statement in Section 8 that the paper \"established the all-order existence of a flow in the gravitational coupling κ\" is stronger than what the body of the paper demonstrates. Section 6 contains only a leading-order check of the condition (3.17), and Section 4 explicitly states that a universal conversion mechanism for the multiplicative term Z is still missing. The abstract's phrase \"all-order (inverse) Nicolai map\" is also in tension with the paper's own admission that the all-order Nicolai map is open. Please either supply an all-order argument for the regularity and finiteness of the flow equation, or consistently reformulate the claims as a formal all-order flow equation together with a verified leading-order regularity condition.","section":"8 (abstract and conclusions)"},{"comment":"The claimed contact with the direct on-shell construction is not established at leading order. The on-shell flow operator R_1 in Eq. (7.6) has relative coefficients (-1,2) for the two displayed structures, while the supervariation-based ansatz (7.7)-(7.10) produces Eq. (7.11), in which the relative coefficients are necessarily equal and opposite. The missing symmetric part is identified as Eq. (7.12), and the text suggests it could arise from a partial Wick contraction in the final free graviton correlator, but no such computation is shown. Since this is the leading order in κ, the comparison with [19] is incomplete; the mismatch must either be resolved explicitly or stated as an unresolved discrepancy.","section":"7 (Eqs. (7.6)-(7.12))"}],"minor_comments":[{"comment":"The term \"Landau gauge\" is used somewhat loosely: in Eq. (6.3) ξ_Q is still free, while in Eq. (6.15) the result is declared to hold in the Landau gauge. Please state explicitly at which stage ξ_Q is fixed and how the parameter p is chosen relative to that limit.","section":"6"},{"comment":"The four-parameter ambiguity δT in Eq. (7.3) is described as unfixed by the Nicolai-map conditions, but it is subsequently ignored in the comparison with the flow operator. The dependence on λ_1,...,λ_4 should be either retained or explicitly justified as dropping out of the comparison.","section":"7 (Eq. (7.3))"},{"comment":"The displayed quadratic Lagrangian is long and uses condensed notation such as φ^2 and φ:φ. A short sentence defining these abbreviations before Eq. (5.3) would improve readability.","section":"5 (Eq. (5.3))"},{"comment":"In the super Yang-Mills example, the relation between the multiplicative and derivative forms is verified by Wick contraction, but the normalization of the path integral and the treatment of the disconnected vacuum diagrams are not discussed. A brief comment on why ⟨Z⟩⟨Y⟩ terms can be dropped in this example would help.","section":"4 (Eq. (4.13))"}],"recommendation":"major_revision","confidential_remarks":"The paper contains useful and interesting technical work, and the superconformal route to a supergravity coupling flow is worth pursuing. However, the advertised all-order claim is not supported by the evidence presented: the key supervariation identity is asserted without proof, the κ→0 regularity check relies on an adjustable parameter, and the leading-order comparison with the on-shell map shows an unresolved mismatch. I recommend major revision, with the expectation that the authors either provide the missing derivations and complete the Wick analysis or substantially weaken the claims in the abstract and conclusions."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou asked for a read on Arrighi, Khandelwal, and Lechtenfeld. Short version: it is a genuine advance in a narrow program, but the headline claim in Section 8 outruns the evidence. The all-order flow statement should be read as a leading-order consistency check plus a plausible conjecture.\n\nWhat is actually new: writing the full superconformal off-shell action as a supervariation (2.5)-(2.6) is a real step and fixes the first obstacle in [18]. The corrected κ^0 term in the BRST variation of the vierbein (3.14) is a concrete correction of earlier work. The idea that multiplicative Z terms might be traded for derivative ones by partial Wick contraction in the free correlator has legs, and the supersymmetric Yang-Mills example is worked out cleanly. The comparison with the direct on-shell construction in Section 7 is honest: it exposes the missing symmetric part (7.12), which speaks against circularity. No code or machine-checked proofs, but that is normal for analytic hep-th.\n\nThe soft spots are where you would expect. The key identity (2.5)-(2.6) is asserted with \"we have verified\" and no derivation; the entire gauge-invariant flow operator sits on it, so a referee should ask for a proof. More importantly, the regularity check at κ=0 is not as strong as advertised. In (6.12), the parameters p and q are introduced via total-derivative freedom, and p is then adjusted to cancel the nonlocal term. Since only a partial Wick contraction is performed and the p dependence of the discarded terms is not tracked, (6.15) does not independently confirm the κ→0 limit; it shows that a free parameter can be chosen to make it work. The explicit checks are all leading order in κ, while Section 8 claims all-order existence. The authors concede the all-order Nicolai map remains open, but the conclusion does not carry the same caution.\n\nIf I were the editor, I would send this to a serious referee. The construction is coherent, the computations are nontrivial, and the program deserves a careful check of (2.5), the gamma-trace algebra, and the p-parameter issue. I would also ask the authors to tone down the all-order language. The paper is for people working on Nicolai maps and formal supergravity; it is not for a general QFT audience.","headline":"Serious progress in the supergravity Nicolai-map program, but the all-order flow claim outruns a leading-order check with a hand-adjusted parameter.","tokens_in":18569,"tokens_out":5453,"would_cite":true,"duration_ms":43307,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T60","83E50"],"pacs":["04.65.+e"],"model":"deepseek-v4-flash","headline":"Poincaré supergravity admits an all-order coupling flow in the gravitational constant, regular at zero coupling in Landau gauge.","keywords":["Nicolai map","coupling flow","supergravity","superconformal formulation","BRST gauge fixing","Wick's theorem","Minkowski perturbation theory","gravitational coupling"],"falsifier":"A direct check would be to compute δ_α M_α from (2.6) using the transformation rules (2.4) and compare it term by term with the full superconformal Lagrangian (2.2); any residual piece, especially an auxiliary-field term of the kind that obstructed the earlier attempt [18], would invalidate the flow equation and the regularity condition. A second test is to evaluate the left and right sides of the multiplicative-to-derivative conversion, as in (4.13), for supergravity at order $κ^{2}$ and beyond with an explicit non-gauge-invariant functional Y, to see whether an identity of free correlators actually holds at that order.","tokens_in":17542,"feed_emoji":"🌀","tokens_out":2935,"duration_ms":26799,"temperature":0.7,"pith_summary":"This paper claims that four-dimensional Poincaré supergravity, treated through its superconformal formulation, possesses a well-defined flow in the gravitational coupling κ of the form (3.11), with a gauge-invariant flow operator that is a proper functional derivation and a total flow that is regular at κ=0 in Landau gauge. If true, this gives a perturbative computational scheme for quantum supergravity correlators around Minkowski space, even though the all-order Nicolai map itself is not established. The key step is writing the full superconformal off-shell action as a supervariation, which removes the first obstruction identified in the earlier attempt [18]. The remaining obstruction is that BRST gauge fixing adds multiplicative terms to the flow; the paper argues, with a worked free-field example, that such terms can be converted to derivative ones by Wick's theorem inside the final free correlator.","feed_headline":"Supergravity flow stays regular at zero gravity","feed_subtitle":"A superconformal supervariation trick yields a perturbative flow in the gravitational coupling, enabling quantum correlators around…","key_machinery":"The load-bearing object is the supervariation identity L_SUSY = δ_α M_α with M_α given in (2.6), which expresses the full superconformal off-shell Lagrangian as a global supersymmetry variation. From it, the paper derives the gauge-invariant flow operator R_inv in (3.7) and the multiplicative term Z in (3.4); together with the BRST gauge-fixing term R_gf, these form the flow equation (3.11). The regularity at κ=0 is enforced by the consistency condition (6.15), in which the leading flow operators and Z are converted, inside the free graviton correlator, into a functional derivative via Wick's theorem and the free propagators (5.4)–(5.6).","core_discovery":"The central claim is that the superconformal formulation of Poincaré supergravity yields an all-order flow equation in the gravitational constant, with a gauge-invariant flow operator regular at κ=0 in the Landau gauge. The authors establish the identity (3.11), where the flow is governed by the sum R_inv + R_gf + Z, and they verify that in the Landau gauge the κ→0 limit satisfies the consistency condition (6.15), up to gauge artefacts. This removes two of the three obstacles met in the earlier attempt [18]: the first obstruction is overcome by the supervariation representation of the superconformal action, and the third (regularity at Minkowski space) is shown to hold. The second obstruction, multiplicative terms in the flow, is not universally removed, so the all-order existence of an inverse Nicolai map is left open; however, the authors show how such terms may be transmuted into derivational ones using Wick's theorem in the free effective theory, and they match the leading-order on-shell Nicolai map of [19] after imposing Landau gauge.","pith_inferences":["Should the Wick-theorem conversion mechanism hold to all orders, the flow operator method would define a generalized inverse Nicolai map with a measure factor even in the presence of multiplicative terms, giving a practical alternative to standard Feynman-diagram supergravity loop computations.","The same supervariation-and-Wick strategy may apply to other supersymmetric theories whose off-shell actions can be written as supervariations, potentially extending the flow-operator formalism beyond Poincaré supergravity, for instance to higher-derivative or matter-coupled supergravities.","A testable extension would be to check whether the regularity condition (6.15) continues to hold at order κ^2 and one loop; if it fails there, the all-order claim would need modification.","The paper leaves open the possibility that a cleverer gauge-fixing procedure could make the flow derivational outright, which would bypass the multiplicative-term problem and directly yield an all-order Nicolai map."],"forward_implications":["If the flow equation (3.11) and regularity condition (6.15) hold, quantum supergravity correlators around Minkowski space can be computed perturbatively through the coupling flow without needing an all-order Nicolai map.","Two of the three obstacles from the earlier attempt [18] are removed: the supervariation representation eliminates the gauge-invariant obstruction, and the κ=0 regularity check is satisfied in Landau gauge up to gauge artefacts.","The leading-order flow operator obtained from the superconformal method agrees with the on-shell construction of [19] after imposing Landau gauge, providing a consistency check between the two approaches.","If multiplicative flow contributions can be universally converted to derivational ones, the integrated flow would yield a genuine inverse Nicolai map for Poincaré supergravity, extending the known examples beyond the leading order.","The superconformal formulation identifies the chiral compensator fields as inner fields whose integration generates the graviton flow, clarifying which degrees of freedom carry the Nicolai-map transformation in supergravity."],"supporting_citations":[{"why":"The earlier attempt whose three obstacles the present paper addresses; the first is overcome by the supervariation representation and the third by the improved regularity check.","marker":"[18]"},{"why":"The direct on-shell construction of the Nicolai map to order κ^2 and one loop, with which the leading-order flow operator is compared and matched in Landau gauge.","marker":"[19]"},{"why":"The textbook source for the superconformal supergravity conventions used throughout the paper.","marker":"[20]"},{"why":"The original Nicolai-map literature establishing the free-theory encoding of quantum correlators, which motivates the flow-operator method.","marker":"[1, 2, 3, 4, 5, 6, 7]"},{"why":"The universal form of the Nicolai map, whose derivation relies on distributivity and is therefore invalidated by multiplicative flow terms, motivating the need to convert them.","marker":"[9]"},{"why":"The super-Yang–Mills example in general gauges, which supplies the parallel demonstration that multiplicative terms can be recast into derivative ones in the free-theory correlator.","marker":"[12]"}],"fun_headline_variants":["Supergravity flow regular at zero gravity","Supergravity coupling flow survives zero-coupling limit","Perturbative supergravity flow at zero coupling","Supergravity flow equation safe in Landau gauge"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the assertion that the full superconformal off-shell action is exactly a supervariation with the fermionic potential M_α of (2.6); the authors state that they verified this relation but give no derivation, and if extra terms were present the flow operator and the κ=0 regularity check would not follow.","fun_headline_variants_meta":{"raw":{"variants":["Supergravity flow regular at zero gravity","Supergravity coupling flow survives zero-coupling limit","Perturbative supergravity flow at zero coupling","Supergravity flow equation safe in Landau gauge"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000405,"raw_usage":{"total_tokens":2146,"prompt_tokens":1022,"completion_tokens":1124,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":638,"completion_tokens_details":{"reasoning_tokens":1066}},"tokens_in":638,"tokens_out":1124,"duration_ms":10827,"temperature":1.0,"reasoning_tokens":1066,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:24:50.495746+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct check would be to compute δ_α M_α from (2.6) using the transformation rules (2.4) and compare it term by term with the full superconformal Lagrangian (2.2); any residual piece, especially an auxiliary-field term of the kind that obstructed the earlier attempt [18], would invalidate the flow equation and the regularity condition. A second test is to evaluate the left and right sides of the multiplicative-to-derivative conversion, as in (4.13), for supergravity at order $κ^{2}$ and beyond with an explicit non-gauge-invariant functional Y, to see whether an identity of free correlators actually holds at that order.","supporting_citations":[{"cited_title":"Arrighi, S","cited_arxiv_id":null,"evidence_quote":"The earlier attempt whose three obstacles the present paper addresses; the first is overcome by the supervariation representation and the third by the improved regularity check."},{"cited_title":"Perturbative Nicolai-Map Diagrammatics: Application to Poincar\\'{e} Supergravity","cited_arxiv_id":"2605.29990","evidence_quote":"The direct on-shell construction of the Nicolai map to order κ^2 and one loop, with which the leading-order flow operator is compared and matched in Landau gauge."},{"cited_title":"Freedman and A","cited_arxiv_id":null,"evidence_quote":"The textbook source for the superconformal supergravity conventions used throughout the paper."},{"cited_title":"Universal form of the Nicolai map","cited_arxiv_id":"2104.00012","evidence_quote":"The universal form of the Nicolai map, whose derivation relies on distributivity and is therefore invalidated by multiplicative flow terms, motivating the need to convert them."}],"review_version":2}