Identifier
-
Mp00101:
Dyck paths
—decomposition reverse⟶
Dyck paths
Mp00031: Dyck paths —to 312-avoiding permutation⟶ Permutations
Mp00235: Permutations —descent views to invisible inversion bottoms⟶ Permutations
St000240: Permutations ⟶ ℤ
Values
[1,0] => [1,0] => [1] => [1] => 1
[1,0,1,0] => [1,1,0,0] => [2,1] => [2,1] => 1
[1,1,0,0] => [1,0,1,0] => [1,2] => [1,2] => 2
[1,0,1,0,1,0] => [1,1,1,0,0,0] => [3,2,1] => [2,3,1] => 1
[1,0,1,1,0,0] => [1,1,0,1,0,0] => [2,3,1] => [3,2,1] => 3
[1,1,0,0,1,0] => [1,1,0,0,1,0] => [2,1,3] => [2,1,3] => 2
[1,1,0,1,0,0] => [1,0,1,1,0,0] => [1,3,2] => [1,3,2] => 2
[1,1,1,0,0,0] => [1,0,1,0,1,0] => [1,2,3] => [1,2,3] => 3
[1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => [4,3,2,1] => [2,3,4,1] => 1
[1,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0] => [3,4,2,1] => [2,4,3,1] => 3
[1,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => [3,2,4,1] => [4,3,2,1] => 3
[1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0] => [2,4,3,1] => [3,2,4,1] => 3
[1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0] => [2,3,4,1] => [4,2,3,1] => 4
[1,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0] => [3,2,1,4] => [2,3,1,4] => 2
[1,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0] => [2,3,1,4] => [3,2,1,4] => 4
[1,1,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => [2,1,4,3] => [2,1,4,3] => 2
[1,1,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0] => [1,4,3,2] => [1,3,4,2] => 2
[1,1,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0] => [1,3,4,2] => [1,4,3,2] => 4
[1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,0] => [2,1,3,4] => [2,1,3,4] => 3
[1,1,1,0,0,1,0,0] => [1,0,1,1,0,0,1,0] => [1,3,2,4] => [1,3,2,4] => 3
[1,1,1,0,1,0,0,0] => [1,0,1,0,1,1,0,0] => [1,2,4,3] => [1,2,4,3] => 3
[1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => [1,2,3,4] => [1,2,3,4] => 4
[1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => [5,4,3,2,1] => [2,3,4,5,1] => 1
[1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,0] => [4,5,3,2,1] => [2,3,5,4,1] => 3
[1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,0] => [4,3,5,2,1] => [2,5,4,3,1] => 3
[1,0,1,0,1,1,0,1,0,0] => [1,1,1,0,1,1,0,0,0,0] => [3,5,4,2,1] => [2,4,3,5,1] => 3
[1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => [3,4,5,2,1] => [2,5,3,4,1] => 4
[1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => [4,3,2,5,1] => [5,3,4,2,1] => 3
[1,0,1,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,0] => [3,4,2,5,1] => [5,4,3,2,1] => 5
[1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [3,2,5,4,1] => [4,3,2,5,1] => 3
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0] => [2,5,4,3,1] => [3,2,4,5,1] => 3
[1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,1,0,0,0] => [2,4,5,3,1] => [3,2,5,4,1] => 5
[1,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => [3,2,4,5,1] => [5,3,2,4,1] => 4
[1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0] => [2,4,3,5,1] => [5,2,4,3,1] => 4
[1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,1,0,0,0] => [2,3,5,4,1] => [4,2,3,5,1] => 4
[1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => [2,3,4,5,1] => [5,2,3,4,1] => 5
[1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0] => [4,3,2,1,5] => [2,3,4,1,5] => 2
[1,1,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,0] => [3,4,2,1,5] => [2,4,3,1,5] => 4
[1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,0] => [3,2,4,1,5] => [4,3,2,1,5] => 4
[1,1,0,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => [2,4,3,1,5] => [3,2,4,1,5] => 4
[1,1,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0] => [2,3,4,1,5] => [4,2,3,1,5] => 5
[1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [3,2,1,5,4] => [2,3,1,5,4] => 2
[1,1,0,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,0,0] => [2,3,1,5,4] => [3,2,1,5,4] => 4
[1,1,0,1,0,1,0,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => [2,1,5,4,3] => [2,1,4,5,3] => 2
[1,1,0,1,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,0] => [1,5,4,3,2] => [1,3,4,5,2] => 2
[1,1,0,1,0,1,1,0,0,0] => [1,0,1,1,1,0,1,0,0,0] => [1,4,5,3,2] => [1,3,5,4,2] => 4
[1,1,0,1,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,0,0] => [2,1,4,5,3] => [2,1,5,4,3] => 4
[1,1,0,1,1,0,0,1,0,0] => [1,0,1,1,1,0,0,1,0,0] => [1,4,3,5,2] => [1,5,4,3,2] => 4
[1,1,0,1,1,0,1,0,0,0] => [1,0,1,1,0,1,1,0,0,0] => [1,3,5,4,2] => [1,4,3,5,2] => 4
[1,1,0,1,1,1,0,0,0,0] => [1,0,1,1,0,1,0,1,0,0] => [1,3,4,5,2] => [1,5,3,4,2] => 5
[1,1,1,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0] => [3,2,1,4,5] => [2,3,1,4,5] => 3
[1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => [2,3,1,4,5] => [3,2,1,4,5] => 5
[1,1,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,0] => [2,1,4,3,5] => [2,1,4,3,5] => 3
[1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0,1,0] => [1,4,3,2,5] => [1,3,4,2,5] => 3
[1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0] => [1,3,4,2,5] => [1,4,3,2,5] => 5
[1,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [2,1,3,5,4] => [2,1,3,5,4] => 3
[1,1,1,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0] => [1,3,2,5,4] => [1,3,2,5,4] => 3
[1,1,1,0,1,0,1,0,0,0] => [1,0,1,0,1,1,1,0,0,0] => [1,2,5,4,3] => [1,2,4,5,3] => 3
[1,1,1,0,1,1,0,0,0,0] => [1,0,1,0,1,1,0,1,0,0] => [1,2,4,5,3] => [1,2,5,4,3] => 5
[1,1,1,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0] => [2,1,3,4,5] => [2,1,3,4,5] => 4
[1,1,1,1,0,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0] => [1,3,2,4,5] => [1,3,2,4,5] => 4
[1,1,1,1,0,0,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0] => [1,2,4,3,5] => [1,2,4,3,5] => 4
[1,1,1,1,0,1,0,0,0,0] => [1,0,1,0,1,0,1,1,0,0] => [1,2,3,5,4] => [1,2,3,5,4] => 4
[1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => [1,2,3,4,5] => [1,2,3,4,5] => 5
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => [6,5,4,3,2,1] => [2,3,4,5,6,1] => 1
[1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => [5,6,4,3,2,1] => [2,3,4,6,5,1] => 3
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => [5,4,6,3,2,1] => [2,3,6,5,4,1] => 3
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => [4,6,5,3,2,1] => [2,3,5,4,6,1] => 3
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => [4,5,6,3,2,1] => [2,3,6,4,5,1] => 4
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => [5,4,3,6,2,1] => [2,6,4,5,3,1] => 3
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => [4,5,3,6,2,1] => [2,6,5,4,3,1] => 5
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => [4,3,6,5,2,1] => [2,5,4,3,6,1] => 3
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => [3,6,5,4,2,1] => [2,4,3,5,6,1] => 3
[1,0,1,0,1,1,0,1,1,0,0,0] => [1,1,1,0,1,1,0,1,0,0,0,0] => [3,5,6,4,2,1] => [2,4,3,6,5,1] => 5
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => [4,3,5,6,2,1] => [2,6,4,3,5,1] => 4
[1,0,1,0,1,1,1,0,0,1,0,0] => [1,1,1,0,1,1,0,0,1,0,0,0] => [3,5,4,6,2,1] => [2,6,3,5,4,1] => 4
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,1,0,1,1,0,0,0,0] => [3,4,6,5,2,1] => [2,5,3,4,6,1] => 4
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => [3,4,5,6,2,1] => [2,6,3,4,5,1] => 5
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => [5,4,3,2,6,1] => [6,3,4,5,2,1] => 3
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,1,0,0] => [4,5,3,2,6,1] => [6,3,5,4,2,1] => 5
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => [4,3,5,2,6,1] => [6,5,4,3,2,1] => 5
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,1,0,1,1,0,0,0,1,0,0] => [3,5,4,2,6,1] => [6,4,3,5,2,1] => 5
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,1,0,0] => [3,4,5,2,6,1] => [6,5,3,4,2,1] => 6
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => [4,3,2,6,5,1] => [5,3,4,2,6,1] => 3
[1,0,1,1,0,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,1,0,0,0] => [3,4,2,6,5,1] => [5,4,3,2,6,1] => 5
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => [3,2,6,5,4,1] => [4,3,2,5,6,1] => 3
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => [2,6,5,4,3,1] => [3,2,4,5,6,1] => 3
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => [2,5,6,4,3,1] => [3,2,4,6,5,1] => 5
[1,0,1,1,0,1,1,0,0,0,1,0] => [1,1,1,0,0,1,1,0,1,0,0,0] => [3,2,5,6,4,1] => [4,3,2,6,5,1] => 5
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => [2,5,4,6,3,1] => [3,2,6,5,4,1] => 5
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => [2,4,6,5,3,1] => [3,2,5,4,6,1] => 5
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,1,0,1,1,0,1,0,1,0,0,0] => [2,4,5,6,3,1] => [3,2,6,4,5,1] => 6
[1,0,1,1,1,0,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => [4,3,2,5,6,1] => [6,3,4,2,5,1] => 4
[1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => [3,4,2,5,6,1] => [6,4,3,2,5,1] => 6
[1,0,1,1,1,0,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,1,0,0] => [3,2,5,4,6,1] => [6,3,2,5,4,1] => 4
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => [2,5,4,3,6,1] => [6,2,4,5,3,1] => 4
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => [2,4,5,3,6,1] => [6,2,5,4,3,1] => 6
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => [3,2,4,6,5,1] => [5,3,2,4,6,1] => 4
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => [2,4,3,6,5,1] => [5,2,4,3,6,1] => 4
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => [2,3,6,5,4,1] => [4,2,3,5,6,1] => 4
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => [2,3,5,6,4,1] => [4,2,3,6,5,1] => 6
>>> Load all 196 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 indices that are not small excedances.
A small excedance is an index $i$ for which $\pi_i = i+1$.
A small excedance is an index $i$ for which $\pi_i = i+1$.
Map
to 312-avoiding permutation
Description
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)$.
Map
decomposition reverse
Description
This map is recursively defined as follows.
The unique empty path of semilength $0$ is sent to itself.
Let $D$ be a Dyck path of semilength $n > 0$ and decompose it into $1 D_1 0 D_2$ with Dyck paths $D_1, D_2$ of respective semilengths $n_1$ and $n_2$ such that $n_1$ is minimal. One then has $n_1+n_2 = n-1$.
Now let $\tilde D_1$ and $\tilde D_2$ be the recursively defined respective images of $D_1$ and $D_2$ under this map. The image of $D$ is then defined as $1 \tilde D_2 0 \tilde D_1$.
The unique empty path of semilength $0$ is sent to itself.
Let $D$ be a Dyck path of semilength $n > 0$ and decompose it into $1 D_1 0 D_2$ with Dyck paths $D_1, D_2$ of respective semilengths $n_1$ and $n_2$ such that $n_1$ is minimal. One then has $n_1+n_2 = n-1$.
Now let $\tilde D_1$ and $\tilde D_2$ be the recursively defined respective images of $D_1$ and $D_2$ under this map. The image of $D$ is then defined as $1 \tilde D_2 0 \tilde D_1$.
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!