SMEFT top-quark effects on $\mathrm{\Delta }F=2$ observables

We investigate model independent top-quark corrections to $\mathrm{\Delta }F=2$ processes for the down-type quarks within the framework of the Standard Model Effective Field Theory. Dimension-six $\mathrm{\Delta }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 $\Delta F=2$transitions\mathrm{.}Wealsodemonstratethesecorrectionson$\Delta M_{B_s}$ in the left-right symmetric model, which are compared with the conventional calculation.