Semigroup

$S_t=e^{-tK^2}$ and $\mathcal M_t(X)=S_tXS_t$ satisfy $\mathcal M_t\circ\mathcal M_s=\mathcal M_{t+s}$.