Abstract
The Luttinger-Ward functional was proposed more than five decades ago and has been used to formally justify most practically used Green's function methods for quantum many-body systems. Nonetheless, the very existence of the Luttinger-Ward functional has been challenged by recent theoretical and numerical evidence. We provide a rigorously justified Luttinger-Ward formalism, in the context of Euclidean lattice field theory. Using the Luttinger-Ward functional, the free energy can be variationally minimized with respect to Green's functions in its domain. We then derive the widely used bold diagrammatic expansion rigorously, without relying on formal arguments such as partial resummation of bare diagrams to infinite order.