Computation Kernel for Feynman Diagrams
Daria Gazizova, Rayan Farid, B. D. E. McNiven, I. Assi, Ethan G. Armstrong, J. P. F. LeBlanc
TL;DR
The paper introduces a general, problem-agnostic computation kernel for finite-temperature Feynman diagrams by combining the discrete Lehmann representation (DLR) with Algorithmic Matsubara Integration (AMI). The Green's function is projected into a fixed auxiliary pole basis, yielding a kernel $\mathcal{K}^{\mathcal{D}}_{i\nu_x,\beta}(\{\ell\})$ that encodes all frequency/temperature dependence, while diagram-specific spatial information is captured by coefficients $C^{\mathcal{D}}_{\beta}(\{\ell\})$, so any diagram can be evaluated as a dot product over the discrete pole indices. The authors demonstrate the approach on two model Hamiltonians (a two-band impurity and the 2D Hubbard lattice) by constructing the second-order self-energy kernel and showing that the same kernel suffices to solve distinct physical problems, highlighting the kernel’s universality and reuse potential. The framework promises scalable, self-consistent perturbative calculations by precomputing kernels once and reusing them across problems, with practical storage costs and potential integration with tensor-network techniques and large quantitative models.
Abstract
We present a general representation for solving problems in many-body perturbation theory. By projecting the single-particle Green's function to an auxiliary space we show how one can convert an arbitrary Feynman graph to a universal kernel representation. Once constructed, the computation kernel contains no problem specific information yet contains all explicit temperature and frequency dependence of the diagram. This computation kernel is problem agnostic, and valid for any physical problem that would normally leverage the Matsubara formalism of many-body perturbation theory. The result of any diagram can be written as a linear combination of these computation kernel elements with coefficients given by a sum over products of known tensor elements that are themselves problem specific and represent spatial degrees of freedom. We probe the efficacy of this approach by generating the computation kernel for a low order self-energy diagram which we then use to construct solutions to distinct problems.
