{"id":"0d738400-9650-4b52-8947-03f7f857bbe2","arxiv_id":"2602.11253","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Pion β decay and τ→ππν short-distance radiative corrections are matched at NLL accuracy with evanescent-scheme dependence cancelled, giving Δ_RC^{πℓ}=0.03403(11) and a τ-HVP isospin-breaking shift of −0.07(4)×10^-10.","lead":"The paper matches short- and long-distance radiative corrections for pion beta decay and tau decays at higher-order precision, cancelling the calculation's scheme dependence. This makes theory uncertainty negligible for a planned measurement of a fundamental parameter of particle physics and for tau-based corrections feeding the muon magnetic-moment anomaly.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central value shift vs. Ref.[64] is incompletely itemized: Eq. (24) explains only the increment from 0.0335, leaving a ~3×10^-4 gap to the previous 0.0332(1) unaccounted for.","rationale":"The reader's conditional verdict is the right one, and the reader did note the shift vs. Ref.[64] as a concern. However, the reader's 'weakest_assumption' foregrounded the O(α_s^2) OPE subtraction, which the paper itself flags as the precision limit and which contributes a much smaller estimated error (~6×10^-6 in Eq. (15)) than the unexplained ~3×10^-4 gap in the central value. The central claim is not merely a smaller error bar; it is a new central value of Δ_RC. If the itemization in Eq. (24) is incomplete, the prediction could be biased by several times the quoted 1.1×10^-4 total uncertainty, directly affecting V_ud and the comparison with PIONEER. The concrete check is term-by-term reproduction, which is feasible because all inputs are lattice data from Refs.[64,66] and the algebraic steps are displayed in the paper. I therefore keep the CONDITIONAL verdict (no adjustment), with the primary condition being the reconciliation of the 0.0332→0.0335 gap and hence the full 0.0332→0.03403 shift.","tokens_in":23093,"tokens_out":16085,"duration_ms":163087,"concrete_test":"Reproduce Ref.[64]'s M_π(Q²) input and their Δ_RC=0.0332 in their conventions; then apply the new master formula Eq. (20) step by step, tabulating (i) the change in \\bar□_V^π from choosing Q0=1.6 GeV and the improved matching, (ii) replacement of the linearized S_EW by [1+Δ\\tilde S_EW]^2, (iii) low-energy RG evolution from μχ=Mρ to 2E0, (iv) the quadratic term in Eq. (24), and (v) the NLL correction. Require each step to be specified to better than 1×10^-4 and the sum to equal 0.03403(11); if any step shifts by more than 1×10^-4 or cannot be quantified, the factor-of-three improvement claim is not yet established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central numerical claim is Eq. (23), Δ_RC^{πℓ}=0.03403(11), which is 8.3×10^-4 above Ref.[64]'s 0.0332(1) obtained with the same lattice input. The paper's only quantitative itemization is Eq. (24): a 'fully linearized form' of 0.0335, plus 4.7×10^-4 from LL and quadratic terms, plus about 0.6×10^-4 from NLL. This accounts for roughly 0.00053 of the 0.00083 shift; the residual ~0.0003 difference between the linearized 0.0335 and Ref.[64]'s 0.0332 is never explained. Because the headline claim is a factor-of-three reduction in theory uncertainty, this unaccounted gap is the most load-bearing unresolved point: if it reflects a convention difference, the comparison is misleading, but if it is a missing contribution or an inconsistent treatment of the Sirlin function or phase-space integral, the central value changes by several times the new total uncertainty. The paper states the shift is 'primarily due to low-energy RG corrections and quadratic terms,' but Eq. (24) only quantifies the increment after the unexplained 0.0335 starting point. This concern is more urgent than the already self-flagged O(α_s^2) OPE residual in Eq. (12), whose estimated error is an order of magnitude smaller than the gap in question.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This Letter develops an EFT framework for the short-distance gamma-W box corrections in pion beta decay (pi+ -> pi0 e+ nu_e) and hadronic tau decays (tau -> pi pi nu_tau), matching the LEFT (with QCD and QED Wilson coefficients evolved to NLL and NLLs accuracy) onto ChPT. The central object is a scheme-independent short-distance factor g_V^pi(mu_chi) = 1 + Delta_tildeS_EW(mu_chi), in which the evanescent-operator parameter a and the dependence on the LEFT scale mu cancel between the Wilson coefficient and the matrix elements. The nonperturbative input BarBox_V^pi(mu0) is taken from two recent lattice-QCD determinations (Feng et al. 2020; Yoo et al. 2023), which agree (0.691(31) x 10^-3 vs 0.690(28) x 10^-3). Main numerical results: Delta_RC^{pi l} = 0.03403(11), a V_ud = 0.97346(283) with the theory error no longer dominant, and IB corrections to tau -> pi pi nu_tau of Delta a_mu[pi pi, tau] = -24.9(1)_exp(5)_th(1)_SD x 10^-10, for which the short-distance matching uncertainty becomes negligible. The matching conditions are derived twice (spurion method, Appendix A; amplitude matching, Appendix B), with the scheme/scale cancellations displayed.","tokens_in":23310,"tokens_out":27053,"duration_ms":250220,"significance":"If correct, the paper delivers the main ingredients for a precision program: a consistent NLL(NLLs) matching between short-distance QCD/QED corrections and lattice-QCD matrix elements with explicit cancellation of the evanescent scheme; a universal form of the short-distance correction applicable to any Fermi beta transition; and an updated tau -> pi pi nu_tau IB correction for the HVP contribution to a_mu. The factor-of-three reduction of the theory uncertainty in pion beta decay, if borne out, makes PIONEER's V_ud extraction experiment-limited, and the short-distance uncertainty in the tau-based HVP IB correction becomes negligible. Strengths of the work: the matching relations are derived by two independent methods that agree; the cancellation of the scheme parameter a is shown explicitly (Eqs. (5)-(6) and App. C); two independent lattice inputs are used and agree; and the 3-loop vs 4-loop pQCD difference is used as a systematic. I find no circularity: no output observable is used to fix a parameter. The main caveat is numerical: the itemization of the central-value shift relative to Ref. [64] is incomplete (Major Comment 1), and the robustness of the OPE-subtraction uncertainty","major_comments":[{"comment":"The numerical comparison with Ref. [64] is not fully itemized. The paper states that the difference from Delta_RC^{pi l}|[64] = 0.0332(1)(3) is 'primarily due to the low-energy RG corrections and the quadratic terms,' but Eq. (24) quantifies only the increment from a 'fully linearized' starting point of 0.0335: +4.7 x 10^-4 (LL+quad.) and +0.6 x 10^-4 (NLL). The ~3 x 10^-4 gap between 0.0335 and 0.0332 is never explained, although it is three times the quoted total uncertainty of 1.1 x 10^-4. If this gap reflects a convention difference (e.g., the Sirlin-function definition, the choice of mu0, or updated phase-space/ChPT inputs), the comparison should say so; if it is a missing contribution, the central value shifts by several times the new error budget. A complete decomposition of the shift from 0.0332(1)(3) to 0.03403(11) is needed before the claimed factor-of-three improvement can be","section":"Sec. 3.1, Eq. (24) and preceding paragraph"},{"comment":"The residual uncertainty of the O(alpha_s)-accurate OPE subtraction in Eq. (12) is estimated in Eq. (15) by the difference between three-loop and four-loop C_d(Q^2). This probes the truncation of C_d, but not the sensitivity to the hand-chosen scales Q0 = mu0 = 1.6 GeV and Q1 set by C_d(Q1^2) = 1 - alpha_s(mu0)/pi. Since the paper itself notes (Sec. 2.3) that control of O(alpha_s^2) terms would be required to improve precision further, the error budget would be more convincing with a scale-variation test: vary Q0 in [1.4, 1.8] GeV (re-determining Q1 by the same criterion) and include the known c2 (alpha_s/pi)^2 term in the constant asymptotic form beyond Q1. Please report the resulting spread in BarBox_V^pi and in Delta_RC^{pi l}, demonstrating that the OPE-subtraction uncertainty lies below the quoted 1.1 x 10^-4.","section":"Sec. 2.3, Eqs. (12)-(15)"}],"minor_comments":[{"comment":"Unbalanced parenthesis in the pion theta function ('theta(mu_chi - M_pi)'); also specify whether the spin-0 sum runs over pi+, pi0 (and pi-).","section":"Eq. (8)"},{"comment":"The identification of the usual S_EW with 1+2Delta_tildeS_EW appears only as a parenthetical; a one-line definition in the main text would ease comparison with the Marciano-Sirlin convention.","section":"Sec. 2.2, footnote 3"},{"comment":"The averaging of the two lattice results (n_f = 3 and n_f = 4) into the central value and error of BarBox_V^pi is not described; state the averaging rule and whether correlations between the two determinations are assumed.","section":"Eq. (15)"},{"comment":"The soft-pion theorem is used 'up to higher-order chiral corrections' without an estimate. Since Appendix B provides an independent cross-check, state explicitly the accuracy to which the two derivations agree, so that the omitted chiral corrections are bounded by the cross-check.","section":"Appendix A, Eq. (A.5)"},{"comment":"'Theory uncertainties improved by a factor of three' and 'factor of five below the precision goal of PIONEER' compare different baselines; rephrase so that both comparison targets are explicit.","section":"Abstract vs Sec. 4"},{"comment":"The term 'fully linearized form' and the label 'LL' for the (alpha/pi)^2 log^2 expression are not defined; clarify whether 'LL' refers to resummed leading logarithms or fixed-order log-squared terms.","section":"Sec. 3.1, Eq. (24)"}],"recommendation":"major_revision","confidential_remarks":"The framework and matching derivations are convincing, and the two independent derivations are a genuine strength. My recommended revision is driven by one load-bearing issue: the comparison with the previous central value in Eq. (23) vs Ref. [64] is not fully itemized, and the unexplained ~3e-4 gap is three times the new quoted total error. This should be fixable by a decomposition table; if it turned out to be a missing contribution, the headline claim would need revision. I would also request the OPE-subtraction scale-sensitivity test as a check on the error budget. Overall this is suitable for publication after these points are addressed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth a serious referee. This is the first NLL(s) matching for the two-pion charged-current sector, and the authors do it carefully: two independent derivations (spurion, amplitude), explicit evanescent-scheme cancellation, and scale/μχ cancellations spelled out. The numerical updates (Δ_RC^πℓ = 0.03403(11), Δa_μ[ππ,τ] = −24.9(5)×10^−10) are genuinely new, and they use external lattice inputs that agree with each other rather than fitting to the target observables. I found no load-bearing algebraic error; the claimed factor-of-three uncertainty reduction is arithmetically consistent with the quoted error budget.\n\nThe soft spots are proportionate and mostly self-flagged. The one that worries me is the central-value shift vs. Ref. [64]: the text says the difference is due to low-energy RG and quadratic terms, but Eq. (24) only explains the increment from a linearized 0.0335 to 0.03403. The residual ~3×10^-4 gap between that linearized 0.0335 and the previous 0.0332(1) is never accounted for. If it is a convention difference (e.g., different treatment of the phase-space integral or the Sirlin function), the comparison is misleading as printed; if it is a missing contribution, the central value moves by several times the new total uncertainty. This needs a term-by-term reconciliation before the headline claim is fully credible. Second, the OPE subtraction in Eq. (12) is accurate only at O(α_s), with Q0 chosen by hand and the O(α_s^2) terms not computed; the paper says so explicitly, but that means the residual is an estimate (3-loop vs 4-loop difference), not a calculation. This is the stated precision limit, so it is not a hidden flaw, but the reader should not mistake the quoted 1.1×10^-4 for a fully computed number. Third, the soft-pion theorem in Appendix A enters the matching with unquantified chiral corrections; probably small, but at this claimed precision it deserves one sentence of error estimate.\n\nThe paper is written honestly and the methods are sound at the level presented. The central argument holds up; the unanswered questions are about how the new framework connects to the previous lattice-based value and about the size of the leading uncomputed term. I would send it to peer review and ask the authors to reconcile the shift vs. Ref. [64] term by term and to bound (or compute) the O(α_s^2) subtraction uncertainty. If those come back clean, this will be the reference for pion beta decay and tau→ππν short-distance corrections.","headline":"Solid NLL matching work for pion beta decay and tau->pipi nu, with real new numbers and scheme cancellations shown; the main unresolved point is a ~3e-4 gap from the previous lattice-based central value that the paper does not itemize, plus an O(alpha_s) OPE subtraction that is estimated, not computed.","tokens_in":24011,"tokens_out":3266,"would_cite":true,"duration_ms":35079,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that radiative corrections to pion beta decay can be matched beyond leading-logarithmic accuracy with a scheme-independent short-distance correction, cutting the V_ud theory uncertainty by a factor of three and making the ta","keywords":["pion beta decay","radiative corrections","gamma-W box","lattice QCD","CKM matrix element V_ud","tau lepton decays","hadronic vacuum polarization","next-to-leading logarithms"],"falsifier":"Compute the complete O(α_s²) correction to the OPE subtraction kernel in Eq. (12) (i.e., to C_d(Q²) in Eq. (13)) and check whether it shifts Δ_RC by more than 1×10^-4; alternatively, measure the γW-box integrand M_π(Q²) directly on the lattice at Q² values above (1.6 GeV)² and check agreement with the assumed pQCD form.","tokens_in":22785,"feed_emoji":"⚛️","tokens_out":9602,"duration_ms":86656,"temperature":0.7,"pith_summary":"This paper shows that the radiative corrections to pion beta decay (π±→π0e±νe) and to the hadronic tau decay (τ±→π±π0ντ) can be organized beyond leading-logarithmic accuracy in a scheme-independent way. The key step is to package all short-distance electroweak effects into a single correction g_V^π(µχ) that combines the renormalized weak-interaction coefficient with a nonperturbative matrix element computed in lattice QCD; the scheme dependence from evanescent operators and the scale dependences cancel by construction. With this correction, the radiative factor in pion beta decay becomes Δ_RC = 0.03403 with a total error of 1.1×10^-4, a factor-of-three improvement in the theory uncertainty of the CKM element V_ud. The same correction, via lepton-flavor universality, fixes the short-distance part of isospin breaking in τ→ππν, leaving a negligible matching uncertainty in the hadronic-vacuum-polarization contribution to the muon's magnetic moment. If correct, this makes a clean V_ud measurement from pion beta decay possible and tightens tau-based determinations of the muon g-2.","feed_headline":"Radiative corrections cut pion beta decay's V_ud error threefold","feed_subtitle":"A clean split of short- and long-distance effects leaves experiment as the limiting factor for V_ud from pion beta decay.","key_machinery":"The central object is the scheme-independent short-distance correction g_V^π(µχ) = 1+Δ̃S_EW(µχ). The identity carrying the argument is Eq. (6): it factorizes the LEFT Wilson coefficient C̄_β^(3)(µ) from the nonperturbative γW-box matrix element □̄_V^π(µ0)—the photon–W loop exchange between the hadronic vector current and the leptonic current—with explicit logarithms arranged so that all dependences on the LEFT scale µ, the chiral scale µχ, and the factorization scale µ0 cancel at the working order. The nonperturbative input is the integral over the lattice-QCD/pQCD integrand M_π(Q²), with the asymptotic part subtracted via the operator product expansion at Q0=1.6 GeV.","core_discovery":"The central claim is that the short-distance electroweak correction to any Fermi beta decay can be written as g_V^π(µχ)=1+Δ̃S_EW(µχ), defined in Eq. (6) as the product of the scheme-independent Wilson coefficient C̄_β^(3)(µ) and the combination of the nonperturbative γW-box matrix element □̄_V^π(µ0) with explicit logarithms of the scales µ, µχ, µ0. The authors show that this combination is independent of the evanescent-operator scheme and of the renormalization scales µ, µχ, µ0 at next-to-leading-logarithmic (and next-to-leading-logarithmic-in-α_s) order. They evaluate □̄_V^π(µ0) from lattice-QCD data supplemented by four-loop perturbative QCD at high momentum, obtaining 10^3 □̄_V^π(µ0) = 0.","pith_inferences":["Because the paper identifies the O(α_s²) OPE-subtraction terms as the limiting uncertainty, a natural next step is a dedicated two-loop calculation of that subtraction kernel; a shift beyond ~1×10^-4 in Δ_RC would invalidate the quoted error budget.","The same matching logic should extend to the axial-vector channel and to K_ℓ3 decays, where analogous scheme-dependent short-distance corrections enter; the paper does not address those cases.","The pion-mass-difference term in the phase-space factor (I_πℓ uncertainty of 2.7×10^-4) will become the dominant theory-type limit for V_ud; improved measurements of M_π±−M_π0 would directly sharpen the extraction.","If the four-loop pQCD result in the intermediate region Q0≤Q≤Q1 is replaced by an alternative nonperturbative determination (e.g., from the same lattice ensembles at higher Q²), the stability of the central value could be tested without waiting for the O(α_s²) calculation."],"forward_implications":["The V_ud theory uncertainty from radiative corrections in pion beta decay drops from about 3×10^-4 to 1.1×10^-4, a factor-of-three improvement that leaves future experiments, the branching-fraction measurement, and the pion mass difference as the limiting uncertainties.","For τ→ππν, the short-distance matching contributes only 1×10^-10 to the isospin-breaking correction Δa_μ[ππ,τ] = −24.9×10^-10, negligible compared with the experimental and chiral uncertainties.","The same g_V^π(µχ) correction applies universally to the Fermi component of any beta decay (neutron, nuclear, pion) once the corresponding γW-box matrix element is supplied, so the machinery transfers directly to neutron and superallowed-decay analyses.","The scheme dependence from evanescent operators cancels exactly in physical rates, removing a previous source of systematic uncertainty.","With the linearized and LL/quadratic terms separated (Eq. (24)), the large-log resummation contributes about 5×10^-4 to the radiative correction, confirming that beyond-LL effects matter at this precision."],"fun_headline_variants":["Pion beta decay theory error cut threefold via new matching","Matching beyond leading logs trims pion beta V_ud error 3x","Scheme-free gamma-W box sharpens pion beta and tau decays","Lattice QCD and 4-loop QCD make pion beta error negligible"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The result hinges on the assumption that the operator-product-expansion subtraction in Eq. (12) is accurate at Q ≥ 1.6 GeV, with the uncomputed O(α_s²) terms of the subtraction kernel no larger than the quoted total error of 1.1×10^-4; if those terms are bigger, the claimed factor-of-three improvement in V_ud weakens, and the soft-pion-theorem reduction also carries unquantified chiral corrections.","fun_headline_variants_meta":{"raw":{"variants":["Pion beta decay theory error cut threefold via new matching","Matching beyond leading logs trims pion beta V_ud error 3x","Scheme-free gamma-W box sharpens pion beta and tau decays","Lattice QCD and 4-loop QCD make pion beta error negligible"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000262,"raw_usage":{"total_tokens":1469,"prompt_tokens":819,"completion_tokens":650,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":563,"completion_tokens_details":{"reasoning_tokens":572}},"tokens_in":563,"tokens_out":650,"duration_ms":7947,"temperature":1.0,"reasoning_tokens":572,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T00:13:28.525772+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the complete O(α_s²) correction to the OPE subtraction kernel in Eq. (12) (i.e., to C_d(Q²) in Eq. (13)) and check whether it shifts Δ_RC by more than 1×10^-4; alternatively, measure the γW-box integrand M_π(Q²) directly on the lattice at Q² values above (1.6 GeV)² and check agreement with the assumed pQCD form.","supporting_citations":[],"review_version":1}