arXiv++ Combinatorics

We introduce notions of (weak) shuffle-compatibility for statistics on words, parking functions, and set partitions, generalizing Gessel and Zhuang's shuffle-compatibility for statistics on permutations. For parking functions and set partitions, we perform a systematic review of statistics that appear in the FindStat database (as well as the literature). We further define (shifted) shuffle algebras of (weakly) shuffle-compatible statistics on the equivalence classes induced by the statistics. These algebras relate closely to various combinatorial Hopf algebras such as QSym, FQSym, PQSym, and NCSym. These constructions yield new combinatorial interpretations of various Hopf algebra bases and, in some cases, new bases entirely.

In this paper, we extend the iterated integrals from smooth manifolds to digraphs and develop the associated algebraic and geometric structures. Iterated integrals on a digraph naturally give rise to the iterated path algebra and the iterated loop algebra, both defined as quotient algebras of a shuffle algebra, with the latter carrying a canonical Hopf algebra structure. We construct a non-degenerate pairing between elementarily equivalent classes of loops on a digraph and the iterated loop algebra. By restricting to iterated integrals that are invariant under $C_\partial$-homotopy, a distinguished subalgebra is obtained which, under this pairing, corresponds to the group algebra of the fundamental group. We further show that this subalgebra is a homotopy invariant and forms a Hopf algebra with involutive antipode.

The positive part $U_q^+$ of the quantized enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$ has a reflection equation presentation of Freidel-Maillet type, due to Baseilhac 2021. This presentation involves a K-matrix of dimension $2 \times 2$. Under an embedding of $U_q^+$ into a $q$-shuffle algebra due to Rosso 1995, this K-matrix can be written in closed form using a PBW basis for $U_q^+$ due to Terwilliger 2019. This PBW basis, together with two PBW bases due to Damiani 1993 and Beck 1994, can be obtain from a uniform approach by Ruan 2025. Following a natural fusion technique, we will construct fused K-matrices of arbitary meaningful dimension in closed form using the uniform approach. We will also show that any pair of these fused K-matrices satisfy Freidel-Maillet type equations.

A permutation statistic is substring-compatible if its value on a permutation determines its value on every substring of that permutation. We construct the substring coalgebra of such a statistic, an analog of the shuffle algebra of a shuffle-compatible statistic introduced by Gessel and Zhuang. Furthermore, we show that for substring-compatible statistics that also satisfy a weak form of shuffle compatibility, the shuffle algebra and substring coalgebra can be combined to yield a Hopf algebra. Finally, we conjecture that the only nontrivial permutation statistics that are both shuffle-compatible and substring-compatible are the descent set, the peak set, and the valley set, and we describe our progress towards proving this conjecture.

We construct a new class of operators that act on symmetric functions with two deformation parameters $q$ and $t$. Our combinatorial construction associates each operator with a specific lattice path, whose steps alternate between moving up and down. We demonstrate that positive linear combinations of these operators are the images of Negut elements via a representation of the shuffle algebra acting on the space of symmetric functions. Additionally, we provide a monomial, elementary, and Schur symmetric function expansion for the symmetric function obtained through repeated applications of the path operators on $1$. We apply path operators to investigate a $(q,t)$-deformation of the classical hypergeometric tau functions, which generalizes several important series already present in enumerative geometry, gauge theory, and integrability. We prove that this function is uniquely characterized by a family of partial differential equations derived from a positive linear combination of path operators. We also use our operators to offer a new, independent proof of the key result in establishing the extended delta conjecture of Haglund, Remmel, and Wilson.

We give an explicit formula for an operator that sends a wreath Macdonald polynomial to the delta function at a character associated to its partition. This allows us to prove many new results for wreath Macdonald polynomials, especially pertaining to reciprocity: Macdonald--Koornwinder duality, evaluation formulas, etc. Additionally, we initiate the study of wreath interpolation Macdonald polynomials, derive a plethystic formula for wreath $(q,t)$-Kostka coefficients, and present series solutions to the bispectral problem involving wreath Macdonald operators. Our approach is to use the eigenoperators for wreath Macdonald polynomials that have been produced from quantum toroidal and shuffle algebras.

Given a feature set for the shape of a closed loop, it is natural to ask which features in that set do not change when the starting point of the path is moved. For example, in two dimensions, the area enclosed by the path does not depend on the starting point. In the present article, we characterize such loop invariants among all those features known as interated integrals of a given path. Furthermore, we relate these to conjugation invariants, which are a canonical object of study when treating (tree reduced) paths as a group with multiplication given by the concatenation. Finally, closure invariants are a third class in this context which is of particular relevance when studying piecewise linear trajectories, e.g. given by linear interpolation of time series. Keywords: invariant features; concatenation of paths; combinatorial necklaces; shuffle algebra; free Lie algebra; signed area; signed volume; tree-like equivalence.

The volume of a cyclic polytope can be obtained by forming an iterated integral along a suitable piecewise linear path running through its edges. Different choices of such a path are related by the action of a subgroup of the combinatorial automorphisms of the polytope. Motivated by this observation, we look for other linear combinations of iterated integrals that are invariant under the subgroup action. This yields interesting polynomial attributes of the cyclic polytope. We prove that there are infinitely many of these invariants which are algebraically independent in the shuffle algebra.

This paper is about the positive part $U_q^+$ of the $q$-deformed enveloping algebra $U_q(\widehat{\mathfrak{sl}}_2)$. The algebra $U_q^+$ admits an embedding, due to Rosso, into a $q$-shuffle algebra $\mathbb{V}$. The underlying vector space of $\mathbb{V}$ is the free algebra on two generators $x,y$. Therefore, the algebra $\mathbb{V}$ has a basis consisting of the words in $x,y$. Let $U$ denote the image of $U_q^+$ under the Rosso embedding. In our first main result, we find all the words in $x,y$ that are contained in $U$. One type of solution is called alternating. The alternating words have been studied by Terwilliger. There is another type of solution, which we call doubly alternating. In our second main result, we display many commutator relations involving the doubly alternating words. In our third main result, we describe how the doubly alternating words are related to the alternating words.

We generalize the study of standard Lyndon loop words from [A.Negut, A.Tsymbaliuk, "Quantum loop groups and shuffle algebras via Lyndon words", Adv. Math. 439 (2024), Paper No. 109482] to a more general class of orders on the underlying alphabet, as suggested in Remark 3.15 of loc.cit. The main new ingredient is the exponent-tightness of these words, which also allows to generalize the construction of PBW bases of the untwisted quantum loop algebra via the combinatorics of loop words.

We show that the triply-graded Khovanov-Rozansky homology of the $(m,n)$ torus knot can be recovered from the finite-dimensional representation $\mathrm{L}_{m/n}$ of the rational Cherednik algebra at slope $m/n$, endowed with the Hodge filtration coming from the cuspidal character D-module. Our approach involves expressing the associated graded of the cuspidal character D-module in terms of a dg module closely related to the action of the shuffle algebra on the equivariant K-theory of the Hilbert scheme of points on the plane, thereby proving the rational master conjecture. As a corollary, we identify the Hodge filtration with the inductive and algebraic filtrations on $\mathrm{L}_{m/n}$.

We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative $B_\infty$ structure that governs the product and the eulerian idempotent, as well as the canonical projection on the space $V$. This generalizes Homan's isomorphism between commutative quasi-shuffle and shuffle algebras, which correspond to the case when the $B_\infty$ structure is given by an associative and commutative product. We develop several examples in details, including the Hopf algebra of finite topologies.

In this work we study conditional monotone cumulants and additive convolution in the shuffle-algebraic approach to non-commutative probability. We describe c-monotone cumulants as an infinitesimal character and identify the c-monotone additive convolution as an associative operation in the set of pairs of characters in the dual of a double tensor Hopf algebra. In this algebraic framework, we understand previous results on c-monotone cumulants and prove a combinatorial formula that relates c-free and c-monotone cumulants. We also identify the notion of $t$-Boolean cumulants in the shuffle-algebraic approach and introduce the corresponding notion of $t$-monotone cumulants as a particular case of c-monotone cumulants.

The algebra of quasisymmetric functions QSym and the shuffle algebra of compositions Sh are isomorphic as graded Hopf algebras (in characteristic zero), and isomorphisms between them can be specified via shuffle bases of QSym. We use the notion of infinitesimal characters to characterize shuffle bases, and we establish a universal property for Sh in the category of connected graded Hopf algebras equipped with an infinitesimal character, analogous to the universal property of QSym as a combinatorial Hopf algebra described by Aguiar, Bergeron, and Sottile. We then use these results to give general constructions for quasisymmetric power sums, recovering four previous constructions from the literature, and study their properties.

Consider an input-output system where the output is the tracking error given some desired reference signal. It is natural to consider under what conditions the problem has an exact solution, that is, the tracking error is exactly the zero function. If the system has a well defined relative degree and the zero function is in the range of the input-output map, then it is well known that the system is locally left invertible, and thus, the problem has a unique exact solution. A system will fail to have relative degree when more than one exact solution exists. The general goal of this paper is to describe a decomposition of an input-output system having a Chen-Fliess series representation into a parallel product of subsystems in order to identify possible solutions to the problem of zeroing the output. For computational purposes, the focus is on systems whose generating series are polynomials. It is shown that the shuffle algebra on the set of generating polynomials is a unique factorization domain so that any polynomial can be uniquely factored modulo a permutation into its irreducible elements for the purpose of identifying the subsystems in a parallel product decomposition. This is achieved using the fact that this shuffle algebra is isomorphic to the symmetric algebra over the vector space spanned by Lyndon words. A specific algorithm for factoring generating polynomials into its irreducible factors is presented based on the Chen-Fox-Lyndon factorization of words.

A permutation statistic $\operatorname{st}$ is said to be shuffle-compatible if the distribution of $\operatorname{st}$ over the set of shuffles of two disjoint permutations $π$ and $σ$ depends only on $\operatorname{st}π$, $\operatorname{st}σ$, and the lengths of $π$ and $σ$. Shuffle-compatibility is implicit in Stanley's early work on $P$-partitions, and was first explicitly studied by Gessel and Zhuang, who developed an algebraic framework for shuffle-compatibility centered around their notion of the shuffle algebra of a shuffle-compatible statistic. For a family of statistics called descent statistics, these shuffle algebras are isomorphic to quotients of the algebra of quasisymmetric functions. Recently, Domagalski, Liang, Minnich, Sagan, Schmidt, and Sietsema defined a version of shuffle-compatibility for statistics on cyclic permutations, and studied cyclic shuffle-compatibility through purely combinatorial means. In this paper, we define the cyclic shuffle algebra of a cyclic shuffle-compatible statistic, and develop an algebraic framework for cyclic shuffle-compatibility in which the role of quasisymmetric functions is replaced by the cyclic quasisymmetric functions recently introduced by Adin, Gessel, Reiner, and Roichman. We use our theory to provide explicit descriptions for the cyclic shuffle algebras of various cyclic permutation statistics, which in turn gives algebraic proofs for their cyclic shuffle-compatibility.

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.

We define a filtration of Feigin-Odesskii's shuffle algebras of type B_n and G_2 using specialization maps, generalizing the results in type A_n case given by Negut and Tsymbaliuk. These filtrations are compatible with a class of PBW type bases for the quantum current algebras of type B_n and G_2.

The positive part $U_q^+$ of $U_q(\widehat{\mathfrak{sl}}_2)$ admits an embedding into a $q$-shuffle algebra. This embedding was introduced by M. Rosso in 1995. In 2019, Terwilliger introduced the alternating elements $\{W_{-n}\}_{n \in \mathbb{N}}$, $\{W_{n+1}\}_{n \in \mathbb{N}}$, $\{G_{n+1}\}_{n \in \mathbb{N}}$, $\{\tilde{G}_{n+1}\}_{n \in \mathbb{N}}$ in $U_q^+$ using the Rosso embedding. He showed that the alternating elements $\{W_{-n}\}_{n \in \mathbb{N}}$, $\{W_{n+1}\}_{n \in \mathbb{N}}$, $\{\tilde{G}_{n+1}\}_{n \in \mathbb{N}}$ form a PBW basis for $U_q^+$, and he expressed $\{G_{n+1}\}_{n \in \mathbb{N}}$ in this alternating PBW basis. In his calculation, Terwilliger used some elements $\{D_n\}_{n \in \mathbb{N}}$ with the following property: the generating function $D(t)=\sum_{n \in \mathbb{N}}D_nt^n$ is the multiplicative inverse of the generating function $\tilde{G}(t)=\sum_{n \in \mathbb{N}}\tilde{G}_nt^n$ where $\tilde{G}_0=1$. Terwilliger defined $\{D_n\}_{n \in \mathbb{N}}$ recursively; in this paper, we will express $\{D_n\}_{n \in \mathbb{N}}$ in closed form.

A large family of relations among multiple zeta values may be described using the combinatorics of shuffle and quasi-shuffle algebras. While the structure of shuffle algebras have been well understood for some time now, quasi-shuffle algebras were only formally studied relatively recently. In particular, Hoffman gives a thorough discussion of the algebraic structure, including a choice of algebra basis, and applies his results to produce families of relations among multiple zeta values and their generalisations. In a recent preprint, Hirose and Sato establish a family of relations coming from a new generalised shuffle structure, lifting a set of graded relations established by the author to genuine ungraded relations. In this paper, we define a commutative algebra structure on the space of non-commutative polynomials in a countable alphabet, generalising the shuffle-like structure of Hirose and Sato. We show that, over the rational numbers, this generalised quasi-shuffle algebra is isomorphic to the standard shuffle algebra, allowing us to reproduce most of Hoffman's results on quasi-shuffle algebras. We then apply these results to the case of multiple zeta values, reproducing several known families of results and establishing several more.