arXiv++ Combinatorics

In this paper, we confirm six conjectures on the exact values of some permanents, relating them to the Genocchi numbers of the first and second kinds as well as the Euler numbers. For example, we prove that $$\mathrm{per}\left[\left\lfloor\frac{2j-k}{n}\right\rfloor\right]_{1\le j,k\le n}=2(2^{n+1}-1)B_{n+1},$$ where $B_0,B_1,B_2,\ldots$ are the Bernoulli numbers. We also show that $$ \mathrm{per}\left[\mathrm{sgn}\left(\cosπ\frac{i+j}{n+1}\right)\right]_{1\le i,j\le n}=\begin{cases} -\sum_{k=0}^m\binom{m}{k}E_{2k+1}&\quad\text{if}\ n=2m+1,\\ \sum_{k=0}^m\binom{m}{k}E_{2k}&\quad\text{if}\ n=2m, \end{cases} $$ where $\mathrm{sgn}(x)$ is the sign function, and $E_0,E_1,E_2,\ldots$ are the Euler (zigzag) numbers. In the course of linking the evaluation of these permanents to the aforementioned combinatorial sequences, the classical permutation statistic -- the excedance number, together with several kinds of its variants, plays a central role. Our approach features recurrence relations, bijections, as well as certain elementary operations on matrices that preserve their permanents. Moreover, our proof of the second permanent identity leads to a proof of Bala's conjectural continued fraction formula, and an unexpected permutation interpretation for the $γ$-coefficients of the $2$-Eulerian polynomials.

A di-sk tree is a rooted binary tree whose nodes are labeled by $\oplus$ or $\ominus$, and no node has the same label as its right child. The di-sk trees are in natural bijection with separable permutations. We construct a combinatorial bijection on di-sk trees proving the two quintuples $(\LMAX,\LMIN,\DESB,\iar,\comp)$ and $(\LMAX,\LMIN,\DESB,\comp,\iar)$ have the same distribution over separable permutations. Here for a permutation $π$, $\LMAX(π)/\LMIN(π)$ is the set of values of the left-to-right maxima/minima of $π$ and $\DESB(π)$ is the set of descent bottoms of $π$, while $\comp(π)$ and $\iar(π)$ are respectively the number of components of $π$ and the length of initial ascending run of $π$. Interestingly, our bijection specializes to a bijection on $312$-avoiding permutations, which provides (up to the classical {\em Knuth--Richards bijection}) an alternative approach to a result of Rubey (2016) that asserts the two triples $(\LMAX,\iar,\comp)$ and $(\LMAX,\comp,\iar)$ are equidistributed on $321$-avoiding permutations. Rubey's result is a symmetric extension of an equidistribution due to Adin--Bagno--Roichman, which implies the class of $321$-avoiding permutations with a prescribed number of components is Schur positive. Some equidistribution results for various statistics concerning tree traversal are presented in the end.

We launch a systematic study of the refined Wilf-equivalences by the statistics $\mathsf{comp}$ and $\mathsf{iar}$, where $\mathsf{comp}(π)$ and $\mathsf{iar}(π)$ are the number of components and the length of the initial ascending run of a permutation $π$, respectively. As Comtet was the first one to consider the statistic $\mathsf{comp}$ in his book {\em Analyse combinatoire}, any statistic equidistributed with $\mathsf{comp}$ over a class of permutations is called by us a {\em Comtet statistic} over such class. This work is motivated by a triple equidistribution result of Rubey on $321$-avoiding permutations, and a recent result of the first and third authors that $\mathsf{iar}$ is a Comtet statistic over separable permutations. Some highlights of our results are: (1) Bijective proofs of the symmetry of the double Comtet distribution $(\mathsf{comp},\mathsf{iar})$ over several Catalan and Schröder classes, preserving the values of the left-to-right maxima. (2) A complete classification of $\mathsf{comp}$- and $\mathsf{iar}$-Wilf-equivalences for length $3$ patterns and pairs of length $3$ patterns. Calculations of the $(\mathsf{des},\mathsf{iar},\mathsf{comp})$ generating functions over these pattern avoiding classes and separable permutations. (3) A further refinement by the Comtet statistic $\mathsf{iar}$, of Wang's recent descent-double descent-Wilf equivalence between separable permutations and $(2413,4213)$-avoiding permutations.

The $k$-arrangements are permutations whose fixed points are $k$-colored. We prove enumerative results related to statistics and patterns on $k$-arrangements, confirming several conjectures by Blitvić and Steingrímsson. In particular, one of their conjectures regarding the equdistribution of the number of descents over the derangement form and the permutation form of $k$-arrangements is strengthened in two interesting ways. Moreover, as one application of the so-called Decrease Value Theorem, we calculate the generating function for a symmetric pair of Eulerian statistics over permutations arising in our study.

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.

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.

Let $r(n,k)$ (resp. $s(n,k)$) be the number of Schröder paths (resp. little Schröder paths) of length $2n$ with $k$ hills, and set $r(0,0)=s(0,0)=1$. We bijectively establish the following recurrence relations: \begin{align*} r(n,0)&=\sum\limits_{j=0}^{n-1}2^{j}r(n-1,j), r(n,k)&=r(n-1,k-1)+\sum\limits_{j=k}^{n-1}2^{j-k}r(n-1,j),\quad 1\le k\le n, s(n,0) &=\sum\limits_{j=1}^{n-1}2\cdot3^{j-1}s(n-1,j), s(n,k) &=s(n-1,k-1)+\sum\limits_{j=k+1}^{n-1}2\cdot3^{j-k-1}s(n-1,j),\quad 1\le k\le n. \end{align*} The infinite lower triangular matrices $[r(n,k)]_{n,k\ge 0}$ and $[s(n,k)]_{n,k\ge 0}$, whose row sums produce the large and little Schröder numbers respectively, are two Riordan arrays of Bell type. Hence the above recurrences can also be deduced from their $A$- and $Z$-sequences characterizations. On the other hand, it is well-known that the large Schröder numbers also enumerate separable permutations. This propelled us to reveal the connection with a lesser-known permutation statistic, called initial ascending run, whose distribution on separable permutations is shown to be given by $[r(n,k)]_{n,k\ge 0}$ as well.

For an integer $m\ge 2$, a partition $λ=(λ_1,λ_2,\ldots)$ is called $m$-falling, a notion introduced by Keith, if the least nonnegative residues mod $m$ of $λ_i$'s form a nonincreasing sequence. We extend a bijection originally due to the third author to deduce a lecture hall theorem for such $m$-falling partitions. A special case of this result gives rise to a finite version of Pak-Postnikov's $(m,c)$-generalization of Euler's theorem. Our work is partially motivated by a recent extension of Euler's theorem for all moduli, due to Keith and Xiong. We note that their result actually can be refined with one more parameter.

The distribution of certain Mahonian statistic (called $\mathrm{BAST}$) introduced by Babson and Steingrímsson over the set of permutations that avoid vincular pattern $1\underline{32}$, is shown bijectively to match the distribution of major index over the same set. This new layer of equidistribution is then applied to give alternative interpretations of two related $q$-Stirling numbers of the second kind, studied by Carlitz and Gould. Moreover, extensions to an Euler-Mahonian statistic over ordered set partitions, and to statistics over ordered multiset partitions present themselves naturally. The latter of which is shown to be related to the recently proven Delta Conjecture. During the course, a refined relation between $\mathrm{BAST}$ and its reverse complement $\mathrm{STAT}$ is derived as well.

The aim of this paper is two-fold. We first prove several new interpretations of a kind of $(q,t)$-Catalan numbers along with their corresponding $γ$-expansions using pattern avoiding permutations. Secondly, we give a complete characterization of certain $(-1)$-phenomenon for each subset of permutations avoiding a single pattern of length three, and discuss their $q$-analogues utilizing the newly obtained $q$-$γ$-expansions, as well as the continued fraction of a quint-variate generating function due to Shin and the fourth author. Moreover, we enumerate the alternating permutations avoiding simultaneously two patterns, namely $(2413,3142)$ and $(1342,2431)$, of length four, and consider such $(-1)$-phenomenon for these two subsets as well.

Motivated by Alladi's recent multi-dimensional generalization of Sylvester's classical identity, we provide a simple combinatorial proof of an overpartition analogue, which contains extra parameters tracking the numbers of overlined parts of different colors. This new identity encompasses a handful of classical results as special cases, such as Cauchy's identity, and the product expressions of three classical theta functions studied by Gauss, Jacobi and Ramanujan.

Building on a bijection of Vandervelde, we enumerate certain unimodal sequences whose alternating sum equals zero. This enables us to refine the enumeration of strict partitions with respect to the number of parts and the BG-rank.

Motivated by a partition inequality of Bessenrodt and Ono, we obtain analogous inequalities for $k$-colored partition functions $p_{-k}(n)$ for all $k\geq2$. This enables us to extend the $k$-colored partition function multiplicatively to a function on $k$-colored partitions, and characterize when it has a unique maximum. We conclude with one conjectural inequality that strengthens our results.

In 2000, Babson and Steingrímsson generalized the notion of permutation patterns to the so-called vincular patterns, and they showed that many Mahonian statistics can be expressed as sums of vincular pattern occurrence statistics. STAT is one of such Mahonian statistics discoverd by them. In 2016, Kitaev and the third author introduced a words analogue of STAT and proved a joint equidistribution result involving two sextuple statistics on the whole set of words with fixed length and alphabet. Moreover, their computer experiments hinted at a finer involution on $R(w)$, the rearrangement class of a given word $w$. We construct such an involution in this paper, which yields a comparable joint equidistribution between two sextuple statistics over $R(w)$. Our involution builds on Burstein's involution and Foata-Schützenberger's involution that utilizes the celebrated RSK algorithm.

A generalized crank ($k$-crank) for $k$-colored partitions is introduced. Following the work of Andrews-Lewis and Ji-Zhao, we derive two results for this newly defined $k$-crank. Namely, we first obtain some inequalities between the $k$-crank counts $M_{k}(r,m,n)$ for $m=2,3$ and $4$, then we prove the positivity of symmetrized even $k$-crank moments weighted by the parity for $k=2$ and $3$. We conclude with several remarks on furthering the study initiated here.

Motivated by Andrews' recent work related to Euler's partition theorem, we consider the set of partitions of an integer $n$ where the set of even parts has exactly $j$ elements, versus the set of partitions of $n$ where the set of repeated parts has exactly $j$ elements. These two sets of partitions turn out to be equinumerous, and this naturally encloses Euler's theorem and Andrews' theorem as two special cases. We give two proofs, one using generating function, and the other is a direct bijection that builds on Glaisher's bijection

Multiranks and new rank/crank analogs for a variety of partitions are given, so as to imply combinatorially some arithmetic properties enjoyed by these types of partitions. Our methods are elementary relying entirely on the three classical theta functions, and are motivated by the seminal work of Ramanujan, Garvan, Hammond and Lewis.

Motivated by a recent paper of Straub, we study the distribution of integer partitions according to the length of their largest hook, instead of the usual statistic, namely the size of the partitions. We refine Straub's analogue of Euler's Odd-Distinct partition theorem, derive a generalization in the spirit of Alder's conjecture, as well as a curious analogue of the first Rogers-Ramanujan identity. Moreover, we obtain a partition theorem that is the counterpart of Euler's pentagonal number theory in this setting, and connect it with the Rogers-Fine identity. We concludes with some congruence properties.

Berkovich-Uncu have recently proved a companion of the well-known Capparelli's identities as well as refinements of Savage-Sills' new little Göllnitz identities. Noticing the connection between their results and Boulet's earlier four-parameter partition generating functions, we discover a new class of partitions, called $k$-strict partitions, to generalize their results. By applying both horizontal and vertical dissections of Ferrers' diagrams with appropriate labellings, we provide a unified combinatorial treatment of their results and shed more lights on the intriguing conditions of their companion to Capparelli's identities.

The descent polynomials of separable permutations and derangements are both demonstrated to be unimodal. Moreover, we prove that the $γ$-coefficients of the first are positive with an interpretation parallel to the classical Eulerian polynomial, while the second is spiral, a property stronger than unimodality. Furthermore, we conjecture that they are both real-rooted.