A proof of the q, t-Catalan positivity conjecture

  • Authors:

  • A. M. Garsia;J. Haglund

  • Affiliations:

  • Department of Mathematics, University of California, San Diego, La Jolla, CA;Department of Mathematics, University of California, San Diego, La Jolla, CA

  • Venue:
  • Discrete Mathematics
  • Year:
  • 2002

Quantified Score

Hi-index 0.05

Visualization

Abstract

We present here a proof that a certain rational function Cn(q, t) which has come to be known as the "q,t-Catalan" is in fact a polynomial with positive integer coefficients. This has been an open problem since 1994. The precise form of the conjecture is given in Garsia and Haiman (J. Algebraic Combin. 5(3) (1996) 191), where it is further conjectured that Cn(q, t) is the Hilbert series of the diagonal harmonic alternants in the variables (x1,x2,...,xn;y1,y2,...,yn). Since Cn(q,t) evaluates to the Catalan number at t = q = 1, it has also been an open problem to find a pair of statistics a(π), b(π) on Dyck paths π in the n × n square yielding Cn(q, t) = Σπta(π)qb(π). Our proof is based on a recursion for Cn(q, t) suggested by a pair of statistics a(π), b(π) recently proposed by Haglund. Thus, one of the byproducts of our developments is a proof of the validity of Haglund's conjecture. It should also be noted that our arguments rely and expand on the plethystic machinery developed in Bergeron et al. (Methods and Applications of Analysis, Vol. VII(3), 1999, p. 363).