Connes-Kreimer (1998): rooted trees encode the recursive structure of renormalization
SELECT DIAGRAM
H = Hopf algebra of rooted trees
Δ(T) = T⊗1 + 1⊗T + Σ admissible cuts
S(T) = -T - Σ S(products of proper subforests)
ALGEBRAIC STRUCTURE
Connes-Kreimer theorem (1998): The Hopf algebra H_R of rooted trees (with coproduct given by admissible cuts) is isomorphic to the dual of the universal enveloping algebra U(L₊) where L₊ is the free pre-Lie algebra on one generator.
Physical content: BPHZ renormalization = the antipode S(T) in H_R. Every subdivergence of a Feynman diagram corresponds to a sub-tree; the forest formula is exactly S applied recursively.
Coproduct: Δ(T) = T⊗1 + 1⊗T + Σ_{C admissible} P_C(T)⊗R_C(T)
Admissible cut = cut set where each path from root to leaf has ≤1 cut.
Renormalization group: The Birkhoff-Riemann-Hilbert decomposition of the loop group gives the β-function from the residue of S(T).