Path Integral Formalism for Quantum Open Systems

This article provides a detailed derivation of the path integral formalism for both boson and fermion quantum open systems using coherent states. The formalism on the imaginary-time axis, Keldysh contour, and Kadanoff contour are given. The corresponding generating functional technique, which can be used to retrieve the environment information from the system correlation function, is also discussed.