A Mathematical Analysis of IPT-DMFT.

We provide a mathematical analysis of the Dynamical Mean-Field Theory (DMFT), a celebrated representative of a class of approximations in quantum mechanics known as embedding methods. Within the simplest setting of this approximation, which we introduce briefly at this point, we prove that, under certain assumptions, the DMFT equations admit a solution for any set of physical parameters. Moreover, we establish some properties of the solution(s). For the reader's convenience, we provide in appendix a pedagogical and self-contained mathematical formulation of the DMFT equations for the finite Hubbard model. After recalling the definition and properties of one-body time-ordered Green's functions and self-energies, and the mathematical structure of the Hubbard and Anderson impurity models, we describe the specific impurity solver we have studied in this article, namely the Iterated Perturbation Theory (IPT) solver, which can be conveniently formulated using Matsubara's Green's functions.