Abstract: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.

A functional-analysis derivation of the parquet equation

Parquet theory for correlated thermodynamic Greens functions

Parquet-like equations for the Hedin three-leg vertex

Subleading logarithmic behavior in the parquet formalism

Free fermionic probability theory and K-theoretic Schubert calculus

Bold Feynman diagrams and the Luttinger-Ward formalism via Gibbs measures. Part II: Non-perturbative analysis

A Rigorous Derivation of the Functional Renormalisation Group Equation

Some Exact Green Function Solutions for Non-Linear Classical Field Theories

Equation of Motion Method for Composite Field Operators

On Green's function embedding using sum-over-pole representations

From hardcore Bosons to free Fermions with Painlev{é} V

One-particle Green's functions from the quantum equation of motion algorithm

KeldyshQFT: A C++ codebase for real-frequency multiloop functional renormalization group and parquet computations of the single-impurity Anderson model

Legerdemain in Mathematical Physics: Structure, Tricks, and Lacunae in Derivations of the Partition Function of the Two-Dimensional Ising Model and in Proofs of The Stability of Matter

A geometric approach to functional equations for general multiple Dirichlet series over function fields

Sum rules and Ward identities in the Kondo lattice

Fourier coefficient of parameterized quantum circuits and barren plateau problem

Two-particle calculations with quantics tensor trains -- solving the parquet equations

Free fermions, KdV charges, generalised Gibbs ensembles and modular transforms

Functional integrals in geometric approach to quantum theory

Quantum Kinetic Theory For Spin-1/2 Fermions In Wigner Function Formalism