| Vus | from K3 decay and four-flavor lattice QCD

Using highly improved staggered quark (HISQ) Nf=2+1+1 MILC ensembles with five different values of the lattice spacing, including four ensembles with physical quark masses, we perform the most precise computation to date of the K→πν vector form factor at zero momentum transfer, f+K0π-(0)=0.9696(15)stat(12)syst. This is the first calculation that includes the dominant finite-volume effects, as calculated in chiral perturbation theory at next-to-leading order. Our result for the form factor provides a direct determination of the Cabibbo-Kobayashi-Maskawa (CKM) matrix element |Vus|=0.22333(44)f+(0)(42)exp, with a theory error that is, for the first time, at the same level as the experimental error. The uncertainty of the semileptonic determination is now similar to that from leptonic decays and the ratio fK+/fπ+, which uses |Vud| as input. Our value of |Vus| is in tension at the 2-2.6σ level both with the determinations from leptonic decays and with the unitarity of the CKM matrix. In the test of CKM unitarity in the first row, the current limiting factor is the error in |Vud|, although a recent determination of the nucleus-independent radiative corrections to superallowed nuclear β decays could reduce the |Vud|2 uncertainty nearly to that of |Vus|2. Alternative unitarity tests using only kaon decays, for which improvements in the theory and experimental inputs are likely in the next few years, reveal similar tensions and could be further improved by taking correlations between the theory inputs. As part of our analysis, we calculated the correction to f+Kπ(0) due to nonequilibrated topological charge at leading order in chiral perturbation theory, for both the full-QCD and the partially quenched cases. We also obtain the combination of low-energy constants in the chiral effective Lagrangian [C12r+C34r-(L5r)2](Mρ)=(2.92±0.31)×10-6.