Generalization of the coherent-state path integrals and systematic derivation of semiclassical propagators

Abstract

The coherent path integral is generalized such that the identity operator represented in a complete (actually overcomplete) set of the coherent states with the ``time-variable'' exponents are inserted between two consecutive short-time propagators. Since such a complete set of any given exponent can constitute the identity operator, the exponent may be varied from time to time without loss of generality as long as it is set common to all the Gaussians. However, a finite truncation of the coherent state expansion should result in different values of the propagator depending on the choice of the exponents. Furthermore, approximation methodology to treat with the exact propagator can also depend on this choice, and thereby many different semiclassical propagators may emerge from these combinations. Indeed, we show that the well-known semiclassical propagators such as those of Van Vleck, Herman-Kluk, Heller's thawed Gaussian, and many others can be derived in a systematic manner, which enables one to comprehend these semiclassical propagators from a unified point of view. We are particularly interested in our generalized form of the Herman-Kluk propagator, since the relative accuracy of this propagator has been well established by Kay, and since, nevertheless, its derivation was not necessarily clear. Thus our generalized Herman-Kluk propagator replaces the classical Hamiltonian with a Gaussian averaged quantum Hamiltonian, generating non-Newtonian trajectories. We perform a numerical test to assess the quality of such a family of generalized Herman-Kluk propagators and find that the original Herman-Kluk gives an accurate result. The reason why this has come about is also discussed.