arXiv++ Combinatorics

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 .

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.