A now-classical cyclic extension of the descent set of a permutation has been introduced by Klyachko and Cellini. Following a recent axiomatic approach to this notion, it is natural to ask which sets of permutations admit such an extension.
The main result of this paper is a complete answer in the case of conjucay classes of permutations. It is shown that the conjugacy class of cycle type $λ$ has such an extension if and only if $λ$ is not of the form $(r^s)$ for some square-free $r$. The proof involves a detailed study of hook constituents in higher Lie characters.
The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Fulman proved that the descent numbers of permutations in conjugacy classes with large cycles are asymptotically normal, and Kim proved that the descent numbers of fixed point free involutions are also asymptotically normal. In this paper, we generalize these results to prove a central limit theorem for descent numbers of permutations in any conjugacy class of $S_n$.
We derive a formula expressing the joint distribution of the cyclic valley number and excedance number statistics over a fixed conjugacy class of the symmetric group in terms of Eulerian polynomials. Our proof uses a slight extension of Sun and Wang's cyclic valley-hopping action as well as a formula of Brenti. Along the way, we give a new proof for the $γ$-positivity of the excedance number distribution over any fixed conjugacy class along with a combinatorial interpretation of the $γ$-coefficients.
In this thesis, we study the combinatorics of cyclically fully commutative elements in Coxeter groups of type $A$ as it relates to conjugacy. In particular, we introduce the notion of cylindrical heaps and ring equivalence in order to state our main result, which says that two cyclically fully commutative elements of a Coxeter group of type $A$ are conjugate if and only if their corresponding cylindrical heaps are ring equivalent.
The distribution of descents in fixed conjugacy classes of $S_n$ has been studied, and it is shown that its moments have interesting properties. Kim and Lee showed, by using Curtiss' theorem and moment generating functions, how to prove a central limit theorem for descents in arbitrary conjugacy classes of $S_n$. In this paper, we prove a modified version of Curtiss' theorem to shift the interval of convergence in a more convenient fashion and use this to show that the joint distribution of descents and major indices is asymptotically bivariate normal.
As a visualization of Cartier and Foata's "partially commutative monoid" theory, G.X. Viennot introduced "heaps of pieces" in 1986. These are essentially labeled posets satisfying a few additional properties. They naturally arise as models of reduced words in Coxeter groups. In this paper, we introduce a cyclic version, motivated by the idea of taking a heap and wrapping it into a cylinder. We call this object a "toric heap", as we formalize it as a labeled toric poset, which is a cyclic version of an ordinary poset. To define the concept of a toric extension, we develop a morphism in the cate…
The cyclic shift graph of a monoid is the graph whose vertices are the elements of the monoid and whose edges connect elements that are cyclic shift related. The Patience Sorting algorithm admits two generalizations to words, from which two kinds of monoids arise, the $\mathrm{rps}$ monoid and the $\mathrm{lps}$ (also known as Bell) monoid. Like other monoids arising from combinatorial objects such as the plactic and the sylvester, the connected components of the cyclic shift graph of the $\mathrm{rps}$ monoid consists of elements that have the same number of each of its composing symbols. In …
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 Huan…
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 …
The distribution of descents in a fixed conjugacy class of $S_n$ is studied, and it is shown that its moments have an interesting property. A particular conjugacy class that is of interest is the class of matchings (also known as fixed point free involutions). This paper provides a bijective proof of the symmetry of the descents and major indices of matchings and uses a generating function approach to prove an asymptotic normality theorem for the number of descents in matchings.
A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by the last two authors. 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$. Following these results, the existence of cyclic descent sets for standard Young tableaux of any skew shape other than a ribbon was conjectured by the authors, and recently proved by A…
A new descent set statistic on involutions, defined geometrically via their interpretation as matchings, is introduced in this paper, and shown to be equi-distributed with the standard one. This concept is then applied to construct explicit cyclic descent extensions on involutions, standard Young tableaux and Motzkin paths. Schur-positivity of the associated quasisymmetric functions follows.
The notion of descent set, for permutations as well as for standard Young tableaux (SYT), is classical. Cellini introduced a natural notion of {\em cyclic descent set} for permutations, and Rhoades introduced such a notion for SYT --- but only for rectangular shapes. In this work we define {\em cyclic extensions} of descent sets in a general context, and prove existence and essential uniqueness for SYT of almost all shapes. The proof applies nonnegativity properties of Postnikov's toric Schur polynomials, providing a new interpretation of certain Gromov-Witten invariants.
Using a result of Gessel and Reutenauer, we find a simple formula for the number of cyclic permutations with a given descent set, by expressing it in terms of ordinary descent numbers (i.e., those counting all permutations with a given descent set). We then use this formula to show that, for almost all sets $I \subseteq [n-1]$, the fraction of size-$n$ permutations with descent set $I$ which are $n$-cycles is asymptotically $1/n$. As a special case, we recover a result of Stanley for alternating cycles. We also use our formula to count the cycles that do not have two consecutive descents.
We present a bijection between cyclic permutations of {1,2,...,n+1} and permutations of {1,2,...,n} that preserves the descent set of the first n entries and the set of weak excedances. This non-trivial bijection involves a Foata-like transformation on the cyclic notation of the permutation, followed by certain conjugations. We also give an alternate derivation of the consequent result about the equidistribution of descent sets using work of Gessel and Reutenauer. Finally, we prove a conjecture of the author in [SIAM J. Discrete Math. 23 (2009), 765-786] and a conjecture of Eriksen, Freij and …
We construct an infinite word $w$ over the $5$-letter alphabet such that for every factor $f$ of $w$ of length at least two, there exists a cyclic permutation of $f$ that is not a factor of $w$. In other words, $w$ does not contain a non-trivial conjugacy class. This proves the conjecture in Gamard et al. [TCS 2018]
Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modi…
A Smirnov word is a word over the positive integers in which adjacent letters must be different. A symmetric function enumerating these words by descent number arose in the work of Shareshian and the second named author on $q$-Eulerian polynomials, where a $t$-analog of a formula of Carlitz, Scoville, and Vaughan for enumerating Smirnov words is proved. A symmetric function enumerating a circular version of these words by cyclic descent number arose in the work of the first named author on chromatic quasisymmetric functions of directed graphs, where a $t$-analog of a formula of Stanley for enu…
We introduce a notion of {\em cyclic Schur-positivity} for sets of permutations, which naturally extends the classical notion of Schur-positivity, and it involves the existence of a bijection from permutations to standard Young tableaux that preserves the cyclic descent set. Cyclic Schur-positive sets of permutations are always Schur-positive, but the converse does not hold, as exemplified by inverse descent classes, Knuth classes and conjugacy classes. In this paper we show that certain classes of permutations invariant under either horizontal or vertical rotation are cyclic Schur-positive. T…
We prove an identity conjectured by Adin and Roichman involving the descent set of $λ$-unimodal cyclic permutations. These permutations appear in formulas for characters of certain representations of the symmetric group. Such formulas have previously been proven algebraically. In this paper, we present a combinatorial proof for one such formula and discuss the consequences for the distribution of the descent set on cyclic permutations.
Let G be a finite group. Define a relation ~ on the conjugacy classes of G by setting C ~ D if there are representatives c \in C and d \in D such that cd = dc. In the case where G has a normal subgroup H such that G/H is cyclic, two theorems are proved concerning the distribution, between cosets of H, of pairs of conjugacy classes of G related by ~. One of the proofs involves an interesting application of the famous Marriage Theorem of Philip Hall. The paper concludes by discussing some aspects of these theorems and of the relation ~ in the particular cases of symmetric and general linear grou…
We enumerate total cyclic orders on $\left\{1,\ldots,n\right\}$ where we prescribe the relative cyclic order of consecutive triples $(i,{i+1},{i+2})$, these integers being taken modulo $n$. In some cases, the problem reduces to the enumeration of descent classes of permutations, which is done via the boustrophedon construction. In other cases, we solve the question by introducing multidimensional versions of the boustrophedon. In particular we find new interpretations for the Euler up/down numbers and the Entringer numbers.
Given a permutation statistic $s : S_n \to \mathbb{R}$, define the mean statistic $\bar{s}$ as the statistic which computes the mean of $s$ over conjugacy classes. We describe a way to calculate the expected value of $s$ on a product of $t$ independently chosen elements from the uniform distribution on a union of conjugacy classes $Γ\subseteq S_n$. In order to apply the formula, one needs to express the class function $\bar{s}$ as a linear combination of irreducible $S_n$-characters. We provide such expressions for several commonly studied permutation statistics, including the excedance number…
The notion of shuffle-compatible permutation statistics was implicit in Stanley's work on P-partitions and was first explicitly studied by Gessel and Zhuang. The aim of this paper is to prove that the triple ${\rm (udr, pk, des)}$ is shuffle-compatible as conjectured by Gessel and Zhuang, where ${\rm udr}$ denotes the number of up-down runs, ${\rm pk}$ denotes the peak number, and ${\rm des}$ denotes the descent number. This is accomplished by establishing an ${\rm (udr, pk, des)}$-preserving bijection in the spirit of Baker-Jarvis and Sagan's bijective proofs of shuffle-compatibility property…
We introduce several classes of polytopes contained in $[0,1]^n$ and cut out by inequalities involving sums of consecutive coordinates. We show that the normalized volumes of these polytopes enumerate circular extensions of certain partial cyclic orders. Among other things this gives a new point of view on a question popularized by Stanley. We also provide a combinatorial interpretation of the Ehrhart $h^*$-polynomials of some of these polytopes in terms of descents of total cyclic orders. The Euler numbers, the Eulerian numbers and the Narayana numbers appear as special cases.
Solomon's descent algebra is used to define a family of signed measures M(W,x) for a finite Coxeter group W and non-zero x. The measures corresponding to W of types A and B are known to arise from the theory of card shuffling and to be related to the Poincare-Birkhoff-Witt theorem and splittings of Hochschild homology. Formulas for these measures are obtained in special cases. The eigenvalues of the associated Markov chains are computed. By elementary algebraic group theory, choosing a random semisimple orbit on a Lie algebra corresponding to a finite group of Lie type G^F induces a measure on…
Given a finite alphabet $Σ$ and a right-infinite word $\bf w$ over $Σ$, we define the Lie complexity function $L_{\bf w}:\mathbb{N}\to \mathbb{N}$, whose value at $n$ is the number of conjugacy classes (under cyclic shift) of length-$n$ factors $x$ of $\bf w$ with the property that every element of the conjugacy class appears in $\bf w$. We show that the Lie complexity function is uniformly bounded for words with linear factor complexity, and as a result we show that words of linear factor complexity have at most finitely many primitive factors $y$ with the property that $y^n$ is again a facto…
