arXiv++ Combinatorics

A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by Adin, Elizalde and Roichman. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set D is invariant under cyclic shifts of the entries of D. Adin, Reiner and Roichman proved that a skew shape has a cyclic descent map if and only if it is not a connected ribbon. Unfortunately, their proof is nonconstructive. Recently Huang constructed an explicit cyclic descent map for all shapes where this is possible. In the earlier version of Adin, Elizalde and Roichman's paper, they asked to find statistics on combinatorial objects which are equidistributed with cyclic descents on SYT of given shapes. In this paper, we explicitly describe cyclic descent sets for Motzkin paths, which are equidistributed with cyclic descent sets of SYT for three-row shapes. Moreover, in light of Stanley's shuffling theorem, we give a bijective proof of the shuffling property of descent statistics for Motzkin paths.

The ring of cyclic quasi-symmetric functions and its non-Escher subring are introduced in this paper. A natural basis consists of fundamental cyclic quasi-symmetric functions; for the non-Escher subring they arise as toric $P$-partition enumerators, for toric posets $P$ with a total cyclic order. The associated structure constants are determined by cyclic shuffles of permutations. We then prove the following positivity phenomenon: for every non-hook shape $λ$, the coefficients in the expansion of the Schur function $s_λ$ in terms of fundamental cyclic quasi-symmetric functions are nonnegative. The proof relies on the existence of a cyclic descent map on the standard Young tableaux (SYT) of shape $λ$. The theory has applications to the enumeration of cyclic shuffles and SYT by cyclic descents.

A cyclic descent function on standard Young tableaux of size $n$ is a function that restricts to the usual descent function when $n$ is omitted, such that the number of standard Young tableaux of given shape with cyclic descent set $D\subset[n]$ is invariant under any modulo $n$ shift of $D$. The notion of cyclic descent was first studied for rectangles by Rhoades, and then generalized to certain families of skew shapes by Adin, Elizalde, and Roichman. Adin, Reiner, and Roichman proved that a skew shape has a cyclic descent map if and only if it is not a connected ribbon. Unfortunately, their proof is nonconstructive; until now, explicit cyclic descent maps are known only for small families of shapes. In this paper, we construct an explicit cyclic descent map for all shapes where this is possible. We thus provide a constructive proof of Adin, Reiner, and Roichman's result. Our construction of a cyclic descent map generalizes many of the constructions in the literature.