Physical state for non-relativistic quantum electrodynamics
A physical subspace and physical Hilbert space associated with asymptotic fields of nonrelativistic quantum electrodynamics are constructed through the Gupta-Bleuler procedure. Asymptotic completeness is shown and a physical Hamiltonian is defined on the physical Hilbert space.