arXiv++ Combinatorics

Derangements are permutations without fixed points, and are in bijection with desarrangements: permutations whose first non-descent is even, or equivalently, permutations without ``pixed points''. Bsila, Cox, Hugo, Styron, and Zhuang recently proved a theorem characterizing all $Π\subseteq\mathfrak{S}_{3}$, such that $1\leq\left|Π\right|\leq3$, for which the number of derangements avoiding all patterns in $Π$ is equal to the number of desarrangements avoiding all patterns in $Π$. They left finding a bijective proof of this theorem as an open problem, and posed a related conjecture concerning the distributions of fixed points and pixed points over pattern avoidance classes. In this paper, we give bijective proofs of this theorem and conjecture.

Jacobi permutations, introduced by Viennot in the context of Jacobi elliptic functions, are counted by the Euler numbers $E_{n}$ appearing in the series expansion $\sec x+\tan x=\sum_{n=0}^{\infty}E_{n}x^{n}/n!$. We conduct a systematic study of pattern avoidance in Jacobi permutations, achieving a complete enumeration of Jacobi permutations avoiding a prescribed set of length 3 patterns. In the case of a single pattern restriction, we obtain refined enumerations with respect to several permutation statistics: the number of ascents (or descents), the number of left-to-right minima, and the last letter. Bijections involving certain subfamilies of binary trees and Dyck paths, as well as generating function techniques, play important roles in our proofs.

A desarrangement is a permutation whose first ascent is even. Desarrangements were introduced in the 1980s by Jacques Désarménien, who proved that they are in bijection with derangements. We revisit the study of desarrangements, focusing on two themes: the refined enumeration of desarrangements with respect to permutation statistics, and pattern avoidance in desarrangements. Our main results include generating function formulas for counting desarrangements by the number of descents, peaks, valleys, double ascents, and double descents, as well as a complete enumeration of desarrangements avoiding a prescribed set of length 3 patterns. We find new interpretations of the Catalan, Fine, Jacobsthal, and Fibonacci numbers in terms of pattern-avoiding desarrangements.

A descent $k$ of a permutation $π=π_{1}π_{2}\dotsπ_{n}$ is called a big descent if $π_{k}>π_{k+1}+1$; denote the number of big descents of $π$ by $\operatorname{bdes}(π)$. We study the distribution of the $\operatorname{bdes}$ statistic over permutations avoiding prescribed sets of length-three patterns. Specifically, we classify all pattern sets $Π\subseteq\mathfrak{S}_{3}$ of size 1 and 2 into $\operatorname{bdes}$-Wilf equivalence classes, and we derive a formula for the distribution of big descents for each of these classes. Our methods include generating function techniques along with various bijections involving objects such as Dyck paths and binary words. Several future directions of research are proposed, including conjectures concerning real-rootedness, log-concavity, and Schur positivity.

Consider a search from the root of an ordered tree with $n$ edges to some target node at a fixed distance $\ell$ from that root. We compare the average time complexity of the breadth-first search (BFS) and depth-first search (DFS) algorithms, when the target node is selected uniformly at random among all nodes at level $\ell$ in the ordered trees with $n$ edges. Intuition suggests that BFS should have better average performance when $\ell$ is small, while DFS must have an advantage when $\ell$ is large. But where exactly is the threshold, as a function of $n$, and is it unique? We obtain explicit formulas for the expected number of steps of both BFS and DFS, by using results on the occupation measure of Brownian excursions, as well as a combinatorial proof of an identity related to lattice paths. This allows us to show that there exists a unique constant $λ\approx 0.789004$, such that in expectation BFS is asymptotically faster than DFS if and only if $\ell\leq λ\sqrt{n}$. Furthermore, we find the asymptotic average time complexity of BFS in the given setting for any class of Galton$\unicode{x2013}$Watson trees, including binary trees and ordered trees. Finally, we introduce the truncated DFS algorithm, which performs better than both BFS and DFS when $\ell$ is known in advance, and we find a formula evaluating the average time complexity of this algorithm.

For any finite partially ordered set $P$, the $P$-Eulerian polynomial is the generating function for the descent number over the set of linear extensions of $P$, and is closely related to the order polynomial of $P$ arising in the theory of $P$-partitions. Here we study the $P$-Eulerian polynomial where $P$ is a naturally labeled zig-zag poset; we call these zig-zag Eulerian polynomials. A result of Brändén implies that these polynomials are gamma-nonnegative, and hence their coefficients are symmetric and unimodal. The zig-zag Eulerian polynomials and the associated order polynomials have appeared fleetingly in the literature in a wide variety of contexts$\unicode{x2014}$e.g., in the study of polytopes, magic labelings of graphs, and Kekulé structures$\unicode{x2014}$but they do not appear to have been studied systematically. In this paper, we use a "relaxed" version of $P$-partitions to both survey and unify results. Our technique shows that the zig-zag Eulerian polynomials also capture the distribution of "big returns" over the set of (up-down) alternating permutations, as first observed by Coons and Sullivant. We develop recurrences for refined versions of the relevant generating functions, which evoke similarities to recurrences for the classical Eulerian polynomials. We conclude with a literature survey and open questions.

This paper studies the relationship between the modified Foata$\unicode{x2013}$Strehl action (a.k.a. valley-hopping)$\unicode{x2014}$a group action on permutations used to demonstrate the $γ$-positivity of the Eulerian polynomials$\unicode{x2014}$and the number of rixed points $\operatorname{rix}$$\unicode{x2014}$a recursively-defined permutation statistic introduced by Lin in the context of an equidistribution problem. We give a linear-time iterative algorithm for computing the set of rixed points, and prove that the $\operatorname{rix}$ statistic is homomesic under valley-hopping. We also demonstrate that a bijection $Φ$ introduced by Lin and Zeng in the study of the $\operatorname{rix}$ statistic sends orbits of the valley-hopping action to orbits of a cyclic version of valley-hopping, which implies that the number of fixed points $\operatorname{fix}$ is homomesic under cyclic valley-hopping.

We introduce a subfamily of skew Dyck paths called box paths and show that they are in bijection with pairs of ternary trees, confirming an observation stated previously on the On-Line Encyclopedia of Integer Sequences. More generally, we define $k$-box paths, which are in bijection with $(k+1)$-tuples of $(k+2)$-ary trees. A bijection is given between $k$-box paths and a subfamily of $k_{t}$-Dyck paths, as well as a bijection with a subfamily of $(k,\ell)$-threshold sequences. We also study the refined enumeration of $k$-box paths by the number of returns and the number of long ascents. Notably, the distribution of long ascents over $k$-box paths generalizes the Narayana distribution on Dyck paths, and we find that $(k-3)$-box paths with exactly two long ascents provide a combinatorial model for the second $k$-gonal numbers.

Given a permutation statistic $\operatorname{st}$, define its inverse statistic $\operatorname{ist}$ by $\operatorname{ist}(π):=\operatorname{st}(π^{-1})$. We give a general approach, based on the theory of symmetric functions, for finding the joint distribution of $\operatorname{st}_{1}$ and $\operatorname{st}_{2}$ whenever $\operatorname{st}_{1}$ and $\operatorname{st}_{2}$ are descent statistics: permutation statistics that depend only on the descent composition. We apply this method to a number of descent statistics, including the descent number, the peak number, the left peak number, the number of up-down runs, and the major index. Perhaps surprisingly, in many cases the polynomial giving the joint distribution of $\operatorname{st}_{1}$ and $\operatorname{ist}_{2}$ can be expressed as a simple sum involving products of the polynomials giving the (individual) distributions of $\operatorname{st}_{1}$ and $\operatorname{st}_{2}$. Our work leads to a rederivation of Stanley's generating function for doubly alternating permutations, as well as several conjectures concerning real-rootedness and $γ$-positivity.

The kernel $\mathcal{K}^{\operatorname{st}}$ of a descent statistic $\operatorname{st}$, introduced by Grinberg, is a subspace of the algebra $\operatorname{QSym}$ of quasisymmetric functions defined in terms of $\operatorname{st}$-equivalent compositions, and is an ideal of $\operatorname{QSym}$ if and only if $\operatorname{st}$ is shuffle-compatible. This paper continues the study of kernels of descent statistics, with emphasis on the peak set $\operatorname{Pk}$ and the peak number $\operatorname{pk}$. The kernel $\mathcal{K}^{\operatorname{Pk}}$ in particular is precisely the kernel of the canonical projection from $\operatorname{QSym}$ to Stembridge's algebra of peak quasisymmetric functions, and is the orthogonal complement of Nyman's peak algebra. We prove necessary and sufficient conditions for obtaining spanning sets and linear bases for the kernel $\mathcal{K}^{\operatorname{st}}$ of any descent statistic $\operatorname{st}$ in terms of fundamental quasisymmetric functions, and give characterizations of $\mathcal{K}^{\operatorname{Pk}}$ and $\mathcal{K}^{\operatorname{pk}}$ in terms of the fundamental basis and the monomial basis of $\operatorname{QSym}$. Our results imply that the peak set and peak number statistics are $M$-binomial, confirming a conjecture of Grinberg.

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 establish a tantalizing symmetry of certain numbers refining the Narayana numbers. In terms of Dyck paths, this symmetry is interpreted in the following way: if $w_{n,k,m}$ is the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$, then $w_{2k+1,k,m}=w_{2k+1,k,k+1-m}$. We give a combinatorial proof of this fact, relying on the cycle lemma, and showing that the numbers $w_{2k+1,k,m}$ are multiples of the Narayana numbers. We prove a more general fact establishing a relationship between the numbers $w_{n,k,m}$ and a family of generalized Narayana numbers due to Callan. A closed-form expression for the even more general numbers $w_{n,k_{1},k_{2},\ldots , k_{r}}$ counting the semilength-$n$ Dyck paths with $k_{1}$ $UD$-factors, $k_{2}$ $UUD$-factors, $\ldots$ , and $k_{r}$ $U^{r}D$-factors is also obtained, as well as a more general form of the discussed symmetry for these numbers in the case when all rise runs are of certain minimal length. Finally, we investigate properties of the polynomials $W_{n,k}(t)= \sum_{m=0}^k w_{n,k,m} t^m$, including real-rootedness, $γ$-positivity, and a symmetric decomposition.

The Goulden$\unicode{x2013}$Jackson cluster method, adapted to permutations by Elizalde and Noy, reduces the problem of counting permutations by occurrences of a prescribed consecutive pattern to that of counting clusters, which are special permutations with a lot of structure. Recently, Zhuang found a generalization of the cluster method which specializes to refinements by additional permutation statistics, namely the inverse descent number $\operatorname{ides}$, the inverse peak number $\operatorname{ipk}$, and the inverse left peak number $\operatorname{ilpk}$. Continuing this line of work, we study the enumeration of $2134\cdots m$-clusters by $\operatorname{ides}$, $\operatorname{ipk}$, and $\operatorname{ilpk}$, which allows us to derive formulas for counting permutations by occurrences of the consecutive pattern $2134\cdots m$ jointly with each of these statistics. Analogous results for the pattern $12\cdots (m-2)m(m-1)$ are obtained via symmetry arguments. Along the way, we discover that $2134\cdots (r+1)$-clusters are equinumerous with $r$-Stirling permutations introduced by Gessel and Stanley, and we establish some joint equidistributions between these two families of permutations.

We give multiple proofs of two formulas concerning the enumeration of permutations avoiding a monotone consecutive pattern with a certain value for the inverse peak number or inverse left peak number statistic. The enumeration in both cases is given by a sequence related to Fibonacci numbers. We also show that there is exactly one permutation whose inverse peak number is zero among all permutations with any fixed descent composition, and we give a few elementary consequences of this fact. Our proofs involve generating functions, symmetric functions, regular expressions, and monomino-domino tilings.

The Goulden-Jackson cluster method is a powerful tool for counting words by occurrences of prescribed subwords, and was adapted by Elizalde and Noy for counting permutations by occurrences of prescribed consecutive patterns. In this paper, we lift the cluster method for permutations to the Malvenuto-Reutenauer algebra. Upon applying standard homomorphisms, our result specializes to both the cluster method for permutations as well as a q-analogue which keeps track of the inversion number statistic. We construct additional homomorphisms using the theory of shuffle-compatibility, leading to further specializations which keep track of various "inverse statistics", including the inverse descent number, inverse peak number, and inverse left peak number. This approach is then used to derive formulas for counting permutations by occurrences of two families of consecutive patterns -- monotone patterns and transpositional patterns -- refined by these statistics.

We prove several general formulas for the distributions of various permutation statistics over any set of permutations whose quasisymmetric generating function is a symmetric function. Our formulas involve certain kinds of plethystic substitutions on quasisymmetric generating functions, and the permutation statistics we consider include the descent number, peak number, left peak number, and the number of up-down runs. We apply these results to cyclic permutations, involutions, and derangements, and more generally, to derive formulas for counting all permutations by the above statistics jointly with the number of fixed points and jointly with cycle type. A number of known formulas are recovered as special cases of our results, including formulas of Désarménien-Foata, Gessel-Reutenauer, Stembridge, Fulman, Petersen, Diaconis-Fulman-Holmes, Zhuang, and Athanasiadis.

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.

We prove various formulas which express exponential generating functions counting permutations by the peak number, valley number, double ascent number, and double descent number statistics in terms of the exponential generating function for Chebyshev polynomials, as well as cyclic analogues of these formulas for derangements. We give several applications of these results, including formulas for the $(-1)$-evaluation of some of these distributions. Our proofs are combinatorial and involve the use of monomino-domino tilings, the modified Foata-Strehl action (a.k.a. valley-hopping), and a cyclic analogue of this action due to Sun and Wang.

Since the early work of Richard Stanley, it has been observed that several permutation statistics have a remarkable property with respect to shuffles of permutations. We formalize this notion of a shuffle-compatible permutation statistic and introduce the shuffle algebra of a shuffle-compatible permutation statistic, which encodes the distribution of the statistic over shuffles of permutations. This paper develops a theory of shuffle-compatibility for descent statistics (statistics that depend only on the descent set and length) which has close connections to the theory of $P$-partitions, quasisymmetric functions, and noncommutative symmetric functions. We use our framework to prove that many descent statistics are shuffle-compatible and to give explicit descriptions of their shuffle algebras, thus unifying past results of Stanley, Gessel, Stembridge, Aguiar-Bergeron-Nyman, and Petersen.

We prove several identities expressing polynomials counting permutations by various descent statistics in terms of Eulerian polynomials, extending results of Stembridge, Petersen, and Brändén. Additionally, we find $q$-exponential generating functions for $q$-analogues of these descent statistic polynomials that also keep track of the inversion number or inverse major index. We also present identities relating several of these descent statistic polynomials to refinements of type B Eulerian polynomials and flag descent polynomials by the number of negative letters of a signed permutation. Our methods include permutation enumeration techniques involving noncommutative symmetric functions, Brändén's modified Foata-Strehl action, and a group action of Petersen on signed permutations. Notably, the modified Foata-Strehl action yields an analogous relation between Narayana polynomials and the joint distribution of the peak number and descent number over 231-avoiding permutations, which we also interpret in terms of binary trees and Dyck paths.