arXiv++ Combinatorics

A ballot permutation is a permutation π such that in any prefix of π the descent number is not more than the ascent number. In this article, we obtained a formula in close form for the multivariate generating function of {A(n,d,j)}, which denote the number of permutations of length n with d descents and j as the first letter. Besides, by a series of calculations with generatingfunctionology, we confirm a recent conjecture of Wang and Zhang for ballot permutations.

It is well known since the seminal work by Bousquet-Mélou, Claesson, Dukes and Kitaev (2010) that certain refinements of the ascent sequences with respect to several natural statistics are in bijection with corresponding refinements of $({\bf2+2})$-free posets and permutations that avoid a bivincular pattern. Different multiply-refined enumerations of ascent sequences and other bijectively equivalent structures have subsequently been extensively studied by various authors. In this paper, our main contributions are 1. a bijective proof of a bi-symmetric septuple equidistribution of statistics on ascent sequences, involving the number of ascents (asc), the number of repeated entries (rep), the number of zeros (zero), the number of maximal entries (max), the number of right-to-left minima (rmin) and two auxiliary statistics; 2. a new transformation formula for non-terminating basic hypergeometric $_4φ_3$ series expanded as an analytic function in base $q$ around $q=1$, which is utilized to prove two (bi)-symmetric quadruple equidistributions on ascent sequences. A by-product of our findings includes the affirmation of a conjecture about the bi-symmetric equidistribution between the quadruples of Euler--Stirling statistics (asc,rep,zero,max) and (rep,asc,max,zero) on ascent sequences, that was motivated by a double Eulerian equidistribution due to Foata (1977) and recently proposed by Fu, Lin, Yan, Zhou and the first author (2018).

A ballot permutation is a permutation $π$ such that in any prefix of $π$ the descent number is not more than the ascent number. By using a reversal concatenation map, we give a formula for the joint distribution (pk, des) of the peak and descent statistics over ballot permutations, and connect this distribution and the joint distribution (pk, dp, des) of the peak, depth, and descent statistics over ordinary permutations in terms of generating functions. As corollaries, we obtain several formulas for the bivariate generating function for (i) the peak statistic over ballot permutations,(ii) the descent statistic over ballot permutations, and (iii) the depth statistic over ordinary permutations. In particular, we confirm Spiro's conjecture which finds the equidistribution of the descent statistic for ballot permutations and an analogue of the descent statistic for odd order permutations.

Asinowski, Bacher, Banderier and Gittenberger (A. Asinowski, A. Bacher, C. Banderier and B. Gittenberger. Analytic combinatorics of lattice paths with forbidden patterns, the vectorial kernel method, and generating functions for pushdown automata. Algorithmica, pp. 1-43, 2019.) recently developed the vectorial kernel method - a powerful extension of the classical kernel method that can be used for paths that obey constraints that can be described by finite automata, e.g. avoid a fixed pattern, avoid several patterns at once, stay in a horizontal strip and many others more. However, they only considered walks with steps of length one. In this paper we will generalize their results to walks with longer steps. We will also give some applications of this extension and prove a conjecture about the asymptotic behavior of the expected number of ascents in Schroeder paths.

We take the first steps in developing a theory of transport of patterns from Fishburn permutations to (modified) ascent sequences. Given a set of pattern avoiding Fishburn permutations, we provide an explicit construction for the basis of the corresponding set of modified ascent sequences. Our approach is in fact more general and can transport patterns between permutations and equivalence classes of so called Cayley permutations. This transport of patterns relies on a simple operation we call the Burge transpose. It operates on certain biwords called Burge words. Moreover, using mesh patterns on Cayley permutations, we present an alternative view of the transport of patterns as a Wilf-equivalence between subsets of Cayley permutations. We also highlight a connection with primitive ascent sequences.

We prove that the enumerative polynomials of generalized Stirling permutations by the statistics of plateaux, descents and ascents are partial $γ$-positive. Specialization of our result to the Jacobi-Stirling permutations confirms a recent partial $γ$-positivity conjecture due to Ma, Yeh and the second named author. Our partial $γ$-positivity expansion, as well as a combinatorial interpretation for the corresponding $γ$-coefficients, are obtained via the machine of context-free grammars and a group action on generalized Stirling permutations. Besides, we also provide an alternative approach to the partial $γ$-positivity from the stability of certain multivariate polynomials.

Recently, Yan and the first named author investigated systematically the enumeration of inversion or ascent sequences avoiding vincular patterns of length $3$, where two of the three letters are required to be adjacent. They established many connections with familiar combinatorial families and proposed several interesting conjectures. The objective of this paper is to address two of their conjectures concerning the enumeration of $\underline{12}0$-avoiding inversion or ascent sequences.

Stirling permutations were introduced by Gessel and Stanley, who used their enumeration by the number of descents to give a combinatorial interpretation of certain polynomials related to Stirling numbers. Quasi-Stirling permutations, which can be viewed as labeled noncrossing matchings, were introduced by Archer et al. as a natural extension of Stirling permutations. Janson's correspondence between Stirling permutations and labeled increasing plane trees extends to a bijection between quasi-Stirling permutations and the same set of trees without the increasing restriction. Archer et al. posed the problem of enumerating quasi-Stirling permutations by the number of descents, and conjectured that there are $(n+1)^{n-1}$ such permutations of size $n$ having the maximum number of descents. In this paper we prove their conjecture, and we give the generating function for quasi-Stirling permutations by the number of descents, expressed as a compositional inverse of the generating function of Eulerian polynomials. We also find the analogue for quasi-Stirling permutations of the main result from Gessel and Stanley's paper. We prove that the distribution of descents on these permutations is asymptotically normal, and that the roots of the corresponding quasi-Stirling polynomials are all real, in analogy to Bóna's results for Stirling permutations. Finally, we generalize our results to a one-parameter family of permutations that extends $k$-Stirling permutations, and we refine them by also keeping track of the number of ascents and the number of plateaus.

We show that, modulo some odd prime p, the powers of two weighted sum of the first p-2 divided Bernoulli numbers equals the Agoh-Giuga quotient plus twice the number of permutations on p-2 letters with an even number of ascents and distinct from the identity. We provide a combinatorial characterization of Wieferich primes, as well as of primes p for which p^2 divides the Fermat quotient q_p(2).

Ascent sequences have received a lot of attention in recent years in connection with (2 + 2)-free posets and other combinatorial objects. Here, we first show bijectively that analogous repetition sequences are counted by the Bell numbers, and 021-avoiding repetition sequences by the Catalan numbers. Then we adapt a bijection of Chen et al and use it along with the "symbolic" method of Flajolet to find the 4-variable generating function for 021-avoiding ascent sequences by length, number of 0's, number of isolated 0's, and number of runs of 2 or more 0's. We deduce that 021-avoiding ascent sequences that have no consecutive 0's (resp. no isolated 0's) both satisfy a Catalan-like recurrence, differing only in initial conditions, and give a bijective proof for the case of no consecutive 0's. Lastly, we show that 021-avoiding descent sequences are equinumerous with same-size $UUDU$-avoiding Dyck paths.

As shown by Bousquet-Mélou--Claesson--Dukes--Kitaev (2010), ascent sequences can be used to encode $({\bf2+2})$-free posets. It is known that ascent sequences are enumerated by the Fishburn numbers, which appear as the coefficients of the formal power series $$\sum_{m=1}^{\infty}\prod_{i=1}^m (1-(1-t)^i).$$ In this paper, we present a novel way to recursively decompose ascent sequences, which leads to: (i) a calculation of the Euler--Stirling distribution on ascent sequences, including the numbers of ascents ($\asc$), repeated entries $(\rep)$, zeros ($\zero$) and maximal entries ($\max$). In particular, this confirms and extends Dukes and Parviainen's conjecture on the equidistribution of $\zero$ and $\max$. (ii) a far-reaching generalization of the generating function formula for $(\asc,\zero)$ due to Jelínek. This is accomplished via a bijective proof of the quadruple equidistribution of $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\rmin,\zero)$, where $\rmin$ denotes the right-to-left minima statistic of ascent sequences. (iii) an extension of a conjecture posed by Levande, which asserts that the pair $(\asc,\zero)$ on ascent sequences has the same distribution as the pair $(\rep,\max)$ on $({\bf2-1})$-avoiding inversion sequences. This is achieved via a decomposition of $({\bf2-1})$-avoiding inversion sequences parallel to that of ascent sequences. This work is motivated by a double Eulerian equidistribution of Foata (1977) and a tempting bi-symmetry conjecture, which asserts that the quadruples $(\asc,\rep,\zero,\max)$ and $(\rep,\asc,\max,\zero)$ are equidistributed on ascent sequences.

A threshold graph is any graph which can be constructed from the empty graph by repeatedly adding a new vertex that is either adjacent to every vertex or to no vertices. The Eulerian number $\genfrac{\langle}{\rangle}{0pt}{}{n}{k}$ counts the number of permutations of size $n$ with exactly $k$ ascents. Implicitly Beissinger and Peled proved that the number of labeled threshold graphs on $n\ge 2$ vertices is \[\sum_{k=1}^{n-1}(n-k)\genfrac{\langle}{\rangle}{0pt}{}{n-1}{k-1}2^k.\] Their proof used generating functions. We give a direct combinatorial proof of this result.

For any integer $k\geq2$, we prove combinatorially the following Euler (binomial) transformation identity $$ \NC_{n+1}^{(k)}(t)=t\sum_{i=0}^n{n\choose i}\NW_{i}^{(k)}(t), $$ where $\NC_{m}^{(k)}(t)$ (resp.~$\NW_{m}^{(k)}(t)$) is the sum of weights, $t^\text{number of blocks}$, of partitions of $\{1,\ldots,m\}$ without $k$-crossings (resp.~enhanced $k$-crossings). The special $k=2$ and $t=1$ case, asserting the Euler transformation of Motzkin numbers are Catalan numbers, was discovered by Donaghey 1977. The result for $k=3$ and $t=1$, arising naturally in a recent study of pattern avoidance in ascent sequences and inversion sequences, was proved only analytically.

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.

We consider the distribution of ascents, descents, peaks, valleys, double ascents, and double descents over permutations avoiding a set of patterns. Many of these statistics have already been studied over sets of permutations avoiding a single pattern of length 3. However, the distribution of peaks over 321-avoiding permutations is new and we relate it statistics on Dyck paths. We also obtain new interpretations of a number of well-known combinatorial sequences by studying these statistics over permutations avoiding two patterns of length 3.

We show that if a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $μ[π]$ of the interval $[1,π]$ is zero. As a consequence, we show that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2\ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$. We also show that if a permutation $φ$ can be expressed as a direct sum of the form $α\oplus 1 \oplus β$, then any permutation $π$ containing an interval order-isomorphic to $φ$ has $μ[1, π]=0$; we deduce this from a more general result showing that $μ[σ, π]=0$ whenever $π$ contains an interval of a certain form. Finally, we show that if a permutation $π$ contains intervals isomorphic to certain pairs of permutations, or to certain permutations of length six, then $μ[1, π] = 0$.

A permutation $π$ is ballot if, for all $k$, the word $π_1\cdots π_k$ has at least as many ascents as it has descents. Let $b(n)$ denote the number of ballot permutations of order $n$, and let $p(n)$ denote the number of permutations which have odd order in the symmetric group $S_n$. Callan conjectured that $b(n)=p(n)$ for all $n$, which was proved by Bernardi, Duplantier, and Nadeau. We propose a refinement of Callan's original conjecture. Let $b(n,d)$ denote the number of ballot permutations with $d$ descents. Let $p(n,d)$ denote the number of odd order permutations with $M(π)=d$, where $M(π)$ is a certain statistic related to the cyclic descents of $π$. We conjecture that $b(n,d)=p(n,d)$ for all $n$ and $d$. We prove this stronger conjecture for the cases $d=1,\ 2,\ 3$, and $d=\lfloor(n-1)/2\rfloor$, and in each of these cases we establish formulas for $b(n,d)$ involving Eulerian numbers and Eulerian-Catalan numbers.

The combined work of Bousquet-Mélou, Claesson, Dukes, Jelínek, Kitaev, Kubitzke and Parviainen has resulted in non-trivial bijections among ascent sequences, (2+2)-free posets, upper-triangular integer matrices, and pattern-avoiding permutations. To probe the finer behavior of these bijections, we study two types of restrictions on ascent sequences. These restrictions are motivated by our results that their images under the bijections are natural and combinatorially significant. In addition, for one restriction, we are able to determine the effect of poset duality on the corresponding ascent sequences, matrices and permutations, thereby answering a question of the first author and Parviainen in this case. The second restriction should appeal to Catalaniacs.

We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for $Z(n)$. We also show that if a permutation $φ$ has certain properties, then any permutation $π$ which contains an interval order-isomorphic to $φ$ has $μ[1, π] = 0$.

In this paper, several variants of the ascent-plateau statistic are introduced, including flag ascent-plateau, double ascent and descent-plateau. We first study the flag ascent-plateau statistic on Stirling permutations by using context-free grammars. We then present a unified refinement of the ascent polynomials and the ascent-plateau polynomials. In particular, by using Foata and Strehl's group action, we prove two bistatistics over the set of Stirling permutations of order n are equidistributed.