Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The algebraic structure of Dyson--Schwinger equations with multiple insertion places

Nicholas Olson-Harris, Karen Yeats

TL;DR

This work develops a rigorous algebraic and combinatorial framework for Dyson--Schwinger equations with multiple insertion places by leveraging tubings of decorated rooted trees within the Connes--Kreimer Hopf algebra. It systematically builds from the CK Hopf algebra and Faà di Bruno theory to connect the renormalization group equation with the Riordan group, and then to Dyson--Schwinger equations via 1-cocycles and Mellin transforms. The main advance is a tubing-based expansion that yields explicit, combinatorially indexed series solutions for both single and multi-edge insertion DSEs, together with a generalized invariant-charge construction and RG PDEs that govern their scale dependence. The authors establish how to reduce to ordinary DSEs in some regimes, disprove a conjecture on universal linear substitutions, and provide a comprehensive tensor-power generalization that handles distinguished insertion places. These results deepen the algebraic understanding of renormalization, offer concrete combinatorial tools for studying perturbative and nonperturbative properties, and connect to broader structures such as regularity frameworks and resurgence.

Abstract

We give combinatorially controlled series solutions to Dyson--Schwinger equations with multiple insertion places using tubings of rooted trees and investigate the algebraic relation between such solutions and the renormalization group equation.

The algebraic structure of Dyson--Schwinger equations with multiple insertion places

TL;DR

This work develops a rigorous algebraic and combinatorial framework for Dyson--Schwinger equations with multiple insertion places by leveraging tubings of decorated rooted trees within the Connes--Kreimer Hopf algebra. It systematically builds from the CK Hopf algebra and Faà di Bruno theory to connect the renormalization group equation with the Riordan group, and then to Dyson--Schwinger equations via 1-cocycles and Mellin transforms. The main advance is a tubing-based expansion that yields explicit, combinatorially indexed series solutions for both single and multi-edge insertion DSEs, together with a generalized invariant-charge construction and RG PDEs that govern their scale dependence. The authors establish how to reduce to ordinary DSEs in some regimes, disprove a conjecture on universal linear substitutions, and provide a comprehensive tensor-power generalization that handles distinguished insertion places. These results deepen the algebraic understanding of renormalization, offer concrete combinatorial tools for studying perturbative and nonperturbative properties, and connect to broader structures such as regularity frameworks and resurgence.

Abstract

We give combinatorially controlled series solutions to Dyson--Schwinger equations with multiple insertion places using tubings of rooted trees and investigate the algebraic relation between such solutions and the renormalization group equation.
Paper Structure (15 sections, 35 theorems, 153 equations, 2 figures)

This paper contains 15 sections, 35 theorems, 153 equations, 2 figures.

Table of Contents

  1. Introduction
  2. Background
  3. The Connes-Kreimer Hopf algebra of rooted trees
  4. Hopf algebras of polynomials and power series
  5. The renormalization group equation and the Riordan group
  6. Dyson--Schwinger equations
  7. The anomalous dimension revisited
  8. Tubings
  9. Multiple insertion places
  10. Context
  11. 1-cocycles and tensor powers
  12. The renormalization group equation and the invariant charge
  13. Reducing to ordinary DSEs
  14. Tubing solutions to Dyson--Schwinger equations with multiple insertion places
  15. Conclusion

Key Result

theorem 1

Let $A$ be a commutative algebra and $\{\Lambda_i\}_{i \in I}$ be a family of linear operators on $A$. There exists a unique algebra morphism $\phi\colon \mathcal{H}_I \to A$ such that $\phi B_+^{(i)} = \Lambda_i \phi$. Moreover, if $A$ is a bialgebra and $\Lambda_i$ is a 1-cocycle for each $i$ then

Figures (2)

  • Figure 1: Examples of binary tubings. Upper and lower tubes highlighted in different colours.
  • Figure 2: An upper tube and its corresponding lower tube. The type of the upper tube is the decoration of the highlighted edge.

Theorems & Definitions (77)

  • remark 1
  • theorem 1: foissy20
  • proposition 1: bergbauer-kreimer
  • proof
  • theorem 2: tubings
  • proof
  • theorem 3
  • proposition 2
  • proposition 3
  • theorem 4
  • ...and 67 more