arXiv++ Combinatorics

Factorization and decomposition of representative functions on a free monoid X * (generated by an alphabet X ) and with values in a ring A containing Q are equivalent to factorization and decomposition of their graphs (within the A-algebra of rational noncommutative series over X ) admitting linear representations (thanks to the Kleene-Sch{ü}tzenberger theorem). To factorize and to decompose effectively these graphs, we examine various products of noncommutative series (as concatenation, shuffle and its $φ$deformations) and co-products such that, for A is a field K, their associated non graded commutative and co-noncommutative bialgebras of series are isomorphic to the Sweedler's dual of the graded noncommutative co-commutative bialgebras of polynomials having, for the concatenation, only Kleene stars of the planes as characters, or equivalently, only the planes are infinitesimal characters (thanks to a Ree's theorem like).

Two confluent rewriting systems in noncommutatives polynomials are constructed using the equations allowing the identification of the local coordinates (of second kind) of the graphs of the $ζ$ polymorphism as being (shuffle or quasi-shuffle) characters and bridging two algebraic structures of polyzetas. In each system, the left side of each rewriting rule corresponds to the leading monomial of the associated homogeneous in weight polynomial while the right side is canonically represented on the Q-algebra generated by irreducible terms which encode an algebraic basis of the Q-algebra of polyzetas. These polynomials are totally lexicographically ordered and generate the kernels of the $ζ$ polymorphism meaning that the Q-free algebra of polyzetas is graded and the irreducible polyzetas are transcendent numbers, Q-algebraically independent, and then $π$ 2 is Q-algebraically independent on odd zeta values (so does $π$).

To factorize and to decompose the graphs of representative functions on the free monoid X * (generated by the alphabet X ) with values in the ring A containing Q, we examine various products of series (as concatenation, shuffle and its $φ$ -deformations) and co-products, which are such that their associated non graded bialgebras are isomorphic, for A is a field K, to the Sweedler's dual of the graded noncommutative co-commutative K-bialgebra of polynomials.

In this paper, we begin by reviewing the calculus induced by the framework of [10]. In there, we extended Polylogarithm functions over a subalgebra of noncommutative rational power series, recognizable by finite state (multiplicity) automata over the alphabet X = {x 0 , x 1 }. The stability of this calculus under shuffle products relies on the nuclearity of the target space [31]. We also concentrated on algebraic and analytic aspects of this extension allowing to index polylogarithms, at non positive multi-indices, by rational series and also allowing to regularize divergent polyzetas, at non positive multi-indices [10]. As a continuation of works in [10] and in order to understand the bridge between the extension of this "polylogarithmic calculus" and the world of harmonic sums, we propose a local theory, adapted to a full calculus on indices of Harmonic Sums based on the Taylor expansions, around zero, of polylogarithms with index x 1 on the rightmost end. This theory is not only compatible with Stuffle products but also with the Analytic Model. In this respect, it provides a stable and fully algorithmic model for Harmonic calculus. Examples by computer are also provided 6 .

We extend the definition and construct several bases for polylogarithms Li T , where T are some series, recognizable by a finite state (multiplicity) automaton of alphabet 4 X = {x 0 , x 1 }. The kernel of this new "polylogarithmic map" Li $\bullet$ is also characterized and provides a rewriting process which terminates to a normal form. We concentrate on algebraic and analytic aspects of this extension allowing index polylogarithms at non positive multi-indices, by rational series and regularize polyzetas at non positive multi-indices.

In this work, we focus on on the approach by noncommutative formal power series to study the combinatorial aspects of the renormalization at the singularities in $\{0,1,+\infty\}$ of the solutions of nonlinear differential equations involved in quantum electrodynamics.

Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements.

Computations with integro-differential operators are often carried out in an associative algebra with unit, and they are essentially non-commutative computations. By adjoining a cocommutative co-product, one can have those operators perform act on a bialgebra isomorphic to an enveloping algebra. That gives an adequate framework for a computer-algebra implementation via monoidal factorization, (pure) transcendence bases and Poincaré--Birkhoff--Witt bases. In this paper, we systematically study these deformations, obtaining necessary and sufficient conditions for the operators to exist, and we give the most general cocommutative deformations of the shuffle co-product and an effective construction of pairs of bases in duality. The paper ends by the combinatorial setting of local systems of coordinates on the group of group-like series.

In this work, an effective construction, via Schützenberger's monoidal factorization, of dual bases for the non commutative symmetric and quasi-symmetric functions is proposed.

In order to extend the Schützenberger's factorization, the combinatorial Hopf algebra of the $q$-stuffles product is developed systematically in a parallel way with that of the shuffle product and and in emphasizing the Lie elements as studied by Ree. In particular, we will give here an effective construction of pair of bases in duality.

In order to extend the Schützenberger's factorization to general perturbations, the combinatorial aspects of the Hopf algebra of the $φ$-deformed stuffle product is developed systematically in a parallel way with those of the shuffle product.

In this paper, we present Schützenberger's factorization in different combinatorial contexts and show that its validity is not restricted to these cases but can be extended to every Lie algebra endowed with an ordered basis. We also expose some elements of the relations between the Poincaré-Birkhoff-Witt bases of the enveloping algebra and their dual families.

We obtain a necessary and sufficient condition for the linear independence of solutions of differential equations for hyperlogarithms. The key fact is that the multiplier (i.e. the factor $M$ in the differential equation $dS=MS$) has only singularities of first order (Fuchsian-type equations) and this implies that they freely span a space which contains no primitive. We give direct applications where we extend the property of linear independence to the largest known ring of coefficients.

We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum field theory. Such a description necessarily involves treating the algebra of polyzeta functions, extensions of the Riemann Zeta function, since these occur naturally in pQFT. This provides a link between physics, algebra and number theory. As a by-product of this approach, we are led to indicate {\it inter alia} a basis for concluding that the Euler gamma constant $γ$ may be rational.

In \cite{cartier2}, Pierre Cartier conjectured that for any non commutative formal power series $Φ$ on $X=\{x_0,x_1\}$ with coefficients in a $\Q$-extension, $A$, subjected to some suitable conditions, there exists an unique algebra homomorphism $\varphi$ from the $\Q$-algebra generated by the convergent polyzêtas to $A$ such that $Φ$ is computed from $Φ_{KZ}$ Drinfel'd associator by applying $\varphi$ to each coefficient. We prove $\varphi$ exists and it is a free Lie exponential over $X$. Moreover, we give a complete description of the kernel of polyzêta and draw some consequences about a structure of the algebra of convergent polyzêtas and about the arithmetical nature of the Euler constant.