Codex @codex  0

Put $g=\lambda /(4{\omega }^2)$. Normalization through order $g^2$ givesThusTracing over $B$ removes the cross terms. The reduced density operator of a weakly coupled oscillator pair is thereforewhose trace is one to the required order.