arxiv: 2604.04715 · v1 · submitted 2026-04-06 · ✦ hep-lat

Recognition: 1 theorem link

· Lean Theorem

A Precision Test of First Row CKM Unitarity from Lattice QCD

Ram\'on Merino

Authors on Pith no claims yet

Pith reviewed 2026-05-10 19:09 UTC · model grok-4.3

classification ✦ hep-lat

keywords lattice QCDCKM unitarityV_udV_uskaon decayspion decaysHISQ fermionssemileptonic form factors

0 comments

The pith

Lattice QCD calculations of pion and kaon decay constants and form factors enable a nuclear-free test of first-row CKM unitarity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that |V_ud| and |V_us| can be extracted by combining measured leptonic decay widths of pions and kaons with lattice values of their decay constants, plus the semileptonic kaon decay width with its zero-momentum form factor. This route avoids all nuclear beta-decay inputs. The Fermilab Lattice and MILC collaborations are computing these quantities on N_f=2+1+1 HISQ ensembles and extrapolating with staggered chiral perturbation theory to reach the precision required to test whether |V_ud|^2 + |V_us|^2 + |V_ub|^2 equals one.

Core claim

The central claim is that lattice determinations of the pion and kaon decay constants together with the K to pi semileptonic form factor at zero momentum transfer, when multiplied by the corresponding experimental partial widths, yield |V_ud| and |V_us| at high precision without nuclear theory inputs, thereby furnishing a clean test of first-row CKM unitarity.

What carries the argument

Highly Improved Staggered Quarks (HISQ) on the N_f=2+1+1 MILC configurations, with Staggered Chiral Perturbation Theory supplying the functional form for simultaneous chiral and continuum extrapolation of the decay constants and form factor.

If this is right

The resulting |V_ud| and |V_us| values can be squared and summed with the small |V_ub|^2 contribution to test unitarity at the sub-percent level.
Any statistically significant deficit would point to new physics in the weak sector.
Correlating all lattice inputs in a single analysis reduces the total uncertainty on the unitarity sum.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same lattice framework could be applied to other semileptonic and leptonic processes involving heavier quarks to test CKM elements in other rows.
If unitarity is confirmed, the precision values would tighten constraints on possible new-physics contributions to charged-current interactions.
Extension to finer lattice spacings or additional ensembles would directly test the stability of the SChPT extrapolations.

Load-bearing premise

Staggered Chiral Perturbation Theory supplies a reliable functional form for extrapolating the lattice data in quark mass and lattice spacing.

What would settle it

A chiral-continuum extrapolation of the computed f_pi, f_K, and f_+(0) that, when inserted into the unitarity relation with experimental widths, produces a deviation from one larger than the quoted uncertainty or inconsistent with independent determinations.

Figures

Figures reproduced from arXiv: 2604.04715 by Ram\'on Merino.

**Figure 1.** Figure 1: Determinations of |Vud|, |Vus| and |Vus|/|Vud|. The black band represents the unitarity constraint, taking into account the value of |Vub| from the PDG [6]. The green band represents the determination of |Vus| coming from kaon decays[3], while the olive band corresponds to the average of the exclusive and inclusive determinations from tau decays [5]. Red, orange and pink bands show determinations of |Vud| … view at source ↗

**Figure 2.** Figure 2: Correlation matrix for a representative subset of SChPT LECs obtained from the first [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗

read the original abstract

High-precision determinations of Cabibbo-Kobayashi-Maskawa (CKM) matrix elements are essential probes of physics Beyond the Standard Model (BSM). Current precision tests show a deficit in the first row unitarity relation. At the current level of precision, the only relevant CKM matrix elements that contribute to this test are $|V_{ud}|$ and $|V_{us}|$. Without resorting to nuclear inputs, they can be extracted from the combination of the experimental decay width of kaon and pion leptonic decays, along with the theoretical calculation of their decay constants; combined with the decay width of semileptonic kaon decays, with the computation of the corresponding form factor at zero momentum transfer. We review current efforts by the Fermilab Lattice and MILC collaborations towards a correlated analysis of the lattice inputs needed for this test using Highly Improved Staggered Quarks (HISQ) on the $N_f=2+1+1$ MILC configurations along with Staggered Chiral Perturbation Theory (SChPT) as a functional form for the chiral-continuum limit.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a review summarizing Fermilab/MILC lattice efforts on HISQ ensembles for |V_ud| and |V_us| inputs to the CKM unitarity test, with no new calculations or results.

read the letter

The paper walks through the standard extraction of |V_ud| from pion leptonic decays via f_pi and |V_us| from both kaon leptonic decays via f_K and semileptonic decays via f_+(0), all from lattice QCD on N_f=2+1+1 MILC configurations with HISQ quarks. It stresses the use of SChPT for the chiral-continuum extrapolations and the goal of a correlated analysis across these quantities to tighten the first-row unitarity check without nuclear beta-decay inputs. That framing is clear and matches what the collaborations have been doing for years in their cited papers. The main value is the compact overview of how the pieces fit together for the unitarity test. It does not introduce new data, new ensembles, or a revised method. The soundness therefore rests entirely on the prior MILC/Fermilab publications for the actual error budgets, fit quality, and control of systematics. The SChPT functional form is the usual choice here, but its reliability at the current lattice spacings and quark masses is something readers will need to verify in those earlier works rather than take from this review alone. Minor point: the abstract and title lean toward presenting a precision test, yet the body is explicitly a status summary of ongoing work. This paper is mainly for flavor physicists or lattice practitioners who want a quick recap of the current lattice strategy for the CKM unitarity puzzle. It is not a primary research result, so it would not be something I cite for new numbers. I would still send it to peer review for a journal that handles review or status articles in hep-lat, because the underlying topic remains timely and the approach is standard but worth documenting cleanly.

Referee Report

2 major / 2 minor

Summary. The manuscript reviews ongoing efforts by the Fermilab Lattice and MILC collaborations to compute the pion and kaon leptonic decay constants f_π and f_K together with the K→π semileptonic form factor f_+(0) at zero momentum transfer. These quantities are obtained from lattice QCD simulations with the Highly Improved Staggered Quark (HISQ) action on N_f=2+1+1 MILC ensembles; chiral-continuum extrapolations are performed with Staggered Chiral Perturbation Theory (SChPT). The lattice results are then combined with experimental leptonic and semileptonic decay widths to extract |V_ud| and |V_us| and test first-row CKM unitarity without nuclear β-decay inputs.

Significance. A successful correlated analysis of these lattice inputs would furnish a high-precision, nuclear-theory-independent determination of the first-row CKM elements, providing a clean probe for physics beyond the Standard Model. The emphasis on a joint treatment of f_π, f_K and f_+(0) is a methodological strength that can reduce the total uncertainty in the unitarity sum |V_ud|^2 + |V_us|^2 − 1.

major comments (2)

[SChPT extrapolation discussion] The central reliance on SChPT as the functional form for the chiral-continuum extrapolation of f_π, f_K and f_+(0) on the N_f=2+1+1 MILC ensembles is load-bearing for the claimed precision of the unitarity test. The manuscript should supply explicit fit-quality metrics (χ²/dof, p-values), the range of fit parameters varied, and the size of higher-order SChPT contributions to demonstrate that the extrapolation uncertainty is under control at the sub-percent level required.
[Correlated analysis paragraph] Although the abstract and introduction state that a correlated analysis of the three lattice inputs will be performed, no quantitative description is given of how the covariance matrix among f_π, f_K and f_+(0) is constructed or propagated into the final |V_ud| and |V_us| uncertainties. This omission directly affects the reliability of the unitarity deficit assessment.

minor comments (2)

[Results overview] The manuscript would benefit from a short table summarizing the current status of each lattice quantity (ensemble set, number of configurations, current statistical precision) so that readers can quickly gauge progress toward the target precision.
[Conclusion] A few sentences clarifying the timeline for completing the correlated fits and the expected publication of the final |V_ud|, |V_us| values would help place the review in context.

Simulated Author's Rebuttal

2 responses · 1 unresolved

We thank the referee for their careful reading, positive assessment of the work's significance, and recommendation for minor revision. We address each major comment below and have revised the manuscript to strengthen the presentation of the SChPT fits and the planned correlated analysis.

read point-by-point responses

Referee: [SChPT extrapolation discussion] The central reliance on SChPT as the functional form for the chiral-continuum extrapolation of f_π, f_K and f_+(0) on the N_f=2+1+1 MILC ensembles is load-bearing for the claimed precision of the unitarity test. The manuscript should supply explicit fit-quality metrics (χ²/dof, p-values), the range of fit parameters varied, and the size of higher-order SChPT contributions to demonstrate that the extrapolation uncertainty is under control at the sub-percent level required.

Authors: We agree that explicit documentation of fit quality is essential to substantiate the sub-percent precision. This manuscript reviews ongoing efforts rather than presenting a completed analysis, so the full numerical fit results (including χ²/dof, p-values, varied parameters, and higher-order SChPT estimates) appear in the cited individual analyses and will be consolidated in the forthcoming detailed publication. In the revised version we have added a new paragraph that summarizes the typical fit qualities obtained in our SChPT extrapolations, the range of fit parameters explored, and the estimated size of neglected higher-order terms, together with references to the supporting technical papers. This addition directly addresses the request while accurately reflecting the current status of the work. revision: yes
Referee: [Correlated analysis paragraph] Although the abstract and introduction state that a correlated analysis of the three lattice inputs will be performed, no quantitative description is given of how the covariance matrix among f_π, f_K and f_+(0) is constructed or propagated into the final |V_ud| and |V_us| uncertainties. This omission directly affects the reliability of the unitarity deficit assessment.

Authors: We acknowledge that a quantitative description of the covariance construction would improve clarity. Because the manuscript reviews efforts toward a correlated analysis that is still in progress, the complete numerical covariance matrix and its propagation are not yet finalized. In the revised manuscript we have inserted a concise subsection outlining the planned methodology: the covariance will be built from the shared MILC ensembles, common fit parameters, and correlated statistical and systematic uncertainties across the three quantities, then propagated through the unitarity relation. This provides the requested framework for the review without claiming completed numerical results. revision: partial

standing simulated objections not resolved

Full numerical values and explicit construction details of the covariance matrix, because the correlated analysis remains ongoing and the final results have not yet been obtained.

Circularity Check

0 steps flagged

No significant circularity; standard review of established lattice methods

full rationale

This paper is a review summarizing Fermilab/MILC efforts on HISQ ensembles with SChPT for chiral-continuum extrapolations of f_K, f_pi, and f_+(0). The central extraction of |V_ud| and |V_us| combines experimental leptonic/semileptonic decay widths with lattice decay constants and form factors using standard, externally benchmarked procedures. No load-bearing step reduces by construction to a fit, self-definition, or unverified self-citation chain; the functional form and analysis choices are presented as summaries of prior independent work with systematic control discussed externally.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only abstract available, so ledger is limited to elements explicitly named; lattice QCD inherently involves many fit parameters and assumptions not detailed here.

axioms (1)

domain assumption Staggered Chiral Perturbation Theory (SChPT) is an accurate functional form for the chiral-continuum limit extrapolation.
Explicitly invoked in the abstract as the method for handling the lattice data.

pith-pipeline@v0.9.0 · 5489 in / 1198 out tokens · 50696 ms · 2026-05-10T19:09:22.797820+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/CKMLambdaFromPhiLadder.lean CKMLambdaCert unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We review current efforts by the Fermilab Lattice and MILC collaborations towards a correlated analysis of the lattice inputs needed for this test using Highly Improved Staggered Quarks (HISQ) on the N_f=2+1+1 MILC configurations along with Staggered Chiral Perturbation Theory (SChPT) as a functional form for the chiral-continuum limit.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Hayen,Opportunities and open questions in modernβdecay,Ann

L. Hayen,Opportunities and open questions in modernβdecay,Ann. Rev. Nucl. Part. Sci. 74(2024) 497 [2403.08485]. [2]PIONEERcollaboration,European Strategy for Particle Physics Update – PIONEER: a next generation rare pion decay experiment,2504.06375. [3]Fermilab Lattice, MILCcollaboration,|V us|fromK ℓ3 decay and four-flavor lattice QCD,Phys. Rev. D99(2019...

work page arXiv 2024
[2]

Cirigliano, A

V. Cirigliano, A. Crivellin, M. Hoferichter and M. Moulson,Scrutinizing CKM unitarity with a new measurement of the Kµ3/Kµ2 branching fraction,Phys. Lett. B838(2023) 137748 [2208.11707]

work page arXiv 2023
[3]

B- andD-meson leptonic decay con- stants from four-flavor lattice QCD,

A. Bazavov et al.,B- andD-meson leptonic decay constants from four-flavor lattice QCD, Phys. Rev. D98(2018) 074512 [1712.09262]. [9]Fermilab Lattice, MILCcollaboration,Kaon leptonic and semileptonic decays with Nf = 2 + 1 + 1HISQ fermions, in42th International Symposium on Lattice Field Theory, 3, 2026 [2603.02994]

work page arXiv 2018
[4]

Cirigliano, W

V. Cirigliano, W. Dekens, J. de Vries, E. Mereghetti and T. Tong,Anomalies in global SMEFT analyses. A case study of first-row CKM unitarity,JHEP03(2024) 033 [2311.00021]

work page arXiv 2024