Put and , and take real hopping amplitude and real . Write the anti-Hermitian ansatz with its ordering visible:Using , its commutator with isBoth terms equal their required hopping coefficients ifThe shifted expression is then . For a transition from difference to , the left-ordered factor evaluates as , the final-minus-initial energy denominator.
The formula describes occupation-dependent virtual hopping on actual transitions with nonzero energy gaps. Perturbation theory also requires the hopping matrix element, including its bosonic occupation factors, to be small compared with that gap. The resonance obstruction to perturbative elimination at a zero denominator on a nonzero hop requires degenerate perturbation theory. Values on unreachable states whose hopping amplitude vanishes need not determine the generator.