Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part I of this two-part series, we illustrate how the combinatorial properties of Feynman diagrams in MBPT can be studied in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature) and provide a self-contained explanation of Feynman diagrams in this setting. We prove the combinatorial validity of the bold diagrammatic expansion, with methods generalizable to several types of field theories and interactions. Our treatment simplifies the presentation and numerical study of known techniques in MBPT such as the self-consistent Hartree-Fock approximation (HF), the second-order Green's function approximation (GF2), and the GW approximation. The bold diagrams are closely related to the Luttinger-Ward (LW) formalism, which was proposed in 1960 but whose analytic properties have not been rigorously established. The analytical study of the LW formalism in the setting of Gibbs measures will be the topic of Part II.
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part I of this two-part series, we illustrate how the combinatorial properties of Feynman diagrams in MBPT can be studied in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature) and provide a self-contained explanation of Feynman diagrams in this setting. We prove the combinatorial validity of the bold diagrammatic expansion, with methods generalizable to several types of field theories and interactions. Our treatment simplifies the presentation and numerical study of known techniques in MBPT such as the self-consistent Hartree-Fock approximation (HF), the second-order Green's function approximation (GF2), and the GW approximation. The bold diagrams are closely related to the Luttinger-Ward (LW) formalism, which was proposed in 1960 but whose analytic properties have not been rigorously established. The analytical study of the LW formalism in the setting of Gibbs measures will be the topic of Part II.
Many-body perturbation theory (MBPT) is widely used in quantum physics, chemistry, and materials science. At the heart of MBPT is the Feynman diagrammatic expansion, which is, simply speaking, an elegant way of organizing the combinatorially growing number of terms of a certain Taylor expansion. In particular, the construction of the `bold Feynman diagrammatic expansion' involves the partial resummation to infinite order of possibly divergent series of diagrams. This procedure demands investigation from both the combinatorial (perturbative) and the analytical (non-perturbative) viewpoints. In Part II of this two-part series, we approach the analytical investigation of the bold diagrammatic expansion in the simplified setting of Gibbs measures (known as the Euclidean lattice field theory in the physics literature). Using non-perturbative methods, we rigorously construct the Luttinger-Ward formalism for the first time, and we prove that the bold diagrammatic series can be obtained directly via an asymptotic expansion of the Luttinger-Ward functional, circumventing the partial resummation technique. Moreover we prove that the Dyson equation can be derived as the Euler-Lagrange equation associated with a variational problem involving the Luttinger-Ward functional. We also establish a number of key facts about the Luttinger-Ward functional, such as its transformation rule, its form in the setting of the impurity problem, and its continuous extension to the boundary of the domain of physical Green's functions.
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.
Many-body perturbation theory (MBPT) based on Green’s functions and Feynman diagrams provides a fundamental theoretical framework for various ab initio computational approaches in molecular and materials science, including the random phase approximation (RPA) and GW approximation. Unfortunately, this perturbation expansion often fails in systems with strong multireference characters. Extending diagrammatic MBPT to the multireference case is highly nontrivial and remains largely unexplored, primarily due to the breakdown of Wick’s theorem. In this work, we develop a diagrammatic multireference generalization of MBPT for computing correlation energies of strongly correlated systems, by using the cumulant expansion of many-body Green’s functions in place of Wick’s theorem. This theoretical framework bridges the gap between MBPT in condensed matter physics and multireference perturbation theories (MRPT) in quantum chemistry, which had been almost exclusively formulated within time-independent wave function frameworks prior to this work. Our formulation enables the explicit incorporation of strong correlation effects from the outset as in MRPT, while treating residual weak interactions through a generalized diagrammatic perturbation expansion as in MBPT. As a concrete demonstration, we formulate a multireference (MR) extension of the standard single-reference (SR) RPA by systematically resumming generalized ring diagrams, which naturally leads to a unified set of equations applicable to both SR and MR cases. Benchmark calculations on prototypical molecular systems reveal that MR-RPA successfully resolves the well-known failure of SR-RPA in strongly correlated systems. This theoretical advancement paves the way for advancing ab initio computational methods through diagrammatic resummation techniques in future.
Second-order many-body perturbation theory [MBPT(2)] is the lowest-ranked member of a systematic series of approximations convergent at the exact solutions of the Schrödinger equations. It has served and continues to serve as the testing ground for new approximations, algorithms, and even theories. This article introduces this basic theory from a variety of viewpoints including the Rayleigh-Schrödinger perturbation theory, the many-body Green's function theory based on the Dyson equation, and the related Feynman-Goldstone diagrams. It also explains the important properties of MBPT(2) such as size consistency, its ability to describe dispersion interactions, and divergence in metals. On this basis, this article surveys three major advances made recently by the authors to this theory. They are a finite-temperature extension of MBPT(2) and the resolution of the Kohn-Luttinger conundrum, a stochastic evaluation of the correlation and self-energies of MBPT(2) using the Monte Carlo integration of their Laplace-transformed expressions, and an extension to anharmonic vibrational zero-point energies and transition frequencies based on the Dyson equation.
We consider a number of questions regarding the Luttinger-Ward functional and the many-body perturbation series expansion of the proper self-energy Σ(k;z) specific to uniform ground states (ensemble of states) of interacting fermion systems in terms of skeleton self-energy diagrams and the interacting Green function G(k;z). Utilising a link between the latter series expansion and the classical moment problem (of the Hamburger type), along with the associated continued-fraction expansion, we reaffirm our earlier observation (2007) that for lattice models of fermions interacting through short-range two-body potentials (i.e. for Hubbard-like models) this series is uniformly convergent for almost all wave vectors k and complex energies z. The limit of this series is unique. We inquire into the reasons underlying the contrary observation by Kozik et al. (2015) regarding skeleton-diagrammatic perturbation series expansion of Σ. In doing so, we make a number of observations of general interest. Chief amongst these, we observe that contrary to general belief thermal correlation functions calculated in the energy domain (i.e. over the set of the relevant Matsubara frequencies) are generally unreliable, in contrast to those calculated in the imaginary-time domain. In an appendix we present a symbolic computational formalism and short programs for singling out topologically distinct proper self-energy diagrams that are algebraically equivalent up to determinate multiplicative constants. This complements the work presented in our previous publication (2019). [Abridged abstract]
Scope The book focuses primarily on many-body (or better, many-electron) methods for electron correlation. These include Rayleigh–Schrödinger perturbation theory (RSPT) , particularly in its diagrammatic representation (referred to as many-body perturbation theory , or MBPT ), and coupled-cluster (CC) theory; their relationship to configuration interaction (CI) is included. Further extensions address properties other than the energy, and also excited states and multireference CC and MBPT methods. The many-body algebraic and diagrammatic methods used in electronic structure theory have their origin in quantum field theory and in the study of nuclear matter and nuclear structure. The second-quantization formalism was first introduced in a treatment of quantized fields by Dirac (1927) and was extended to fermion systems by Jordan and Klein (1927) and by Jordan and Wigner (1928). This formalism is particularly useful in field theory, in scattering problems and in the study of infinite systems because it easily handles problems involving infinite, indefinite or variable numbers of particles. The diagrammatic approach was introduced into field theory by Feynman (1949a,b) and applied to many-body systems by Hugenholtz (1957) and by Goldstone (1957). Many-body perturbation theory and its linked-diagram formalism were first introduced by Brueckner and Levinson (1955) and by Brueckner (1955), and were formalized by Goldstone (1957). Other important contributions to the methodology, first in field theory and then in the theory of nuclear structure, are due to Dyson (1949a,b), Wick (1950), Hubbard (1957, 1958a,b) and Frantz and Mills (1960). Applications to the electronic structure of atoms and molecules began with the work of Kelly (1963, 1964a,b, 1968), and molecular applications using finite analytical basis sets appeared in the work of Bartlett and Silver (1974a, b).