arXiv++ Combinatorics

We present an operator approach to deriving Mehler's formula and the Rogers formula for the bivariate Rogers-Szegö polynomials $h_n(x,y|q)$. The proof of Mehler's formula can be considered as a new approach to the nonsymmetric Poisson kernel formula for the continuous big $q$-Hermite polynomials $H_n(x;a|q)$ due to Askey, Rahman and Suslov. Mehler's formula for $h_n(x,y|q)$ involves a ${}_3φ_2$ sum and the Rogers formula involves a ${}_2φ_1$ sum. The proofs of these results are based on parameter augmentation with respect to the $q$-exponential operator and the homogeneous $q$-shift operator in two variables. By extending recent results on the Rogers-Szegö polynomials $h_n(x|q)$ due to Hou, Lascoux and Mu, we obtain another Rogers-type formula for $h_n(x,y|q)$. Finally, we give a change of base formula for $H_n(x;a|q)$ which can be used to evaluate some integrals by using the Askey-Wilson integral.

Some of the classical orthogonal polynomials such as Hermite, Laguerre, Charlier, etc. have been shown to be the generating polynomials for certain combinatorial objects. These combinatorial interpretations are used to prove new identities and generating functions involving these polynomials. In this paper we apply Foata's combinatorial interpretation of the Hermite polynomials as counting matchings of a set to obtain a triple lacunary generating function for the Hermite polynomials. We also give an umbral proof of this generating function.

We provide explicit formulas for the orthogonal eigenfunctions of the supersymmetric extension of the rational Calogero-Moser-Sutherland model with harmonic confinement, i.e., the generalized Hermite (or Hi-Jack) polynomials in superspace. The construction relies on the triangular action of the Hamiltonian on the supermonomial basis. This translates into determinantal expressions for the Hamiltonian's eigenfunctions.

We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.

The celebrated Foata combinatorial model for Hermite polynomials, and his seminal and beautiful proof of the Mehler formula, are straightened to deal with two sexes rather than one, with the exclusion of same-sex relationships (both marital and non-marital).