= Coherent-state resolution of identity
{title2=$\int d[\bar\psi,\psi]e^{-\bar\psi\psi}|\psi\rangle\langle\psi|=I$}
For an <unnormalized bosonic coherent state>, the measure is $d^2\psi/\pi$ over the complex plane. Gaussian moments $\int d^2\psi\,e^{-|\psi|^2}\psi^n\bar\psi^m/\pi=n!\delta_{nm}$ recover the identity in the <Fock state> basis. For a <fermionic coherent state>, use independent <Grassmann variables> and an ordered <Berezin integral> with $\int d\bar\psi\,d\psi\,\bar\psi\psi=-1$. The coefficient of $-\bar\psi\psi$ in the weighted projector is the identity. Products of these one-mode measures give the finite-mode result.
Back to article page
