{"id":"774c5c29-a2be-4618-bf73-86524db23523","arxiv_id":"2504.16512","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"Chiral EFT for nucleon-nucleon scattering is renormalizable at NLO only when long-range forces are local, the cutoff is at the hard scale, and counterterms are natural; violations produce explicit counterexamples.","lead":"This proceedings paper states three conditions needed to renormalize an effective field theory with nonperturbative interactions: local long-range forces, a cutoff near the hard scale, and natural-size counterterms. It illustrates them with toy models that violate each condition and shows where 'RG-invariant' chiral EFT schemes break down.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (12) is the load-bearing input for the renormalizability proof, but it is asserted as a 'direct consequence' and not derived in this text; if the bound fails or has non-power log corrections, the BPHZ subtractions in Sec. 3.1 do not restore power counting.","rationale":"The reader identified Eq. (12) as the weakest assumption, and I agree. The paper is a proceedings summary that honestly delegates the hard proof to Refs. [8,9]; it also provides useful counterexamples (Secs. 4–6) that illustrate what happens when the criteria are violated. However, the sufficiency side—that the three criteria guarantee renormalizability—depends critically on the large-momentum bound. That bound is not a trivial artifact of locality; it requires the potential to be sufficiently analytic in the soft momentum after partial-wave projection, with a controlled remainder. The paper explicitly states that the bound is a 'direct consequence' but does not show the steps, and the only direct evidence offered is the counterexample where it fails. The 'neglect logarithmic corrections' caveat further means the bound is asserted only up to logs; if those logs produce non-analytic terms at p=0 that survive subtraction, the BPHZ recursion could break. This is a concrete, checkable condition, and a numerical or analytical verification of Eq. (12) for the actual chiral NN potential would settle whether the central claim holds. The reader's CONDITIONAL verdict—accept if the proof is checked or read as a review—remains appropriate; I see no reason to escalate to UNVERDICTED because the underlying results are published, and no reason to downgrade because the criteria are plausible and the counterexamples are instructive.","tokens_in":13686,"tokens_out":18127,"duration_ms":169354,"concrete_test":"Numerically compute the subtracted NLO potential Δ_0 V_2(p',p) in the 1S0 and 3P0 partial waves using the exact NLO chiral OPE+TPE potential (as in Ref. [8]) for soft momenta p = 0.05, 0.1, 0.2 GeV and hard momenta p' = 1, 2, 5, 10 GeV, with a local regulator f(q^2/Λ_b^2) at Λ_b = 0.5 GeV. For each (p, p'), evaluate r = |Δ_0 V_2(p',p)| / [(p/p')^{D+1} |V_2(p',p)|] with the appropriate D. If r stays bounded by a constant (up to powers of log(p'/m_π) that do not grow with p'/p), Eq. (12) is confirmed; if r grows like p'/p or develops p^{D+1} log p behaviour, the bound fails and the renormalizability proof for this potential would need revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—that chiral EFT in the NN sector is renormalizable at NLO when the three criteria hold—rests on the large-momentum bound Eq. (12). After subtracting the Taylor expansion in the soft momentum p, the remainder Δ_D V_α(p',p) is asserted to scale as (p/p')^{D+1} V_α(p',p). This bound is the mechanism that suppresses high loop momenta and allows the recursive BPHZ subtractions in Sec. 3.1 to restore O(Q^2) power counting. The paper calls Eq. (12) a 'direct consequence' of locality and of pion singularities depending only on q^2, but provides no derivation here, delegating to Ref. [8]. The nonperturbative Fredholm extension in Sec. 3.2 inherits this dependence, so the entire proof is built on this single analytic property. The paper's own Sec. 4 shows that nonlocal interactions violate the bound, so it is not automatic; and the caveat 'we neglect logarithmic corrections' in Sec. 3.1 means Eq. (12) is intended only up to logs. If the actual chiral NN potential—including two-pion-exchange contributions and partial-wave projections—produces non-power remainders (e.g., p^{D+1} log p terms), the bound's power form changes and the subtraction count may be off. Thus, before the criteria can be accepted as established from this text, Eq. (12) must be verified for the real potential.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This proceedings paper formulates three criteria for renormalizability of nuclear chiral effective field theory in the NN sector at next-to-leading order: locality of the long-range interactions, cutoff of order the hard scale, and natural-size finite parts of counterterms. It sketches the derivation using subtractive renormalization with BPHZ-type subtractions, relying on the large-momentum bound in Eq. (12), and then presents three counterexamples: a nonlocal separable model that violates locality, the appearance of 'exceptional' cutoffs in an RG-invariant scheme for the 3P0 channel, and a fine-tuned separable short-range model that makes the counterterm unnatural. The paper concludes that violations of the criteria break renormalizability and support the self-consistency of the finite-cutoff Weinberg-style power counting over large-cutoff RG-invariant schemes.","tokens_in":14051,"tokens_out":4767,"duration_ms":47820,"significance":"If the claims are correct, the paper provides a sharp and useful set of criteria that clarify an ongoing debate in nuclear EFT, with concrete counterexamples to illustrate where renormalization fails. The main strength is its grounding in previously published rigorous derivations (Refs. [8,9]) and the formulation of falsifiable conditions: each criterion is stated precisely enough to be tested on explicit models. The counterexamples, especially the separable models, are instructive and directly demonstrate the role of the criteria. However, the paper is a proceedings contribution, and several load-bearing steps are only sketched or deferred to unpublished work, which limits the extent to which the criteria are established from this text alone.","major_comments":[{"comment":"The large-momentum bound in Eq. (12) is the central analytic input for the recursive BPHZ subtractions that restore power counting, but it is asserted as a 'direct consequence' of locality with the caveat 'we neglect logarithmic corrections.' Since the proof is not reproduced here, the reader cannot check whether the bound is valid in the precise form needed, including whether logarithmic corrections would alter the power-counting restoration. The authors should state the exact theorem from Ref. [8] that implies Eq. (12), including the treatment of logarithms, or provide a self-contained derivation; without this, the central claim that the criteria are sufficient for renormalizability is not fully established from the manuscript itself.","section":"§3.1, Eq. (12)"},{"comment":"The argument that no continuous change of renormalization conditions or regulator form can avoid an exceptional cutoff is load-bearing for the claim that no continuous flow to the infinite-cutoff limit exists, but it is presented in two sentences and rests on a planar-geometry assertion about a closed continuous path without proof. The authors should either provide a rigorous statement of the assumptions (continuity, differentiability, generic position of the root) and a proof of the intersection claim, or cite a detailed derivation, since as written this step is not sufficiently justified.","section":"§5, no-avoidance argument"},{"comment":"The counterexample demonstrating violation of the locality criterion is presented as a specific model whose renormalization failure is 'analyzed in detail' in Ref. [23], which is cited as 'in preparation.' Because that reference is unavailable, the reader cannot verify the generality of the conclusion that all higher-order nonlocal counterterms would be required. The authors should include enough of the derivation in the present text to make the counterexample self-contained, or refer to a published, accessible analysis.","section":"§4, model of nonlocal separable interactions"},{"comment":"The statement that 'an explicit calculation reveals that as long as the cutoff does not exceed the hard scale ... the counterterms have natural size' is essential for the third criterion, but no details or numerical evidence are provided here. Since this is a key input to the criterion of naturalness, the authors should either present the calculation or give a specific pointer to the equation/result in Ref. [9] that establishes it.","section":"§3.2, nonperturbative step"}],"minor_comments":[{"comment":"The abstract contains the phrase 'not a priory obvious'; this should be 'not a priori obvious.'","section":"Abstract and §1"},{"comment":"There is a typo 'gerneral' in the sentence 'In gerneral, they do not hold for non-local long-range interactions'; it should be 'In general.'","section":"§4, around Eq. (20)"},{"comment":"The phrase 'the singular nature of the unregulated one-pion-exchange potenatial' contains a typo: 'potenatial' should be 'potential.'","section":"§5"},{"comment":"The phrase '(urenormalized) /u1D4472' appears to contain a typo; it should be either 'unrenormalized' or 'renormalized' consistently with the surrounding text.","section":"§6"},{"comment":"Several arXiv identifiers in the reference list appear corrupted by character-encoding artifacts (e.g., Ref. [3] '3811.1338', Ref. [21] '17/zero.alt35./zero.alt32524'); these should be repaired to standard arXiv numbers.","section":"References"},{"comment":"The sentence explaining why the infinite number of exceptional cutoffs blocks the Λ→∞ limit is compressed; a more explicit explanation of how the absence of a continuous solution to Eq. (21) prevents taking the limit would improve clarity.","section":"§5"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings-style paper, so a certain amount of referencing to prior work is appropriate. However, the manuscript's central claims depend on several results that are only sketched here (Eq. (12), the no-avoidance argument, and the nonperturbative naturalness calculation), and one counterexample rests on an 'in preparation' reference. These are load-bearing and should be addressed in the revision. The paper also relies heavily on the authors' own previous work; while not a reason to reject, it would be helpful for the authors to make the connection to other groups' results more explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: if you already know Gasparyan and Epelbaum's two big papers (PRC 105 and PRC 107), this talk won't surprise you. It restates the three criteria they derived there—locality of long-range forces, cutoff at the hard scale, natural-size counterterms—and adds three toy counterexamples. The one in Sec. 6 is the only genuinely new piece: a separable, purely short-range model with a sharp regulator where a fine-tuned choice makes the vertex function vanish at zero, so the counterterm blows up and renormalization fails even though the perturbative series converges. That's a nice explicit demonstration of a nonperturbative subtlety.\n\nWhat's good: the three criteria are cleanly formulated, and the paper is honest about what is proven where. The connection to BPHZ subtractions and the Fredholm extension is sketched accurately, and the Sec. 5 discussion of the 'RG-invariant' scheme makes a sharp point: exceptional cutoffs are not isolated accidents but unavoidable if you stick to continuous renormalization conditions. The counterexamples are chosen to isolate each criterion rather than mimic full QCD.\n\nSoft spots: the stress-test is right to focus on Eq. (12), the large-momentum bound for subtracted potentials. It is load-bearing—everything downstream depends on the power suppression (p/p')^{D+1}—and in this text it is asserted as a 'direct consequence' with no derivation. For a proceedings paper that is acceptable because the proof lives in Refs. [8,9], but the paper's own caveat 'we neglect logarithmic corrections' hints the bound is not meant literally. If the real NN potential has logs that distort the power form, the subtraction counting could shift; a referee should push for either a derivation or an explicit statement of what is proven in [8,9]. The Sec. 5 continuity argument is also genuinely sketched: the closed-path reasoning is plausible, but the planar-geometry claim needs more than a sentence. And Sec. 4 leans on Ref. [23] 'in preparation,' so that example cannot be fully checked from the text.\n\nNone of this kills the paper. The central claim—that chiral EFT in the NN sector is renormalizable at NLO under the three criteria—is already established in the published references, and this version is a fair summary. For someone outside the immediate circle, it is a good map of a technical literature. For someone inside, the Sec. 6 example is worth a quick look.\n\nMy recommendation: send it to review. It deserves a serious referee—not because it is a new proof, but because it is a well-organized summary with one new instructive counterexample. The referee's main job is to check that the delegation to [8,9] is accurate and to ask for a fuller Sec. 5 argument. Minor issues, no cheap shot.","headline":"A solid proceedings restatement of the authors' earlier renormalizability proofs, with one genuinely new fine-tuned counterexample; useful as an entry point, not as a new proof.","tokens_in":14563,"tokens_out":3117,"would_cite":true,"duration_ms":29542,"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":"Chiral nuclear EFT is renormalizable only when long-range forces stay local, the cutoff sits near the hard scale, and counterterms are natural-sized.","keywords":["effective field theory","renormalizability","chiral perturbation theory","nucleon-nucleon scattering","power counting","cutoff regularization","separable potentials","exceptional cutoffs"],"falsifier":"Compute the renormalized NLO amplitude in the $^3P_0$ channel with a smooth regulator and scan the cutoff; if one finds a continuous family of regulators and renormalization conditions with $\\Upsilon(0)$ bounded away from zero for all $\\Lambda>\\Lambda_b$ and a finite $\\Lambda\\to\\infty$ limit, the claim that exceptional cutoffs block large-cutoff 'RG-invariant' schemes is refuted. A cheaper check is to test the subtraction bound of Eq. (12) directly on a realistic NLO chiral potential including its logarithmic corrections.","tokens_in":13504,"feed_emoji":"⚛️","tokens_out":15674,"duration_ms":141770,"temperature":0.7,"pith_summary":"Chiral effective field theory for nucleon-nucleon scattering is a nonperturbative EFT that still aims for a strict order-by-order expansion, and this paper states the precise conditions under which that expansion can be restored by renormalization at next-to-leading order. The claim is that renormalizability holds only when three criteria are met together: the long-range pion-exchange forces are local, the ultraviolet cutoff is chosen near the hard scale rather than sent to infinity, and the finite parts of the counterterms are of natural size. The paper supports each criterion by pointing to an explicit proof for the nucleon-nucleon sector and by exhibiting toy models in which violating the criterion makes renormalization fail. The payoff is a clearer map of when a finite-cutoff EFT is self-consistent and when a large-cutoff 'RG-invariant' scheme is not.","feed_headline":"Chiral nuclear EFT is renormalizable only under three conditions","feed_subtitle":"Local forces, a hard-scale cutoff, and natural counterterms: miss one and renormalization fails.","key_machinery":"The load-bearing object is the subtracted-potential bound: for a local potential whose singularities depend on momentum transfer squared, the remainder after Taylor subtraction in the smaller momentum satisfies $\\Delta^{(n)} V_\\alpha(p',p) \\sim (p/p')^{n+1} V_\\alpha(p',p)$ for $p'\\gg p$. This bound is what turns divergent loop integrals into suppressed remainders after subtraction, allowing recursive subtractions to restore the expected order-by-order counting using only the short-range contact interactions already present at leading order. For nonperturbative channels, the proof is completed by the vertex function $\\Upsilon(p_{\\rm on})$, defined through the leading-order amplitude; the counterterm is $-T_2(0)/\\Upsilon(0)^2$, so the size of $\\Upsilon(0)$ controls whether the finite counterterm is natural or explodes. The three stated criteria--locality of long-range forces, $\\Lambda\\sim\\Lambda_b$, and natural counterterm sizes--are the physical conditions that keep this machinery working.","core_discovery":"On the paper's own terms, the central discovery is a set of three criteria that the paper argues are necessary for explicit renormalizability of nuclear chiral EFT at next-to-leading order. The mechanism behind them is a high-momentum bound: after subtracting a Taylor polynomial in one momentum, a local potential whose pion singularities depend only on momentum transfer squared is suppressed by powers of the ratio of the two momenta. That suppression makes the dangerous large-loop-momentum regions cancelable by finitely many counterterms of a single short-range form, applied recursively. The nonperturbative part of the argument adds one extra condition: the vertex function evaluated at zero momentum, which enters the counterterm as an inverse square, must be nonzero and of natural size, otherwise the renormalized amplitude explodes away from threshold. The paper then exhibits three counterexamples: a nonlocal separable two-pion-exchange-like interaction, the $^3P_0$ channel in a large-cutoff 'RG-invariant' scheme, and a fine-tuned short-range separable model, in which one of the criteria fails and renormalizability breaks down.","pith_inferences":["An implication the paper leaves implicit is that any future chiral EFT with a cutoff far above the hard scale should be treated as a different effective theory, not as a scheme variation of the standard one, because the two cannot be connected by a continuous renormalized flow.","The subtraction bound offers a practical pre-screening tool: before adopting a new regulator, one can numerically test whether the high-momentum tail of the regulated potential is power-suppressed after subtraction; a violation would predict renormalization trouble before any loop calculation is done.","The exceptional-cutoff phenomenon warns that sparse cutoff scans in numerical EFT studies can miss narrow breakdown regions; monitoring the zero-energy vertex function across the cutoff would catch the explosion points.","The closed-form separable toy models could serve as testbeds for alternative renormalization prescriptions, since the exact location of the pathological parameter values is known and the failure mechanism can be studied analytically."],"forward_implications":["The standard finite-cutoff version of chiral nuclear EFT is put on a firmer footing: if the three criteria hold, an explicit renormalization recipe exists in principle, so order-by-order fitting of low-energy constants is a legitimate implicit realization of that recipe.","Large-cutoff 'RG-invariant' schemes, at least in the $^3P_0$ channel, cannot be repaired by small continuous changes of the regulator or of the renormalization conditions, because the exceptional cutoffs are infinite in number and any continuous local fix still crosses one.","Nonlocal long-range models, even when shaped like pion exchange, are not renormalizable inside a local EFT: absorbing their power-counting violations would require an infinite tower of nonlocal counterterms from leading order onward.","In nonperturbative channels, renormalizability is not guaranteed by locality and cutoff choice alone; the zero-energy vertex function must have natural size, so monitoring $\\Upsilon(0)$ can reveal a hidden breakdown before it appears in observables."],"supporting_citations":[{"why":"Supplies the perturbative proof of NLO renormalizability and the subtracted-potential bound of Eq. (12) on which the criteria rest.","marker":"[8]"},{"why":"Extends the proof to nonperturbative leading-order interactions, introducing the vertex function and the counterterm formula used in Eq. (16).","marker":"[9]"},{"why":"Provides the recursive subtraction machinery for overlapping divergences that the paper applies to iterated leading-order potentials.","marker":"[18–20]"},{"why":"Analyzes renormalization of separable interaction models in detail and underlies the nonlocal separable counterexample of Sec. 4.","marker":"[23]"},{"why":"Establishes that the large-cutoff 'RG-invariant' scheme has infinitely many exceptional cutoffs, the phenomenon analyzed in Sec. 5.","marker":"[35]"}],"fun_headline_variants":["Three criteria govern chiral EFT renormalizability","Chiral EFT renormalizes with three strict conditions","Renormalizable chiral EFT: local, cutoff, natural","Three renormalizability tests for chiral EFT","Chiral EFT's renormalizability hinges on three rules"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument hinges on the assumption that after subtraction a local potential's high-momentum tail falls off as a clean power of the ratio of the two momenta, with no logarithmic or nonlocal pieces spoiling that falloff; if this bound fails, the recursive counterterms no longer restore the power counting.","fun_headline_variants_meta":{"raw":{"variants":["Three criteria govern chiral EFT renormalizability","Chiral EFT renormalizes with three strict conditions","Renormalizable chiral EFT: local, cutoff, natural","Three renormalizability tests for chiral EFT","Chiral EFT's renormalizability hinges on three rules"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000154,"raw_usage":{"total_tokens":1181,"prompt_tokens":883,"completion_tokens":298,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":499,"completion_tokens_details":{"reasoning_tokens":219}},"tokens_in":499,"tokens_out":298,"duration_ms":3075,"temperature":1.0,"reasoning_tokens":219,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T11:01:34.613794+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the renormalized NLO amplitude in the $^3P_0$ channel with a smooth regulator and scan the cutoff; if one finds a continuous family of regulators and renormalization conditions with $\\Upsilon(0)$ bounded away from zero for all $\\Lambda>\\Lambda_b$ and a finite $\\Lambda\\to\\infty$ limit, the claim that exceptional cutoffs block large-cutoff 'RG-invariant' schemes is refuted. A cheaper check is to test the subtraction bound of Eq. (12) directly on a realistic NLO chiral potential including its logarithmic corrections.","supporting_citations":[{"cited_title":"Gasparyan and E","cited_arxiv_id":null,"evidence_quote":"Supplies the perturbative proof of NLO renormalizability and the subtracted-potential bound of Eq. (12) on which the criteria rest."},{"cited_title":"Gasparyan and E","cited_arxiv_id":null,"evidence_quote":"Extends the proof to nonperturbative leading-order interactions, introducing the vertex function and the counterterm formula used in Eq. (16)."},{"cited_title":"Jacobi, A","cited_arxiv_id":null,"evidence_quote":"Analyzes renormalization of separable interaction models in detail and underlies the nonlocal separable counterexample of Sec. 4."},{"cited_title":"Renormalization-group-invariant effective field theory","cited_arxiv_id":null,"evidence_quote":"Establishes that the large-cutoff 'RG-invariant' scheme has infinitely many exceptional cutoffs, the phenomenon analyzed in Sec. 5."}],"review_version":1}