Abstract:We present a deterministic algorithm for the efficient evaluation of imaginary time diagrams based on the recently introduced discrete Lehmann representation (DLR) of imaginary time Green's functions. In addition to the efficient discretization of diagrammatic integrals afforded by its approximation properties, the DLR basis is separable in imaginary time, allowing us to decompose diagrams into linear combinations of nested sequences of one-dimensional products and convolutions. Focusing on the strong coupling bold-line expansion of generalized Anderson impurity models, we show that our strategy reduces the computational complexity of evaluating an $M$th-order diagram at inverse temperature $\beta$ and spectral width $\omega_{\max}$ from $\mathcal{O}((\beta \omega_{\max})^{2M-1})$ for a direct quadrature to $\mathcal{O}(M (\log (\beta \omega_{\max}))^{M+1})$, with controllable high-order accuracy. We benchmark our algorithm using third-order expansions for multi-band impurity problems with off-diagonal hybridization and spin-orbit coupling, presenting comparisons with exact diagonalization and quantum Monte Carlo approaches. In particular, we perform a self-consistent dynamical mean-field theory calculation for a three-band Hubbard model with strong spin-orbit coupling representing a minimal model of Ca$_2$RuO$_4$, demonstrating the promise of the method for modeling realistic strongly correlated multi-band materials. For both strong and weak coupling expansions of low and intermediate order, in which diagrams can be enumerated, our method provides an efficient, straightforward, and robust black-box evaluation procedure. In this sense, it fills a gap between diagrammatic approximations of the lowest order, which are simple and inexpensive but inaccurate, and those based on Monte Carlo sampling of high-order diagrams.

Friedrichs Diagrams -- Bosonic and Fermionic

Ladder and zig-zag Feynman diagrams, operator formalism and conformal triangles

Feynman diagrams and their algebraic lattices

Bozonized Momentum Distribution of a Fermi Gas via Friedrichs Diagrams

Shiva and Kali diagrams for composite quantum particle many-body effects

$\mathcal{A}$-hypergeometric functions and creation operators for Feynman and Witten diagrams

Feynman Diagrams for Beginners

The development of computational methods for Feynman diagrams

Feynman Diagrams beyond Physics: From Biology to Economy

Multiboson Logical Operators, Laughlin States, and Virasoro Algebra

Boson-fermion mapping of collective fermion-pair algebras

Feynman Diagrams as Computational Graphs

Nonabelian Cut Diagrams and their Applications

Finite temperature line-shapes of hard-core bosons in quantum magnets: A diagrammatic approach tested in one dimension

String Diagrams for $λ$-calculi and Functional Computation

Comb Diagrams for Discrete-Time Feedback

A New Diagrammatic Approach to Quantum Information

Trivalent Feynman Diagrams as a Flag

A Structural and Nominal Syntax for Diagrams

Combinatorial summation of Feynman diagrams: Equation of state of the 2D SU(N) Hubbard model

Decomposing imaginary time Feynman diagrams using separable basis functions: Anderson impurity model strong coupling expansion