- FindStat

Identifier

Mp00122: Dyck paths —Elizalde-Deutsch bijection⟶ Dyck paths
Mp00222: Dyck paths —peaks-to-valleys⟶ Dyck paths
Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
St001225: Dyck paths ⟶ ℤ

Values

[1,0] => [1,0] => [1,0] => [1,1,0,0] => 0
[1,0,1,0] => [1,1,0,0] => [1,0,1,0] => [1,1,0,1,0,0] => 2
[1,1,0,0] => [1,0,1,0] => [1,1,0,0] => [1,1,1,0,0,0] => 0
[1,0,1,0,1,0] => [1,1,0,0,1,0] => [1,0,1,1,0,0] => [1,1,0,1,1,0,0,0] => 2
[1,0,1,1,0,0] => [1,1,0,1,0,0] => [1,0,1,0,1,0] => [1,1,0,1,0,1,0,0] => 3
[1,1,0,0,1,0] => [1,1,1,0,0,0] => [1,1,0,1,0,0] => [1,1,1,0,1,0,0,0] => 3
[1,1,0,1,0,0] => [1,0,1,1,0,0] => [1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => 2
[1,1,1,0,0,0] => [1,0,1,0,1,0] => [1,1,1,0,0,0] => [1,1,1,1,0,0,0,0] => 0
[1,0,1,0,1,0,1,0] => [1,1,0,0,1,1,0,0] => [1,0,1,1,0,0,1,0] => [1,1,0,1,1,0,0,1,0,0] => 4
[1,0,1,0,1,1,0,0] => [1,1,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => 4
[1,0,1,1,0,0,1,0] => [1,1,0,0,1,0,1,0] => [1,0,1,1,1,0,0,0] => [1,1,0,1,1,1,0,0,0,0] => 2
[1,0,1,1,0,1,0,0] => [1,1,0,1,0,0,1,0] => [1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,1,0,0,0] => 3
[1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0] => [1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,0] => 4
[1,1,0,0,1,0,1,0] => [1,1,1,0,0,1,0,0] => [1,1,0,1,0,0,1,0] => [1,1,1,0,1,0,0,1,0,0] => 4
[1,1,0,0,1,1,0,0] => [1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => 4
[1,1,0,1,0,0,1,0] => [1,1,1,0,0,0,1,0] => [1,1,0,1,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0] => 3
[1,1,0,1,0,1,0,0] => [1,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,0] => 2
[1,1,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0] => [1,1,0,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => 3
[1,1,1,0,0,0,1,0] => [1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,0,0] => 4
[1,1,1,0,0,1,0,0] => [1,0,1,1,1,0,0,0] => [1,1,1,0,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => 3
[1,1,1,0,1,0,0,0] => [1,0,1,0,1,1,0,0] => [1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => 2
[1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => 0
[1,0,1,0,1,0,1,0,1,0] => [1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => 4
[1,0,1,0,1,0,1,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => [1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => 4
[1,0,1,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0] => [1,1,0,1,1,0,0,1,0,1,0,0] => 5
[1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0] => [1,0,1,1,0,1,0,0,1,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => 5
[1,0,1,0,1,1,1,0,0,0] => [1,1,0,1,1,1,0,0,0,0] => [1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => 5
[1,0,1,1,0,0,1,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => [1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => 5
[1,0,1,1,0,0,1,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => [1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,0,1,0,1,0,0,0] => 5
[1,0,1,1,0,1,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [1,0,1,1,1,0,0,0,1,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => 4
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,0,0,1,1,0,0] => [1,0,1,0,1,1,0,0,1,0] => [1,1,0,1,0,1,1,0,0,1,0,0] => 5
[1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,0,1,1,0,0,0] => [1,0,1,0,1,1,0,1,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => 5
[1,0,1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0] => [1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => 2
[1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => 3
[1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,0,1,1,0,0,0] => 4
[1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => [1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => 5
[1,1,0,0,1,0,1,0,1,0] => [1,1,1,0,0,1,0,0,1,0] => [1,1,0,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,1,0,0,0] => 4
[1,1,0,0,1,0,1,1,0,0] => [1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => 4
[1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => 5
[1,1,0,0,1,1,0,1,0,0] => [1,1,1,1,0,0,0,1,0,0] => [1,1,1,0,1,0,0,0,1,0] => [1,1,1,1,0,1,0,0,0,1,0,0] => 5
[1,1,0,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => 5
[1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [1,1,0,1,1,0,0,1,0,0] => [1,1,1,0,1,1,0,0,1,0,0,0] => 5
[1,1,0,1,0,0,1,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => [1,1,1,0,1,0,0,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => 5
[1,1,0,1,0,1,0,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => [1,1,1,0,1,1,0,0,0,1,0,0] => 5
[1,1,0,1,0,1,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,1,0,0] => 4
[1,1,0,1,0,1,1,0,0,0] => [1,0,1,1,0,1,1,0,0,0] => [1,1,0,0,1,1,0,1,0,0] => [1,1,1,0,0,1,1,0,1,0,0,0] => 4
[1,1,0,1,1,0,0,0,1,0] => [1,1,1,0,0,0,1,0,1,0] => [1,1,0,1,1,1,0,0,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => 3
[1,1,0,1,1,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => 2
[1,1,0,1,1,0,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => 3
[1,1,0,1,1,1,0,0,0,0] => [1,0,1,1,0,1,0,1,0,0] => [1,1,0,0,1,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => 4
[1,1,1,0,0,0,1,0,1,0] => [1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,1,0,1,0,0,0,0] => 5
[1,1,1,0,0,0,1,1,0,0] => [1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => 5
[1,1,1,0,0,1,0,0,1,0] => [1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,0,1,0,0,1,0] => [1,1,1,0,1,0,1,0,0,1,0,0] => 5
[1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,0,0,1,0,0] => [1,1,1,0,0,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => 4
[1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,0,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => 4
[1,1,1,0,1,0,0,0,1,0] => [1,1,1,0,1,0,0,0,1,0] => [1,1,0,1,0,1,1,0,0,0] => [1,1,1,0,1,0,1,1,0,0,0,0] => 4
[1,1,1,0,1,0,0,1,0,0] => [1,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => 3
[1,1,1,0,1,0,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => 2
[1,1,1,0,1,1,0,0,0,0] => [1,0,1,0,1,1,0,1,0,0] => [1,1,1,0,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => 3
[1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,1,0,1,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => 5
[1,1,1,1,0,0,0,1,0,0] => [1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => 4
[1,1,1,1,0,0,1,0,0,0] => [1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,0,0,1,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => 3
[1,1,1,1,0,1,0,0,0,0] => [1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,0,0,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => 2
[1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => 0
[] => [] => [] => [1,0] => 0

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

click to show known generating functions

$F_{1} = 1$

$F_{2} = 1 + q^{2}$

$F_{3} = 1 + 2\ q^{2} + 2\ q^{3}$

$F_{4} = 1 + 3\ q^{2} + 4\ q^{3} + 6\ q^{4}$

$F_{5} = 1 + 4\ q^{2} + 6\ q^{3} + 13\ q^{4} + 18\ q^{5}$

Description

The vector space dimension of the first extension group between J and itself when J is the Jacobson radical of the corresponding Nakayama algebra.

Map

peaks-to-valleys

Description

Return the path that has a valley wherever the original path has a peak of height at least one.
More precisely, the height of a valley in the image is the height of the corresponding peak minus

$2$ .
This is also (the inverse of) rowmotion on Dyck paths regarded as order ideals in the triangular poset.

Map

prime Dyck path

Description

Return the Dyck path obtained by adding an initial up and a final down step.

Map

Elizalde-Deutsch bijection

Description

The Elizalde-Deutsch bijection on Dyck paths.
.Let

$n$ be the length of the Dyck path. Consider the steps

$1,n,2,n-1,\dots$ of

$D$ . When considering the

$i$ -th step its corresponding matching step has not yet been read, let the

$i$ -th step of the image of

$D$ be an up step, otherwise let it be a down step.