Use the Fourier transform convention and define the spectral filtering of Hamiltonian terms byThe normalization means . Since is real and nonnegative, . Thus the stated positive-frequency cutoff also implies for . The integral exists in operator norm, because its integrand has norm at most .
Let , with for . In this eigenbasis,Every matrix element coupling the unique ground state to an excited state vanishes, in either direction. HenceMoreover, linearity and conservation of under its own Heisenberg picture evolution giveEach filtered term is Hermitian, but it need not remain supported on its original set . The tail assumption supplies stronger long-time control than the integrability used here; no additional tail estimate is needed for the requested identities.
Articles by others on the same topic
There are currently no matching articles.