Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Combinatorial Dyson-Schwinger Equations of Quartic Matrix Field Theory

Alexander Hock, Johannes Thürigen

TL;DR

This work develops a rigorous combinatorial framework for quartic matrix field theory by constructing a Connes–Kreimer Hopf algebra of 4-regular planar ribbon graphs with a single boundary and formulating coupled combinatorial Dyson–Schwinger equations for the 2- and 4-point sectors. A refined grafting operator $B_+^\Gamma$ is introduced to account for graph insertions and overlaps, yielding a precise, renormalizable structure with a subalgebra decomposition controlled by loop order and a Hochschild 1-cocycle property under a key consistency condition. The authors derive an exact renormalized solution for the planar 2-point function in 4D, uncovering a dimensional reduction with effective spectral dimension $D_\lambda=4-2\frac{\arcsin(\lambda\pi)}{\pi}$ and an anomalous dimension $\gamma=-\frac{1}{\pi}\arctan(\lambda\pi)$, illustrating nontrivial, renormalizable behavior in a nonlocal QFT. Overall, the paper clarifies how combinatorial renormalization structures extend to nonlocal matrix field theories, highlights the limits posed by infinite primitives and graph-dependent factors, and points toward incorporating Ward identities and deeper algebraic structures in more realistic QFTs.

Abstract

Matrix field theory is a combinatorially non-local field theory which has recently been found to be a non-trivial but solvable QFT example. To generalize such non-perturbative structures to other models, a more combinatorial understanding of Dyson-Schwinger equations and their solutions is of high interest. To this end we consider combinatorial Dyson-Schwinger equations manifestly relying on the Hopf-algebraic structure of perturbative renormalization. We find that these equations are fully compatible with renormalization, relying only on the superficially divergent diagrams which are planar ribbon graphs, i.e. decompleted dual combinatorial maps. Still, they are of a similar kind as in realistic models of local QFT, featuring in particular an infinite number of primitive diagrams as well as graph-dependent combinatorial factors.

Combinatorial Dyson-Schwinger Equations of Quartic Matrix Field Theory

TL;DR

This work develops a rigorous combinatorial framework for quartic matrix field theory by constructing a Connes–Kreimer Hopf algebra of 4-regular planar ribbon graphs with a single boundary and formulating coupled combinatorial Dyson–Schwinger equations for the 2- and 4-point sectors. A refined grafting operator is introduced to account for graph insertions and overlaps, yielding a precise, renormalizable structure with a subalgebra decomposition controlled by loop order and a Hochschild 1-cocycle property under a key consistency condition. The authors derive an exact renormalized solution for the planar 2-point function in 4D, uncovering a dimensional reduction with effective spectral dimension and an anomalous dimension , illustrating nontrivial, renormalizable behavior in a nonlocal QFT. Overall, the paper clarifies how combinatorial renormalization structures extend to nonlocal matrix field theories, highlights the limits posed by infinite primitives and graph-dependent factors, and points toward incorporating Ward identities and deeper algebraic structures in more realistic QFTs.

Abstract

Matrix field theory is a combinatorially non-local field theory which has recently been found to be a non-trivial but solvable QFT example. To generalize such non-perturbative structures to other models, a more combinatorial understanding of Dyson-Schwinger equations and their solutions is of high interest. To this end we consider combinatorial Dyson-Schwinger equations manifestly relying on the Hopf-algebraic structure of perturbative renormalization. We find that these equations are fully compatible with renormalization, relying only on the superficially divergent diagrams which are planar ribbon graphs, i.e. decompleted dual combinatorial maps. Still, they are of a similar kind as in realistic models of local QFT, featuring in particular an infinite number of primitive diagrams as well as graph-dependent combinatorial factors.
Paper Structure (11 sections, 19 theorems, 113 equations, 4 figures)

This paper contains 11 sections, 19 theorems, 113 equations, 4 figures.

Table of Contents

  1. Introduction
  2. 4-dimensional $\phi^4$ matrix field theory/Grosse-Wulkenhaar model
  3. Perturbative series
  4. Dyson-Schwinger equations and Ward identity
  5. Renormalization & exact solution in 4 dimensions
  6. Hopf algebra and Hochschild cocyles
  7. Hopf algebra of perturbative renormalization
  8. Combinatorial Dyson-Schwinger equations
  9. Subalgebra of loop orders
  10. Hochschild 1-cocycle
  11. Feynman diagrams, ribbon graphs and maps

Key Result

Proposition 2.4

An $(n_1,...,n_b)$-point function of genus $g$ has a perturbative expansion in ribbon graphs $G\in\mathbf{G}_{g,b}^{n_1,...,n_b}$ of genus $g$ with $b$ boundaries, where the external faces attached to the $j$-th boundary are labelled with $E_{a^j_i}$ with $i\in \{1,...,n_j\}$ and $j\in \{1,...,b\}$.

Figures (4)

  • Figure 1: This is an example of a ribbon graph in the sense above. The Riemann surface has genus $g=1$ and two boundary components $b=2$, thus Euler characteristic $\chi=-2g-b+2=-2$. The complement of the grey ribbon graph consists of 4 external faces and one internal face, thus $F=5$. The number of vertices is $V=5$ and edges $E=12$, which gives of course the same Euler characteristic $\chi=5-12+5=-2$.
  • Figure 2: This is an example of a ribbon graph with one boundary and genus zero. It has two external faces labelled by $E_a$ and $E_b$ and two internal labelled by $E_n$ and $E_m$. Since the ribbon graph is of genus zero, it has an embedding into the plane.
  • Figure 3: Ribbon graphs contributing to the planar 2-point function up to second order in $\lambda$.
  • Figure 4: Ribbon graphs contributing to the planar 4-point function up to second order in $\lambda$ up to permutations. In total there are 10 graphs at the second order, 8 different permutations of the left and 2 of the right. The third order has already 90 contributing ribbon graphs.

Theorems & Definitions (51)

  • Definition 2.1: Feynman rules
  • Example 2.2
  • Example 2.3
  • Proposition 2.4
  • Remark 2.5
  • Theorem 2.6: Grosse:2019jnv
  • Theorem 2.7: Grosse:2019qps
  • Corollary 2.8: Grosse:2019qps
  • Corollary 2.9
  • proof
  • ...and 41 more