Questions tagged [eulerian-numbers]

For questions about the Eulerian numbers $A_{n,k}$, defined as the number of permutations in the symmetric group $S_n$ having $k$ descents. Not to be confused with Euler’s number $e$ or the Euler numbers $E_n$.

Let $S_n$ denote the symmetric group on $n$ letters, more specifically, the set of all bijections from $[n] := \{ 1,\dotsc,n \}$ to itself. For a permutation $\pi \in S_n$, let the descent set of $\pi$ be defined as $$\operatorname{Des}(\pi) := \{ i \in [n-1] : \pi(i) > \pi(i+1) \}.$$ Let $\operatorname{des}(\pi) := \lvert \operatorname{Des}(\pi)\rvert$. The Eulerian number $A_{n,k}$ is defined as $$A_{n,k} := \{ \pi \in S_n : \operatorname{des}(\pi) = k \},$$ that is, $A_{n,k}$ counts the number of permutations in $S_n$ having exactly $k$ descents.

One can define the related notion of ascent of a permutation in a similar manner. The number of permutations with $k$ descents equals the number of permutations with $k$ ascents (consider the complement map $\pi \mapsto \pi^c$ where $\pi^c(i) = n + 1 - \pi(i)$), so one can also define $A_{n,k}$ to be the number of permutations in $S_n$ with $k$ ascents.

The Eulerian polynomial $A_n(x)$ is defined by $$A_n(x) = \sum_{k=0}^n A_{n,k} x^k.$$ These satisfy nice recursions, and are important objects of study in combinatorics.

Do not confuse the Eulerian numbers $A_{n,k}$ with Euler’s number $e$ (the base of the natural logarithm), or with the Euler numbers $E_n$ (defined by $1/\cosh(x) = \sum_{n=0}^\infty (E_n/n!) x^n$).

Related wiki links:

67 questions
13
votes
2 answers

Compute the integral $\int_0^1\int_0^1\ldots\int_0^1 f(x_1 + x_2 + \ldots + x_n)\,dx_1\,dx_2\ldots dx_n $

A mysterious result, probably by Euler himself, goes as follows: If $n$ is a positive integer and $f:\mathbb R \rightarrow \mathbb C$ is integrable on the open interval $(0, n)$, then $$\int_0^1\int_0^1\ldots\int_0^1 f(\lfloor x_1 + x_2 + \ldots…
10
votes
1 answer

Positivity of a certain sum of Stirling numbers

Past days I've been trying to prove that certain polynomials have positive coefficients. After a lot of thinking, I came up with a formula for each coefficient individually, and they are not that ugly. I think maybe someone can give me a hand on…
9
votes
2 answers

Polylogarithms of negative integer order

The polylogarithms of order $s$ are defined by $$\mathrm{Li}_s (z) = \sum_{k \geqslant 1} \frac{z^k}{k^s}, \quad |z| < 1.$$ From the above definition, derivatives for the polylogarithms immediately follow. Here we have $$\frac{d}{dz} \mathrm{Li}_s…
omegadot
  • 12,364
8
votes
1 answer

Bounds on the difference between the polylogarithm with negative base and the gamma function

Trying to understand intuitively the Gamma function I started to think of it as a way to measure how much each factorial power "helps" $x^n$ in the infinite sum of $e^x$, thus trying to simplify the expression to see combinatorial explanations I…
8
votes
0 answers

odd property of Eulerian numbers

One of the curious features of Pascal's triangle is that each row contains a two power number of odd entries. In fact, the precise number is $2^{b(n)}$ where $b(n)$ denotes the sum of the bits of $n$ written in binary notation. For example, when…
7
votes
0 answers

Proof for a summation-procedure using the matrix of Eulerian numbers?

I've discussed a procedure for divergent summation using the matrix of Eulerian numbers occasionally in the last years (initially here, and here in MSE and MO but not in that generality and thus(?) without conclusive answers)); now I would like to…
7
votes
1 answer

A nicer recurrence for the Eulerian polynomials.

I was perusing the subject of Eulerian polynomials. I'm assuming the definition that the Eulerian polynomial is defined by $C_n(t)=\sum_{\pi\in S_n}t^{1+d(\pi)}$, where $d(\pi)$ is the number of descents. The Eulerian polynomials satisfy a standard…
6
votes
2 answers

Lerch-$\small \zeta(\varphi,0,-n)$ of integer *n* purely real and imaginary ($\small \zeta_\varphi (-n)^2 $ is real) for $\small n \ge 2$?

Are the Lerch-$\zeta(\varphi,0,-n) $ of integer n (for shortness I use the notation of my earlier question $\small \zeta_\varphi(-n)$) periodically purely real and imaginary: $\zeta_\varphi (-n)^2 $ is real, ($ n \ge 2$) ? And how to prove…
6
votes
1 answer

The relation of the Bernoulli numbers to the Catalan numbers

The Bernoulli numbers $B_n$ are the backbone of calculus, and according to B. Mazur, they "act as a unifying force, holding together seemingly disparate fields of mathematics." The Catalan numbers $C_n$ are the delight of the combinatorialist. The…
6
votes
2 answers

An identity related to the second-order Eulerian numbers.

Recently, some of the remarkable properties of second-order Eulerian numbers $ \left\langle\!\!\left\langle n\atop k\right\rangle\!\!\right\rangle$ A340556 have been proved on MSE [ a , b , c ]. But there are also other notable identities to…
6
votes
1 answer

Second-order Eulerian numbers, Lambert's W function, and Schröder's fourth problem

Recently, some of the remarkable properties of second-order Eulerian numbers $ \left\langle\!\!\left\langle n\atop k\right\rangle\!\!\right\rangle$ A340556 have been proved on MSE [ a , b , c ]. A special property unfolds when these numbers are…
6
votes
1 answer

Series power function over exponential function

A typical exercise from calculus is to show that any exponential function eventually grows faster than any power function, i.e. $$ \lim_{k \to \infty} \frac{k^a}{b^k} = 0 \qquad \text{ for } a,b>1.$$ In fact, by the ratio test, we can show for…
5
votes
2 answers

A closed form of Eulerian numbers

The following identity involving Eulerian numbers is well-known: \begin{equation} A(n,m)=\sum_{k=0}^{m}(-1)^k \binom{n+1}{k} (m+1-k)^n. \end{equation} where $A(n,m)$ is the number of permutations $(\pi_1~\pi_2~\cdots~\pi_n)$ of $\{1,2,\ldots,n\}$…
Kuai
  • 1,563
5
votes
1 answer

Connection between Eulerian numbers and number of elements in set of uniform variables greater than the mean?

I was recently investigating the following question: Given $n$ independent $\text{Unif(0, 1)}$ variables $U_1,\ldots,U_n$, let $m$ be the number of elements in $[U_1,\ldots,U_n]$ that are greater than the mean $\frac{U_1+\ldots+U_n}{n}$. What is the…
5
votes
1 answer

A Stirling number identity representing the second-order Eulerian numbers.

Graham, Knuth, and Patashnik give in CMath a thorough introduction to the Stirling numbers. On table 250 and table 251, they compile two pages of Stirling number identities. Of course, there are many more such identities. We give here one which is…
1
2 3 4 5