{"id":"985d816f-34c8-4444-b98e-a1a737c75969","arxiv_id":"2605.22742","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":1,"one_line_summary":"First complete lattice QCD determination of the four structure-dependent form factors for K- → ℓ- ν̄ℓ ℓ'+ ℓ'- decays at physical quark masses with controlled statistical and systematic errors.","lead":"This paper reports the first lattice QCD calculation of all four form factors for the rare kaon decay K- to lepton, antineutrino, and lepton pair, performed at physical quark masses with multiple volumes and spacings. A smart generalist might read it to see how first-principles QCD predictions are now available for rare decays that experiments use to hunt for physics beyond the Standard Model.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Disconnected diagrams included only as an estimate; claim of fully controlled systematics therefore rests on unquantified approximation","rationale":"The reader's weakest assumption correctly flags the combination of controls as the key point. The concrete gap is narrower: the disconnected sector is explicitly labeled an 'estimate' rather than a fully computed, extrapolated contribution. This does not invalidate the rest of the work but directly affects whether the headline 'fully controlled' statement holds. Adjusting to CONDITIONAL reflects that the remainder of the controls (physical masses, multiple volumes, three spacings, SFR) appear standard and well-motivated, while the disconnected piece requires the additional check above before the claim can be accepted at face value.","tokens_in":1881,"tokens_out":405,"duration_ms":18941,"concrete_test":"Locate the section describing the disconnected-diagram treatment; extract the numerical size of the estimated contribution to each form factor together with its assigned uncertainty. Recompute the total error budget for at least one form factor (e.g., the dominant one at q^2=0) after inflating the disconnected uncertainty by a factor of two; if the total uncertainty changes by more than 30% or the central value shifts outside the quoted error, the control claim weakens.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim requires that all systematic uncertainties are fully controlled. The abstract states that the calculation includes 'an estimate of the quark-disconnected contributions'. For the four structure-dependent form factors to be determined with fully controlled errors across the full kinematic range, the disconnected piece must itself be computed (or bounded) with a demonstrated uncertainty that is folded into the final error budget. If the estimate is obtained from a smaller subset of diagrams, a model, or a partial volume without explicit continuum and infinite-volume extrapolation, then the 'fully controlled' assertion is not yet demonstrated for that component. This is the least secure link in the chain of controls listed in the reader's weakest assumption.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.3","summary":"The manuscript presents the first complete lattice QCD calculation of the four structure-dependent form factors for the rare decay K−→ℓ−ν̄ℓℓ′+ℓ′−. The calculation uses ETMC Nf=2+1+1 gauge ensembles at physical light and strange quark masses, includes an estimate of quark-disconnected contributions, employs the Spectral Function Reconstruction method for analytic continuation above the two-pion threshold, investigates finite-volume effects with spatial extents from 3.8 to 7.6 fm, and performs the continuum limit using three lattice spacings between 0.057 and 0.08 fm. Results are provided for all four channels and a companion paper presents the phenomenological analysis.","tokens_in":2039,"tokens_out":430,"duration_ms":35197,"significance":"If the results hold with the claimed control over uncertainties, this work supplies the first ab initio Standard Model predictions for these form factors and decay rates, allowing direct comparison with experimental data. The approach benefits from physical-mass simulations, multiple volumes and spacings, and the SFR method, which are positive features for reducing systematic errors in lattice calculations of rare decays.","major_comments":[{"comment":"Abstract: The assertion of 'fully controlled statistical and systematic uncertainties' is load-bearing for the central claim of a 'complete' calculation. The quark-disconnected contributions are described only as 'an estimate in which the virtual photon couples to sea quarks'. For this to support fully controlled errors across the full kinematic range, the estimate must be accompanied by a demonstrated uncertainty (with its own continuum and infinite-volume extrapolation) that is explicitly included in the final error budget; the current description leaves this component's contribution to the total uncertainty unquantified.","section":"Abstract"}],"minor_comments":[{"comment":"The reference to the SFR method of Ref. [1] and the companion paper [2] should include explicit citations with full bibliographic details in the reference list to ensure reproducibility.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of the manuscript and the constructive comment. We address the major comment below.","responses":[{"response":"We agree that the current description of the quark-disconnected contributions as 'an estimate' does not fully substantiate the claim of completely controlled uncertainties across the kinematic range. The disconnected diagrams were evaluated on a subset of ensembles with the photon coupling to sea quarks, and a conservative bound on their size was incorporated into the systematic error. However, a dedicated continuum and infinite-volume extrapolation was not performed for this component alone, nor was its uncertainty isolated in the published error budget. We will revise the abstract to qualify the statement on uncertainties and add explicit text in the methods and results sections describing the estimation procedure, the ensembles used, the size of the contribution relative to the connected diagrams, and how the associated uncertainty is assessed and propagated into the final results.","revision_made":"yes","referee_comment":"[Abstract] Abstract: The assertion of 'fully controlled statistical and systematic uncertainties' is load-bearing for the central claim of a 'complete' calculation. The quark-disconnected contributions are described only as 'an estimate in which the virtual photon couples to sea quarks'. For this to support fully controlled errors across the full kinematic range, the estimate must be accompanied by a demonstrated uncertainty (with its own continuum and infinite-volume extrapolation) that is explicitly included in the final error budget; the current description leaves this component's contribution to the total uncertainty unquantified."}],"tokens_in":1532,"tokens_out":325,"duration_ms":38130,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper reports the first complete lattice QCD calculation of the four structure-dependent form factors for K− → ℓ− ν̄ℓ ℓ′+ ℓ′−. They use ETMC Nf=2+1+1 ensembles at physical light and strange masses, three lattice spacings from 0.057 to 0.08 fm, volumes up to 7.6 fm, the SFR method to handle the region above the two-pion threshold, and an estimate of the quark-disconnected contributions where the virtual photon couples to sea quarks. The results cover the full kinematic range and feed into decay rates for all four lepton channels, with a companion paper handling the phenomenology. The multi-ensemble approach for continuum and finite-volume limits is a clear strength, and the SFR technique directly tackles the analytic continuation problem that has limited earlier work. The calculation is grounded in direct simulation rather than model fits, and the citation pattern to prior ETMC work is appropriate for the ensembles used. The soft spot is the disconnected diagrams. The abstract calls this an estimate, and without a demonstrated uncertainty that has been extrapolated in volume, spacing, and quark mass and folded into the final budget, the claim of fully controlled systematics for the complete form factors is not yet airtight. If the estimate comes from a limited subset of diagrams or a partial volume, that component could still carry an unquantified systematic. This work is for lattice QCD practitioners and phenomenologists who need first-principles inputs for rare kaon decays and BSM constraints. A reader focused on experimental comparisons or effective theory would find the form factor tabulations useful. It deserves a serious referee because the technical advances are real and the results are new, even if revisions on the error analysis for the disconnected part are likely.","headline":"First lattice results for these kaon decay form factors at physical masses with SFR and disconnected estimates, but the fully controlled systematics claim rests on how well the disconnected piece was quantified.","tokens_in":2532,"tokens_out":432,"would_cite":true,"duration_ms":28103,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":null,"paper_passage":"We present the first complete lattice QCD calculation of the four structure-dependent form factors... include an estimate of the quark-disconnected contributions... Spectral Function Reconstruction (SFR) method... three lattice spacings... L≃[3.8,7.6] fm"},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"The quark-disconnected contribution is computed exclusively on the B96 ensemble... assigning a conservative 100% uncertainty"}],"headline":"Lattice QCD computation of kaon decay form factors via ensembles, SFR/HLT spectral reconstruction and estimated disconnected diagrams","alignment":"orthogonal","rationale":"The paper performs a standard numerical lattice-QCD extraction of four structure-dependent form factors for K→ℓνℓ′ℓ′ using physical-mass ETMC ensembles, finite-volume/continuum extrapolations, and the SFR/HLT method to handle the region above the two-pion threshold. Its central machinery consists of correlation-function integrals, resonance-pole subtractions, and a 100% systematic assigned to an estimated (not fully extrapolated) quark-disconnected contribution. None of these elements invoke, parallel or contradict any RS theorem; the calculation lies entirely inside conventional QCD phenomenology and makes no reference to J-cost, ratio-symmetric forcing, φ-ladder identities, 8-tick periodicity or parameter-free constant derivations.","tokens_in":62359,"confidence":"high","tokens_out":371,"duration_ms":14149,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The first complete lattice QCD calculation determines all four structure-dependent form factors for the rare decay K− → ℓ− ν̄ℓ ℓ′+ ℓ′− with fully controlled uncertainties.","keywords":["lattice QCD","kaon decay","form factors","rare decays","twisted mass fermions","spectral function reconstruction","Standard Model predictions"],"falsifier":"Repeating the calculation on a fourth, finer lattice spacing or a still larger spatial volume and obtaining statistically significant shifts in any form factor would show that the claimed control of systematics is incomplete.","tokens_in":2805,"feed_emoji":"🔬","tokens_out":752,"duration_ms":50526,"temperature":0.7,"pith_summary":"This paper presents the first lattice QCD results for the four form factors describing the rare charged kaon decay into a lepton, neutrino, and dilepton pair. Simulations are performed at physical quark masses using multiple volumes and lattice spacings to control finite-volume and discretization effects. The work includes estimates of disconnected quark diagrams and applies the Spectral Function Reconstruction method to manage the region above the two-pion threshold. These form factors allow direct computation of decay rates and observables in all four lepton channels, supplying first-principles Standard Model predictions for experimental tests.","feed_headline":"Lattice QCD yields first full form factors for rare kaon decay","feed_subtitle":"Physical-mass ensembles and spectral reconstruction control errors across all four lepton channels","key_machinery":"The four structure-dependent form factors of the K− → ℓ− ν̄ℓ ℓ′+ ℓ′− decay, extracted on physical-mass ETMC ensembles via the Spectral Function Reconstruction method for analytic continuation.","core_discovery":"The central claim is that all four structure-dependent form factors for K− → ℓ− ν̄ℓ ℓ′+ ℓ′− have been computed across the full kinematic range on Nf=2+1+1 twisted-mass fermion ensembles at physical light and strange quark masses. The calculation incorporates disconnected contributions, uses volumes up to 7.6 fm and three lattice spacings between 0.057 and 0.08 fm, and employs the Spectral Function Reconstruction method to perform the required analytic continuation for dilepton invariant masses above the two-pion threshold, thereby delivering results with controlled statistical and systematic uncertainties.","pith_inferences":["The same combination of physical-point simulations and spectral reconstruction can be applied to analogous rare decays of other mesons to obtain comparable precision.","Future experimental measurements that disagree with the derived rates at high significance would require either refinement of the lattice calculation or consideration of contributions beyond the Standard Model.","Adding electromagnetic radiative corrections on the lattice in a follow-up calculation would further tighten the comparison with data."],"forward_implications":["The form factors enable direct evaluation of decay rates and differential distributions for the channels K− → e− ν̄e e+ e−, K− → e− ν̄e μ+ μ−, K− → μ− ν̄μ e+ e−, and K− → μ− ν̄μ μ+ μ−.","These results supply first-principles Standard Model predictions that can be compared directly with existing and future experimental measurements.","All form factors are obtained over the entire kinematic region accessed by experiments."],"fun_headline_variants":["Lattice QCD completes form factors for rare kaon decay","All four form factors for K rare decay computed on lattice","Physical mass lattice QCD gives kaon form factors with full kinematics","Form factors for rare kaon decay with controlled errors from lattice QCD"],"cache_read_input_tokens":64,"weakest_assumption_plain":"That physical-mass ensembles, volumes up to 7.6 fm, three lattice spacings, disconnected-diagram estimates, and the Spectral Function Reconstruction method together remove all relevant finite-volume, discretization, and analytic-continuation systematics.","fun_headline_variants_meta":{"raw":{"variants":["Lattice QCD completes form factors for rare kaon decay","All four form factors for K rare decay computed on lattice","Physical mass lattice QCD gives kaon form factors with full kinematics","Form factors for rare kaon decay with controlled errors from lattice QCD"]},"model":"grok-4.3","cost_usd":0.012438,"raw_usage":{"total_tokens":5430,"prompt_tokens":856,"num_sources_used":0,"completion_tokens":67,"cost_in_usd_ticks":124378000,"prompt_tokens_details":{"text_tokens":856,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4507,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":856,"tokens_out":67,"duration_ms":51728,"temperature":1.0,"reasoning_tokens":4507,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-22T03:05:23.626341+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Repeating the calculation on a fourth, finer lattice spacing or a still larger spatial volume and obtaining statistically significant shifts in any form factor would show that the claimed control of systematics is incomplete.","supporting_citations":[],"review_version":1}