A combinatorial formula for Macdonald polynomials

In this paper we use the combinatorics of alcove walks to give uniform combinatorial formulas for Macdonald polynomials for all Lie types. These formulas resemble the formulas of Haglund, Haiman and Loehr for Macdonald polynomials of type GLn. At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent and Littelmann).     

Inversion of the Pieri formula for Macdonald polynomials

We give the explicit analytic development of Macdonald polynomials in terms of “modified complete” and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.     

Specializations of nonsymmetric Macdonald–Koornwinder polynomials

The purpose of this article is to work out the details of the Ram–Yip formula for nonsymmetric Macdonald–Koornwinder polynomials for the double affine Hecke algebras of not-necessarily reduced affine root systems. It is shown that the \(t\rightarrow 0\) equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the untwisted case. In particular, our formula yields a definition of quantum Bruhat graph for all affine root systems. For mixed type, the proof requires the Ram–Yip formula for the nonsymmetric Koornwinder polynomials. A quantum alcove path formula is also given at \(t\rightarrow \infty \). As a consequence, we establish the positivity of the coefficients of nonsymmetric Macdonald polynomials under this limit, as conjectured by Cherednik and the first author. Finally, an explicit formula is given at \(q\rightarrow \infty \), which yields the p-adic Iwahori–Whittaker functions of Brubaker, Bump, and Licata.     

A Littlewood–Richardson rule for Macdonald polynomials

Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric Macdonald polynomials are a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the combinatorics of alcove walks to calculate products of monomials and intertwining operators of the double affine Hecke algebra. From this, we obtain a product formula for Macdonald polynomials of general Lie type.     

Schur function identities, their t-analogs, and k-Schur irreducibility

We obtain general identities for the product of two Schur functions in the case where one of the functions is indexed by a rectangular partition, and give their t-analogs using vertex operators. We study subspaces forming a filtration for the symmetric function space that lends itself to generalizing the theory of Schur functions and also provides a convenient environment for studying the Macdonald polynomials. We use our identities to prove that the vertex operators leave such subspaces invariant. We finish by showing that these operators act trivially on the k-Schur functions, thus leading to a concept of irreducibility for these functions.     

Combinatorial formula for Macdonald polynomials and generic Macdonald polynomials

We give a direct proof of the combinatorial formula for interpolation Macdonald polynomials by introducing certain polynomials, which we call generic Macdonald polynomials, and which depend on d additional parameters and specialize to all Macdonald polynomials of degree d. The form of these generic polynomials is that of a Bethe eigenfunction and they imitate, on a more elementary level, the R-matrix construction of quantum immanants.     

q-Hypergeometric Series and Macdonald Functions

We derive a duality formula for two-row Macdonald functions by studying their relation with basic hypergeometric functions. We introduce two parameter vertex operators to construct a family of symmetric functions generalizing Hall-Littlewood functions. Their relation with Macdonald functions is governed by a very well-poised q-hypergeometric functions of type ₄₃, for which we obtain linear transformation formulas in terms of the Jacobi theta function and the q-Gamma function. The transformation formulas are then used to give the duality formula and a new formula for two-row Macdonald functions in terms of the vertex operators. The Jack polynomials are also treated accordingly.     

(Shifted) Macdonald polynomials: q-Integral representation and combinatorial formula

We extend some results about shifted Schur functions to the general context of shifted Macdonald polynomials. We strengthen some theorems of F. Knop and S. Sahi and give two explicit formulas for these polynomials: a q-integral representation and a combinatorial formula. Our main tool is a q-integral representation for ordinary Macdonald polynomial. We also discuss duality for shifted Macdonald polynomials and Jack degeneration of these polynomials.     

Pieri formulas for Macdonald��s spherical functions and polynomials

We present explicit Pieri formulas for Macdonald??s spherical functions (or generalized Hall-Littlewood polynomials associated with root systems) and their q-deformation the Macdonald polynomials. For the root systems of type A, our Pieri formulas recover the well-known Pieri formulas for the Hall-Littlewood and Macdonald symmetric functions due to Morris and Macdonald as special cases.     

Hall–Littlewood polynomials, alcove walks, and fillings of Young diagrams

A recent breakthrough in the theory of (type A) Macdonald polynomials is due to Haglund, Haiman and Loehr, who exhibited a combinatorial formula for these polynomials in terms of a pair of statistics on fillings of Young diagrams. The inversion statistic, which is the more intricate one, suffices for specializing a closely related formula to one for the type A Hall–Littlewood Q-polynomials (spherical functions on p-adic groups). An apparently unrelated development, at the level of arbitrary finite root systems, led to Schwer’s formula (rephrased and rederived by Ram) for the Hall–Littlewood P-polynomials of arbitrary type. The latter formula is in terms of so-called alcove walks, which originate in the work of Gaussent–Littelmann and of the author with Postnikov on discrete counterparts to the Littelmann path model. In this paper, we relate the above developments, by deriving a Haglund–Haiman–Loehr type formula for the Hall–Littlewood P-polynomials of type A from Ram’s version of Schwer’s formula via a “compression” procedure.     

Nonsymmetric Macdonald polynomials and matrix coefficients for unramified principal series

We show how a certain limit of the nonsymmetric Macdonald polynomials appears in the representation theory of semisimple groups over p-adic fields as matrix coefficients for the unramified principal series representations. The result is the nonsymmetric counterpart of a classical result relating the same limit of the symmetric Macdonald polynomials to zonal spherical functions on groups of p-adic type.     

An (inverse) Pieri formula for Macdonald polynomials of type C

We give an explicit Pieri formula for Macdonald polynomials attached to the root system C _n (with equal multiplicities). By inversion we obtain an explicit expansion for two-row Macdonald polynomials of type C.     

From Macdonald polynomials to a charge statistic beyond type A

The charge is an intricate statistic on words, due to Lascoux and Schützenberger, which gives positive combinatorial formulas for Lusztig?s t-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As these concepts are defined for all Lie types, it has been a long-standing problem to express them based on a generalization of charge. I present a method for addressing this problem in classical Lie types, based on the recent Ram-Yip formula for Macdonald polynomials and the quantum Bruhat order on the corresponding Weyl group. The details of the method are carried out in type A (where we recover the classical charge) and type C (where we define a new statistic).     

A Formula for <Emphasis Type="Italic">N</Emphasis>-Row Macdonald Polynomials

We derive a formula for the n-row Macdonald polynomials with the coefficients presented both combinatorically and in terms of very-well-poised hypergeometric series.     

Multivariable Al–Salam & Carlitz Polynomials Associated with the Type A q–Dunkl Kernel

The Al–Salam & Carlitz polynomials are q–generalizations of the classical Hermite polynomials. Multivariable generalizations of these polynomials are introduced via a generating function involving a multivariable hypergeometric function which is the q–analogue of the type–A Dunkl integral kernel. An eigenoperator is established for these polynomials and this is used to prove orthogonality with respect to a certain Jackson integral inner product. This inner product is normalized by deriving a q–analogue of the Mehta integral, and the corresponding normalization of the multivariable Al–Salam & Carlitz polynomials is derived from a Pieri–type formula. Various other special properties of the polynomials are also presented, including their relationship to the shifted Macdonald polynomials and the big–q Jacobi polynomials.     

Deformed Kazhdan-Lusztig elements and Macdonald polynomials

We introduce deformations of Kazhdan-Lusztig elements and specialised non-symmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.     

Quasisymmetric Schur functions

We introduce a new basis for quasisymmetric functions, which arise from a specialization of nonsymmetric Macdonald polynomials to standard bases, also known as Demazure atoms. Our new basis is called the basis of quasisymmetric Schur functions, since the basis elements refine Schur functions in a natural way. We derive expansions for quasisymmetric Schur functions in terms of monomial and fundamental quasisymmetric functions, which give rise to quasisymmetric refinements of Kostka numbers and standard (reverse) tableaux. From here we derive a Pieri rule for quasisymmetric Schur functions that naturally refines the Pieri rule for Schur functions. After surveying combinatorial formulas for Macdonald polynomials, including an expansion of Macdonald polynomials into fundamental quasisymmetric functions, we show how some of our results can be extended to include the t parameter from Hall-Littlewood theory.     

Crystal energy functions via the charge in types A and C

The Ram–Yip formula for Macdonald polynomials (at t = 0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara–Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix.     

Eulerian quasisymmetric functions

We introduce a family of quasisymmetric functions called Eulerian quasisymmetric functions, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising q-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This q-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain q-analogs, (q,p)-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.     

A 1Ψ1 Summation Theorem for Macdonald Polynomials

In this note we extend the Ramanujan's 11 summation formula to the case of a Laurent series extension of multiple q-hypergeometric series of Macdonald polynomial argument [7]. The proof relies on the elegant argument of Ismail [5] and the q-binomial theorem for Macdonald polinomials. This result implies a q-integration formula of Selberg type [3, Conjecture 3] which was proved by Aomoto [2], see also [7, Appendix 2] for another proof. We also obtain, as a limiting case, the triple product identity for Macdonald polynomials [8].