SMEFT top-quark effects on ΔF = 2 observables

We investigate model independent top-quark corrections to ΔF = 2 processes for the down-type quarks within the framework of the Standard Model Effective Field Theory. Dimension-six ΔF = 1 operators contribute to them through renormalization group evolutions and matching conditions. We provide a complete one-loop matching formula from the top quarks for ΔF = 2 transitions. We also demonstrate these corrections on $\Delta M_{B_s}$^{in the left-right symmetric model, which are compared with the conventional calculation.}