Abstract:We identify the free half shuffle algebra of Schützenberger (1958) with an algebra of real-valued functionals on paths, where the half shuffle emulates integration of a functional against another. We then provide two, to our knowledge, new identities in arity 3 involving its commutator (area), and show that these are sufficient to recover the Zinbiel and Tortkara identities of Dzhumadil'daev (2007). We use these identities to prove that any element of the free half shuffle algebra can be expressed as a polynomial over iterated areas. Moreover, we consider minimal sets of iterated integrals defined through the recursive application of the half shuffle on Hall trees. Leveraging the duality between this set of Hall integrals and classical Hall bases of the free Lie algebra, we prove using combinatorial arguments that any element of the free half shuffle algebra can be written uniquely as a polynomial over Hall integrals. We interpret this result as a structure theorem for streamed information, loosely analogous to the unique prime factorisation of integers, allowing to split any real valued function on streamed data into two parts: a first that extracts and packages the streamed information into recursively defined atomic objects (Hall integrals), and a second that evaluates a polynomial function in these objects without further reference to the original stream. The question of whether a similar result holds if Hall integrals are replaced by Hall areas is left as an open conjecture. Finally, we construct a canonical, but to our knowledge, new decomposition of the free half shuffle algebra as shuffle power series in the greatest letter of the original alphabet with coefficients in a sub-algebra freely generated by a new alphabet with an infinite number of letters. We use this construction to provide a second proof of our structure theorem.

Shuffle quadri-algebra and concatenation

Shuffle Bases and Quasisymmetric Power Sums

Shuffles of deformed permutahedra, multiplihedra, constrainahedra, and biassociahedra

A tale of two shuffle algebras

Commutative B\_infty -algebras are shuffle algebras

Cylinder Coalgebras and Cylinder Coproducts for Quasitriangular Hopf Algebras

Shuffle algebras for quivers as quantum groups

Commutative subalgebra of a shuffle algebra associated with quantum toroidal $\mathfrak{gl}_{m|n}$

Generalized quasi-shuffle products

A structure theorem for streamed information

Shuffle Hopf algebra of Multiple zeta values

Commutative modified Rota-Baxter algebras, shuffle products and Hopf algebras

On Smash Products of Hopf Algebras

Conditionally monotone cumulants via shuffle algebra

On the Bivariate Characteristic Polynomial of the Shuffle Lattice

A $t$-motivic interpretation of shuffle relations for multizeta values

Free generators and Hoffman's isomorphism for the two-parameter shuffle algebra

Extended Shuffle Product for Multiple Zeta Values

Noncommutative binomial theorem, shuffle type polynomials and Bell polynomials

Shuffle series