Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: A structure theorem for streamed information
(Submitted on 30 Nov 2022 (v1), revised 6 Feb 2023 (this version, v3), latest version 30 Jul 2023 (v6))
Abstract: We identify the free half shuffle (or Zinbiel) algebra of Schutzenberger (1958) with an algebra of real-valued functions on smooth multivariate paths, where the algebraic half shuffle product mirrors the analytic integration of a coordinate-path against another. Then, we provide two, to our knowledge, new identities in arity 3 involving the commutator (area) and anti-commutator (shuffle) of the half shuffle product, and show that these are sufficient to recover the Zinbiel and Tortkara identities introduced by Dzhumadil'daev (2007). We then use these identities to prove that any element of the free half shuffle algebra can be written as a polynomial over iterated areas.
In addition, we consider minimal sets of iterated integrals defined through a recursive application of the half shuffle product to elements of a Hall set. Leveraging the duality between this set of Hall integrals and classical Hall bases of the free Lie algebra, we prove 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 real-valued functions 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 functions in these objects without further reference to the original stream.
Finally, we construct a canonical, but to our knowledge, new decomposition of the free half shuffle algebra as a 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. This construction allows us to provide a second proof of our structure theorem.
Submission history
From: Cristopher Salvi [view email][v1] Wed, 30 Nov 2022 21:56:55 GMT (50kb)
[v2] Fri, 2 Dec 2022 14:10:43 GMT (50kb)
[v3] Mon, 6 Feb 2023 16:19:45 GMT (50kb)
[v4] Tue, 7 Feb 2023 07:52:17 GMT (50kb)
[v5] Wed, 24 May 2023 10:30:47 GMT (50kb)
[v6] Sun, 30 Jul 2023 05:07:17 GMT (188kb)
Link back to: arXiv, form interface, contact.