arXiv++ Combinatorics

As remarked by Berndt, no combinatorial perspective seems to be alluded in the original definition of the Ramanujan polynomials. On a different scene, a recursive algorithm to generate rooted trees has been devised independently by Shor and Dumont-Ramamonjisoa. Zeng discovered the connection between the Ramanujan polynomials and the enumeration of rooted trees by number of improper edges. We present a proper labeling scheme for rooted trees by employing an extra label. Harnessed by this grammar, we develop a calculus heavily depending on the constant properties for the Ramanujan polynomials. From the grammatical formulation, we recover the defining equation of Ramanujan on an implicit function. So the two themes of Ramanujan converge to one combinatorial structure. Moreover, we provide a grammatical treatment of a bijection behind the recursion independently due to Shor and Berndt-Evans-Wilson.

In light of the grammar given by Ji for the $(α,β)$-Eulerian polynomials introduced by Carlitz and Scoville, we provide a labeling scheme for increasing binary trees. In this setting, we obtain a combinatorial interpretation of the $γ$-coefficients of the $α$-Eulerian polynomials in terms of forests of planted 0-1-2-plane trees, which specializes to a combinatorial interpretation of the $γ$-coefficients of the derangement polynomials in the same vein. By means of a decomposition of an increasing binary tree into a forest, we find combinatorial interpretations of the sums involving two identities of Ji, one of which can be viewed as $(α,β)$-extensions of the formulas of Petersen and Stembridge.

We came across an unexpected connection between a remarkable grammar of Dumont for the joint distribution of $(\exc, \fix)$ over $S_n$ and a beautiful theorem of Diaconis-Evans-Graham on successions and fixed points of permutations. With the grammar in hand, we demonstrate the advantage of the grammatical calculus in deriving the generating functions, where the constant property plays a substantial role. On the grounds of left successions of a permutation, we present a grammatical treatment of the joint distribution investigated by Roselle. Moreover, we obtain a left succession analogue of the Diaconis-Evans-Graham theorem, exemplifying the idea of a grammar assisted bijection. The grammatical labelings give rise to an equidistribution of $(\jump, \des)$ and $(\exc, \drop)$ restricted to the set of left successions and the set of fixed points, {where $\jump$ is defined to be the number of ascents minus the number of left successions.}

We develop a nonstandard approach to exploring polynomials associated with peaks and runs of permutations. With the aid of a context-free grammar, or a set of substitution rules, one can perform a symbolic calculus, and the computation often becomes rather simple. From a grammar it follows at once a system of ordinary differential equations for the generating functions. Utilizing a certain constant property, it is even possible to deduce a single equation for each generating function. To bring the grammar to a combinatorial setting, we find a labeling scheme for up-down runs of a permutation, which can be regarded as a refined property, or the differentiability in a certain sense, in contrast to the usual counting argument for the recurrence relation. The labeling scheme also exhibits how the substitution rules arise in the construction of the combinatorial structures. Consequently, polynomials on peaks and runs can be dealt with in two ways, combinatorially or grammatically. The grammar also serves as a guideline to build a bijection between permutations and increasing trees that maps the number of up-down runs to the number of nonroot vertices of even degree. This correspondence can be adapted to left peaks and exterior peaks, and the key step of the construction is called the reflection principle.

We observe that three context-free grammars of Dumont can be brought to a common ground, via the idea of transformations of grammars, proposed by Ma-Ma-Yeh. Then we develop a unified perspective to investigate several combinatorial objects in connection with the bivariate Eulerian polynomials. We call this approach the Dumont ansatz. As applications, we provide grammatical treatments, in the spirit of the symbolic method, of relations on the Springer numbers, the Euler numbers, the three kinds of peak polynomials, an identity of Petersen, and the two kinds of derivative polynomials, introduced by Knuth-Buckholtz and Carlitz-Scoville, and later by Hoffman in a broader context. We obtain a convolution formula on the left peak polynomials, leading to the Gessel formula. In this framework, we are led to the combinatorial interpretations of the derivative polynomials due to Josuat-Vergès.

Pondering upon the grammatical labeling of 0-1-2 increasing plane trees, we come to the realization that the grammatical labels play a role as records of chopped off leaves of the original increasing binary trees. While such an understanding is purely psychological, it does give rise to an efficient apparatus to tackle the partial $γ$-positivity of the Eulearian polynomials on multiset Stirling permutations, as long as we bear in mind the combinatorial meanings of the labels $x$ and $y$ in the Gessel representation of a $k$-Stirling permutation by means of an increasing $(k+1)$-ary tree. More precisely, we introduce a Foata-Strehl action on the Gessel trees resulting in an interpretation of the partial $γ$-coefficients of the aforementioned Eulerian polynomials, different from the ones found by Lin-Ma-Zhang and Yan-Huang-Yang. In particular, our strategy can be adapted to deal with the partial $γ$-coefficients of the second order Eulerian polynomials, which in turn can be readily converted to the combinatorial formulation due to Ma-Ma-Yeh in connection with certain statistics of Stirling permutations.

Ma-Ma-Yeh made a beautiful observation that a transformation of the grammar of Dumont instantly leads to the $γ$-positivity of the Eulerian polynomials. We notice that the transformed grammar bears a striking resemblance to the grammar for 0-1-2 increasing trees also due to Dumont. The appearance of the factor of two fits perfectly in a grammatical labeling of 0-1-2 increasing plane trees. Furthermore, the grammatical calculus is instrumental to the computation of the generating functions. This approach can be adapted to study the $e$-positivity of the trivariate second-order Eulerian polynomials first introduced by Dumont in the contexts of ternary trees and Stirling permutations, and independently defined by Janson, in connection with the joint distribution of the numbers of ascents, descents and plateaux over Stirling permutations.

We express the Nörlund polynomials in terms of the second-order Eulerian numbers. Based on this expression, we derive several identities related to the Bernoulli numbers. In particular, we present a short proof of the problem raised by Rzcadkowski and Urlińska.

In this paper, we introduce a context-free grammar $G\colon x \rightarrow xy,\, y \rightarrow zu,\, z \rightarrow zw,\, w \rightarrow xv,\, u \rightarrow xyz^{-1}v,\, v \rightarrow x^{-1}zwu$ over the variable set $V=\{x,y,z,w,u,v\}$. We use this grammar to study joint distributions of several permutation statistics related to descents, rises, peaks and valleys. By considering the pattern of an exterior peak, we introduce the exterior peaks of pattern 132 and of pattern 231. Similarly, peaks can also be classified according to their patterns. Let $D$ be the formal derivative operator with respect to the grammar $G$. By using a grammatical labeling, we show that $D^n(z)$ is the generating function of the number of permutations on $[n]=\{1,2,\ldots,n\}$ with given numbers of exterior peaks of pattern 132 and of pattern 231, and proper double descents. By solving a cylinder differential equation, we obtain an explicit formula of the generating function of $D^n(z)$, which can be viewed as a unification of the results of Elizalde-Noy, Barry, Basset, Fu and Gessel. Specializations lead to the joint distributions of certain consecutive patterns in permutations, as studied by Elizalde-Noy and Kitaev. By a different labeling with respect to the same grammar $G$, we derive the joint distribution of peaks of pattern 132 and of pattern 231, double descents and double rises, with the generating function also expressed by the parabolic cylinder functions. This formula serves as a refinement of the work of Carlitz-Scoville. Furthermore, we obtain the joint distribution of exterior peaks of pattern 132 and of pattern 231 over alternating permutations.

This paper is concerned with the joint distribution of the number of exterior peaks and the number of proper double descents over permutations on $[n] =\{1,2,\ldots,n\}$. The notion of exterior peaks of a permutation was introduced by Aguiar, Bergeron and Nyman in their study of the peak algebra. Gessel obtained the generating function of the number of permutations on $[n]$ with a given number of exterior peaks. On the other hand, by establishing differential equations, Elizalde and Noy derived the generating function for the number of permutations on $[n]$ with a given number of proper double descents. Barry and Basset independently deduced the generating function of the number of permutations on $[n]$ with no proper double descents. We find a context-free grammar which can be used to compute the number of permutations on $[n]$ with a given number of exterior peaks and a given number of proper double descents. Based on the grammar, the recurrence relation of the number of permutations on $[n]$ with a given number of exterior peaks can be easily obtained. Moreover, we use the grammatical calculus to derive the generating function without solving differential equations. Our formula reduces to the formulas of Gessel, Elizalde-Noy, Barry, and Basset. Finally, from the grammar we establish a relationship between our generating function and the generating function of the joint distribution of the number of peaks and the number of double descent derived by Carlitz and Scoville.

In this paper, we introduce the notion of a grammatical labeling to describe a recursive process of generating combinatorial objects based on a context-free grammar. For example, by labeling the ascents and descents of a Stirling permutation, we obtain a grammar for the second-order Eulerian polynomials. By using the grammar for $0$-$1$-$2$ increasing trees given by Dumont, we obtain a grammatical derivation of the generating function of the André polynomials obtained by Foata and Schützenberger, without solving a differential equation. We also find a grammar for the number $T(n,k)$ of permutations of $[n]=\{1,2,\ldots, n\}$ with $k$ exterior peaks, which was independently discovered by Ma. We demonstrate that Gessel's formula for the generating function of $T(n,k)$ can be deduced from this grammar. Moreover, by using grammars we show that the number of the permutations of $[n]$ with $k$ exterior peaks equals the number of increasing trees on $[n]$ with $2k+1$ vertices of even degree. A combinatorial proof of this fact is also presented.

By using some techniques of the divided difference operators, we establish an 4n-point interpolation formula. Certain polynomials, such as Jackson's _8φ_7 terminating summation formula, are special cases of this formula. Based on Krattenthaler's identity, we also give Jackson's formula a determinantal interpretation.

We use the Algortihm Z on partitions due to Zeilberger, in a variant form, to give a combinatorial proof of Ramanujan's $_1ψ_1$ summation formula.

In this paper, we obtain a generalization of an identity due to Carlitz on Bernoulli polynomials. Then we use this generalized formula to derive two symmetric identities which reduce to some known identities on Bernoulli polynomials and Bernoulli numbers, including the Miki identity.

We give non-symmetric versions of the Cauchy kernel and Littlewood's kernels, corresponding to the types $A_n$, $B_n$, $C_n$ and $D_n$, of the classical groups. We show that these new kernels are diagonal in the basis of two families of key polynomials (one of them being Demazure characters) obtained as images of dominant monomials under isobaric divided differences. We define scalar products such that the two families of key polynomials are adjoint to each other.

We observe that the classical Faulhaber's theorem on sums of odd powers also holds for an arbitrary arithmetic progression, namely, the odd power sums of any arithmetic progression $a+b, a+2b, ..., a+nb$ is a polynomial in $na+n(n+1)b/2$. While this assertion can be deduced from the original Fauhalber's theorem, we give an alternative formula in terms of the Bernoulli polynomials. Moreover, by utilizing the central factorial numbers as in the approach of Knuth, we derive formulas for $r$-fold sums of powers without resorting to the notion of $r$-reflexive functions. We also provide formulas for the $r$-fold alternating sums of powers in terms of Euler polynomials.

We show that several classical bilateral summation and transformation formulas have semi-finite forms. We obtain these semi-finite forms from unilateral summation and transformation formulas. Our method can be applied to derive Ramanujan's $_1ψ_1$ summation, Bailey's $_2ψ_2$ transformations, and Bailey's $_6ψ_6$ summation.

Using a symmetrizing operator, we give a new expression for the Omega operator used by MacMahon in Partition Analysis, and given a new life by Andrews and his coworkers. Our result is stated in terms of Schur functions.

We give a Newton type rational interpolation formula (Theorem \ref{theo}). It contains as a special case the original Newton interpolation, as well as the recent interpolation formula of Zhi-Guo Liu, which allows to recover many important classical $q$-series identities. We show in particular that some bibasic identities are a consequence of our formula.

We generalize and prove conjectures of Corteel and Lovejoy, related to overpartitions and divisor functions.