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 dynamical mean-field theory. Using 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 calculation steps are provided using the continuous-time quantum Monte Carlo method.