Nuclear EDM from SMEFT flavor-changing operator

We study nuclear electric dipole moments induced by $\Delta F=1$ effective operators in the Standard Model Effective Field Theory. Such contributions arise through renormalization group evolutions and matching conditions at the electroweak symmetry breaking scale. We provide one-loop formulae for the matching conditions. We also discuss correlations of these effects with $\Delta F=2$ observables such as $\epsilon_K$ and $\Delta M_{B_d}$.