{"id":"042a912b-ea8b-42ec-907a-2c50d07e1ea0","arxiv_id":"1908.10116","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"On the HISQ action, the RI-SMOM scheme yields a condensate-free vector current renormalization, while the RI'-MOM scheme is contaminated by about one percent nonperturbative effects.","lead":"Physicists who simulate quarks on a grid found a cheap and reliable way to compute the conversion factor that relates two forms of a particle current, a needed step for decay calculations. They show the RI-SMOM scheme for this factor is clean, while the simpler RI'-MOM scheme carries a one percent contamination from nonperturbative quantum effects.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The WTI step behind Z_V=1 in RI-SMOM is deferred for staggered quarks; the numerical 0.05% equality is the actual evidence, so the 'protection' claim is conditional on a taste-aware re-derivation.","rationale":"The reader's weakest_assumption identifies exactly the step that the paper itself flags as deferred: Eq. (3.2) is derived from the exact lattice WTI only after ignoring staggered-quark subtleties [4,5]. That step is load-bearing because the central methodological advantage claimed for RI-SMOM is that the WTI protects the conserved current from nonperturbative contamination. If the staggered projection is not handled correctly, Z_V=1 is not guaranteed by the WTI, and the paper's only direct evidence is the 0.05% numerical agreement. That numerical evidence is real and valuable, but it is limited to the specific ensembles and momentum scales tested; it does not establish the general 'protection' claim. I therefore agree with the reader's conditional verdict. The concern does not require changing the verdict, because the reader already made the condition explicit and the empirical check provides reasonable support at the stated precision. The concrete test above would settle whether the deferred staggered subtleties are numerically benign or actually shift the result.","tokens_in":6398,"tokens_out":8255,"duration_ms":88392,"concrete_test":"Recompute Z_V for the conserved HISQ current in RI-SMOM at µ=2 GeV on set 1 using the staggered spin-taste projected definition from Lytle & Sharpe (2013), including all taste-singlet projection factors, instead of the continuum trace in Eq. (3.2); if Z_V-1 changes by more than the 0.05% statistical error, the neglected staggered subtleties are numerically significant and the formal claim fails. As a control, repeat on set 3 to separate taste-breaking from discretization effects.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central positive claim—that RI-SMOM is protected from condensate contamination because Z_V=1 for the conserved current—rests on Eq. (3.2), which follows from the Ward-Takahashi identity only after amputation and spin-colour projection. The derivation is explicitly performed 'ignoring subtleties related to our use of staggered quarks [4,5]'. For staggered/HISQ fermions the exact WTI (2.2) holds for the point-split Noether current with a definite spin×taste structure; the SMOM projector and Z_q trace used in Eq. (3.2) are defined as if the amputated vertex were the continuum γ_μ vertex. If taste-non-singlet components survive the projection, or if taste-symmetry breaking produces additional terms in the projected identity, Z_V=1 is not a theorem; it becomes an empirical result. The quoted 0.05% agreement verifies Z_V=1 only at the tested μ values, lattice spacings, and statistics, and does not by itself show that the WTI protects SMOM from the class of nonperturbative condensate effects that is the paper's main comparison. The same caveat applies to the local-current argument in §4.2, where the equivalence to form-factor results is interpreted via discretization-only fits. The RI'-MOM condensate conclusion in §4.1 is also fit-model dependent, but it is secondary; the load-bearing assumption is the unproved staggered WTI step.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper presents nonperturbative calculations of the vector current renormalisation constant on HISQ ensembles using the RI-SMOM and RI'-MOM momentum subtraction schemes. The central claims are that the conserved vector current has Z_V = 1 in RI-SMOM, verified numerically to about 0.05% statistical precision across several lattice spacings and momentum scales, and that the RI'-MOM scheme shows roughly 1% power-suppressed nonperturbative (condensate) contamination for the same conserved current. The paper also compares the RI-SMOM renormalisation of the local vector current with form-factor determinations, finding that the difference is consistent with being purely a discretisation effect, and shows preliminary applications to J/psi decay constants and hadronic vacuum polarisation moments in charm physics.","tokens_in":6651,"tokens_out":5822,"duration_ms":60440,"significance":"If the claims hold, the paper establishes a computationally cheap and robust alternative to the expensive form-factor method for vector current renormalisation on HISQ lattices, and it provides concrete evidence that the standard RI'-MOM scheme is unsuitable for vector currents unless condensate corrections are included. The numerical checks at three lattice spacings and multiple values of the momentum scale are a clear strength, as is the use of the exact lattice Ward-Takahashi identity to motivate the RI-SMOM result. The paper is a proceedings contribution, so the depth of the analysis is limited, but the central comparison between the two schemes is physically important for ongoing precision charm physics.","major_comments":[{"comment":"The derivation of Z_V = 1 for the conserved current in RI-SMOM rests on Eq. (3.2), which is obtained from the Ward-Takahashi identity 'ignoring subtleties related to our use of staggered quarks [4,5]'. This is load-bearing for the paper's central claim that RI-SMOM is protected from condensate contamination. The manuscript should either spell out how the staggered/HISQ case is handled, for example by stating that Refs. [4,5] establish the analogue of Eq. (3.2) in the presence of taste degrees of freedom and explaining how taste-breaking effects are controlled, or explicitly restrict the protection claim to the tested kinematics. As written, the conclusion in Sec. 6 overstates the theoretical basis: the 0.05% agreement is an empirical verification at the tested mu, a, and statistics, not a demonstrated theorem for staggered quarks.","section":"Section 3, Eq. (3.2)"},{"comment":"The conclusion that RI'-MOM has roughly 1% nonperturbative (condensate) contamination depends on the fit ansatz of Eq. (4.1), which combines discretisation terms, condensate terms, and an alpha_s^4 matching uncertainty. The reported chi^2/d.o.f. = 0.6 shows the fit is good, but it does not by itself establish the physical interpretation of the mu-dependent continuum limit. I request that the authors provide the fitted values of the condensate coefficients, show the fit without condensate terms (which they state gives a poor chi^2), and test the robustness of the mu-dependence of the continuum extrapolation against alternative discretisation ansaetze. This would strengthen the comparative claim that RI'-MOM is not suitable without condensate corrections.","section":"Section 4.1, Eq. (4.1)"}],"minor_comments":[{"comment":"The SMOM conserved-current Z_V data are not shown in the figure; please include them or provide a table to substantiate the stated 0.05% agreement of Z_V with 1.","section":"Figure 1"},{"comment":"There are several typographical errors: 'imporves' should be 'improves', 'onnf' should be 'on n_f', and 'contributiuon' should be 'contribution'.","section":"Section 5"},{"comment":"The summation ranges for the indices i and j in Eq. (4.1) are not defined; please specify them explicitly.","section":"Eq. (4.1)"},{"comment":"The vertex function G_V in Eq. (3.1) is written for the local current, but the subsequent derivation refers to the lattice conserved current; please clarify which operator is used in each step.","section":"Section 3"},{"comment":"For the fit of Z_F(0)_V - Z_loc-SMOM_V, please report the chi^2/d.o.f. and the fitted continuum value, so that the claim that the difference is purely a discretisation effect can be quantitatively assessed.","section":"Figure 2 and Section 4.2"}],"recommendation":"major_revision","confidential_remarks":"This is a proceedings paper, so the expectations for depth are modest. The main issue is the unproved staggered-fermion generalisation of Eq. (3.2), which underpins the central 'protection from condensates' claim. If the authors can point to a detailed derivation in [4,5] and clearly summarise it, or alternatively soften the theoretical claim to an empirical one, the paper would be much stronger. The RI'-MOM fit robustness is a secondary but still important point. The charm-physics applications are explicitly preliminary and should not be weighted heavily in the assessment."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the paper's real message is practical—use RI-SMOM for HISQ vector current renormalisation because it gives Z_V = 1 for the conserved current to 0.05% across three lattice spacings, while the standard RI'-MOM scheme carries a ~1% condensate contamination. The reader's CONDITIONAL verdict is fair; the stress-test note identifies the one genuinely load-bearing soft spot.\n\nWhat is new is the explicit numerical demonstration on HISQ with momentum sources on only 20 configurations, and the cross-check against the form-factor Z_V for the local current. That is a cheap method that could save a lot of computing time. The paper also deserves credit for being upfront: Eq. (3.2) is derived from the WTI 'ignoring subtleties related to our use of staggered quarks [4,5]'. That is not hidden, but it is the crux. If taste-breaking introduces extra terms into the projected identity, Z_V=1 is not a theorem; the 0.05% agreement is empirical support at the tested μ, a, and statistics, not a proof. The full paper should provide a staggered-aware derivation or a demonstration that the taste-non-singlet contamination is suppressed.\n\nThe RI'-MOM conclusion is also fit-model dependent. The fit with χ2/d.o.f=0.6 includes condensate terms, and the paper says a good χ2 cannot be obtained without them. That is suggestive, but the parameters are not tabulated and no stability checks are shown. I do not think this is fatal—the qualitative difference between the two schemes is clear—but a referee should ask for the fit details. The charm physics applications are clearly preliminary and do not support the central claim, so they do not matter.\n\nThe citation pattern is clean. The self-citations to [4,5] are to implementations of the same method, and the WTI derivation is self-contained except for the taste issue. No evidence of circularity.\n\nThis paper is for lattice practitioners doing current renormalisation on HISQ or similar actions. It deserves a serious referee; I would send it out rather than desk-reject, with a request that the taste issue and fit details be addressed in a full version. I would cite it if I were working on HISQ current renormalisation, but I would not teach RI-SMOM Z_V=1 as a theorem until the staggered WTI is written down.","headline":"A solid, practical HISQ demonstration that RI-SMOM gives Z_V=1 for the conserved current while RI'-MOM has ~1% condensate contamination; the explicit staggered-WTI caveat is real but the numerics carry the argument.","tokens_in":7339,"tokens_out":4065,"would_cite":true,"duration_ms":39914,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.15.Ha","12.38.Gc"],"model":"deepseek-v4-flash","headline":"This paper shows that the RI-SMOM momentum subtraction scheme yields $Z_V = 1$ for the conserved vector current on HISQ lattices, with no visible condensate contamination, whereas the standard RI$'$-MOM scheme carries a ~1%…","keywords":["vector current renormalisation","RI-SMOM scheme","RI'-MOM scheme","Ward-Takahashi identity","lattice QCD","HISQ action","condensate contamination","charm physics"],"falsifier":"Take the RI-SMOM $Z_V$ for the conserved current on the same ensembles but with a different projector in the trace, for example $\\gamma_\\mu$ instead of $(\\hat q_\\mu/\\hat q^2)\\hat q$: the Ward–Takahashi identity forces both to give $Z_V = 1$, so a statistically significant difference between the two would reveal that the lattice form of the identity used in Eq. (3.2) is broken by staggered-quark effects. An explicit computation of the taste-non-singlet part of the amputated vertex would show whether the ignored subtleties contribute.","tokens_in":6039,"feed_emoji":"⚛️","tokens_out":8858,"duration_ms":77017,"temperature":0.7,"pith_summary":"On the lattice, only the point-split conserved vector current avoids renormalisation, but on highly improved actions such as HISQ it is costly to implement, so practical calculations use the local current and need a renormalisation factor $Z_V$. This paper tests two momentum-subtraction schemes for extracting $Z_V$ nonperturbatively. It shows that the RI-SMOM scheme, whose definition uses the Ward–Takahashi identity, yields $Z_V = 1$ for the conserved current to within 0.05% statistical errors and shows no sign of the nonperturbative condensate contamination that plagues the standard RI$'$-MOM scheme, where a ~1% systematic error appears. Establishing this makes RI-SMOM a cheap (~20 gauge configurations) and reliable route to $Z_V$ for charm and other quark physics on HISQ lattices.","feed_headline":"RI-SMOM sets conserved-vector Z_V to 1 with no condensate noise","feed_subtitle":"On HISQ lattices this makes $Z_V$ cheap and robust; the standard RI$'$-MOM scheme carries ~1% condensate errors.","key_machinery":"The load-bearing object is the lattice Ward–Takahashi identity (WTI), the exact relation between the finite-difference divergence of the conserved current matrix element and a difference of propagators. Inserting the amputated vertex into the SMOM definition and using the WTI gives Eq. (3.2), which reduces to $Z_V = 1$ for the conserved current; the same identity does not enter the RI$'$-MOM construction, which is why its $Z_V$ picks up condensate contamination. The SMOM kinematic setup ($p_1^2=p_2^2=q^2=\\mu^2$) and the discretised momentum $\\hat q$ are also essential to the derivation.","core_discovery":"The paper's central discovery is that the Ward–Takahashi identity protects the conserved vector current in RI-SMOM: after amputation and projection, the identity forces $Z_q/Z_V = Z_q$, hence $Z_V = 1$ for the conserved current, independent of the momentum scale $\\mu$, quark mass, and lattice spacing. Numerically, this holds at the 0.05% level of statistical errors on the HISQ ensembles studied. In contrast, the RI$'$-MOM scheme does not use the WTI, so the conserved-current $Z_V$ there is not equal to one and receives ~1% condensate contributions at $\\mu = 2$ GeV, making the continuum limit depend incorrectly on $\\mu$. The paper also shows that the RI-SMOM $Z_V$ for the local current agrees with the previous form-factor determination, so the difference between them is purely discretisation effects, with no condensate contamination.","pith_inferences":["If $Z_V=1$ in RI-SMOM survives with higher statistics and finer lattices, then the ratio of local to conserved current renormalisation in that scheme is itself determined by the WTI, giving a nearly parameter-free way to calibrate local HISQ currents.","The same WTI-protection logic should extend to other currents that sit in conserved or partially conserved Ward identities; testing whether an axial RI-SMOM $Z_A$ obeys the axial WTI and stays free of condensates would directly generalise this result.","A direct check of the staggered-quark subtleties set aside in Eq. (3.2) would be to compute the projected WTI with different taste structures: if taste-non-singlet pieces leak into the projector, deviations from $Z_V=1$ should grow with the taste-breaking scale, so pinning down that scale would bound the effect more tightly.","Cheap momentum-source $Z_V$ calculations could become the default for HISQ charm and bottom physics, freeing the more expensive form-factor method for the few cases where only it applies."],"forward_implications":["RI-SMOM can determine $Z_V$ for the local vector current to high precision using only about 20 gauge configurations, instead of the O(1000) needed for the form-factor method.","Because the WTI protects the conserved current, $Z_V=1$ in RI-SMOM holds independent of mass, momentum, and lattice spacing, within the 0.05% statistical errors of the calculation.","RI$'$-MOM results for the conserved vector current carry a ~1% condensate systematic at $\\mu = 2$ GeV and should not be used without explicit condensate corrections.","The RI-SMOM local $Z_V$ differs from the form-factor result only by discretisation effects, confirming that both methods are free of condensate contamination and can be used interchangeably.","Preliminary charm applications—the $J/\\psi$ decay constant and the charm contribution to the muon anomalous moment—agree with the PDG and with earlier determinations, showing the practical value of the method."],"supporting_citations":[{"why":"defines the HISQ action whose conserved current (with 1-link and 3-link pieces) is implemented and later shown to have $Z_V=1$ in RI-SMOM.","marker":"[1]"},{"why":"supplies the form-factor determination of the local vector current $Z_V$ against which the RI-SMOM local result is compared.","marker":"[2]"},{"why":"introduces the RI-SMOM scheme and its symmetric momentum configuration $p_1^2=p_2^2=q^2=\\mu^2$, the kinematic setup used throughout.","marker":"[3]"},{"why":"provides the staggered-quark lattice form of the Ward–Takahashi identity and the discretised momentum $\\hat q$, the basis for Eq. (3.2), and flags the subtleties the paper sets aside.","marker":"[4]"},{"why":"gives the momentum-source implementation and the earlier nonperturbative renormalisation methodology that the numerical calculation follows.","marker":"[5]"},{"why":"defines the RI$'$-MOM scheme and its perturbative matching to $\\overline{\\mathrm{MS}}$, the scheme shown to be contaminated by condensates.","marker":"[6]"},{"why":"provides the 2+1+1 gauge-field ensembles at four lattice spacings on which all numerical results are computed.","marker":"[7]"},{"why":"supplies the next-to-next-to-next-to-leading-order matching factor used in the RI$'$-MOM analysis.","marker":"[8]"}],"fun_headline_variants":["RI-SMOM yields Z_V=1 for conserved current, no condensate noise","Ward identity makes RI-SMOM Z_V clean; RI'-MOM fails","Conserved vector Z_V=1 in RI-SMOM, condensate-free","RI-SMOM beats RI'-MOM: Z_V=1 with no condensate errors"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes the lattice Ward–Takahashi identity survives amputation and projection for staggered quarks; if staggered-quark discretisation effects break that identity, the prediction $Z_V=1$ and its protection from condensates would no longer follow.","fun_headline_variants_meta":{"raw":{"variants":["RI-SMOM yields Z_V=1 for conserved current, no condensate noise","Ward identity makes RI-SMOM Z_V clean; RI'-MOM fails","Conserved vector Z_V=1 in RI-SMOM, condensate-free","RI-SMOM beats RI'-MOM: Z_V=1 with no condensate errors"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000491,"raw_usage":{"total_tokens":2422,"prompt_tokens":959,"completion_tokens":1463,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":1371}},"tokens_in":575,"tokens_out":1463,"duration_ms":9769,"temperature":1.0,"reasoning_tokens":1371,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:52:51.079102+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the RI-SMOM $Z_V$ for the conserved current on the same ensembles but with a different projector in the trace, for example $\\gamma_\\mu$ instead of $(\\hat q_\\mu/\\hat q^2)\\hat q$: the Ward–Takahashi identity forces both to give $Z_V = 1$, so a statistically significant difference between the two would reveal that the lattice form of the identity used in Eq. (3.2) is broken by staggered-quark effects. An explicit computation of the taste-non-singlet part of the amputated vertex would show whether the ignored subtleties contribute.","supporting_citations":[],"review_version":1}