K^+ -> pi^+ pi⁰ Decays on Finite Volumes and at Next-to-Leading Order in the Chiral Expansion

We present the ingredients necessary for the determination of physical K->pi pi decay amplitudes for Delta I=3/2 transitions, from lattice simulations at unphysical kinematics and the use of chiral perturbation theory at next-to-leading order. In particular we derive the expressions for the matrix elements <pi pi(I=2)|O_W|K>, where O_W is one of the operators appearing in the Delta S=1 weak Hamiltonian, in terms of low-energy constants at next-to-leading order in the chiral expansion. The one-loop chiral corrections are evaluated for arbitrary masses and momenta, both in full QCD and in the quenched approximation. We also investigate the finite-volume effects in this procedure.