{"id":"bec86784-9af4-45f6-8d16-7e8773ccfc75","arxiv_id":"2608.08792","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"At one loop, the finite subleading parts of the soft photon and double-soft pion theorems carry Wilson coefficients whose RG running is dictated by the same EFT beta functions, while log terms remain universal.","lead":"This paper shows that the finite non-universal pieces of one-loop soft theorems for photons and pions are not constants: they evolve with the renormalization scale in a way fixed by the EFT's beta functions, while the logarithmic pieces stay universal. It computes these effects explicitly for massive QED with a Pauli term and for chiral pion EFT.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The pion sector's central separation depends on an unproven 'one-loop exact' claim; a two-loop check is needed to know whether Eq. (29) is complete.","rationale":"I read the paper as claiming a one-loop RG-controlled separation for subleading soft theorems in two EFTs. The QED side is reasonably supported by consistency with known beta functions and the structure of Eqs. (17)-(21), although the derivation is delegated to Appendix A. The pion side is less secure: Eqs. (30)-(35) are presented as results of an unshown calculation, and the text's assertion that two-loop and higher corrections do not modify the subleading soft factor is a genuine non-renormalization claim without a demonstrated proof. This is exactly the weakness the reader identified. The decisive test is a two-loop computation of the double-soft limit for a concrete amplitude: if two-loop tau-linear terms appear, the claimed one-loop exactness fails and the separation in Eq. (32) is incomplete; if they vanish, the paper's statement is correct. Because the one-loop result may still be correct and the stated scope of the paper is one loop, I do not move the verdict. Conditional acceptance with a request for the missing derivation or an explicit qualification of the exactness claim remains appropriate.","tokens_in":13725,"tokens_out":18373,"duration_ms":207695,"concrete_test":"Compute the two-loop correction to the O(tau) term in the double-soft limit for the six-pion flavor-ordered amplitude in massless SU(N) chiral EFT, either by direct two-loop integrals or by extending the current-algebra derivation of [42] to second order. Check specifically whether the coefficient of tau log^2 tau and the two-loop tau log tau term vanish. If they do not vanish, Eq. (29) is not one-loop exact and Eq. (32) needs amendment; if they vanish, the exactness claim is supported, but only if the same check is repeated for a non-planar or multi-trace configuration.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing point is the assertion before Eq. (30): 'employing power-counting arguments as in [9] for loops in the Chiral EFT, we can deduce that contributions from two loops and higher will not modify the subleading soft factor, thus Eq. (29) is one loop exact.' The pion result—universal log-tau coefficients controlled by the NLSM and finite terms governed by the one-loop RG of (L3 + 2L4), Eqs. (30)-(35)—is only complete if this non-renormalization statement is true. The cited power-counting argument is not shown, and [9] is a tree-level soft theorem analysis; its extension to loops is not trivial. In massless chiral EFT, a two-loop integral can produce O(tau log^2 tau) or O(tau log tau) terms at the same soft order, and whether these vanish is a dynamical question, not simply a power-counting consequence. If such terms are nonzero, Eq. (29) is not one-loop exact, and the claimed separation in Eq. (32) would receive additional logarithmic corrections, altering the apparent RG structure. If the power-counting claim is valid only in the strict chiral expansion, then 'exact' should be qualified as 'up to the order considered'; as written, the paper makes a stronger, unsupported statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies one-loop corrections to subleading soft theorems in two EFTs: massive QED deformed by a dimension-five Pauli operator, and massless chiral EFT for SU(N) pions. In the photon case, the authors argue that hard-region loop corrections renormalize the local (finite) part of the subleading soft factor while leaving the logarithmic soft terms universal, and they identify the resulting RG equation for the Pauli coefficient with the known beta function. In the pion case, they propose that the subleading double-soft pion theorem separates into a universal τ log τ term, fixed by the NLSM, and a finite part controlled by the four-derivative Wilson coefficients L3 and L4, with the scale dependence of the finite part dictated by the one-loop RG equations. A flavor-dressed version of the pion theorem is given in Appendix B, and the authors report a check on the six-pion amplitude at one loop.","tokens_in":14016,"tokens_out":10074,"duration_ms":92120,"significance":"If the results are correct, the paper offers a useful unifying perspective: subleading soft theorems in EFT admit a decomposition into universal non-analytic logarithms and running local terms, with the RG equations of the EFT controlling the latter. The QED part matches the known Pauli beta function, and the pion computation appears new. The paper is strongest where it provides explicit consistency checks—the cancellation of the μ-dependence in Eq. (35) via Eq. (34), and the matching of Eq. (18) with the literature. However, the pion result rests on an unproved one-loop exactness claim, and the actual one-loop computations are not shown.","major_comments":[{"comment":"The statement that 'employing power-counting arguments as in [9] for loops in the Chiral EFT, we can deduce that contributions from two loops and higher will not modify the subleading soft factor, thus Eq. (29) is one loop exact' is the load-bearing step for Eqs. (30)-(35) and the claimed RG separation. Reference [9] is a tree-level analysis, and no power-counting argument for loops is given. Two-loop integrals in a massless chiral EFT can in principle produce τ log^2 τ or τ log τ terms at the same soft order, so the vanishing of these contributions is a dynamical statement, not a trivial consequence of power counting. Please provide the proof, or qualify the claim as valid only up to the order explicitly computed.","section":"Section II, before Eq. (30)"},{"comment":"The one-loop computation that yields Eqs. (30)-(31) and (B4)-(B5) is not presented. The text states that the authors 'compute the relevant soft form factors with current insertions' and 'verified the double-soft theorem explicitly for the six pion amplitude at one loop order,' but no integrals, integrands, or intermediate soft expansions are shown. Without these details the reader cannot independently verify the coefficients in the central formulas. Please include the calculation in the appendix or in a supplementary file.","section":"Section II and Appendix B"},{"comment":"The hard-region result for QED, Eq. (17) with η from Eq. (18), is stated to follow from 'explicit calculation,' but the one-loop integrals and counterterm structure are not displayed. Since this is the main new QED claim, the derivation should be sketched in enough detail to be checked, or the relevant integrals should be listed.","section":"Section I and Appendix A"}],"minor_comments":[{"comment":"The notation for the subleading soft factor changes between Eq. (1), where it is S^(1)_log and S^(1)_finite, and the displayed equation after Eq. (20), where the same objects are called S^(0)_log and S^(0)_finite. Please use a single convention.","section":"Introduction and Section I"},{"comment":"The statement that α is a 'physical parameter defined at the scale f' is correct only because the log(µ^2/f^2) term is cancelled by the running of L3^r+2L4^r in Eq. (34); this should be said explicitly to avoid confusion.","section":"Eq. (31)"},{"comment":"The restriction to adjacent soft legs for flavor-ordered amplitudes is stated without derivation; a short explanation of how it follows from the flavor-dressed theorem in Appendix B would improve readability.","section":"Section II"},{"comment":"The trace notation T^{abcd} = ⟨t^a t^b t^c t^d⟩ is used in Eq. (B4) but the normalization ⟨t^a t^b⟩ = δ^{ab} is defined only in Section II; please restate it in the appendix.","section":"Appendix B"}],"recommendation":"major_revision","confidential_remarks":"The paper is in scope for hep-th and the central idea—that subleading soft theorems in EFTs have RG-running local parts—is attractive. My main reservation is the missing computational support and the unproved one-loop exactness claim. I would be willing to reconsider after a revision that adds the derivations or qualifies the claims. I see no ethical concerns, though the heavy reliance on [42], co-authored by two of the present authors, should be made more explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this paper gives two worked examples of subleading soft theorems at one loop where universal log(soft) terms and finite terms controlled by running Wilson coefficients separate cleanly. The QED side matches known results, and the pion side is genuinely new. The framing—soft factors are scale-independent, so the running of the L_i coefficients is dictated by the log terms—is attractive, and the six-pion check gives real support.\n\nWhat's new: the hard-region renormalization of the Pauli-operator contribution to the finite subleading photon factor, with the beta function in Eq. (21) matching Jenkins–Manohar–Stoffer, and the one-loop double-soft pion theorem with explicit L_i dependence, which the authors correctly flag as not in the literature. The pion result is the meat. They package the correction as F = alpha + N/(48 pi^2) log(-f^2/(2 p·q tau)) with alpha = 8(L3^r + 2L4^r) + ... and check RG consistency: the mu-dependence cancels via the Gasser–Leutwyler beta function. That internal consistency is the strongest evidence the computation is right, and using Package-X plus verifying against the six-pion amplitude is more than most papers in this area do.\n\nSoft spots, in proportion: the main one is the assertion before Eq. (30) that the subleading soft factor is 'one loop exact' by power-counting arguments as in [9]. That citation is a tree-level analysis, and the stress-test worry is legitimate: two-loop integrals can generate O(tau log^2 tau) or O(tau log tau) terms at the same order, and counting alone does not dismiss them. This claim does not appear in the photon sector, where they only claim one-loop corrections. If the pion claim is true, fine, but as written it is a gap: either show the non-renormalization or qualify it as 'up to the order considered.' The paper also omits derivations of the central one-loop formulas, so a referee cannot easily verify the coefficients without redoing the computation. That is not disqualifying, but it does make the internal-consistency support thinner than it looks.\n\nFor whom: people working on soft theorems in EFT, chiral perturbation theory, and subleading-power corrections. This is a solid subfield paper, not a paradigm shift, and it deserves a serious referee. I would send it out, but with an instruction to pin down the one-loop-exactness claim or soften it.","headline":"New one-loop soft-theorem computations with a clean RG-running story, but the pion sector's 'one-loop exact' claim is asserted rather than proven and should be tightened before the paper is relied on.","tokens_in":14525,"tokens_out":2648,"would_cite":true,"duration_ms":30087,"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":"This paper establishes that, at one loop, subleading soft theorems in two effective field theories split into universal logarithmic terms, untouched by higher-dimensional operators, and finite local terms whose scale dependence is set by…","keywords":["soft theorems","effective field theory","subleading soft photon theorem","double-soft pion theorem","renormalization group","Wilson coefficients","chiral perturbation theory","massive QED"],"falsifier":"Compute the subleading double-soft pion factor at two loops in chiral EFT. If the coefficient of $\\log\\tau$ changes, or if a new structure appears that cannot be absorbed into the RG running of $L_3+2L_4$, the claimed one-loop exactness fails. A more direct check is an independent two-loop calculation of the six-pion amplitude's double-soft limit confirming or contradicting the $\\beta$ function $-N/(192\\pi^2)$.","tokens_in":13539,"feed_emoji":"⚛️","tokens_out":8638,"duration_ms":85989,"temperature":0.7,"pith_summary":"Soft theorems tell us how amplitudes simplify when an external photon or pion momentum is taken to zero. The paper asks what happens to the subleading part of those theorems when the theory is an effective field theory with higher-dimensional operators, and it finds a clean split at one loop. The logarithmic soft terms stay universal—they are not changed by the higher-dimensional operators—while the finite local terms carry the operator dependence and run with the renormalization scale according to the Wilson coefficients' RG equations. The claim is demonstrated in two settings: massive QED with a Pauli operator, and the massless chiral EFT of SU(N) pions, where the one-loop double-soft pion theorem is computed here. If right, the pattern gives an organizing principle for subleading soft behavior: symmetry protects the logarithms, and the EFT dictates everything else.","feed_headline":"Soft theorems split: logs stay universal, local terms run with scale","feed_subtitle":"In massive QED and chiral EFT, one-loop subleading soft terms are governed by Wilson-coefficient RG running.","key_machinery":"The central mechanisms are the Ward-Takahashi identity for the photon vertex and the current-algebra derivation of the pion soft factors, combined with a method-of-regions split of loop integrals into a soft region, where the loop momentum scales with the soft momentum and produces the universal $\\log\\tau$ terms, and a hard region, which produces analytic terms and, in the presence of the Pauli operator, UV-divergent contributions that renormalize the Wilson coefficients. The non-universal local structure is packaged in scalar coefficients—$F_M$ for the photon and $F(p_L,q_a;\\tau)$ for the pion—and the requirement that the whole soft factor be $\\mu$-independent converts into the RG equations for $C(\\mu)$ and $L_i(\\mu)$.","core_discovery":"In massive QED supplemented by the dimension-five Pauli operator, one-loop hard-region corrections make the finite part of the subleading soft photon factor $F_M = \\frac{e}{2} - \\frac{2 C m_p}{\\Lambda} + \\eta(e,C)\\frac{m_p}{\\Lambda}\\log\\frac{\\mu^2}{m_p^2} + \\xi$ in the $\\overline{\\rm MS}$ scheme, with $\\eta(e,C) = \\frac{C}{24\\pi^2}(60 C^2 m_p^2/\\Lambda^2 - 66 e C m_p/\\Lambda + 17 e^2)$. The $\\log\\tau$ terms remain exactly those of minimal QED, and scale invariance of the soft factor requires $\\mu\\,dC/d\\mu = \\eta(e,C)$. In the chiral EFT, the corresponding double-soft factor is $F(p_L,q_a;\\tau) = \\alpha + \\frac{N}{48\\pi^2}\\log\\left(-\\frac{f^2}{2 p_L\\cdot q_a}\\tau\\right)$, with $\\alpha = 8(L_3^r+2L_4^r) + \\frac{N}{48\\pi^2}\\left(\\frac{13}{6}+\\log\\frac{\\mu^2}{f^2}\\right)$; the coefficient of $\\tau\\log\\tau$ is fixed by the NLSM alone, and $\\mu\\,\\frac{d}{d\\mu}(L_3^r+2L_4^r) = -\\frac{N}{192\\pi^2}$. The paper also derives the full flavor-dressed loop-level double-soft theorem and checks it against the six-pion amplitude at one loop, and it argues by chiral power counting that the pion result is one-loop exact.","pith_inferences":["If the same split holds more generally, subleading soft theorems in other symmetry-protected EFTs—graviton, gluon, or dilaton—could be classified by which terms are fixed by symmetry, which are universal logarithms, and which are running local data; the paper gestures at this possibility but does not prove it.","The claimed one-loop exactness of the pion result is a strong constraint that could be checked by an explicit two-loop computation of the double-soft limit; a nonzero two-loop contribution would not necessarily destroy the log/finite split but would require a modified power-counting story.","The RG equations for the finite coefficients give an amplitude-level window onto Wilson coefficients such as $L_3+L_4$: matching calculations performed at different scales should see the logarithms predicted here.","The suggested connection to field-space geometry raises the possibility that these finite coefficients will eventually be recognized as curvature invariants of the scalar field space; that interpretation is speculative and left for future work."],"forward_implications":["In QED with a Pauli operator, the $O(\\log\\tau)$ subleading soft photon terms remain universal at one loop; only the finite part of the subleading factor depends on $C(\\mu)$, and it runs via $\\mu\\,dC/d\\mu = \\eta(e,C)$.","In chiral EFT, the $O(\\tau\\log\\tau)$ double-soft pion logarithms are controlled entirely by the NLSM, while the finite term $\\alpha$ is set by $L_3+2L_4$ and scales according to $\\mu\\,\\frac{d}{d\\mu}(L_3^r+2L_4^r) = -\\frac{N}{192\\pi^2}$.","Soft theorems can be evaluated at a natural scale—$\\mu\\approx m_p$ in QED and $\\mu^2\\sim\\tau|2p\\cdot q|$ for pions—so the logarithms are minimized and the finite terms absorb the running.","By chiral power counting, the one-loop double-soft pion theorem is exact: two-loop and higher contributions do not modify the subleading soft factor.","In massless QED, no EFT deformation can modify the subleading soft photon theorem without breaking the non-invertible axial symmetry, so the running structure described here is specific to massive theories."],"supporting_citations":[{"why":"Supplies the tree-level subleading soft photon theorem (Low-Burnett-Kroll) that the loop analysis extends.","marker":"[2]"},{"why":"Shows that higher-dimensional operators modify the subleading soft photon theorem at tree level, singling out the Pauli operator as the unique dimension-five deformation.","marker":"[10]"},{"why":"Classifies the one-loop soft-region diagrams and provides the universal $\\log\\tau$ contribution to the subleading soft photon factor.","marker":"[11]"},{"why":"Establishes universality of loop-corrected soft photon logarithms, which the paper relies on to keep $\\log\\tau$ independent of higher-dimensional operators.","marker":"[12]"},{"why":"Derives the tree-level double-soft theorem in chiral EFT and shows that only four-derivative operators correct it; the paper extends this result to one loop.","marker":"[9]"},{"why":"Provides the one-loop RG equations for the $L_i$ Wilson coefficients that control the pion finite terms.","marker":"[22]"},{"why":"Supplies the current-algebra derivation of the subleading double-soft factor that the paper follows for the pion computation.","marker":"[42]"},{"why":"Gives the leading double-soft pion theorem from current commutation relations that anchors the soft expansion.","marker":"[4]"}],"fun_headline_variants":["Soft logs stay universal, local terms run in QED and pion EFT","One-loop soft theorems: logs fixed, local parts obey RG","Pauli term shifts subleading photon soft part, logs untouched","Chiral EFT double-soft: logs from NLSM, local from Wilson coefficients"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that contributions from two-loop and higher pion diagrams cannot change the subleading soft factor, so the one-loop formula is exact; if that fails, the split between universal logarithms and running finite terms could shift.","fun_headline_variants_meta":{"raw":{"variants":["Soft logs stay universal, local terms run in QED and pion EFT","One-loop soft theorems: logs fixed, local parts obey RG","Pauli term shifts subleading photon soft part, logs untouched","Chiral EFT double-soft: logs from NLSM, local from Wilson coefficients"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000413,"raw_usage":{"total_tokens":2174,"prompt_tokens":1021,"completion_tokens":1153,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":637,"completion_tokens_details":{"reasoning_tokens":1073}},"tokens_in":637,"tokens_out":1153,"duration_ms":10198,"temperature":1.0,"reasoning_tokens":1073,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:23:57.505300+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the subleading double-soft pion factor at two loops in chiral EFT. If the coefficient of $\\log\\tau$ changes, or if a new structure appears that cannot be absorbed into the RG running of $L_3+2L_4$, the claimed one-loop exactness fails. A more direct check is an independent two-loop calculation of the six-pion amplitude's double-soft limit confirming or contradicting the $\\beta$ function $-N/(192\\pi^2)$.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the tree-level subleading soft photon theorem (Low-Burnett-Kroll) that the loop analysis extends."},{"cited_title":"Exploring the Landscape for Soft Theorems of Nonlinear Sigma Models","cited_arxiv_id":"2102.08396","evidence_quote":"Derives the tree-level double-soft theorem in chiral EFT and shows that only four-derivative operators correct it; the paper extends this result to one loop."},{"cited_title":"Weinberg, Current-Commutator Theory of Multiple Pion Production, Phys","cited_arxiv_id":null,"evidence_quote":"Gives the leading double-soft pion theorem from current commutation relations that anchors the soft expansion."}],"review_version":1}