4
$\begingroup$

A certain way to define the $t$-analogue of the Eulerian polynomials $C_n(x)$ is by $$ C_n(x,t)=\sum_{\pi\in S_n}x^{\text{des}(\pi)+1}t^{\text{maj}(\pi)} $$ where $des(\pi)$ is the descents in $\pi$, and $maj(\pi)$ is the major index of $\pi$.

Based on this, how can one derive the general formula $$ \sum_k (k)_t^nx^k=\frac{C_n(x,t)}{(1-x)(1-tx)\cdots(1-t^nx)}? $$ Thank you.

I thought it would be more approachable to rewrite as $$ \sum_k (k)_t^nx^k(1-x)(1-tx)\cdots(1-t^nx)=C_n(x,t) $$ and compare coefficients. With two variables and an unwieldy product of terms, I couldn't find a nice form for the coefficients of the left hand side above.

  • 0
    @anon I tried rewriting the formula as $\sum_k (k)_t^nx^k(1-x)(1-tx)\cdots(1-t^nx)=C_n(x,t).$ My idea was to somehow find the coefficent of a general monomial $x^it^j$ for some $i$ and $j$, in hopes that the coefficients would match up. With two variables especailly, I had a tough time finding an explicitly form for them.2012-02-13

0 Answers 0