We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: Half shuffle identities in arity 3 on Zinbiel and Tortkara algebras and a structure theorem for streamed information

Abstract: We identify the free half shuffle (or Zinbiel) algebra of Sch\"utzenberger [Sch58] with an algebra of real-valued functions on paths, where the algebraic half shuffle product mirrors the analytic integration of a coordinate path against another. We then provide two, to our knowledge, new basic 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 in [Dzh07]. We then use these identities to provide a direct proof of the main result in [DLPR20] stating that polynomials in iterated areas generate the half shuffle algebra. In addition, we introduce minimal sets of iterated path integrals defined iteratively in terms of Hall sets. We then provide a proof based on elementary combinatorial arguments of the main result from Sussmann in [Sus86] stating that polynomial functions on these minimal sets of integrals freely generate the half shuffle algebra. 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 streams into two parts: a first that extracts and packages the streamed information into recursively defined atomic objects, and a second that evaluates a polynomial 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 shuffle power series in the greatest letter of the original alphabet with coefficients in a subalgebra freely generated by a new alphabet formed by an infinite number of letters. This construction allows us to provide a second proof of our structure theorem.
Subjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
Cite as: arXiv:2212.00134 [math.CO]
  (or arXiv:2212.00134v2 [math.CO] for this version)

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)

Link back to: arXiv, form interface, contact.