The Kondo Lattice Model in Infinite Dimensions I. Formalism

A Green-function formalism for the Kondo lattice model is presented, which is designed to be combined with the dynamical mean-field theory. With use of Wick's theorem only for conduction electrons, dynamical quantities are represented in terms of the t-matrix and its two-particle generalizations. By taking the high-frequency limit of the t-matrix with respect to a part of the fermion frequencies, one obtains dynamical correlation functions of localized moments. Explicit examples of calculational steps are provided with use of the continuous-time quantum Monte Carlo method.