arXiv++ Combinatorics

We consider discrete dynamical systems obtained as deformations of mutations in cluster algebras associated with finite-dimensional simple Lie algebras. The original (undeformed) dynamical systems provide the simplest examples of Zamolodchikov periodicity: they are affine birational maps for which every orbit is periodic with the same period. Following on from preliminary work by one of us with Kouloukas, here we present integrable maps obtained from deformations of cluster mutations related to the following simple root systems: $A_3$, $B_2$, $B_3$ and $D_4$. We further show how new cluster algebras arise, by considering Laurentification, that is, a lifting to a higher-dimensional map expressed in a set of new variables (tau functions), for which the dynamics exhibits the Laurent property. For the integrable map obtained by deformation of type $A_3$, which already appeared in our previous work, we show that there is a commuting map of Quispel-Roberts-Thompson (QRT) type which is built from a composition of mutations and a permutation applied to the same cluster algebra of rank 6, with an additional 2 frozen variables. Furthermore, both the deformed $A_3$ map and the QRT map correspond to addition of a point in the Mordell-Weil group of a rational elliptic surface of rank two, and the underlying cluster algebra comes from a quiver that mutation equivalent to the $q$-Painlevé III quiver found by Okubo. The deformed integrable maps of types $B_2$, $B_3$ and $D_4$ are also related to elliptic surfaces. From a dynamical systems viewpoint, the message of the paper is that special families of birational maps with completely periodic dynamics under iteration admit natural deformations that are aperiodic yet completely integrable.

We prove new bijections between different variants of Dyck paths and integer compositions, which give combinatorial explanations of their simple counting formula $4^{n-1}$. These give relations between different statistics, such as the number of crossings of the $x$-axis in classes of Dyck bridges or the distribution of peaks in classes of Dyck paths, and furthermore relate them with $k$- and $g$-compositions. These allow us to find and prove congruence results for Dyck paths and parity results for compositions. Our investigation uncovers unexpected connections to mock theta functions, Hardinian arrays, little Schröder paths, Fibonacci numbers, and irreducible pairs of compositions, offering new insights into the structures of paths, partitions and compositions.

We present families of combinatorial classes described as trees with nodes that can carry one of two types of "flowers": integer partitions or integer compositions. Two parameters on the flowers of trees will be considered: the number of "petals" in all the flowers (petals' weight) and the number of edges in the petals of all the flowers (flowers' weight). We give explicit expressions of their generating functions and deduce general formulas for the asymptotic growth of their coefficients and the expectations of their concentrated distributions.

Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.

The notion of a reduced expression for a double coset in a Coxeter group was introduced by Williamson, and recent work of Elias and Ko has made this theory more accessible and combinatorial. One result of Elias-Ko is that any coset admits a reduced expression which factors through a reduced expression for a related coset called its core. In this paper we define a class of cosets called atomic cosets, and prove that every core coset admits a reduced expression as a composition of atomic cosets. This leads to an algorithmic construction of a reduced expression for any coset. In types $A$ and $B$ we prove that the combinatorics of compositions of atomic cosets matches the combinatorics of ordinary expressions in a smaller group. In other types the combinatorics is new, as explored in a sequel by Ko.

We study the enumeration of different classes of grand knight's paths in the plane. In particular, we focus on the subsets of zigzag knight's paths that are subject to constraints. These constraints include ending at $y$-coordinate 0, bounded by a horizontal line, confined within a tube, among other considerations. We present our results using generating functions or direct closed-form expressions. We derive asymptotic results, finding approximations for quantities such as the probability that a zigzag knight's path stays in some area of the plane, or for the average of the altitude of such a path. Additionally, we exhibit some bijections between grand zigzag knight's paths and some pairs of compositions.

A complete study of an operad $\mathrm{NC} \mathcal{M}$ of noncrossing configurations of chords introduced in previous work of the author is performed. This operad is defined on the linear span of all noncrossing $\mathcal{M}$-cliques. These are noncrossing configurations of chords with arcs labeled by a unitary magma $\mathcal{M}$. The magmatic product of $\mathcal{M}$ intervenes for the computation of the operadic composition of $\mathcal{M}$-cliques. We show that this operad is binary, quadratic, and Koszul by considering techniques coming from rewrite systems on trees. We also compute a presentation for its Koszul dual. Finally, we explain how $\mathrm{NC} \mathcal{M}$ allows one to obtain alternative constructions of already known operads like operads of formal fractions and the operad of bicolored noncrossing configurations.

Let $A$ be a subset of positive integers. For a given positive integer $n$ and $0\leq i\leq n$ let $c_{A}(i,n)$ denotes the number of $A$-compositions of $n$ with exactly $i$ parts. In this note we investigate the sign behaviour of the sequence $(S_{A,k}(n))_{n\in\N}$, where $S_{A,k}(n)=\sum_{i=0}^{n}(-1)^{k}i^{k}c_{A}(i,n)$. We prove that for a broad class of subsets $A$, the number $(-1)^{n}S_{A,k}(n)$ is non-negative for all sufficiently large $n$. Moreover, we show that there is $A\subset \N_{+}$ such that the sign behaviour of $S_{A,k}(n)$ is not periodic.

Given a graded bialgebra $H$, we let $Δ^{\left[ k\right] }:H\rightarrow H^{\otimes k}$ and $m^{\left[ k\right] }:H^{\otimes k}\rightarrow H$ be its iterated (co)multiplications for all $k\in\mathbb{N}$. For any $k$-tuple $α=\left( α_{1},α_{2},\ldots,α_{k}\right) \in\mathbb{N}^{k}$ of nonnegative integers, and any permutation $σ$ of $\left\{ 1,2,\ldots,k\right\} $, we consider the map $p_{α,σ}:=m^{\left[ k\right] }\circ P_α\circσ^{-1}\circΔ^{\left[ k\right] }:H\rightarrow H$, where $P_α$ denotes the projection of $H^{\otimes k}$ onto its multigraded component $H_{α_{1}}\otimes H_{α_{2}}\otimes\cdots\otimes H_{α_{k}}$, and where $σ^{-1}:H\rightarrow H$ permutes the tensor factors. We prove formulas for the composition $p_{α,σ}\circ p_{β,τ}$ and the convolution $p_{α,σ}\star p_{β,τ}$ of two such maps. When $H$ is cocommutative, these generalize Patras's 1994 results (which, in turn, generalize Solomon's Mackey formula). We also construct a combinatorial Hopf algebra $\operatorname*{PNSym}$ ("permuted noncommutative symmetric functions") that governs the maps $p_{α,σ}$ for arbitrary connected graded bialgebras $H$ in the same way as the well-known $\operatorname*{NSym}$ governs them in the cocommutative case. We end by outlining an application to checking identities for connected graded Hopf algebras.

We recall that unit interval parking functions of length $n$ are a subset of parking functions in which every car parks in its preference or in the spot after its preference, and Fubini rankings of length $n$ are rankings of $n$ competitors allowing for ties. We present an independent proof of a result of Hadaway, which establishes that unit interval parking functions and Fubini rankings are in bijection. We also prove that the cardinality of these sets are given by Fubini numbers. In addition, we give a complete characterization of unit interval parking functions by determining when a rearrangement of a unit interval parking function is again a unit interval parking function. This yields an identity for the Fubini numbers as a sum of multinomials over compositions. Moreover, we introduce a generalization of Fubini rankings, which we call the $r$-Fubini rankings of length $n+r$. We show that this set is in bijection with unit interval parking functions of length $n+r$ where the first $r$ cars have distinct preferences. We conclude by establishing that these sets are enumerated by the $r$-Fubini numbers.

We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{μ,ν}$, which we call clique-independent graphs, indexed by two compositions $μ$ and $ν$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the celebrated shuffle theorem of Carlsson and Mellit. More precisely, we will see how to interpret the polynomials $\langle \nabla e_n, e_μh_ν\rangle$ in terms of these configurations.

We improve several worst-case bounds for various online learning scenarios from (Auer and Long, Machine Learning, 1999). In particular, we sharpen an upper bound for delayed ambiguous reinforcement learning by a factor of 2 and an upper bound for learning compositions of families of functions by a factor of 2.41. We also improve a lower bound from the same paper for learning compositions of $k$ families of functions by a factor of $Θ(\ln{k})$, matching the upper bound up to a constant factor. In addition, we solve a problem from (Long, Theoretical Computer Science, 2020) on the price of bandit feedback with respect to standard feedback for multiclass learning, and we improve an upper bound from (Feng et al., Theoretical Computer Science, 2023) on the price of $r$-input delayed ambiguous reinforcement learning by a factor of $r$, matching a lower bound from the same paper up to the leading term.

This paper examines operad structures derived from poset matrices by formulating a set of new construction rules for poset matrices. In this direction, eleven different partial composition operations will be introduced as the basis for the construction of poset matrices of any given size by extending the combinatorial setting of species of structures to poset matrices. Three of these partial composition operations are shown to define an operad structure for poset matrices. The structural properties of poset matrices and their duals are then studied based on their associated operad constructions.

We develop a composition method to unearth positive $e_I$-expansions of chromatic symmetric functions $X_G$, where the subscript $I$ stands for compositions rather than integer partitions. Using this method, we derive positive and neat $e_I$-expansions for the chromatic symmetric functions of tadpoles, barbells and generalized bulls, and establish the $e$-positivity of hats. We also obtain a compact ribbon Schur analog for the chromatic symmetric function of cycles.

Constant weight codes (CWCs) and constant composition codes (CCCs) are two important classes of codes that have been studied extensively in both combinatorics and coding theory for nearly sixty years. In this paper we show that for {\it all} fixed odd distances, there exist near-optimal CWCs and CCCs asymptotically achieving the classic Johnson-type upper bounds. Let $A_q(n,w,d)$ denote the maximum size of $q$-ary CWCs of length $n$ with constant weight $w$ and minimum distance $d$. One of our main results shows that for {\it all} fixed $q,w$ and odd $d$, one has $\lim_{n\rightarrow\infty}\frac{A_q(n,d,w)}{\binom{n}{t}}=\frac{(q-1)^t}{\binom{w}{t}}$, where $t=\frac{2w-d+1}{2}$. This implies the existence of near-optimal generalized Steiner systems originally introduced by Etzion, and can be viewed as a counterpart of a celebrated result of Rödl on the existence of near-optimal Steiner systems. Note that prior to our work, very little is known about $A_q(n,w,d)$ for $q\ge 3$. A similar result is proved for the maximum size of CCCs. We provide different proofs for our two main results, based on two strengthenings of the well-known Frankl-Rödl-Pippenger theorem on the existence of near-optimal matchings in hypergraphs: the first proof follows by Kahn's linear programming variation of the above theorem, and the second follows by the recent independent work of Delcour-Postle, and Glock-Joos-Kim-Kühn-Lichev on the existence of near-optimal matchings avoiding certain forbidden configurations. We also present several intriguing open questions for future research.

In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type $\tilde{C}$. In particular, we give a combinatorial formula for the Koornwinder polynomials $K_λ = K_λ(z_1,\dots,z_N; a,b,c,d; q,t)$, where $λ= (1,\dots,1,0,\dots,0)$. We also give combinatorial formulas for all ``open boundary ASEP polynomials'' $F_μ$, where $μ$ is a composition in $\{-1,0,1\}^N$; these polynomials are related to the nonsymmetric Koornwinder polynomials $E_μ$ up to a triangular change of basis. Our formulas are in terms of rhombic staircase tableaux, certain tableaux that we introduced in previous work to give a formula for the stationary distribution of the two-species asymmetric simple exclusion process (ASEP) on a line with open boundaries.

We study parabolic double cosets in a Coxeter system by decomposing them into atom(ic coset)s, a generalization of simple reflections introduced in a joint work with Elias, Libedinsky, Patimo. We define and classify braid relations between compositions of atoms and prove a Matsumoto theorem. Together with a quadratic relation, our braid relations give a presentation of nilCoxeter algebroids similar to Demazure's presentation of nilCoxeter algebras. Our consideration of reduced compositions of atoms gives rise to a new combinatorial structure, which is equipped with a length function and a Bruhat order and is realized as Tits cone intersections in the sense of Iyama-Wemyss.

We consider Cantor real numeration system as a frame in which every non-negative real number has a positional representation. The system is defined using a bi-infinite sequence $\Beta=(β_n)_{n\in\Z}$ of real numbers greater than one. We introduce the set of $\Beta$-integers and code the sequence of gaps between consecutive $\Beta$-integers by a symbolic sequence in general over the alphabet $\N$. We show that this sequence is $S$-adic. We focus on alternate base systems, where the sequence $\Beta$ of bases is periodic and characterize alternate bases $\Beta$, in which $\Beta$-integers can be coded using a symbolic sequence $v_{\Beta}$ over a finite alphabet. With these so-called Parry alternate bases we associate some substitutions and show that $v_\Beta$ is a fixed point of their composition. The paper generalizes results of Fabre and Burdík et al.\ obtained for the Rényi numerations systems, i.e., in the case when the Cantor base $\Beta$ is a constant sequence.

Carlitz-compositions follow the restrictions of neighbouring parts $σ_{i-1}\neqσ_{i}$. The recently introduced Arndt-compositions have to satisfy $σ_{2i-1}>σ_{2i}$. The two concepts are combined to new and exciting objects that we call Arndt-Carlitz compositions.

Homomesy is an invariance phenomenon in dynamical algebraic combinatorics which occurs when the average value of some statistic on a set of combinatorial objects is the same over each orbit generated by a map on these objects. In this paper we perform a systematic search for statistics homomesic for the set of permutations under the rotation map, identifying and proving 34 instances of homomesy. We show that these homomesies actually hold not only for rotation but in fact for a whole class of maps related to rotation by the notion of toggling, which is identified initially with composition of simple transpositions. In this way these maps are related to the rowmotion action defined on various combinatorial structures, which has a useful definition in terms of toggling. We prove some initial results on maps given by restricted or modified toggles. We discuss also the computational method used to identify candidate statistics from FindStat, a combinatorial statistics database.