Identifier
-
Mp00119:
Dyck paths
—to 321-avoiding permutation (Krattenthaler)⟶
Permutations
Mp00235: Permutations —descent views to invisible inversion bottoms⟶ Permutations
Mp00087: Permutations —inverse first fundamental transformation⟶ Permutations
St000028: Permutations ⟶ ℤ
Values
[1,0] => [1] => [1] => [1] => 0
[1,0,1,0] => [1,2] => [1,2] => [1,2] => 0
[1,1,0,0] => [2,1] => [2,1] => [2,1] => 1
[1,0,1,0,1,0] => [1,2,3] => [1,2,3] => [1,2,3] => 0
[1,0,1,1,0,0] => [1,3,2] => [1,3,2] => [1,3,2] => 1
[1,1,0,0,1,0] => [2,1,3] => [2,1,3] => [2,1,3] => 1
[1,1,0,1,0,0] => [2,3,1] => [3,2,1] => [2,3,1] => 2
[1,1,1,0,0,0] => [3,1,2] => [3,1,2] => [3,2,1] => 1
[1,0,1,0,1,0,1,0] => [1,2,3,4] => [1,2,3,4] => [1,2,3,4] => 0
[1,0,1,0,1,1,0,0] => [1,2,4,3] => [1,2,4,3] => [1,2,4,3] => 1
[1,0,1,1,0,0,1,0] => [1,3,2,4] => [1,3,2,4] => [1,3,2,4] => 1
[1,0,1,1,0,1,0,0] => [1,3,4,2] => [1,4,3,2] => [1,3,4,2] => 2
[1,0,1,1,1,0,0,0] => [1,4,2,3] => [1,4,2,3] => [1,4,3,2] => 1
[1,1,0,0,1,0,1,0] => [2,1,3,4] => [2,1,3,4] => [2,1,3,4] => 1
[1,1,0,0,1,1,0,0] => [2,1,4,3] => [2,1,4,3] => [2,1,4,3] => 1
[1,1,0,1,0,0,1,0] => [2,3,1,4] => [3,2,1,4] => [2,3,1,4] => 2
[1,1,0,1,0,1,0,0] => [2,3,4,1] => [4,2,3,1] => [2,3,4,1] => 3
[1,1,0,1,1,0,0,0] => [2,4,1,3] => [4,2,1,3] => [2,4,3,1] => 2
[1,1,1,0,0,0,1,0] => [3,1,2,4] => [3,1,2,4] => [3,2,1,4] => 1
[1,1,1,0,0,1,0,0] => [3,1,4,2] => [3,4,1,2] => [3,1,4,2] => 2
[1,1,1,0,1,0,0,0] => [3,4,1,2] => [4,1,3,2] => [3,4,2,1] => 2
[1,1,1,1,0,0,0,0] => [4,1,2,3] => [4,1,2,3] => [4,3,2,1] => 1
[1,0,1,0,1,0,1,0,1,0] => [1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => 0
[1,0,1,0,1,0,1,1,0,0] => [1,2,3,5,4] => [1,2,3,5,4] => [1,2,3,5,4] => 1
[1,0,1,0,1,1,0,0,1,0] => [1,2,4,3,5] => [1,2,4,3,5] => [1,2,4,3,5] => 1
[1,0,1,0,1,1,0,1,0,0] => [1,2,4,5,3] => [1,2,5,4,3] => [1,2,4,5,3] => 2
[1,0,1,0,1,1,1,0,0,0] => [1,2,5,3,4] => [1,2,5,3,4] => [1,2,5,4,3] => 1
[1,0,1,1,0,0,1,0,1,0] => [1,3,2,4,5] => [1,3,2,4,5] => [1,3,2,4,5] => 1
[1,0,1,1,0,0,1,1,0,0] => [1,3,2,5,4] => [1,3,2,5,4] => [1,3,2,5,4] => 1
[1,0,1,1,0,1,0,0,1,0] => [1,3,4,2,5] => [1,4,3,2,5] => [1,3,4,2,5] => 2
[1,0,1,1,0,1,0,1,0,0] => [1,3,4,5,2] => [1,5,3,4,2] => [1,3,4,5,2] => 3
[1,0,1,1,0,1,1,0,0,0] => [1,3,5,2,4] => [1,5,3,2,4] => [1,3,5,4,2] => 2
[1,0,1,1,1,0,0,0,1,0] => [1,4,2,3,5] => [1,4,2,3,5] => [1,4,3,2,5] => 1
[1,0,1,1,1,0,0,1,0,0] => [1,4,2,5,3] => [1,4,5,2,3] => [1,4,2,5,3] => 2
[1,0,1,1,1,0,1,0,0,0] => [1,4,5,2,3] => [1,5,2,4,3] => [1,4,5,3,2] => 2
[1,0,1,1,1,1,0,0,0,0] => [1,5,2,3,4] => [1,5,2,3,4] => [1,5,4,3,2] => 1
[1,1,0,0,1,0,1,0,1,0] => [2,1,3,4,5] => [2,1,3,4,5] => [2,1,3,4,5] => 1
[1,1,0,0,1,0,1,1,0,0] => [2,1,3,5,4] => [2,1,3,5,4] => [2,1,3,5,4] => 1
[1,1,0,0,1,1,0,0,1,0] => [2,1,4,3,5] => [2,1,4,3,5] => [2,1,4,3,5] => 1
[1,1,0,0,1,1,0,1,0,0] => [2,1,4,5,3] => [2,1,5,4,3] => [2,1,4,5,3] => 2
[1,1,0,0,1,1,1,0,0,0] => [2,1,5,3,4] => [2,1,5,3,4] => [2,1,5,4,3] => 1
[1,1,0,1,0,0,1,0,1,0] => [2,3,1,4,5] => [3,2,1,4,5] => [2,3,1,4,5] => 2
[1,1,0,1,0,0,1,1,0,0] => [2,3,1,5,4] => [3,2,1,5,4] => [2,3,1,5,4] => 2
[1,1,0,1,0,1,0,0,1,0] => [2,3,4,1,5] => [4,2,3,1,5] => [2,3,4,1,5] => 3
[1,1,0,1,0,1,0,1,0,0] => [2,3,4,5,1] => [5,2,3,4,1] => [2,3,4,5,1] => 4
[1,1,0,1,0,1,1,0,0,0] => [2,3,5,1,4] => [5,2,3,1,4] => [2,3,5,4,1] => 3
[1,1,0,1,1,0,0,0,1,0] => [2,4,1,3,5] => [4,2,1,3,5] => [2,4,3,1,5] => 2
[1,1,0,1,1,0,0,1,0,0] => [2,4,1,5,3] => [4,2,5,1,3] => [2,4,1,5,3] => 2
[1,1,0,1,1,0,1,0,0,0] => [2,4,5,1,3] => [5,2,1,4,3] => [2,4,5,3,1] => 3
[1,1,0,1,1,1,0,0,0,0] => [2,5,1,3,4] => [5,2,1,3,4] => [2,5,4,3,1] => 2
[1,1,1,0,0,0,1,0,1,0] => [3,1,2,4,5] => [3,1,2,4,5] => [3,2,1,4,5] => 1
[1,1,1,0,0,0,1,1,0,0] => [3,1,2,5,4] => [3,1,2,5,4] => [3,2,1,5,4] => 1
[1,1,1,0,0,1,0,0,1,0] => [3,1,4,2,5] => [3,4,1,2,5] => [3,1,4,2,5] => 2
[1,1,1,0,0,1,0,1,0,0] => [3,1,4,5,2] => [3,5,1,4,2] => [3,1,4,5,2] => 3
[1,1,1,0,0,1,1,0,0,0] => [3,1,5,2,4] => [3,5,1,2,4] => [3,1,5,4,2] => 2
[1,1,1,0,1,0,0,0,1,0] => [3,4,1,2,5] => [4,1,3,2,5] => [3,4,2,1,5] => 2
[1,1,1,0,1,0,0,1,0,0] => [3,4,1,5,2] => [4,5,3,1,2] => [3,4,1,5,2] => 3
[1,1,1,0,1,0,1,0,0,0] => [3,4,5,1,2] => [5,1,3,4,2] => [3,4,5,2,1] => 3
[1,1,1,0,1,1,0,0,0,0] => [3,5,1,2,4] => [5,1,3,2,4] => [3,5,4,2,1] => 2
[1,1,1,1,0,0,0,0,1,0] => [4,1,2,3,5] => [4,1,2,3,5] => [4,3,2,1,5] => 1
[1,1,1,1,0,0,0,1,0,0] => [4,1,2,5,3] => [4,1,5,2,3] => [4,2,1,5,3] => 2
[1,1,1,1,0,0,1,0,0,0] => [4,1,5,2,3] => [4,5,2,1,3] => [4,1,5,3,2] => 2
[1,1,1,1,0,1,0,0,0,0] => [4,5,1,2,3] => [5,1,2,4,3] => [4,5,3,2,1] => 2
[1,1,1,1,1,0,0,0,0,0] => [5,1,2,3,4] => [5,1,2,3,4] => [5,4,3,2,1] => 1
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,2,3,4,5,6] => [1,2,3,4,5,6] => [1,2,3,4,5,6] => 0
[1,0,1,0,1,0,1,0,1,1,0,0] => [1,2,3,4,6,5] => [1,2,3,4,6,5] => [1,2,3,4,6,5] => 1
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,2,3,5,4,6] => [1,2,3,5,4,6] => [1,2,3,5,4,6] => 1
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,2,3,5,6,4] => [1,2,3,6,5,4] => [1,2,3,5,6,4] => 2
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,2,3,6,4,5] => [1,2,3,6,4,5] => [1,2,3,6,5,4] => 1
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,2,4,3,5,6] => [1,2,4,3,5,6] => [1,2,4,3,5,6] => 1
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,2,4,3,6,5] => [1,2,4,3,6,5] => [1,2,4,3,6,5] => 1
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,2,4,5,3,6] => [1,2,5,4,3,6] => [1,2,4,5,3,6] => 2
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,2,4,5,6,3] => [1,2,6,4,5,3] => [1,2,4,5,6,3] => 3
[1,0,1,0,1,1,0,1,1,0,0,0] => [1,2,4,6,3,5] => [1,2,6,4,3,5] => [1,2,4,6,5,3] => 2
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,2,5,3,4,6] => [1,2,5,3,4,6] => [1,2,5,4,3,6] => 1
[1,0,1,0,1,1,1,0,0,1,0,0] => [1,2,5,3,6,4] => [1,2,5,6,3,4] => [1,2,5,3,6,4] => 2
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,2,5,6,3,4] => [1,2,6,3,5,4] => [1,2,5,6,4,3] => 2
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,2,6,3,4,5] => [1,2,6,3,4,5] => [1,2,6,5,4,3] => 1
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,3,2,4,5,6] => [1,3,2,4,5,6] => [1,3,2,4,5,6] => 1
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,3,2,4,6,5] => [1,3,2,4,6,5] => [1,3,2,4,6,5] => 1
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,3,2,5,4,6] => [1,3,2,5,4,6] => [1,3,2,5,4,6] => 1
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,3,2,5,6,4] => [1,3,2,6,5,4] => [1,3,2,5,6,4] => 2
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,3,2,6,4,5] => [1,3,2,6,4,5] => [1,3,2,6,5,4] => 1
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,3,4,2,5,6] => [1,4,3,2,5,6] => [1,3,4,2,5,6] => 2
[1,0,1,1,0,1,0,0,1,1,0,0] => [1,3,4,2,6,5] => [1,4,3,2,6,5] => [1,3,4,2,6,5] => 2
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,3,4,5,2,6] => [1,5,3,4,2,6] => [1,3,4,5,2,6] => 3
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,3,4,5,6,2] => [1,6,3,4,5,2] => [1,3,4,5,6,2] => 4
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,3,4,6,2,5] => [1,6,3,4,2,5] => [1,3,4,6,5,2] => 3
[1,0,1,1,0,1,1,0,0,0,1,0] => [1,3,5,2,4,6] => [1,5,3,2,4,6] => [1,3,5,4,2,6] => 2
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,3,5,2,6,4] => [1,5,3,6,2,4] => [1,3,5,2,6,4] => 2
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,3,5,6,2,4] => [1,6,3,2,5,4] => [1,3,5,6,4,2] => 3
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,3,6,2,4,5] => [1,6,3,2,4,5] => [1,3,6,5,4,2] => 2
[1,0,1,1,1,0,0,0,1,0,1,0] => [1,4,2,3,5,6] => [1,4,2,3,5,6] => [1,4,3,2,5,6] => 1
[1,0,1,1,1,0,0,0,1,1,0,0] => [1,4,2,3,6,5] => [1,4,2,3,6,5] => [1,4,3,2,6,5] => 1
[1,0,1,1,1,0,0,1,0,0,1,0] => [1,4,2,5,3,6] => [1,4,5,2,3,6] => [1,4,2,5,3,6] => 2
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,4,2,5,6,3] => [1,4,6,2,5,3] => [1,4,2,5,6,3] => 3
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,4,2,6,3,5] => [1,4,6,2,3,5] => [1,4,2,6,5,3] => 2
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,4,5,2,3,6] => [1,5,2,4,3,6] => [1,4,5,3,2,6] => 2
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,4,5,2,6,3] => [1,5,6,4,2,3] => [1,4,5,2,6,3] => 3
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,4,5,6,2,3] => [1,6,2,4,5,3] => [1,4,5,6,3,2] => 3
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,4,6,2,3,5] => [1,6,2,4,3,5] => [1,4,6,5,3,2] => 2
>>> Load all 366 entries. <<<
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The number of stack-sorts needed to sort a permutation.
A permutation is (West) $t$-stack sortable if it is sortable using $t$ stacks in series.
Let $W_t(n,k)$ be the number of permutations of size $n$
with $k$ descents which are $t$-stack sortable. Then the polynomials $W_{n,t}(x) = \sum_{k=0}^n W_t(n,k)x^k$
are symmetric and unimodal.
We have $W_{n,1}(x) = A_n(x)$, the Eulerian polynomials. One can show that $W_{n,1}(x)$ and $W_{n,2}(x)$ are real-rooted.
Precisely the permutations that avoid the pattern $231$ have statistic at most $1$, see [3]. These are counted by $\frac{1}{n+1}\binom{2n}{n}$ (OEIS:A000108). Precisely the permutations that avoid the pattern $2341$ and the barred pattern $3\bar 5241$ have statistic at most $2$, see [4]. These are counted by $\frac{2(3n)!}{(n+1)!(2n+1)!}$ (OEIS:A000139).
A permutation is (West) $t$-stack sortable if it is sortable using $t$ stacks in series.
Let $W_t(n,k)$ be the number of permutations of size $n$
with $k$ descents which are $t$-stack sortable. Then the polynomials $W_{n,t}(x) = \sum_{k=0}^n W_t(n,k)x^k$
are symmetric and unimodal.
We have $W_{n,1}(x) = A_n(x)$, the Eulerian polynomials. One can show that $W_{n,1}(x)$ and $W_{n,2}(x)$ are real-rooted.
Precisely the permutations that avoid the pattern $231$ have statistic at most $1$, see [3]. These are counted by $\frac{1}{n+1}\binom{2n}{n}$ (OEIS:A000108). Precisely the permutations that avoid the pattern $2341$ and the barred pattern $3\bar 5241$ have statistic at most $2$, see [4]. These are counted by $\frac{2(3n)!}{(n+1)!(2n+1)!}$ (OEIS:A000139).
Map
inverse first fundamental transformation
Description
Let $\sigma = (i_{11}\cdots i_{1k_1})\cdots(i_{\ell 1}\cdots i_{\ell k_\ell})$ be a permutation given by cycle notation such that every cycle starts with its maximal entry, and all cycles are ordered increasingly by these maximal entries.
Maps $\sigma$ to the permutation $[i_{11},\ldots,i_{1k_1},\ldots,i_{\ell 1},\ldots,i_{\ell k_\ell}]$ in one-line notation.
In other words, this map sends the maximal entries of the cycles to the left-to-right maxima, and the sequences between two left-to-right maxima are given by the cycles.
Maps $\sigma$ to the permutation $[i_{11},\ldots,i_{1k_1},\ldots,i_{\ell 1},\ldots,i_{\ell k_\ell}]$ in one-line notation.
In other words, this map sends the maximal entries of the cycles to the left-to-right maxima, and the sequences between two left-to-right maxima are given by the cycles.
Map
to 321-avoiding permutation (Krattenthaler)
Description
Krattenthaler's bijection to 321-avoiding permutations.
Draw the path of semilength $n$ in an $n\times n$ square matrix, starting at the upper left corner, with right and down steps, and staying below the diagonal. Then the permutation matrix is obtained by placing ones into the cells corresponding to the peaks of the path and placing ones into the remaining columns from left to right, such that the row indices of the cells increase.
Draw the path of semilength $n$ in an $n\times n$ square matrix, starting at the upper left corner, with right and down steps, and staying below the diagonal. Then the permutation matrix is obtained by placing ones into the cells corresponding to the peaks of the path and placing ones into the remaining columns from left to right, such that the row indices of the cells increase.
Map
descent views to invisible inversion bottoms
Description
Return a permutation whose multiset of invisible inversion bottoms is the multiset of descent views of the given permutation.
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that
- the multiset of descent views in $\pi$ is the multiset of invisible inversion bottoms in $\chi(\pi)$,
- the set of left-to-right maxima of $\pi$ is the set of maximal elements in the cycles of $\chi(\pi)$,
- the set of global ascent of $\pi$ is the set of global ascent of $\chi(\pi)$,
- the set of maximal elements in the decreasing runs of $\pi$ is the set of weak deficiency positions of $\chi(\pi)$, and
- the set of minimal elements in the decreasing runs of $\pi$ is the set of weak deficiency values of $\chi(\pi)$.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!