arXiv++ Combinatorics

This note aims to provide a direct combinatorial proof of the Gessel--Reutenauer--Wachs formula for $q$-derangement numbers in the setting of decorated permutations, without using the $q$-binomial inversion formula. Decorated permutations, introduced by Postnikov in his study of the totally nonnegative Grassmannian, provide a natural framework for Chen's signed fixed-point model. Our proof is based on a major-index generating function for decorated permutations with a fixed number of signed fixed points, together with a sign-reversing and descent-set-preserving involution, thereby answering a question raised by Chen. This involution was discovered through human--AI collaboration.

We investigate the joint distribution of the trivariate statistics (des, maj, inv) on classical permutations, Andre permutations of the first and second kinds, and Simsun permutations. By decomposing permutations according to the position of the smallest element, we obtain explicit recurrence relations for the generating functions of these statistics. In the classical permutation setting, our recurrence relation yields the generating function for the trivariate statistics (des, maj, inv) due to Gessel, which is typically proved using MacMahon's technique.

The concept of context-free grammar in Combinatorics was first introduced by Chen in 1993. In 1996, Dumont significantly extended the theory of context-free grammars to a variety of other combinatorial models. Substantial progress in this direction has been achieved over the last decade. In this paper, we introduce a $q$-analogue of context-free grammars, which we call the $q$-derivative grammar. We establish the basic framework of $q$-grammars and develop the $q$-grammar calculus for computing $q$-exponential generating functions associated with $q$-grammars. Concrete $q$-grammars are constructed to study $q$-Eulerian, $q$-Roselle and $q$-André polynomials, including their generating functions and recurrences. This work extends the grammatical method to the $q$-setting and opens up new research directions.

In this paper, we construct two families of generalized Nahm sums of arbitrary rank $r\geq 2$ with the symmetrizers ${\rm diag} ({2,\ldots, 2},1)_{r\times r}$. Specifically, the cases corresponding to $r = 2$ and $r = 3$ of these two families have been previously demonstrated by Mizuno, Warnaar, and B. Wang-L. Wang. Additionally, we establish a family of Rogers-Ramanujan type identities associated with the index $({1,\ldots, 1},2)_{r\times r}$ for any rank $r\geq 2$. Building upon these three families, combined with another family of generalized Nahm sums (with the symmetrizers ${\rm diag} ({1,\ldots, 1},2)_{r\times r}$) established by B. Wang and L. Wang, we construct two vector-valued automorphic forms, one of which is a vector-valued modular function when $r$ is odd.

Simsun permutations, André I permutations and André II permutations are three combinatorial models for Euler numbers. It's known that the descent statistic is equidistributed over the set of André I permutations and the set of simsun permutations. In this paper, we prove that the trivariate statistic (ides, des, maj), comprising the inverse descent, descent, and major index, are equidistributed over these three sets. This result is equivalent to showing that the inverse descent is equidistributed over these three sets that share the same tree shape. The proof of the equidistribution of the inverse descent over the set of André I permutations and the set of André II permutations with the same tree shape reduces to establishing new refinements of Stanley's shuffle theorem.

This note is dedicated to presenting a polynomial analogue of $(n+1)!C_n=2^n(2n-1)!!$ (with $C_n$ as the $n$-th Catalan number) in the context of labeled plane trees and increasing plane trees, based on the definition of improper edges in labeled plane trees. A new involution on labeled plane trees is constructed to establish this identity, implying that the number of improper edges and the number of proper edges are equidsitributed over the set of labeled plane trees.

Chen, Deutsch and Elizalde introduced a refinement of the Narayana polynomials by distinguishing between old (leftmost child) and young leaves of plane trees. They also provided a refinement of Coker's formula by constructing a bijection. In fact, Coker's formula establishes a connection between the Narayana polynomials and the Motzkin polynomials, which implies the $γ$-positivity of the Narayana polynomials. In this paper, we introduce the polynomial $G_{n}(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, which further refine the Narayana polynomials by considering leaves of plane trees that have no siblings. We obtain the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$. To achieve further refinement of Coker's formula based on the polynomial $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$, we consider a refinement $M_n(u_1,u_2,u_3;v_1,v_2)$ of the Motzkin polynomials by classifying the old leaves of a tip-augmented plane tree into three categories and the young leaves into two categories. The generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$ is also established, and the refinement of Coker's formula is immediately derived by combining the generating function for $G_n(x_{11},x_{12},x_2;y_{11},y_{12},y_2)$ and the generating function for $M_n(u_1,u_2,u_3;v_1,v_2)$. We derive several interesting consequences from this refinement of Coker's formula. The method used in this paper is the grammatical approach introduced by Chen. We develop a unified grammatical approach to exploring polynomials associated with the statistics defined on plane trees. As you will see, the derivations of the generating functions for $G_n(x_{11},x_{12},x_2;{y}_{11},{y}_{12},y_2)$ and $M_n(u_1,u_2,u_3;v_1,v_2)$ become quite simple once their grammars are established.

The note is dedicated to refining a theorem by Diaconis, Evans, and Graham concerning successions and fixed points of permutations. This refinement specifically addresses non-adjacent successions, predecessors, excedances, and drops of permutations.

The polynomial of the major index ${\rm maj}_W (σ)$ over the subset $T$ of the Coxeter group $W$ is called the Mahonian polynomial over $T$, where ${\rm maj}_W (σ)$ is a Mahonian statistic of an element $σ\in T$, whereas the polynomial of the major index ${\rm maj}_W (σ)$ with the sign $(-1)^{\ell_W(σ)}$ over the subset $T$ is referred to as the signed Mahonian polynomial over $T$, where ${\ell_W(σ)}$ is the length of $σ\in T$. Gessel, Wachs, and Chow established the formulas for the Mahonian polynomials over the sets of derangements in the symmetric group $S_n$ and the hyperoctahedral group $B_n$. By extending Wachs' approach and employing a refinement of Stanley's shuffle theorem established in our recent paper, we derive the formula for the Mahonian polynomials over the set of derangements in the even-signed permutation group $D_n$. This completes a picture which is now known for all the classical Weyl groups. Gessel-Simion, Adin-Gessel-Roichman, and Biagioli previously established formulas for the signed Mahonian polynomials over the classical Weyl groups. Building upon their formulas, we derive the formulas for the signed Mahonian polynomials over the set of derangements in classical Weyl groups. As applications of the formulas for the (signed) Mahonian polynomials over the sets of derangements in the classical Weyl groups, we obtain enumerative formulas of the number of derangements in classical Weyl groups with even lengths.

We introduce the binomial-Stirling-Eulerian polynomials, denoted $\tilde{A}_n(x,y|α)$, which encompass binomial coefficients, Eulerian numbers and two Stirling statistics: the left-to-right minima and the right-to-left minima. When $α=1$, these polynomials reduce to the binomial-Eulerian polynomials $\tilde{A}_n(x,y)$, originally named by Shareshian and Wachs and explored by Chung-Graham-Knuth and Postnikov-Reiner-Williams. We investigate the $γ$-positivity of $\tilde{A}_n(x,y|α)$ from two aspects: firstly by employing the grammatical calculus introduced by Chen; and secondly by constructing a new group action on permutations. These results extend the symmetric Eulerian identity found by Chung, Graham and Knuth, and the $γ$-positivity of $\tilde{A}_n(x,y)$ first demonstrated by Postnikov, Reiner and Williams.

Carlitz and Scoville introduced the polynomials $A_n(x,y|α,β)$, which we refer to as the $(α, β)$-Eulerian polynomials. These polynomials count permutations based on Eulerian-Stirling statistics, including descents, ascents, left-to-right maxima, and right-to-left maxima. Carlitz and Scoville obtained the generating function of $A_n(x,y|α,β)$. In this paper, we introduce a new family of polynomials, $P_n(u_1,u_2,u_3,u_4|α,β)$, defined on permutations, incorporating descent-Stirling statistics including valleys, exterior peaks, right double descents, left double ascents, left-to-right maxima, and right-to-left maxima. By employing the grammatical calculus introduced by Chen, we establish the connection between the generating function of $P_n(u_1,u_2,u_3,u_4|α,β)$ and the generating function of the $(α,β)$-Eulerian polynomials $A_n(x,y|α,β)$ introduced by Carlitz and Scoville. Using this connection, we derive the generating function of $P_n(u_1,u_2,u_3,u_4|α,β)$, which can be specialized to obtain the $(α,β)$-extensions of generating functions for peaks, left peaks, double ascents, right double ascents and left-right double ascents given by David-Barton, Elizalde and Noy, Entringer, Gessel, Kitaev and Zhuang. Moreover, we establish two relations between $P_n(u_1,u_2,u_3,u_4|α,β)$ and $A_n(x,y|α,β)$, which enable us to derive $(α,β)$-extensions of results of Stembridge, Petersen, Brändén, and Zhuang. Specializing $(α,β)$-extensions of Stembridge's formula and the left peak version of Stembridge's formula allows us to derive the $(α,β)$-extensions of the tangent and secant numbers.

Let $M_0(n)$ (resp. $M_1(n)$) denote the number of partitions of $n$ with even (reps. odd) crank. Choi, Kang and Lovejoy established an asymptotic formula for $M_0(n)-M_1(n)$. By utilizing this formula with the explicit bound, we show that $M_k(n-1)+M_k(n+1)>2M_k(n)$ for $k=0$ or $1$ and $n\geq 39$. This result can be seen as the refinement of the classical result regarding the convexity of the partition function $p(n)$, which counts the number of partitions of $n$. We also show that $M_0(n)$ (resp. $M_1(n)$) is log-concave for $n\geq 94$ and satisfies the higher order Turán inequalities for $n\geq 207$ with the aid of the upper bound and the lower bound for $M_0(n)$ and $M_1(n)$.

A $k$-regular partition into distinct parts is a partition into distinct parts with no part divisible by $k$. In this paper, we provide a general method to establish the unimodality of $k$-regular partition into distinct parts where the largest part is at most $km+k-1$. Let $d_{k,m}(n)$ denote the number of $k$-regular partition of $n$ into distinct parts where the largest part is at most $km+k-1$. In line with this method, we show that $d_{4,m}(n)\geq d_{4,m}(n-1)$ for $m\geq 0$, $1\leq n\leq 3(m+1)^2$ and $n\neq 4$ and $d_{8,m}(n)\geq d_{8,m}(n-1)$ for $m\geq 2$ and $1\leq n\leq 14(m+1)^2$. When $5\leq k\leq 10$ and $k\neq 8$, we show that $d_{k,m}(n)\geq d_{k,m}(n-1)$ for $m\geq 0$ and $1\leq n\leq \left\lfloor\frac{k(k-1)(m+1)^2}{4}\right\rfloor$.

The objective of this paper is to prove that the polynomials $\prod_{k=0}^n(1+q^{3k+1})(1+q^{3k+2})$ are symmetric and unimodal for $n\geq 0$ by an analytical method.

We prove that the number $q(n)$ of partitions into distinct parts is log-concave for $n \geq 33$ and satisfies the higher order Turán inequalities for $n\geq 121$ conjectured by Craig and Pun. In doing so, we establish explicit error terms for $q(n)$ and for $q(n-1)q(n+1)/q(n)^2$ based on Chern's asymptotic formulas for $η$-quotients.

We obtain an asymptotic formula for Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ where $k=1$ or $2$. Based on this asymptotic formula, we derive that $Δ_k(n)$ satisfies the order $d$ Turán inequalities for $d\geq 1$ and for sufficiently large $n$ when $k=1$ and $ 2$ by using a general result of Griffin, Ono, Rolen and Zagier. We also show that Andrews and Paule's broken $k$-diamond partition function $Δ_k(n)$ is log-concave for $n\geq 1$ when $k=1$ and $2$. This leads to $Δ_k(a)Δ_k(b)\geΔ_k(a+b)$ for $a,b\ge 1$ when $k=1$ and $ 2$.

We introduce the cyclic major index of a cycle permutation and give a bivariate analogue of enumerative formula for the cyclic shuffles with a given cyclic descent numbers due to Adin, Gessel, Reiner and Roichman, which can be viewed as a cyclic analogue of Stanley's Shuffle Theorem. This gives an answer to a question of Adin, Gessel, Reiner and Roichman, which has been posed by Domagalski, Liang, Minnich, Sagan, Schmidt and Sietsema again.

We first give a combinatorial proof of Stanley's shuffle theorem by using the insertion lemma of Haglund, Loehr and Remmel. Based on this combinatorial construction, we establish several refinements of Stanley's shuffle theorem.

This note is devoted to a combinatorial proof of a Schmidt type theorem due to Andrews and Paule. A four-variable refinement of Andrews and Paule's theorem is also obtained based on this combinatorial construction.

$q$-Kaplansky numbers were considered by Chen and Rota. We find that $q$-Kaplansky numbers are connected to the symmetric differences of Gaussian polynomials introduced by Reiner and Stanton. Based on the work of Reiner and Stanton, we establish the unimodality of $q$-Kaplansky numbers. We also show that $q$-Kaplansky numbers are the generating functions for the inversion number and the major index of two special kinds of $(0,1)$-sequences. Furthermore, we show that $q$-Kaplansky numbers are strongly $q$-log-concave.