arxiv: v1 [math.ra] 12 Dec 2011

Transcription

1 General Dyson-Schwinger equations and systems Loïc Foissy Laboratoire de Mathématiques, Université de Reims Moulin de la Housse - BP REIMS Cedex 2, France arxiv: v1 [mathra] 12 Dec 2011 ABSTRACT We classify combinatorial Dyson-Schwinger equations giving a Hopf subalgebra of the Hopf algebra of Feynman graphs of the considered Quantum Field Theory We first treat single equations with an arbitrary number eventually infinite of insertion operators we distinguish two cases; in the first one, the Hopf subalgebra generated by the solution is isomorphic to the Faà di Bruno Hopf algebra or to the Hopf algebra of symmetric functions; in the second case, we obtain the dual of the enveloping algebra of a particular associative algebra seen as a Lie algebra We also treat systems with an arbitrary finite number of equations, with an arbitrary number of insertion operators, with at least one of degree 1 in each equation Keywords Dyson-Schwinger equations; rooted trees; pre-lie algebras AMS classification 16W30; 81T15; 81T18; 05C05 Contents 1 Recalls 5 11 Hopf algebras of decorated trees 5 12 Gradation and graded dual 5 13 The Faà di Bruno Hopf algebra 6 2 Definitions of Hopf systems 7 21 Definitions 7 22 Simplification of the hypotheses 8 23 Structure constants associated to a Hopf SDSE 9 3 Case of a single equation Non constant formal series Constant formal series in Dyson-Schwinger equations 12 4 Pre-Lie structures associated to Hopf Dyson-Schwinger equations The Faà di Bruno pre-lie algebra Morphisms of pre-lie algebras Pre-Lie algebra associated to an equation of the second type 18 5 Generalization of Hopf systems Fundamental systems Quasi-cyclic systems 25 loicfoissy@univ-reimsfr; webpage: 1

2 Introduction Dyson-Schwinger equations are considered in Quantum Field Theory in order to compute the Green functions of the theory as series in the coupling constant More precisely, one considers a family of graphs, namely the Feynman diagrams These graphs are organised in a graded, connected Hopf algebra; the gradation is given by the number of loops of the graphs For any primitive Feynman diagram γ, one constructs an insertion operator B γ on this Hopf algebra, and thse operators are used to define a system of combinatorial equations satisfied by the expansion of the Green functions seen as series in Feynman graphs Let us give an example In QED, we consider three series in Feynman graphs, here denoted by, and these series These series satisfy the following system [19]:, according to the external structure of the graph appearing in = = = lγ B γ, γ 1 1 2lγ lγ B , 2 B The sum in the first equations run over the set of primitive Feynman graphs with the required external structure Such a system has a unique solution The homogeneous components of this solution generates a subalgebra of the Hopf algebra of Feynman graphs An important problem is to know if this subalgebra is Hopf or not; if the answer is affirmative, the next question is to describe this Hopf subalgebra and to relate it to already known obects This problem has been answered in the case of a single equation with a unique insertion operator in [5, 7], and in the case of systems with a unique insertion operator in each equation in [6, 8] These result does not answer the question for the example described earlier, as an infinite number of insertion operators appears in the first equation The aim of the present paper is to give an answer in the general case The key point is the fact that, as explained in [2, 4, 13, 14], at least in a convenient quotient of the Hopf algebra of Feynman graphs, the insertion operators satisfy the following 1-cocycle equation: for all x, B γ x = B γ x 1+Id B γ x This allows to replace Feynman graphs by decorated rooted trees and insertion operators by grafting operators, with the help of the universal property of the Connes-Kreimer Hopf algebra of rooted trees HCK J theorem 1 For example, for the preceding system, we work with trees decorated by the set J = {1,k k 1} {2,3} Any element of J gives rise to a grafting operator B, consisting of grafting the differents trees of a rooted forest decorated by J on a common root decorated by Using the universal property, we can now consider the system 2

3 defined on H J CK : Here are the first terms of the solution: x 1 = 1+x 1 1+2k B 1,k 1 x 2 k 1 x 3 2k k 1 1+x1 2 x 2 = B 2 1 x 3 2, 1+x 1 2 x 3 = B 3 1 x 2 1 x 3, x 1 = 1,1+3 1,1 1, , ,1 + 1,2 +9 1,1 1,1 2 1,1 +3 1,1 1,1 1, ,1 3 1,1 +6 1,1 1, , ,1 1, , , ,1 3 1,1 +3 1,2 1,1 +5 1,1 1, , ,2 + 1,3+ 1, , , ,1 x 2 = , , , , ,1 +4 1, ,1 21, , ,2 + x 3 = , ,1 3 1, , , , ,1 31, ,1 +2 1, ,2 + The degree of the decorations 1, 1, 2 and 3 is 1, the degree of the decoration 1, 2 is 2 and the degree of the decoration 1,3 is 3 The universal property allows to construct a Hopf algebra morphism sending x 1 to, x 2 to, and x 3 to Up to a simplification of the hypotheses see section 22, we can now consider without loss of generality systems of the form: S : i I,x i = B i, f i, x k,k I, J i defined on the Hopf algebra H J CK, the set J being of the form i IJ i, where I is a finite set and for all i I, J i N ; the f i, are formal series The grafting operator B i, appearing in this system is homogeneous of degree We treat in the third section of this text the case of a single equation, that is to say when I = 1 We obtain two possibilities theorem 12: 1 There exists λ,µ K, such that the equation has the form: x = J B 1 µxqx i, where Qx = 1 µx λ/µ if µ 0 and Qx = e λx if µ = 0 3

4 2 There exists m 1 and α K such that the equation has the form: x = J m B 1+αx+ J m/ B 1 We prove that such an equation indeed give a Hopf subalgebra H S, and give a description of H S in the fourth section By the Cartier-Quillen-Milnor-Moore theorem [1, 15], it is the dual of an enveloping algebra, and it turns out that the underlying Lie algebra g has a complementary structure: it is pre-lie, that is to say there is a not necessarily associative product, satisfying for all x,y,z g: x y z x y z = y x z y x z The Lie bracket is the antisymmetrization of This pre-lie algebra has a basis e i i 1 if in the equation appears a grafting operator of degree 1; if not, the set of indices can be strictly included in N In the first case, the pre-lie product is given by e i e = λ µe i+ If λ 0, this is isomorphic as a Lie algebra to the Faà di Bruno Lie algebra corollary 20 Hence, the Hopf subalgebra generated by the solution of the equation is isomorphic to the Faà di Bruno Hopf algebra, that is to say the coordinate ring of the group of formal diffeomorphisms tangent to the identity at 0 If λ = 0, g is abelian, and the Hopf subalgebra generated by the solution is isomorphic to the Hopf algebra of symmetric functions In the second case, is associative, given by e i e = αe i+ if is a multiple of m and 0 otherwise proposition 21 We treat the case of systems in the last section We assume here that in any equation of the system we consider, a grafting operator homogeneous of degree 1 appears Then the formal series of the system are entirely determined by the formal series correponding to these grafting operators of degree 1 By the classification for Dyson-Schwinger systems with a single operator by equation obtained in [6], we can obtain two types of systems, called fundamental and quasicyclic The description of the other formal series is done in theorem 23 and proposition 25 Here is a typical example of a fundamental system see corollary 24: here, I = I 0 J 0 K 0, and: x i = B i,q 1 β i x i 1 β x 1+β q β 1 x q, if i I 0, q J i I 0 J 0 x i = B i,q 1 x i q J i I0 x i = B i,q 1 β x 1+β q β q J i I0 1 β x 1+β β q 1 x q if i J 0, J 0 1 x q if K 0 J 0 Here is a typical example of a quasi-cyclic system: I = Z/NZ, and for all i I: x i = JiB 1+x i+ Notations Let K be a field of characteristic zero Any vector space, algebra, Hopf algebra, Lie algebraof this text will be taken over K Acknowledgements The author would like to thank Karen Yeats and the Simon Fraser University for their hospitality in une

5 1 Recalls 11 Hopf algebras of decorated trees Let J be a nonempty set A rooted tree decorated by J is a couple t, d, where t is a rooted tree, that is to say a connected finite graph without loop, with a special vertex called the root, and d is a map from the set of vertices of t into J For example, here are the decorated rooted trees with k 4 vertices the root is the vertex at the bottom of the graph: b ac a; a J, a b, a,b J 2 ; b c ad d ac b = c ab d = = c ad b, = c d b a, c bd a = c ab, a bc, a,b,c J 3 ; d = bc a, d c a b, a,b,c,d J 4 The Hopf algebra HCK J of rooted trees decorated by J [4, 13] is, as an algebra, freely generated by the set of these trees As a consequence, a basis of HCK J is given by the set of monomials in these trees, which are called rooted forests decorated by J For example, here are the rooted forests with k 3 vertices: 1,, a,a J, a b, a b = b a,a,b J 2, a b c = a c b = = c b a, a b c = b c a, b ac ab = c, a b c, a,b,c J 3 Let t be a rooted tree decorated by J An admissible cut of t is a nonempty choice c of edges of t such that any path in t from the root to t to a leaf meets at most one edge in c Deleting these edges, t becomes a forest W c t One of the trees of this forest contains the root of t: it will be denoted by R c t The product of the other trees of W c t is denoted by P c t The coproduct of HCK J is then defined for all tree t by: t = t 1+1 t+ P c t R c t Here is an example of coproduct: a a b c b d = d c a b 1+1 d c c admissible cut of c + b a d c b + a dc + c a d b + b a c d + a c d b For all J, let B : HCK J HJ CK, sending a forest decorated by J to the tree obtained by grafting the trees of this forest on a common root decorated by For example, B k i l = l k i It is proved in [4] in the non decorated version that for all J, for all x HCK J, B x = B x 1+Id B x In other words, B is a 1-cocycle for the Cartier-Quillen cohomology Moreover, the following universal property is satisfied: Theorem 1 Let A be a Hopf algebra and for all J, let L : A A be a 1-cocycle of A There exists a unique Hopf algebra morphism φ : HCK J A such that for all J, φ B = L φ 12 Gradation and graded dual We now assume that J is a graded, connected set, that is to say J is given a map deg : J N for any J, deg will be called the degree of In this case, HCK J becomes a graded Hopf algebra, the decorated forests being homogeneous of the degree given by the sum of the degrees of their decorations For this gradation, B si homogeneous of the same degree as 5

6 Let us consider a convenient quotient of a Hopf algebra H of Feynman graphs and let γ J be a family of primitive Feynman graphs of H We give a gradation to J by putting J of degree the number of loops of γ By the universal property, there exists a unique Hopf algebra morphism φ from HCK J to H, such that φ B = B γ φ for all J It is not difficult to show that this morphism is homogeneous of degree 0 As a consequence, it is possible to lift any systems of Dyson-Schwinger equations using the insertion operators B γ to a system of Dyson-Schwinger equations in HCK J using the operators B Hence, φ sends the homogeneous components of the solution of these equations in HCK J to the homogeneous components of the solution in H Consequently, if these components generate a Hopf subalgebra of HCK J, it is also the case in H If for all n 1, the number of elements of J of degree n is finite, then the homogeneous components of HCK J are finite-dimensional So the graded dual HJ CK of HCK J is also a Hopf algebra As HCK J is graded, connected, commutative, HCK J is graded, connected, cocommutative By the Cartier-Quillen-Milnor-Moore theorem, it is the enveloping algebra of a certain Lie algebra g J CK To any rooted tree t decorated by J, we associate a linear form on HJ CK also denoted by t by t,f = s t δ t,f for any rooted forest F decorated by J, where s t is the number of symmetries of t Then the set of rooted trees decorated by J becomes a basis of g J CK By similarity with the non-decorated situation of [4], the bracket of g J CK is given by: [t,t ] = grafting of t over t graftings of t over t This bracket is the antisymmetrization of the product defined by: c For example, a bd = c a bd a c + b that is to say, for all x,y,z g J CK : t t = grafting of t over t d + c b a d This product is not associative, but is left pre-lie, x y z x y z = y x z y x z By the results of [3], g J CK is the free pre-lie algebra generated by the s, J For more details on the Hopf algebra H J CK, see section 4 Remark The solutions of Dyson-Schwinger equations are not elements of HCK J : we have to complete this space, in the following sense We consider the case where J is a graded, connected set, in such a way that HCK J is a graded, connected Hopf algebra The valuation val on HJ CK associated to this gradation induces a distance on HCK J defined by dx,y = 2 valx y The space HCK J is not complete for this distance; the completion of HJ CK is the space of formal series in rooted trees decorated by trees So elements of this completion can uniquely be written under the form a F F, where the sum runs over all rooted forests F decorated by J 13 The Faà di Bruno Hopf algebra Let us consider the group of formal diffeomorphisms of the line tangent to the identity: G FdB = {x+a 1 x 2 +a 2 x 3 + i 1,a i K} The product of this group is the usual composition of formal series The Faà di Bruno Hopf algebra H FdB is the co-opposite of the coordinate ring of G FdB As an algebra, it is the free associative, commutative algebra generated by the x i s, 1, where: { x i : G FdB K x+a 1 x 2 + a i 6

7 The coproduct is defined by ff 1 F 2 = ff 2 F 1, for all f H FdB, for all F 1,F 2 G FdB For example: x 1 = x x 1, x 2 = x x 2 +2x 1 x 1, x 3 = x x 3 +2x 2 x 1 +3x 1 x 2 +x 2 1 x 1 It is a graded, connected, commutative Hopf algebra By the Cartier-Quillen-Milnor-Moore theorem, its dual is an enveloping algebra The underlying Lie algebra has a basis e i i 1, dual to the x i s, and the Lie bracket is given by [e i,e ] = ie i+ One can also define a product on this Lie algebra by e i e x k = e i e x k for all i,,k 1 This gives e i e = +1e i+ This product is pre-lie and induces the Lie bracket by antisymmetrization 2 Definitions of Hopf systems 21 Definitions Definition 2 1 Let us choose a finite, non-empty set I For any i I, let J i be a graded, connectet set We put J = {i, i I, I i } and we work in the Hopf algebra HCK J of rooted trees decorated by J It is a graded Hopf algebra, the degree of the decoration i, being the degree of 2 For all i I, for all J i, let f i, K[[h k,k I]] The system of Dyson-Schwinger equations associated to these data is: S : i I,x i = B i, f i, x k,k I J i 3 This system has a unique solution in the completion of H J CK, denoted by x = x i i I For all i I, for all n 1, the homogeneous component of degree n of x i is denoted by x i n If the subalgebra H S generated by the x i n s is Hopf, we shall say that the system is Hopf Notations 1 We shall often take I = {1,,N} For all i,q J, we put: f i,q = 1 hp N a i,q p 1,,p N hp 1 p 1,,p N 2 The coefficient of h in f i,q is also denoted by a i,q ; the coefficient of h h k in f i,q is also denoted by a i,q,k, and so on N The unique solution of S is denoted in the following way: for all i I, x i = a t t, where the sum is over all trees with a root decorated by an element i,x, with x J i The coefficients a t are computed inductively: If t = i,q, a t = a i,q 0,,0 If t = B i,q t p 1,1 1,1 tp 1,k 1 1,k 1 t p N,1 N,1 tp N,k N N,k N, where the t i, s are different trees, the root of t i, being decorated by an element i,x with x J i : a t = a i,q N p 1,1 ++p 1,k1,,p N,1 ++p N,kN l=1 p l,1 ++p l,kl! p l,1!p l,kl!,k a p,k t,k 7

8 22 Simplification of the hypotheses We shall only consider systems with non-zeros x i s If x i = 0, we can forget one equation and send h i to zero in all the formal series which appear, and this gives a system with a strictly smaller number of equations, giving the same subalgebra In this case, for all i I, x i is a non-zero infinite span of rooted trees with roots decorated by elements of the form i,, J i Consequently, the x i s are algebraically independent Lemma 3 Let S be a Hopf SDSE, and let i, J If f i, 0 = 0, then f i, = 0 Proof As f i, 0 = 0, i, / H S Moreover, the term f i, x k,k I i, appears in the coproduct of x i, so is an element of the completion of H S H S As i, / H S, we deduce that f i, x k,k I = 0 As the x i s are algebraically independent, f i, = 0 Remark So we shall assume in the sequel that for any i, J, f i, 0 0 Up to a normalization, we shall assume that f i, 0 = 1 for all i, I Lemma 4 Let S be a Hopf SDSE Let us fix i I If,k I i have the same degree, then f i, = f i,k Proof Let n = deg = degk The coefficients of i, and i,k in x i n are both equal to 1 So in any element of H S, The coefficients of i, and i,k in x i are equal Let us put: x i = x i 1+ y t t, where the sum is over all the rooted trees with a root decorated by i,, J i As x i is in the completion of H S H S, y i, = y i,k Moreover: f i, x l,l J = y i, = y i,k = f i,k x l,l J As the x i s are algebraically independent, f i, = f i,k Hence, as a consequence, if S is a Hopf system, it can be written as: i I, x i = B i, f i,n x k,k I, n 1 J i,deg=n }{{} B i,n where f i,n is any f i, such that deg = n Finally, it is enough to consider only the Hopf SDSE such that J i N for all i I, the degree being the canonical inclusion of J i into N Proposition 5 Let S be a SDSE of the form: S : i I,x i = B i, f i, x k,k I, J i with for all i I, 1 J i N The truncation at 1 of S is the SDSE: S : i I,x i = B i,1 f i,1 x k,k I If S is Hopf, then S is also Hopf Proof Let φ : HCK J HJ CK being the proection on HJ CK sending any forest with at least a vertex decorated by an element i,, 1, to zero It is clearly a Hopf algebra morphism Moreover, φx = x, so φh S = H S As a consequence, if H S is Hopf, H S also is 8

9 23 Structure constants associated to a Hopf SDSE Let S be a SDSE For any decorated rooted tree, we denote by a t the coefficient of t in the unique x i where it may appear Proposition 6 Let S be a SDSE If it is Hopf, then for any i,i I, q J i, for any n N, there exists λ i,i,q n such that for all t of degree n, with the root decorated by an element i,, J i : λ i,i,q n a t = n i,qt,t a t, t where n i,q is the number of leaves s of t decorated by i,q such that the cut of s gives t Proof A basis B of H S is given by the monomials in the x k p s As x i is an element of the completion of H S H S, it can be written in the basis B B The unique element of this basis where i,q t appears is x i q x i n Let us denote by λ i,i,q n the coefficient of this element in x i Identifying the coefficient of i,q t in x i and λ i,i,q n x i q x i n in the tensor basis of forests, we obtain: λ i,i,q n a t = t n i,qt,t a t, by definition of the coproduct Remark The converse is true; the proof uses the fact that the dual Hopf algebra of the Hopf algebra of rooted tree is the enveloping algebra of a free pre-lie algebra This result will not be used here Lemma 7 Let S be a Hopf SDSE, such that 1 J i for all i I = {1,,N} For all i I, q J i, we put: f i,q = a i,q p 1,,p N hp 1 1 hp N N p 1,,p N Then for all p 1,,p N N N, for all i, {1,,N}, for all q I i : a i,q p 1,,p +1,,p N = 1 λ i,,1 p +1 p 1 ++p n+q N l=1 a l,1 p l a i,q p 1,,p N Proof We apply the preceding lemma with t = B i,q p 1 1,1 p N N,1 It gives: λ i,,1 p 1 ++p a n+q t = p +1a Bi,q p 1 1,1 p +1,1 p N N,1 N + a Bi,q p 1 1,1 p l 1 l,1 p N,1 N,1 l,1 l=1 Computing the different coefficients a t appearing in this formula, we obtain immediately the result Remarks 1 As a consequence, if a i,q p 1,,p N = 0, then ai,q p 1,,p N = 0 if for all n, p n p n In particular, if f i,q is not constant, there exists J such that a i,q 0 9

10 2 Using the results of [6], if for all i J, 1 I i and there are no constant f i,1, the SDSE x i = B i f i,1 x i for all i I generates a Hopf subalgebra and this allows to compute the coefficients λ i,,1 n from the coefficients a i,1 and a i,1,k they are the coefficients λ n i, of [6] Consequently, the formal series f i,1 determine uniquely all the formal series f i,q 3 It is possible to prove that λ i,,q n sequel does not depend on q This will not be used in the 3 Case of a single equation We here treat the case of a single equation, that is to say that I is reduced to a single element As a consequence, the indices i are not needed, as they are all equal The equation shall now be written as: x = B f x, J where J N and for all J, f 0 = 1 We shall also write λ n instead of λ n i,i,, for any J We put, for all J: f = a n h n n=0 The unique solution can be written as x = a t t, where the sum is over all trees decorated by J, the coefficients a t being inductively computed as follows: a = 1 for all J If t = B t p 1 1 tp k k, where t 1,,t k are different trees, then: 31 Non constant formal series a t = a p 1 ++p k! p 1 ++p k a p 1 t p 1!p k! 1 a p k t k Lemma 8 Let us consider i J, such that f i is non constant There exists α i,β i K, with α i 0, such that for all J, for all n 1: Moreover: f i = k=0 λ ni = α i 1+1+β i n 1 { α k i 1+β i1+k 1β i h k = k! e α ih if β i = 0, 1 α i β i h 1/β i if β i 0 Proof Let us apply proposition 6 with t = B i i n and = i The only trees t such that n i t,t 0 are B i i n+1 and B i i n 1 i i, so: Equivalently: λ i in+1 ai n = n+1a i n+1 +nai 1 ai n a i n+1 = 1 n+1 λ i in+1 nai 1 a i n 1 Hence, if a i 1 = 0, an easy induction proves that a i n = 0 for all n 1, so f i is constant: this is a contradiction So a i

11 Let us now apply proposition 6 with t = Bi n 1, that is to say the ladder with n vertices all decorated byi The treest such thatn t,t 0 arebi n B 1, Bi n 1 i andbi k Bi n k 1, 1 k n 2 So: λ ni a i n 1 1 = a i n n 2a 1 +2n 1 a i i 1 2 As a i 1 0, λ ni = a i ai 2 a i 1 n 1 We then take α i = a i 1 and β i = 2ai 2 2 1, and the assertion on λ ni is now proved Replacing in 1, we obtain for all n 1: a i n+1 = 1 n+1 α i1+β i na i n a i 1 The formula for the coefficients of f i is the proved by an easy induction Lemma 9 There exists λ,µ K, such that if f i is non constant, then α i = λi µ 0 and β i = µ λi µ Proof We denote by J be the set of indices i J such that f is non constant Let i, J Let us compute λ ni in two different ways: λ ni = λ ni = α i 1+1+β i n 1 = nα i 1+β i α i β i, = λ ni = niα 1+β α β As this is true for all n 1, we deduce that α i β i = α β and α i 1+β i = iα 1+β for all i, J From the first equality, we deduce that there exists µ K, such that α i β i = µ for all i J The second equality implies that the vectors α i 1+β i i J and i i J are colinear, so there exists λ K, such that α i 1+β i = λi for all i J Hence, α i +µ = λi 0 as f i is not constant, and β i = µ/α i Let us sum up these results If i J, such that f i is not constant, then: This gives: f i = { 1 µh λi µ +1 if µ 0, e λih if µ = 0 Proposition 10 Let E be a Hopf Dyson-Schwinger equation Then J can be written as J = J J, and there exists λ,µ K, λ 0, such that if we put: Qh = { 1 µh λ µ if µ 0, e λh if µ = 0, then: E : x = J B 1 µxqx i + J B 1 11

12 32 Constant formal series in Dyson-Schwinger equations We first treat three particular cases Lemma 11 1 Let us consider a Dyson-Schwinger equation of the form: x = B i 1+B fx, with f non constant If it is Hopf, then there exists a non-zero α K, such that fh = 1+αh or fh = 1 α i i i h i 2 Let us consider a Dyson-Schwinger equation of the form: x = B i 1+B fx+b k gx, with f,g non constant If it is Hopf, then there exists a non-zero α K, such that f = 1 αih i +1 and g = 1 αih k i +1 or f = g = 1+αh 3 Let us consider a Dyson-Schwinger equation of the form: x = B i 1+B 1+B k fx, where f is non constant Then there exists a non-zero α K, such that f = 1+αh Proof 1 From lemma 8, there exists α = α,β = β K, such that for all n 1: λ i n = λ n = α1+1+βn 1 = α1+βn αβ Moreover, f = 1 αβh 1 β if β is not equal to 0 and e αh if β = 0 We define inductively a family of trees by t 1 = i and t n+1 = B it n for all n 1 For example, t 2 = i i For all n 1, t n is a tree with n vertices decorated by i and n vertices decorated by Applying proposition 6 to t n, we obtain: λ i ni+ 1+βn 1 = n 11+2β1+β n 1 +1+β n Let us assume that β 1 Then λ k ni+ = n 11+2β+1+β = n1+2β β We now compute λ k i+ in two different ways: λ i i+ = λ i i+ = α1+βi+ αβ, = λ i i+ = α1+2β αβ Hence, 1 + βi + = 1 + 2β, so β = i i i As a conclusion, β = 1 or fh = 1+αh or 1 α i i i h i i, therefore 2 Restricting to i and that is to say sending all the forests of HCK J with at least one vertex i not decorated by i or to zero, from the first point, f = 1+αh or 1 α i i h i ; restricting i k to i and k, g = 1+α h or 1 α i k i h i Let us now restrict to and k, using proposition 10: µ cannot be equal to zero, so f = 1 µh λ µ +1 and g = 1 µh λ k µ +1 Identifying the two expressions of f and g, we obtain two possibilities: 12

13 λ µ +1 = 1 or λk µ +1 = 1 Then λ = 0 and f = g = 1 µh λ µ + 1 = i i and λ k µ + 1 = i k i As k, this implies that λ µ = 1/i So µ = λi, f = 1 λih i +1 and g = 1 λih k i +1 i k 3 Let us restrict to i and k From the first point, fh = 1+αh or fh = 1 α i k i h i We then restrict to and k and we obtain fh = 1 + αh or fh = 1 α As i k i k, necessarily f = 1+αh Theorem 12 Let E be a Hopf Dyson-Schwinger equation of the form: x = B f x, J k h k where J N and f 0 = 1 for all J Then one of the following assertions holds: 1 there exists λ, µ K such that, if we put: { Qh = 1 µh λ µ if µ 0, e λh if µ = 0, then: E : x = J B 1 µxqx 2 There exists m 0 and α K {0} such that: E : x = J m Proof From proposition 10, we can write: B 1+αx+ J m/ E : x = J B 1 µxqx i + B 1 J B 1 If J =, we obtain the first case Let us assume that J If it contains at least two elements i and, then restricting to i, and any k J we deduce from the third point of lemma 11 that f k = 1+α k h for any k J, where α k K Restricting then to i and any k,l J, the second point of lemma 11 implies that α k = α l So we are reduced to: E : x = J B 1+αx+ J B 1 2 If J contains a unique element i, restricting to i and,k J = J {i}, the second point of lemma 11 implies that there are two possibilities: First case: E : x = J {i} B 1 αix i +1 +B i 1 Noticing that /i + 1 = 0 if = i, this is the first case, with µ = αi = λi Second case: E = This is an equation of the form 2 J {i} B 1+αx+B i 1 13

14 It remains now to consider the case of an equation of the form 2 Then: x = α k 1 B i1 B ik 1 + α k 1 B i1 B ik 1 k=1i 1,,i k J } k=1i 1,,i k 1 J {{},i k J } {{} x x It is not difficult to see that x = x 1+1 x +αx x and x = x 1+1 x +αx x, so: x = x 1+1 x+αx x Finally, taking the homogeneous component of degree n: n 1 xn = xn 1+1 xn+ αxn k x k As a consequence, the equation E is Hopf, if and only if, for all k 1, x k is colinear to xk As xk = x k + x k and the ladders which may appear in x and x are different, this is equivalent to the following assertion: for all k 1, x k = 0 or x k = 0 Let us consider the subgroup of Z,+ generated by the elements of J it is equal to mz for a well-chosen m 0 All the elements of J are multiples of m Let us assume that there exists J, such that m By definition of m, there exists 1,, n J, λ 1,,λ n Z, such that λ λ n n = Writing this equality in a different way, there exists i 1,,i k,i 1,,i l J, µ 1,,µ k,µ 1,,µ l > 0, such that µ 1i 1 ++µ k i k = µ 1 i 1 ++µ l i l+ So any ladder l with µ 1 vertices decorated by i 1,, µ k vertices decorated by i k and any ladder l with µ 1 vertices decorated by i 1,, µ l vertices decorated by i l and its leaf decorated by have the same degree m So x m and x m are both non zero, and E is not Hopf Hence, m divides no J Finally, E can be written as in the second case Remarks 1 In the first case, for any values of λ and µ: λλ+µλ+n 1µ Qh = h n, n! f x = n=0 n=0 k=1 λ µλλ +µλ +µn 2 h n n! 2 In the second case, if m divides n, then x n = 0; if m does not divide n, then x n = 0 From the preceding proof, the second case gives indeed a Hopf subalgebra Moreover, for all n: n 1 xn = xn 1+1 xn+α xn k xk 3 3 The first and second cases are not disoint A first case with λ = 0 is also a second case with m = 1 k=1 m k 4 Pre-Lie structures associated to Hopf Dyson-Schwinger equations We now prove that the equations of theorem 12 are Hopf 14

15 41 The Faà di Bruno pre-lie algebra Let g FdB = Vecte i i 1 and let λ,µ K One defines a pre-lie product on g FdB by e i e = λ µe i+ It is graded, e i being homogeneous of degree i for all i 1 Remarks 1 The associated Lie bracket is given by [e i,e ] = λ ie i+, so does not depend of µ 2 Ifλ = 1 and µ = 1, this pre-lie algebra is precisely the dual Lie algebra of H FdB Ifλ 0 and µ = λ, these two pre-lie algebras are isomorphic; if λ 0, they are isomorphic as Lie algebras only In this case, the graded dual of the enveloping algebra of g FdB is isomorphic to the Faà di Bruno Hopf algebra H FdB We shall use the following result: Theorem 13 [9, 16] Let g, a pre-lie algebra Let S + g the augmentation ideal of Sg One can extend the product to S + g in the following way: if a,b,c S + g, x g, a 1 = εa, 1 b = b, xa b = x a b x a b, a bc = a ba c We define a product on S + g by a b = a a b, with the Sweedler notation a = a a This product is extended to Sg, making 1 the unit of With its usual coproduct, Sg is a Hopf algebra, isomorphic to Ug via the isomorphism: Φ g : { Ug Sg, v g v Let us start by g J CK Here, a basis of SgJ CK is given by the set of rooted forests decorated by J Proposition 14 Let F = t 1 t n,g be two decorated forests Then: F G = graftings of t 1 over s 1,, t n over s n s 1,,s n G Proof By induction on n Let us start with n = 1 We put G = s 1 s m and we proceed inductively on m If m = 1, it is the definition of on g J CK Let us assume the result at rank m 1 We put G = s 1 s m 1 Then: t 1 G = t 1 G s m = t 1 G s m +G t 1 s m = s G grafting of t 1 over ss m + = s G grafting of t 1 over s s s m G grafting of t 1 over s 15

16 So the result is true at rank 1 Let us assume it at rank n 1 We put F = t 2 t n Then: F G = t 1 F G t 1 F G = grafting of t 2 over s 2,, t n over s n, t 1 over s = = s 2,,s n Gs F G s 2,,s n G s 2,,s n Gs G s 1,,s n G grafting of t 2 over s 2,, t n over s n, t 1 over s s F grafting of t 2 over s 2,, t n over s n, t 1 over s grafting of t 1 over s 1,, t n over s n So the result is true for all n Corollary 15 If F = t 1 t m and G are decorated forests, then: F G = m k=01 i 1 <<i k ms 1,,s m G grafting of t 1 over s 1,, t k over s k i i 1,,i k t i This Hopf algebra is known as the Grossman-Larson Hopf algebra [10, 11] Extending the pairing between trees and forests defined in section 1, it is isomorphic to the graded dual of HCK J, via the pairing: { Sg J, : CK HCK J K F,G s F δ F,G, where F,G are two forests and s F is the number of symmetries of F [12, 17] Let us now consider the Faà di Bruno pre-lie algebra Proposition 16 In Sg FdB : e i1 e im e = λ µλλ +µλ +m 2µe i1 ++i m+ Proof We put P m = λ µλλ +µλ +m 2µ We proceed inductively on m If m = 1, it is the definition of the pre-lie product of g FdB Let us assume the result at rank m 1 Then: e i1 e im e = e i1 e i2 e im e e i1 e i2 e im e m = P m 1 e i1 e i2 ++i m+ λi k µe i2 e i1 +i k e im e k=2 = P m 1 λi 2 ++i m + µe i1 ++i m+ m P m 1 λi k µe i1 ++i m+ k=2 = P m 1 λi 2 ++i m + i 2 i m µ+m 1µe i1 ++i m+ = P m e i1 ++i m+ So the result is true for all n 16

17 42 Morphisms of pre-lie algebras Let us choose a set J N As g J CK is the free pre-lie algebra generated by the s, there is a unique pre-lie algebra morphism: { g φ : J CK g FdB, J e Lemma 17 For all decorated rooted tree t, µ t K, φt = µ t e t the coefficients µ t can be inductively computed in the following way: 1 µ = 1 2 Let t = B t 1 t m, with m 1 Then: µ t = µ t1 µ tm λ µλλ +µλ +m 2µ Proof We extend φ in a Hopf algebra morphism from Sg J CK to Sg FdB Then, φa b = φa φb for any a,b Sg J CK The first point is obvious For the second point: φt = φt 1 t m = φt 1 φt m φ = µ t1 µ tm e t1 e tm e = µ t1 µ tm λ µλλ +µλ +m 2µe t1 ++ t m + = µ t1 µ tm λ µλλ +µλ +m 2µe t So the announced result holds Lemma 18 or µ λ 1 If λ 0, the morphism φ is surective if, and only if, 1 J and 2 J 2 If λ = 0, the morphism φ is surective if, and only if, µ 0 and 1 J or J = N Proof There is a unique tree decorated by N of degree 1, which is 1 By homogeneity, Imφ 1 = 0 if 1 / J So if φ is surective, 1 J There are two trees decorated by N of degree 2, which are 2 and 1 1 Moreover, φ 1 1 = λ µe 2 Therefore, if 2 / J and λ = µ, then Imφ 2 = 0 As a consequence, if φ is surective, µ λ or 2 J If λ = µ = 0, then φt = 0 if t is not reduced to a single root, and φ i = e i for all i J So Imφ = Vecte i i J As a consequence, if λ = µ = 0, then φ is surective if, and only if, = N These three observations prove = in both cases 1 = Let us first assume that 1 J and µ λ Let us prove by induction that e n Imφ This is obvious for n = 1 If e n 1 Imφ, then e n 1 φ 1 = e n 1 e 1 = λ µe n Imφ, so e n Imφ Hence, φ is surective Let us assume that 1,2 J and µ = λ Let us prove by induction that e n Imφ This is obvious for n = 1,2 If e 1,,e n 1 Imφ, then e n 2 φ 2 = e n 2 e 2 = λe n, so e n Imφ Hence, φ is surective 2 = If λ = 0, then for any tree t, there exists an integer m t such that φt = µ mt e t So, if µ 0 and 1 J, taking any tree with n vertices, all decorated by 1, e n Imφ Using the duality between Sg J CK dans HJ CK, we obtain a morphism of Hopf algebras φ from Sg FdB to HCK J More precisely: 17

18 Proposition 19 The image of φ is generated by the elements: yn = µ t t, n 1 s t t =n If λ 0 and 1 J and 2 J or µ λ, then Imφ is isomorphic to the Faà di Bruno Hopf algebra Remark The coefficients ν t = µt s t can be inductively computed in the following way: ν i = 1 If t = B i t p 1 1 tp k k ν t =, where p1,,p k are different trees, and putting m = p 1 ++p k : λ µλλ +µλ +m 2µ m! m! p 1!p k! νp 1 t 1 ν p k This implies that y = yn is the solution of the equation of theorem 12-1, λ and µ being the parameters chosen in the definition of g FdB As a consequence: Corollary 20 All the Dyson-Schwinger equations of the first case in theorem 12 are Hopf Moreover, if λ 0 and 1 J and 2 J or λ µ, the Hopf subalgebra associated to an equation of the first case is isomorphic to the Faà di Bruno Hopf algebra; if λ = 0 and µ 0 and 1 J or J = N, it is isomorphic to the Hopf algebra of symmetric functions Sym Remark In the general case, let us denote by J the set of indices i J such that xi 0 The dual Lie algebra inherits a dual basis e i i J, with [e i,e ] = λ ie i+, so it a Lie subalgebra of g FdB Dually, the Hopf subalgebra associated to an equation of the first case is isomorphic to a quotient of the Faà di Bruno Hopf algebra if λ 0 or a quotient of the Hopf algebra of symmetric functions if λ = 0 Example The following example comes from [2, 14, 18]: x = n 1B n 1+x n+1, t k where for all n 1, B n is a 1-cocyle of certain graded Hopf algebra, homogeneous of degree n This is a system of theorem 12, with λ = 1 and µ = 1, so it generates a Hopf subalgebra isomorphic to the Faà di Bruno Hopf algebra The isomorphism is given by: { HFdB H J CK x i xi 43 Pre-Lie algebra associated to an equation of the second type Proposition 21 Let us consider the following equation: with α K {0} We put: E : x = J m B 1+αx+ J m/ B 1, J = {a a k k k 1,a 1,,a k 1 N,a k {0,1}, 1,, k J,m 1,, k 1 } The subalgebra generated by the components of the solution of E is Hopf, and its dual is the enveloping algebra of a pre-lie algebra g The pre-lie product of g is given in a certain basis f i i J by: { 0 if m/, f i f = f i+ if m It is associative 18

19 Proof We already proved that these equations are Hopf, see 3 For all n N, xn is a linear span of ladders of degree n, such that the vertices are decorated by elements of J, all multiples of m, except maybe the decoration of the leaf It is then clear that J is the set of indices n such that xn 0 As a consequence, the dual pre-lie algebra inherits a dual basis e i i J By homogeneity, e i e = η i, e i+, for a certain scalar η i, Using the duality and 3: η i, = e i e xi+ = e i e xi+ i+ 1 = e i e xi+ 1+1 xi++α xi+ k xk = { 0 if m/, α if m Let us take i,,k J k=1 m k e i e e k = e i e e k = { α 2 e i++k if m and m k, 0 if not; { α 2 e i++k if m and m +k, 0 if not So the pre-lie product is associative We now put f i = 1 α e i The assertion on these elements is easily proved Remark J = N if, and only if, 1,,m J 5 Generalization of Hopf systems 51 Fundamental systems Notations 1 For any β K, we put: F β h = 2 For all β 1: k=1 1+β1+n 1β x k = n! F β 1+βh = 1+β k=0 so we shall put F β 1+βh = 1 if β = 1 1+β { 1 βh 1 β if β 0, e h if β = 0 1+β1+nβ h n, n! We first recall the definition of an extended fundamental SDSE [6]: Definition 22 An extended fundamental SDSE has the following form: II is a set with a partition I = I 0 J 0 K 0 L 0 I 1 J 1 E, such that: any part of this partition may be empty I 0 J 0 is not empty We define a SDSE in the following way: 19

20 1 For all i I 0, there exists β i K, such that: f i = F βi h i F β 1+β h F 1 h 1+β J 0 I 0 {i} 2 For all i J 0 : f i = I 0 F β 1+β 1+β h J 0 {i} F 1 h 3 For all i K 0 : f i = I 0 F β 1+β 1+β h J 0 F 1 h 4 For all i L 0, there exists a family of scalars a i 1+β or J 0, a i 1 or K 0, a i 0 f i = I 0 F β a i a i h F 1 a J i 0 a i h 5 For all i I 1, there exists ν i K, a family of scalars and, if ν i 0: if ν i = 0: f i = 1 ν i I 0 F β ν i a i I 0 J 0 K 0, such that I 0, a i K 0 F 0 a i a i h I 0 J 0 K 0, such that ν i 1 ν i a i h F 1 ν i a i ν J 0 i a i h F 0 ν i a i h +1 1 ; ν i K 0 f i = a i ln1 β h a i ln1 h + a i β h +1 I 0 J 0 K 0 6 For all i J 1, there exists ν i K {0}, a family of scalars conditions: L i 0 = { L 0 /a i 0} is not empty a i For all,k L i 0, f = f k In particular, we put c i t = a t t I 0 J 0 K 0 L 0, with the following for any L i 0, for all Then: f i = 1 ν i F β I 0 c i 1 β K 0 F 0 c i h c i 1 β h + L i 0 a i h +1 1 ν i J 0 F 1 c i 1 c i 1 h 7 For all i E, if a i 0 and a i k 0, then f = f k ; moreover: f i = 1+ I a i h The elements of E are called extension vertices 20

21 Moreover, there is a notion of level of a vertex with the following properties: If a i 0, then the level of i is 0 or 1 if, and only if, the level of is 0 Let N 2 If a i 0, then the level of i is N if, and only if, the level of is N 1 In the preceding description, the level of the vertices in I 0 J 0 K 0 L 0 is 0 The level of the vertices in I 1 J 1 is 1 The level of an extension vertex is at least 1 The coefficients λ i, n = λ i,,1 n { λ i, n = have been computed in [6] They satisfy: a i if n = 1, ã i +b n 1 if n > leveli, where the coefficients b, a i and ã i are given in the following arrays: b : I 0 J 0 K 0 L 0 I 1 J 1 E b 1+β a i : ã i : \i I 0 J 0 K 0 L 0 I 1 J 1 E I δ i, β 1+β 1+β a i a i J δ i, 1 a i K a i a i a i c i 1 β /ν i a i c i 1/ν i c i /ν i L a i I a i J a i E a i \i I 0 J 0 K 0 L 0 I 1 J 1 E I δ i, β 1+β 1+β a i ν i a i J δ i, 1 a i ν i a i c i 1 K a i ν i a i a i a i a i c i 1 β ã i L I J E For the extension vertices, the way to compute ã i is the following Let us choose a i such that a i i 0 For all n 1, λ i, n+1 =, λi n In particular, if n > leveli: ã i +b n = ã i +b n 1 So ã i = ã i b With an induction on the level, this implies that ã i = 0 for any i J if L 0 I 1 J 1 E Theorem 23 Let S a Hopf SDSE such that the truncation at 1 gives a fundamental extended system Let us put: Qh = 1 β h 1+β β I 0 J 0 1 h 1 Then for all i I, there exists a formal series g i, depending only of the h s with I 0 J 0 K 0, such that if q > leveli, then f i,q = g i Q q In particular: c i ã i ã i 21

22 1 If i I 0, g i = 1 β i h i 2 If i J 0, g i = 1 h i 3 If i K 0, g i = 1 4 If i E, g i = Qh 1 Proof We apply lemma 7 As q > leveli, this gives: a i,q p 1,,p +1,,p N = In particular, for p 1 = = p N = 0, a i,q ã i +b p 1 ++p N +q 1 N l=1 a l,1 p l a i,q p 1,,p N = ã i + b q 1 If L 0 I 1 J 1 E, then ã i = b = 0, so a i,q = 0 and f i,q does not depend on h From now, we assume that p k = 0 if k L 0 I 1 J 1 E Let us take I 0 J 0 K 0 For all l I 0 J 0 K 0, a l = b, except perhaps if l = So: a i,q p 1,,p +1,,p N = This implies: = ã i +b p 1 ++p N +q 1 ã i +b q 1+ b a p N b p l + b a p l=1 a i,q p 1,,p N a i,q p 1,,p N f i,q = I 0 J 0 K 0 1 = I 0 1 β h ã b a i 1 β β ã h i b b a b b a 1 h ã J 0 }{{} g i 1 β h 1+β β 1 h 1 I 0 J 0 }{{} Qh q i +1 q K 0 e ã i h 4 In particular, if i, I 0 J 0 K 0, ã i = a i = b, except perhaps if i = In this case: g i = 1 b i a i i If i E, then ã i = 0 for all I, so: h i ã i b i i b i a i i = g i = 1+β β 1 β h I 0 1 β i h i if i I 0, 1 h i if i J 0, 1 if i K 0 J 0 1 h Hence, g i = Qh 1 In the particular case where L 0 = I 1 = J 1 = E = : 22

23 Corollary 24 Let us take I = I 0 J 0 K 0, with I 0 J 0 The following SDSE is Hopf: For all i I 0 : x i = B i,q 1 β i x i 1 β x 1+β q β 1 x q q J i I0 J 0 For all i J 0 : x i = B i,q 1 x i 1 β x 1+β q β 1 x q q J i I 0 J 0 For all i K 0 : x i = B i,q 1 β x 1+β q β 1 x q q J i I0 J 0 Example For the example of the introduction: x 1 = 1+x 1 1+2k B 1,k 1 x 2 k 1 k 1 x 3 2k, 1+x1 2 x 2 = B 2 1 x 3 2, 1+x 1 2 x 3 = B 3 1 x 2 1 x 3 This is obtained from a fundamental system, with I 0 = {1,3}, J 0 = {2}, β 1 = 1/3, β 3 = 1, by a change of variables h 1 3h 1 Hence, it generates a Hopf subalgebra Corollary 24 determines the formal series f i,q when i I 0 J 0 K 0 If i L 0, theorem 23 and 4 determines all the f i,q If i I 1 J 1, then theorem 23 and 4 determines the f i,q if q 2, and f i,1 is given in definition 22 It remains to determine f i,q when i E Notations 1 Let S be a Hopf SDSE, and let G S be the oriented graph of dependence of S, that is to say: The vertices of G S are the elements of I There is an oriented edge from i to if, and only if, a i,1 0 2 Let i, J We shall write i if there is an oriented edge from i to in G S For all q q 1, we shall write i if there is an oriented path of length q from i to in G S In 0 particular, i if, and only if, i = Theorem 23 and its proof give all the formal series f i,q when the level of i is 1 If i is an extension vertex, its level can be greater than 2, and the associated formal series are now described: Proposition 25 Let S be a Hopf SDSE such that the truncation at 1 is an extended fundamental system For any i E, of level n 1: 23

24 If q < n, f i,q = 1+ I a i,1 h, where i is any element of I such that i q 1 i f i,n = f i,1, where i is any element of J such that i n 1 i If q > n, then f i,q = Q q 1 Proof If q > n, this comes directly from theorem 23 Let us prove the case q < n by induction on n If n = 1, there is nothing to prove Let us assume the results at all rank k < n Let i 0 = i i 1 i n in the graph of dependence G S As the level of i 0 is n, the level of i k is n k for all 0 k n In particular, i 1,,i n 2 are extension vertices, as their level is 2 We apply proposition 6 with t = B i0,1 B ik,11, with k n 1 As i 0,,i k 1 are extension vertices, the only tree t such that a t 0 and n,1 t,t 0 is B i0,1 B ik,1 B,1 1 So: λ i,,1 k+1 a i 0,1 i 1 a i k 1,1 i 1 i k = a i 0,1 a i k 1,1 i k a i k,1 Hence, if 1 l n, λ i,,1 l = a i,1, where i is any element of I such that i l 1 i As a consequence, if λ i,,1 l l 0, i, so the level of is n l Let us fix 1 q n From lemma 7, with p 1 = = p N = 0, for all J, a i,q So this is equal to a i level of is n q If q < n, let us now consider, J If a i,q If a i,q 0 and a i,q for any i such that i q 1 i Hence, if a i,q 0, then i 0, then a i,q, = λ i,,1 q+1 a,1 = λ i,,1 q q So the = 0 or a i,q = 0, by lemma 7, a i,q = 0 a i,q As the level of and is n q 1, a,1 = 0 Moreover, as the level of is n q n q 1, λ i,,1 q+1 = 0 So a i,q, = 0 So all the terms of degree 2 of f i,q are zero, so all the terms of degree 2 of f i,q are zero Let us finish with the case q = n Let us choose i such that i n 1 i ; then the level of i is 1 We already saw that a i,n = a i,1 for all J If i = i 0 i n 1 = i in G S, then i 0,,i n 2 are extension vertices as their level is 2, so for all J: ã i = ã i 1 β = = ã i n 1β Let us apply lemma 7, with p 1,,p N 0,,0 Then p 1 ++p n +n > n, so: = = = a i,n p 1,,p +1,,p N 1 p +1 1 p +1 1 p +1 ã i n 1b +b p 1 ++p N +n 1 ã i +b p 1 ++p N λ i,,1 p 1 ++p N +1 N l=1 a l,1 p l N l=1 a l,1 p l a i,n p 1,,p N N l=1 a i,n p 1,,p N a l,1 p l a i,n p 1,,p N By lemma 7, this is the same induction as the coefficients a i,1 p 1,,p N So fi,n = f i,1 Remark If q < n, the level of i is n q + 1 2, so i is an extension vertex, and f i,q = f i,1 24

25 52 Quasi-cyclic systems Let us first recall the structure of a quasi-cyclic SDSE: Definition 26 Let N 2 A SDSE is N-quasi-cyclic if it has the following form: J admits a partition J = J 1 J N indexed by Z/NZ, with the following conditions: 1 If i J p, its direct descendants are all in J p+1 2 If i and have a common direct ascendant, then they have the same direct descendants Moreover, for all i J: f i = 1+ i a i h, and if i and have a common direct ascendant, then f i = f Remark Let us consider a quasi-cyclic SDSE For all i J: x i = i + n=1i 1,,i n I a i i 1 a i 1 i 2 a i n 1 i n B i B i1 B in 1 In order to simplify the problem, we shall assume that for all i, J such that i in H S, then a i depends only on i This is generally not the case, but it can be assumed without loss of generality if there is no vertex with no ascendant in the graph of dependence of the system In this case, if i = i 0 i n is a path of length n in G S, a i 0 i 1 a i n 1 i n only depends on i and n: we denote it by b n i Then for all i I: x i = b i n=0i i 1 i n n B i B i1 B in 1, with the convention b i 0 = 1 Moreover, if there is a path of length m from i to, then b i mb for all n With these notations, λi, n = 0 if there is no path of length n from i to and is b i m+n equal to b i n /b i n 1 if there is such a path Theorem 27 Let S be a Hopf SDSE such that the truncation at 1 gives a quasi-cyclic SDSE satisfying the preceding hypothesis Then, for all i J, for all q I i : f i,q = 1+b i q h Proof Up to a change of indexation, we shall assume that i I 0 From lemma 7, for all J, a i,q = λ i,,1 q So this is 0 if there is no path from i to of length q and equal to b i q q if i Let,k J If a i,q = 0 or a i,q k = 0, then a i,q,k = 0 Let us assume that a i,q,a i,q q k 0 Then i,k, so,k I q From lemma 7: a i,q,k = λ i,,1 q+1 a k a i,q k As I q, / I q+1 so there is no path of length q +1 from i to, and λ i,,1 q+1 = 0 As,k are both in I q, a k = 0 As a consequence, a i,q,k = 0 All the terms of degree 2 of f i,q are equal to 0, so all the terms of degree 2 of f i,q are equal to 0 Remark If this holds, for all i, n N, x i n/b i n is a sum of the ladders B i1,p 1 B ik,p k 1 with the following conditions: i q n = 25

26 i 1 = 1 p 1 ++p k = n for all 1 r k 1, there exists a path of length p r from i r to i r+1 in G S Example Here is an example of such a SDSE For all i Z/MZ, let us choose J i N Then: x i = JiB 1+x i+ References [1] Eiichi Abe, Hopf algebras, Cambridge Tracts in Mathematics, vol 74, Cambridge University Press, Cambridge, 1980, Translated from the Japanese by Hisae Kinoshita and Hiroko Tanaka [2] Christoph Bergbauer and Dirk Kreimer, Hopf algebras in renormalization theory: locality and Dyson-Schwinger equations from Hochschild cohomology, IRMA Lect Math Theor Phys, vol 10, Eur Math Soc, Zürich, 2006, arxiv:hep-th/ [3] Frédéric Chapoton and Muriel Livernet, Pre-Lie algebras and the rooted trees operad, Internat Math Res Notices , , arxiv:math/ [4] Alain Connes and Dirk Kreimer, Hopf algebras, Renormalization and Noncommutative geometry, Comm Math Phys , no 1, , arxiv:hep-th/ [5] Loïc Foissy, Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations, Advances in Mathematics , , ArXiv: [6] Loïc Foissy, Classification of systems of Dyson-Schwinger equations of the Hopf algebra of decorated rooted trees, Adv Math , no 5, , arxiv: [7], Hopf subalgebras of rooted trees from Dyson-Schwinger equations, Motives, quantum field theory, and pseudodifferential operators, Clay Math Proc, vol 12, Amer Math Soc, Providence, RI, 2010, pp [8], Lie algebras associated to a system Dyson-Schwinger equations, Adv Math , no 6, , arxiv: [9] Wee Liang Gan and Travis Schedler, The necklace Lie coalgebra and renormalization algebras, J Noncommut Geom , no 2, [10] Robert L Grossman and Richard G Larson, Hopf-algebraic structure of families of trees, J Algebra , no 1, , arxiv: [11], Hopf-algebraic structure of combinatorial obects and differential operators, Israel J Math , no 1-2, [12] Michael E Hoffman, Combinatorics of rooted trees and Hopf algebras, Trans Amer Math Soc , no 9, [13] Dirk Kreimer, On overlapping divergences, Comm Math Phys , no 3, , arxiv:hep-th/ [14], Anatomy of a gauge theory, Ann Physics , no 12, , arxiv:hepth/

27 [15] John W Milnor and John C Moore, On the structure of Hopf algebras, Ann of Math , [16] Jean-Michel Oudom and Daniel Guin, Sur l algèbre enveloppante d une algèbre pré-lie, C R Math Acad Sci Paris , no 5, , arxiv:math/ [17] Florin Panaite, Relating the Connes-Kreimer and Grossman-Larson Hopf algebras built on rooted trees, Lett Math Phys , no 3, , arxiv:math/ [18] Adrian Tanasa and Dirk Kreimer, Combinatorial Dyson-Schwinger equations in noncommutative field theory, arxiv: , 2009 [19] Karen Amanda Yeats, Growth estimates for Dyson-Schwinger equations, ProQuest LLC, Ann Arbor, MI, 2008, arxiv: