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