arXiv++ Combinatorics

We explore a bijection between permutations and colored Motzkin paths that has been used in different forms by Foata and Zeilberger, Biane, and Corteel. By giving a visual representation of this bijection in terms of so-called cycle diagrams, we find simple translations of some statistics on permutations (and subsets of permutations) into statistics on colored Motzkin paths, which are amenable to the use of continued fractions. We obtain new enumeration formulas for subsets of permutations with respect to fixed points, excedances, double excedances, cycles, and inversions. In particular, we prove that cyclic permutations whose excedances are increasing are counted by the Bell numbers.

We introduce new natural generalizations of the classical descent and inversion statistics for permutations, called width-$k$ descents and width-$k$ inversions. These variations induce generalizations of the excedance and major statistics, providing a framework in which the most well-known equidistributivity results for classical statistics are paralleled. We explore additional relationships among the statistics providing specific formulas in certain special cases. Moreover, we explore the behavior of these width-$k$ statistics in the context of pattern avoidance.

The number of alternating runs is a natural permutation statistic. We show it can be used to define some commutative subalgebras of the symmetric group algebra, and more precisely of the descent algebra. The Eulerian peak algebras naturally appear as subalgebras of our run algebras. We also calculate the orthogonal idempotents for run algebras in terms of noncommutative symmetric functions.

Foata and Zeilberger defined the graphical major index, $\mathrm{maj}'_U$, and the graphical inversion index, $\mathrm{inv}'_U$, for words. These statistics are a generalization of the classical permutation statistics $\mathrm{maj}$ and $\mathrm{inv}$ indexed by directed graphs $U$. They showed that $\mathrm{maj}'_U$ and $\mathrm{inv}'_U$ are equidistributed over all rearrangement classes if and only if $U$ is bipartitional. In this paper we strengthen their result by showing that if $\mathrm{maj}'_U$ and $\mathrm{inv}'_U$ are equidistributed on a single rearrangement class then $U$ is essentially bipartitional. Moreover, we define a graphical sorting index, $\mathrm{sor}'_U$, which generalizes the sorting index of a permutation. We then characterize the graphs $U$ for which $\mathrm{sor}'_U$ is equidistributed with $\mathrm{inv}'_U$ and $\mathrm{maj}'_U$ on a single rearrangement class.

We introduce and study the writhe of a permutation, a circular variant of the well-known inversion number. This simple permutation statistics has several interpretations, which lead to some interesting properties. For a permutation sampled uniformly at random, we study the asymptotics of the writhe, and obtain a non-Gaussian limit distribution. This work is motivated by the study of random knots. A model for random framed knots is described, which refines the Petaluma model. The distribution of the framing in this model is equivalent to the writhe of random permutations.

In his Ph.D. thesis, Ira Gessel proved a reciprocity formula for noncommutative symmetric functions which enables one to count words and permutations with restrictions on the lengths of their increasing runs. We generalize Gessel's theorem to allow for a much wider variety of restrictions on increasing run lengths, and use it to complete the enumeration of permutations with parity restrictions on peaks and valleys, and to give a systematic method for obtaining generating functions for permutation statistics that are expressible in terms of increasing runs. Our methods can also be used to obtain analogous results for alternating runs in permutations.

We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics. Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores. We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.

Many important statistics of signed permutations are realized in the corresponding permutation tableaux or bare tableaux of type $B$: Alignments, crossings and inversions of signed permutations are realized in the corresponding permutation tableaux of type $B$, and the cycles of signed permutations are understood in the corresponding bare tableaux of type $B$. This leads us to relate the number of alignments and crossings with other statistics of signed permutations and also to characterize the covering relation in weak Bruhat order on Coxeter system of type $B$ in terms of permutation tableaux of type $B$.

Let $W$ be a finite Coxeter group and $X$ a subset of $W$. The length polynomial $L_{W,X}(t)$ is defined by $L_{W,X}(t) = \sum_{x \in X} t^{\ell(x)}$, where $\ell$ is the length function on $W$. In this article we derive expressions for the length polynomial where $X$ is any conjugacy class of involutions, or the set of all involutions, in any finite Coxeter group $W$. In particular, these results correct errors in the paper "Permutation statistics on involutions", W.M.B. Dukes., European J. Combin. 28 (2007), 186--198. for the involution length polynomials of Coxeter groups of type $B_n$ and $D_n$. Moreover, we give a counterexample to a unimodality conjecture of Dukes.

The Dumont differential system on the Jacobi elliptic functions was introduced by Dumont (Math Comp, 1979, 33: 1293--1297) and was extensively studied by Dumont, Viennot, Flajolet and so on. In this paper, we first present a labeling scheme for the cycle structure of permutations. We then introduce two types of Jacobi-pairs of differential equations. We present a general method to derive the solutions of these differential equations. As applications, we present some characterizations for several permutation statistics.

We give a direct combinatorial proof of the equidistribution of two pairs of permutation statistics, (des, aid) and (lec, inv), which have been previously shown to have the same joint distribution as (exc, maj), the major index and the number of excedances of a permutation. Moreover, the triple (pix, lec, inv) was shown to have the same distribution as (fix, exc, maj), where fix is the number of fixed points of a permutation. We define a new statistic aix so that our bijection maps (pix, lec, inv) to (aix, des, aid). We also find an Eulerian partner das for a Mahonian statistic mix defined using mesh patterns, so that (das, mix) is equidistributed with (des, inv).

We study sorting operators $\mathbf{A}$ on permutations that are obtained composing Knuth's stack sorting operator $\mathbf{S}$ and the reversal operator $\mathbf{R}$, as many times as desired. For any such operator $\mathbf{A}$, we provide a size-preserving bijection between the set of permutations sorted by $\mathbf{S} \circ \mathbf{A}$ and the set of those sorted by $\mathbf{S} \circ \mathbf{R} \circ \mathbf{A}$, proving that these sets are enumerated by the same sequence, but also that many classical permutation statistics are equidistributed across these two sets. The description of this family of bijections is based on a bijection between the set of permutations avoiding the pattern $231$ and the set of those avoiding $132$ which preserves many permutation statistics. We also present other properties of this bijection, in particular for finding pairs of Wilf-equivalent permutation classes.

We consider the question of computing the distribution of a permutation statistics over restricted permutations via enumeration schemes. The restricted permutations are those avoiding sets of vincular patterns (which include both classical and consecutive patterns), and the statistics are described in the number of copies of certain vincular patterns such as the descent statistic and major index. An enumeration scheme is a polynomial-time algorithm (specifically, a system of recurrence relations) to compute the number of permutations avoiding a given set of vincular patterns. Enumeration schemes' most notable feature is that they may be discovered and proven via only finite computation. We prove that when a finite enumeration scheme exists to compute the number of permutations avoiding a given set of vincular patterns, the scheme can also compute the distribution of certain permutation statistics with very little extra computation.

For a set of permutation patterns $Π$, let $F^\text{st}_n(Π,q)$ be the st-polynomial of permutations avoiding all patterns in $Π$. Suppose $312\inΠ$. For a class of permutation statistics which includes inversion and descent statistics, we give a formula that expresses $F^\text{st}_n(Π;q)$ in terms of these st-polynomials where we take some subblocks of the patterns in $Π$. Using this formula, we can construct many examples of nontrivial st-Wilf equivalences. In particular, this disproves a conjecture by Dokos, Dwyer, Johnson, Sagan, and Selsor that all $\text{inv}$-Wilf equivalences are trivial.

We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood symmetric functions and their (q,t)-analogues introduced by Bergeron and Zabrocki, and to a more general family of noncommutative symmetric functions having parameters associated with paths in binary trees introduced recently by Lascoux, Novelli, and Thibon. We also obtain multivariate quasisymmetric function identities, which specialize to results of Garsia and Gessel on generating functions of multivariate distributions of permutation statistics.

We initiate the study of limit shapes for random permutations avoiding a given pattern. Specifically, for patterns of length 3, we obtain delicate results on the asymptotics of distributions of positions of numbers in the permutations. We view the permutations as 0-1 matrices to describe the resulting asymptotics geometrically. We then apply our results to obtain a number of results on distributions of permutation statistics.

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, inversion number, descent number, major index and $k$-cycle number. In particular, this leads to formulae for the expected values of said statistics.

Recently, the second author studied an Eulerian statistic (called cover) in the context of convex polytopes, and proved an equal joint distribution of (cover,des) with (des,exc). In this paper, we present several direct bijective proofs that cover is Eulerian, and examine its generalizations and their Mahonian partners. We also present a quasi-symmetric function proof (suggested by Michelle Wachs) of the above equal joint distribution.

We study $q$-analogues of $k$-Fibonacci numbers that arise from weighted tilings of an $n\times1$ board with tiles of length at most $k$. The weights on our tilings arise naturally out of distributions of permutations statistics and set partitions statistics. We use these $q$-analogues to produce $q$-analogues of identities involving $k$-Fibonacci numbers. This is a natural extension of results of the first author and Sagan on set partitions and the first author and Mathisen on permutations. In this paper we give general $q$-analogues of $k$-Fibonacci identities for arbitrary weights that depend only on lengths and locations of tiles. We then determine weights for specific permutation or set partition statistics and use these specific weights and the general identities to produce specific identities.

We show that a recent identity of Beck-Gessel-Lee-Savage on the generating function of symmetrically contrained compositions of integers generalizes naturally to a family of convex polyhedral cones that are invariant under the action of a finite reflection group. We obtain general expressions for the multivariate generating functions of such cones, and work out the specific cases of a symmetry group of type A (previously known) and types B and D (new). We obtain several applications of the special cases in type B, including identities involving permutation statistics and lecture hall partitions.