arXiv++ Combinatorics

We present an empirical-yet-rigorous approach for solving a wide class of functional equations, thereby automating many results that previously required considerable human ingenuity and human labor.

We find the exponential generating function for permutations with all valleys even and all peaks odd, and use it to determine the asymptotics for its coefficients, answering a question posed by Liviu Nicolaescu. The generating function can be expressed as the reciprocal of a sum involving Euler numbers. We give two proofs of the formula. The first uses a system of differential equations. The second proof derives the generating function directly from general permutation enumeration techniques, using noncommutative symmetric functions. The generating function is an "alternating" analogue of David and Barton's generating function for permutations with no increasing runs of length 3 or more. Our general results give further alternating analogues of permutation enumeration formulas, including results of Chebikin and Remmel.

We give a short proof, using Lagrange inversion, of a congruence modulo 3 for the number of connected noncrossing graphs on n vertices that was conjectured by Emeric Deutsch and Bruce Sagan. A more complicated proof had been given earlier by S.-P. Eu, S.-C. Liu, and Y.-N. Yeh.

We count unlabeled k-trees by properly coloring them in k+1 colors and then counting orbits of these colorings under the action of the symmetric group on the colors.

Using the theory of combinatorial species, we compute the cycle index for bipartite graphs, which we use to count unlabeled bipartite graphs and bipartite blocks.

We give a simple proof of George Andrews's balanced 5F4 evaluation using two fundamental principles: the nth difference of a polynomial of degree less than n is zero, and a polynomial of degree n that vanishes at n+1 points is identically zero.

We study formulas expressing Fibonacci numbers as sums over compositions using free submonoids of the free monoid of compositions with parts 1 and 2.

Let M(n,k,r,s) be the number of ordered paths in the plane, with unit steps E or N, that intersect k times in which the first path ends at the point (r,n-r) and the second path ends at the point (s,n-s). Our main object of study in this paper is the sum of the numbers M(n,k,r,s) over r and s where r+s is fixed. We consider even and odd values of r+s separately, and we derive a simpler formula for M(n,k,r,s) than previously appeared in the literature.

We investigate the diagonal generating function of the Jacobi-Stirling numbers of the second kind $ \JS(n+k,n;z)$ by generalizing the analogous results for the Stirling and Legendre-Stirling numbers. More precisely, letting $\JS(n+k,n;z)=p_{k,0}(n)+p_{k,1}(n)z+...+p_{k,k}(n)z^k$, we show that $(1-t)^{3k-i+1}\sum_{n\geq0}p_{k,i}(n)t^n$ is a polynomial in $t$ with nonnegative integral coefficients and provide combinatorial interpretations of the coefficients by using Stanley's theory of $P$-partitions.

Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.

We prove a conjecture of Drake and Kim: the number of $2$-distant noncrossing partitions of $\{1,2,...,n\}$ is equal to the sum of weights of Motzkin paths of length $n$, where the weight of a Motzkin path is a product of certain fractions involving Fibonacci numbers. We provide two proofs of their conjecture: one uses continued fractions and the other is combinatorial.

Given integers $a_1, a_2, ..., a_n$, with $a_1 + a_2 + ... + a_n \geq 1$, a symmetrically constrained composition $λ_1 + lambda_2 + ... + lambda_n = M$ of $M$ into $n$ nonnegative parts is one that satisfies each of the the $n!$ constraints ${\sum_{i=1}^n a_i λ_{π(i)} \geq 0 : π\in S_n}$. We show how to compute the generating function of these compositions, combining methods from partition theory, permutation statistics, and lattice-point enumeration.

Charlier configurations provide a combinatorial model for Charlier polynomials. We use this model to give a combinatorial proof of a multilinear generating function for Charlier polynomials. As special cases of the multilinear generating function, we obtain the bilinear generating function for Charlier polynomials and formulas for derangements.

We introduce a statistic $\pmaj$ on partitions of $[n]=\{1,2,..., n\}$, and show that it is equidistributed with the number of 2-crossings over partitions of $[n]$ with given sets of minimal block elements and maximal block elements. This generalizes the classical result of equidistribution for the permutation statistics inversion number and major index.

We introduce an elementary method to give unified proofs of the Dyson, Morris, and Aomoto identities for constant terms of Laurent polynomials. These identities can be expressed as equalities of polynomials and thus can be proved by verifying them for sufficiently many values, usually at negative integers where they vanish. Our method also proves some special cases of the Forrester conjecture.

I. P. Goulden, S. Litsyn, and V. Shevelev [On a sequence arising in algebraic geometry, J. Integer Sequences 8 (2005), 05.4.7] conjectured that certain Laurent polynomials associated with the solution of a functional equation have only odd negative powers. We prove their conjecture and generalize it.

A proper vertex of a rooted tree with totally ordered vertices is a vertex that is less than all its proper descendants. We count several kinds of labeled rooted trees and forests by the number of proper vertices. Our results are all expressed in terms of the polynomials P_n(a,b,c)= c(a+(n-1)b+c)(2a+(n-2)b+c)...((n-1)a+b+c) which reduce to (n+1)^{n-1} for a=b=c=1. Our study of proper vertices was motivated by A. Postnikov's hook length formula for binary trees (arXiv:math.CO/0507163), which was also proved by W. Y. C. Chen and L. L. M. Yang (arXiv:math.CO/0507163) and generalized by R. R. X. Du and F. Liu (arXiv:math.CO/0501147). Our approach gives a new proof of Du and Liu's results and gives new hook length formulas. We also find an interpretation of the polynomials P_n(a,b,c) in terms of parking functions: we count parking functions according to the number of cars that park in their preferred parking spaces.

One form of the inclusion-exclusion principle asserts that if A and B are functions of finite sets then A(S) is the sum of B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|S-T| A(T) over all subsets T of S. If we replace B(S) with (-1)^|S| B(S), we get a symmetric form of inclusion-exclusion: A(S) is the sum of (-1)^|T| B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|T| A(T) over all subsets T of S. We study instances of symmetric inclusion-exclusion in which the functions A and B have combinatorial or probabilistic interpretations. In particular, we study cases related to the Polya-Eggenberger urn model in which A(S) and B(S) depend only on the cardinality of S.

We give a formal Laurent series proof of Andrews's $q$-Dyson Conjecture, first proved by Zeilberger and Bressoud.

We show that a 1969 result of Bouwkamp and de Bruijn on a formal power series expansion can be interpreted as the hypergraph analogue of the fact that every connected graph with n vertices has at least n-1 edges. We explain some of Bouwkamp and de Bruijn's formulas in terms of hypertrees and we use Lagrange inversion to count hypertrees by the number of vertices and the number of edges of a specified size.