Quantum-classical correspondence in steady states of nonadiabatic systems

We first present nonadiabatic path integral which is exact formulation of quantum dynamics in nonadiabatic systems. Then, by applying the stationary phase approximations to the nonadiabatic path integral, a semiclassical quantization condition, i.e., quantum-classical correspondence, for steady states of nonadiabatic systems is presented as a nonadiabatic trace formula. The present quantum-classical correspondence indicates that a set of primitive hopping periodic orbits, which are invariant under time evolution in the phase space of the slow degree of freedom, should be quantized. The semiclassical quantization is then applied to a simple nonadiabatic model and accurately reproduces exact quantum energy levels