Combinatorial Dyson-Schwinger equations and systems I Feynma. Feynman graphs, rooted trees and combinatorial Dyson-Schwinger equations

Similar documents
Hopf subalgebras of the Hopf algebra of rooted trees coming from Dyson-Schwinger equations and Lie algebras of Fa di Bruno type

Ringel-Hall Algebras II

Combinatorial Hopf algebras in particle physics I

COLLEEN DELANEY AND MATILDE MARCOLLI

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

Hopf algebras in renormalisation for Encyclopædia of Mathematics

Dyson Schwinger equations in the theory of computation

Combinatorics of Feynman diagrams and algebraic lattice structure in QFT

arxiv: v1 [math.ra] 12 Dec 2011

ON BIALGEBRAS AND HOPF ALGEBRAS OF ORIENTED GRAPHS

INCIDENCE CATEGORIES

The Hopf algebra structure of renormalizable quantum field theory

What is a Quantum Equation of Motion?

Groupoids and Faà di Bruno Formulae for Green Functions

COMBINATORIAL HOPF ALGEBRAS IN (NONCOMMUTATIVE) QUANTUM FIELD THEORY

Hopf algebra structures in particle physics

arxiv:hep-th/ v2 20 Oct 2006

THE QUANTUM DOUBLE AS A HOPF ALGEBRA

Renormalizability in (noncommutative) field theories

Faculty of Mathematics and Natural Sciences I Department of Physics. Algorithmization of the Hopf algebra of Feynman graphs

HECKE CORRESPONDENCES AND FEYNMAN GRAPHS MATT SZCZESNY

On the Lie envelopping algebra of a pre-lie algebra

1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality

Transcendental Numbers and Hopf Algebras

AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE

Dyson-Schwinger equations and Renormalization Hopf algebras

Quantum Groups. Jesse Frohlich. September 18, 2018

Renormalization of Gauge Fields: A Hopf Algebra Approach

PRE-LIE ALGEBRAS AND INCIDENCE CATEGORIES OF COLORED ROOTED TREES

Hopf Algebras. Zajj Daugherty. March 6, 2012

Polynomial functors and combinatorial Dyson Schwinger equations

Lie Superalgebras and Lie Supergroups, II

arxiv:hep-th/ v1 13 Dec 1999

arxiv: v2 [math.ra] 9 Jan 2016

Twisted descent algebras and the Solomon Tits algebra

Introduction to Tree Algebras in Quantum Field Theory

Epstein-Glaser Renormalization and Dimensional Regularization

Some Hopf Algebras of Trees. Pepijn van der Laan. Mathematisch Instituut, Universiteit Utrecht. May 22, 2001

Matrix Representation of Renormalization in Perturbative Quantum Field Theory

RENORMALIZATION AS A FUNCTOR ON BIALGEBRAS

Trees, set compositions and the twisted descent algebra

Universal Deformation Formulas

A global version of the quantum duality principle

ROTA BAXTER ALGEBRAS, SINGULAR HYPERSURFACES, AND RENORMALIZATION ON KAUSZ COMPACTIFICATIONS

THE CLASSICAL HOM-YANG-BAXTER EQUATION AND HOM-LIE BIALGEBRAS. Donald Yau

A zoo of Hopf algebras

FEYNMAN MOTIVES AND DELETION-CONTRACTION RELATIONS

Feynman motives and deletion-contraction relations

Quantum Groups and Link Invariants

SELF-DUAL HOPF QUIVERS

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration

Hopf algebras and factorial divergent power series: Algebraic tools for graphical enumeration

A polynomial realization of the Hopf algebra of uniform block permutations.

Towers of algebras categorify the Heisenberg double

LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT

Understanding the log expansions in quantum field theory combinatorially

Hopf algebras and renormalization in physics

DYSON-SCHWINGER EQUATIONS

On the renormalization problem of multiple zeta values

NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS

Combinatorial and physical content of Kirchhoff polynomials

Renormalization and Euler-Maclaurin Formula on Cones

A Basic Introduction to Hopf Algebras

Finite generation of the cohomology rings of some pointed Hopf algebras

Nonassociative Lie Theory

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

The Segre Embedding. Daniel Murfet May 16, 2006

Contents. Introduction. Part I From groups to quantum groups 1

FROM THE FORMALITY THEOREM OF KONTSEVICH AND CONNES-KREIMER ALGEBRAIC RENORMALIZATION TO A THEORY OF PATH INTEGRALS

Is the Universe Uniquely Determined by Invariance Under Quantisation?

Thus we get. ρj. Nρj i = δ D(i),j.

Some constructions and applications of Rota-Baxter algebras I

Perturbative Quantum Field Theory and Vertex Algebras

Hopf algebra approach to Feynman diagram calculations

An Algebraic Approach to Hybrid Systems

arxiv: v1 [hep-th] 20 May 2014

HOPF GALOIS (CO)EXTENSIONS IN NONCOMMUTATIVE GEOMETRY. Mohammad Hassanzadeh (Received June 17, 2012)

arxiv:hep-th/ v1 21 Mar 2000

arxiv:math/ v3 [math.qa] 29 Oct 2004

The Hopf monoid of generalized permutahedra. SIAM Discrete Mathematics Meeting Austin, TX, June 2010

CONSTRUCTING FROBENIUS ALGEBRAS

Vassiliev Invariants, Chord Diagrams, and Jacobi Diagrams

Polynomial Hopf algebras in Algebra & Topology

An isomorphism between the Hopf algebras A and B of Jacobi diagrams in the theory of knot invariants

Erratum to: A Proof of Tsygan s Formality Conjecture for an Arbitrary Smooth Manifold

arxiv: v1 [math.at] 9 Aug 2007

Euclidean path integral formalism: from quantum mechanics to quantum field theory

arxiv:math/ v3 [math.qa] 9 Oct 2006

Hopf-Galois and Bi-Galois Extensions

ABELIAN AND NON-ABELIAN SECOND COHOMOLOGIES OF QUANTIZED ENVELOPING ALGEBRAS

HOPF ALGEBRAS AND LIE ALGEBRAS UCHICAGO PRO-SEMINAR - JANUARY 9, 2014

Deformation of the `embedding'

QUANTUM DOUBLE FOR QUASI-HOPF ALGEBRAS

Product type actions of compact quantum groups

KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse

We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

PATH SUBCOALGEBRAS, FINITENESS PROPERTIES AND QUANTUM GROUPS

ALGEBRO-GEOMETRIC FEYNMAN RULES

A Hopf Algebra Structure on Hall Algebras

A short survey on pre-lie algebras

Transcription:

Combinatorial and systems I, rooted trees and combinatorial Potsdam November 2013 Combinatorial and systems I Feynma

In QFT, one studies the behaviour of particles in a quantum fields. Several types of particles: electrons, photons, bosons, etc. Several types of interactions: an electron can capture/eject a photon, etc. One wants to predict certain physical constants: mass or charge of the electron,etc. Develop the constant in a formal series, indexed by certain combinatorial objects: the. Attach to any Feynman graph a real/complex number: Feynman rules and Renormalization. Combinatorial and systems I Feynma

The expansion as a formal series gives formal sums of : the propagators (vertex functions, two-points functions). These formal sums are characterized by a set of equations: the. In order to be "physically meaningful", these functions should be compatible with the extraction/contraction Hopf algebra structure on. This imposes strong constraints on the. Because of a 1-cocycle property, everything can be lifted and studied to the level of decorated rooted trees. Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on To a given QFT is attached a family of graphs. 1 A finite number of possible half-edges. 2 A finite number of possible vertices. 3 A finite number of possible external half-edges (external structure). 4 The graph is connected and 1-PI. To each external structure is associated a formal series in the. Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on In QED 1 Half-edges: 2 Vertices:. (electron), (photon). 3 External structures:,,. Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on Examples in QED,,,,,,,, Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on Other examples Φ 3. Quantum Chromodynamics. Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on Subgraphs and contraction 1 A subgraph of a Feynman graph Γ is a subset γ of the set of half-edges Γ such that γ and the vertices of Γ with all half edges in γ is itself a Feynman graph. 2 If Γ is a Feynman graph and γ 1,..., γ k are disjoint subgraphs of Γ, Γ/γ 1... γ k is the Feynman graph obtained by replacing γ 1,..., γ k by vertices in Γ. Combinatorial and systems I Feynma

Feynman definition Combinatorial structures on Insertion Let Γ 1 and Γ 2 be two. According to the external structure of Γ 1, you can replace a vertex or an edge of Γ 2 by Γ 1 in order to obtain a new Feynman graph. Examples in QED =, =,,. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of Let A and B be two vector spaces. The tensor product of A and B is a space A B with a bilinear product : A B A B satisfying a universal property: if f : A B C is bilinear, there exists a unique linear map F : A B C such that F(a b) = f (a, b) for all (a, b) A B. If (e i ) i I is a basis of A and (f j ) j J is a basis of B, then (e i f j ) i I,j J is a basis A B. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of The tensor product of vector spaces is associative: (A B) C = A (B C). We shall identify K A, A K and A via the identification of 1 a, a 1 and a. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of If A is an associative algebra, its (bilinear) product becomes a linear map m : A A A, sending a b on ab. The associativity is given by the following commuting square: A A A m Id A A Id m A A m A m Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of If A is unitary, its unit 1 A induces a linear map { K A η : λ λ1 A. The unit axiom becomes: Id η K A η Id A A A K m A Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of Dualizing these diagrams, we obtain the coalgebra axioms Coalgebra A coalgebra is a vector space C with a map : C C C such that: C C C C C Id Id C C C Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of Coalgebra There exists a map ε : C K, called the counit, such that: ε Id K C C C Id ε C K C Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of If A is an algebra, then A A is an algebra, with: (a 1 b 1 ).(a 2 b 2 ) = (a 1.a 2 ) (b 1.b 2 ). Bialgebra and Hopf algebra A bialgebra is both an algebra and a coalgebra, such that the coproduct and the counit are algebra morphisms. A Hopf algebra is a bialgebra with a technical condition of existence of an antipode. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of Examples If G is a group, KG is a Hopf algebra, with (x) = x x for all x G. If g is a Lie algebra, its enveloping algebra is a Hopf algebra, with (x) = x 1 + 1 x for all x g. If H is a finite-dimensional Hopf algebra, then its dual is also a Hopf algebra. If H is a graded Hopf algebra, then its graded dual is also a Hopf algebra. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of Construction Let H FG be a free commutative algebra generated by the set of. It is given a coproduct: for all Feynman graph Γ, (Γ) = γ 1... γ k Γ/γ 1... γ k. γ 1...γ k Γ ( ) = 1+1 +. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of The Hopf algebra H FG is graded by the number of loops: Γ = E(Γ) V (Γ) + 1. Because of the 1-PI condition, it is connected, that is to say (H FG ) 0 = K 1 HFG. What is its dual? Cartier-Quillen-Milnor-Moore theorem Let H be a cocommutative, graded, connected Hopf algebra over a field of characteristic zero. Then it is the enveloping algebra of its primitive elements. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of This theorem can be applied to the graded dual of H FG. Primitive elements of H FG Basis of primitive elements: for any Feynman graph Γ, The Lie bracket is given by: f Γ (γ 1... γ k ) = Aut(Γ)δ γ1...γ k,γ. [f Γ1, f Γ2 ] = Γ=Γ 1 Γ 2 f Γ Γ=Γ 2 Γ 1 f Γ. Combinatorial and systems I Feynma

Algebras, coalgebras, Hopf algebras Hopf algebra of We define: f Γ1 f Γ2 = Γ=Γ 1 Γ 2 f Γ. The product is not associative, but satisfies: f 1 (f 2 f 3 ) (f 1 f 2 ) f 3 = f 2 (f 1 f 3 ) (f 2 f 1 ) f 3. It is (left) prelie. Combinatorial and systems I Feynma

Insertion operators Examples of In the context of QFT, we shall consider some special infinite sums of : Propagators in QED = n 1 = n 1 x n x n γ (n) γ (n) s γ γ. s γ γ. Combinatorial and systems I Feynma

Insertion operators Examples of Propagators in QED = n 1 x n They live in the completion of H FG. s γ γ. γ (n) Combinatorial and systems I Feynma

Insertion operators Examples of How to describe the propagators? For any primitive Feynman graph γ, one defines the insertion operator B γ over H FG. This operator associates to a graph G the sum (with symmetry coefficients) of the insertions of G into γ. The propagators then satisfy a system of equations involving the insertion operators, called systems of. Combinatorial and systems I Feynma

Insertion operators Examples of Example In QED : B ( ) = 1 2 + 1 2 B ( ) = 3 1 3 + 1 3 + 1 Combinatorial and systems I Feynma

Insertion operators Examples of In QED: = γ = xb = xb 1+2 γ (1 + ) x γ B γ ) γ ) 2 γ (1 + (1 + 2 (1 + ) ) 2 (1 + 2 (1 + ) ) ) (1 + (1 + Combinatorial and systems I Feynma

Insertion operators Examples of Other example (Bergbauer, Kreimer) X = B γ ((1 + X) γ +1). γ primitive Combinatorial and systems I Feynma

Insertion operators Examples of Question For a given system of (S), is the subalgebra generated by the homogeneous components of (S) a Hopf subalgebra? Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Proposition The operators B γ satisfy: for all x H FG, B γ (x) = B γ (x) 1 + (Id B γ ) (x). This relation allows to lift any system of Dyson-Schwinger equation to the Hopf algebra of decorated rooted trees. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Cartier-Quillen cohomology let C be a coalgebra and let (B, δ G, δ D ) be a C-bicomodule. D n = L(B, C n ). For all l D n : b n (L) = n ( 1) i (Id (i 1) Id (n i) ) L i=1 +(Id L) δ G + ( 1) n+1 (L Id) δ D. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? A particular case We take B = C, δ G (b) = (b) and δ D (b) = b 1. A 1-cocycle of C is a linear map L : C C, such that for all b C: (Id L) (b) L(b) + b 1 = 0. So B γ is a 1-cocycle of H FG for all primitive Feynman graph. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? The Hopf algebra of rooted trees H R (or Connes-Kreimer Hopf algebra) is the free commutative algebra generated by the set of rooted trees.,,,,,,,,,,,,, The set of rooted forests is a linear basis of H R : 1,,,,,,,,,,,,,,,,,,,...,... Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? The coproduct is given by admissible cuts: (t) = P c (t) R c (t). c admissible cut cutc total Admissible? yes yes yes yes no yes yes no yes W c (t) R c (t) 1 P c (t) 1 ( ) = 1+1 + + + + +. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? The grafting operator of H R is the map B : H R H R, associating to a forest t 1... t n the tree obtained by grafting t 1,..., t n on a common root. For example: B( ) =. Proposition For all x H R : B(x) = B(x) 1 + (Id B) (x). So B is a 1-cocycle of H R. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Universal property Let A be a commutative Hopf algebra and let L : A A be a 1-cocycle of A. Then there exists a unique Hopf algebra morphism φ : H R A with φ B = L φ. This will be generalized to the case of several 1-cocycles with the help of decorated rooted trees. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? H R is graded by the number of vertices and B is homogeneous of degree 1. Let Y = B γ (f (Y )) be a Dyson-Schwinger equation in a suitable Hopf algebra of H FG, such that γ = 1. There exists a Hopf algebra morphism φ : H R H FG, such that φ B = B γ φ. This morphism is homogeneous of degree 0. Let X be the solution of X = B(f (X)). Then φ(x) = Y and for all n 1, φ(x(n)) = Y (n). Consequently, if the subalgebra generated by the X(n) s is Hopf, so is the subalgebra generated by the Y (n) s. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Definition Let f (h) K [[h]]. The combinatorial associated to f (h) is: X = B(f (X)), where X lives in the completion of H R. This equation has a unique solution X = X(n), with: X(1) = p 0, n X(n + 1) = p k B(X(a 1 )... X(a k )), k=1 a 1 +...+a k =n where f (h) = p 0 + p 1 h + p 2 h 2 +... Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? X(1) = p 0, X(2) = p 0 p 1, X(3) = p 0 p1 2 + p0 2 p 2, X(4) = p 0 p1 3 + p0 2 p 1p 2 + 2p0 2 p 1p 2 + p0 3 p 3. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Examples If f (h) = 1 + h: X = + + + + + If f (h) = (1 h) 1 : X = + + + + + 2 + + + + 3 + + 2 + 2 + + 2 + + + Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Let f (h) K [[h]]. The homogeneous components of the unique solution of the combinatorial Dyson-Schwinger equation associated to f (h) generate a subalgebra of H R denoted by H f. H f is not always a Hopf subalgebra For example, for f (h) = 1 + h + h 2 + 2h 3 +, then: So: X = + + + + 2 + 2 + + + (X(4)) = X(4) 1 + 1 X(4) + (10X(1) 2 + 3X(2)) X(2) +(X(1) 3 + 2X(1)X(2) + X(3)) X(1) +X(1) (8 + 5 ). Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? If f (0) = 0, the unique solution of X = B(f (X)) is 0. From now, up to a normalization we shall assume that f (0) = 1. Theorem Let f (h) K [[h]], with f (0) = 1. The following assertions are equivalent: 1 H f is a Hopf subalgebra of H R. 2 There exists (α, β) K 2 such that (1 αβh)f (h) = αf (h). 3 There exists (α, β) K 2 such that f (h) = 1 if α = 0 or f (h) = e αh if β = 0 or f (h) = (1 αβh) 1 β if αβ 0. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? 1 = 2. We put f (h) = 1 + p 1 h + p 2 h 2 +. Then X(1) =. Let us write: (X(n + 1)) = X(n + 1) 1 + 1 X(n + 1) + X(1) Y (n) +.... 1 By definition of the coproduct, Y (n) is obtained by cutting a leaf in all possible ways in X(n + 1). So it is a linear span of trees of degree n. 2 As H f is a Hopf subalgebra, Y (n) belongs to H f. Hence, there exists a scalar λ n such that Y (n) = λ n X n. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? lemma Let us write: X = t a t t. For any rooted tree t: λ t a t = t n(t, t )a t, where n(t, t ) is the number of leaves of t such that the cut of this leaf gives t. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? We here assume that f is not constant. We can prove that p 1 0. For t the ladder (B) n (1), we obtain: p n 1 1 λ n = 2(n 1)p n 2 1 p 2 + p n 1. Hence: λ n = 2 p 2 p 1 (n 1) + p 1. We put α = p 1 and β = 2 p 2 p1 2 1, then: λ n = α(1 + (n 1)(1 + β)). Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? For t the corolla B( n 1 ), we obtain: λ n p n 1 = np n + (n 1)p n 1 p 1. Hence: Summing: α(1 + (n 1)β)p n 1 = np n. (1 αβh)f (h) = αf (h). Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? X(1) =, X(2) = α, X(3) = α 2 ( (1 + β) 2 + ), ( X(4) = α 3 (1 + 2β)(1 + β) 6 X(5) = α 4 (1+3β)(1+2β)(1+β) 24 + (1+β)2 2 + (1+β) 2 + (1 + β) (1 + β) + 2 + (1 + β) + (1+2β)(1+β) + (1 + β) 2 + (1+2β)(1+β) 6 + (1+β) 2 + ) +,. Combinatorial and systems I Feynma

Hopf algebra of rooted trees Combinatorial When is H f a Hopf subalgebra? Particular cases If (α, β) = (1, 1), f = 1 + h and X(n) = (B) n (1) for all n. If (α, β) = (1, 1), f = (1 h) 1 and: X(n) = {embeddings of t in the plane}t. t =n Si (α, β) = (1, 0), f = e h and: X(n) = t =n 1 {symmetries of t} t. Combinatorial and systems I Feynma