English

The $\s$-Eulerian polynomials have only real roots

Combinatorics 2014-12-09 v3

Abstract

We study the roots of generalized Eulerian polynomials via a novel approach. We interpret Eulerian polynomials as the generating polynomials of a statistic over inversion sequences. Inversion sequences (also known as Lehmer codes or subexcedant functions) were recently generalized by Savage and Schuster, to arbitrary sequences \s\s of positive integers, which they called \s\s-inversion sequences. Our object of study is the generating polynomial of the {\em ascent} statistic over the set of \s\s-inversion sequences of length nn. Since this ascent statistic over inversion sequences is equidistributed with the descent statistic over permutations we call this generalized polynomial the \emph{\s\s-Eulerian polynomial}. The main result of this paper is that, for any sequence \s\s of positive integers, the \s\s-Eulerian polynomial has only real roots. This result is first shown to generalize many existing results about the real-rootedness of various Eulerian polynomials. We then show that it can be used to settle a conjecture of Brenti, that Eulerian polynomials for all finite Coxeter groups have only real roots. It is then extended to several qq-analogs. We also show that the MacMahon--Carlitz qq-Eulerian polynomial has only real roots whenever qq is a positive real number confirming a conjecture of Chow and Gessel. The same holds true for the (\des,\finv)(\des,\finv)-generating polynomials and also for the (\des,\fmaj)(\des,\fmaj)-generating polynomials for the hyperoctahedral group and the wreath product groups, confirming further conjectures of Chow and Gessel, and Chow and Mansour, respectively.

Keywords

Cite

@article{arxiv.1208.3831,
  title  = {The $\s$-Eulerian polynomials have only real roots},
  author = {Carla D. Savage and Mirkó Visontai},
  journal= {arXiv preprint arXiv:1208.3831},
  year   = {2014}
}

Comments

27 pages, revised version

R2 v1 2026-06-21T21:52:38.058Z