Identifier
-
Mp00222:
Dyck paths
—peaks-to-valleys⟶
Dyck paths
Mp00120: Dyck paths —Lalanne-Kreweras involution⟶ Dyck paths
Mp00026: Dyck paths —to ordered tree⟶ Ordered trees
St000166: Ordered trees ⟶ ℤ (values match St000094The depth of an ordered tree.)
Values
[1,0] => [1,0] => [1,0] => [[]] => 1
[1,0,1,0] => [1,1,0,0] => [1,0,1,0] => [[],[]] => 1
[1,1,0,0] => [1,0,1,0] => [1,1,0,0] => [[[]]] => 2
[1,0,1,0,1,0] => [1,1,1,0,0,0] => [1,0,1,0,1,0] => [[],[],[]] => 1
[1,0,1,1,0,0] => [1,1,0,0,1,0] => [1,0,1,1,0,0] => [[],[[]]] => 2
[1,1,0,0,1,0] => [1,0,1,1,0,0] => [1,1,0,0,1,0] => [[[]],[]] => 2
[1,1,0,1,0,0] => [1,0,1,0,1,0] => [1,1,1,0,0,0] => [[[[]]]] => 3
[1,1,1,0,0,0] => [1,1,0,1,0,0] => [1,1,0,1,0,0] => [[[],[]]] => 2
[1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => [[],[],[],[]] => 1
[1,0,1,0,1,1,0,0] => [1,1,1,0,0,0,1,0] => [1,0,1,0,1,1,0,0] => [[],[],[[]]] => 2
[1,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => [1,0,1,1,0,0,1,0] => [[],[[]],[]] => 2
[1,0,1,1,0,1,0,0] => [1,1,0,0,1,0,1,0] => [1,0,1,1,1,0,0,0] => [[],[[[]]]] => 3
[1,0,1,1,1,0,0,0] => [1,1,1,0,0,1,0,0] => [1,0,1,1,0,1,0,0] => [[],[[],[]]] => 2
[1,1,0,0,1,0,1,0] => [1,0,1,1,1,0,0,0] => [1,1,0,0,1,0,1,0] => [[[]],[],[]] => 2
[1,1,0,0,1,1,0,0] => [1,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => [[[]],[[]]] => 2
[1,1,0,1,0,0,1,0] => [1,0,1,0,1,1,0,0] => [1,1,1,0,0,0,1,0] => [[[[]]],[]] => 3
[1,1,0,1,0,1,0,0] => [1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => [[[[[]]]]] => 4
[1,1,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0] => [1,1,1,0,0,1,0,0] => [[[[]],[]]] => 3
[1,1,1,0,0,0,1,0] => [1,1,0,1,1,0,0,0] => [1,1,0,1,0,0,1,0] => [[[],[]],[]] => 2
[1,1,1,0,0,1,0,0] => [1,1,0,1,0,0,1,0] => [1,1,0,1,1,0,0,0] => [[[],[[]]]] => 3
[1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,0,0] => [1,1,1,0,1,0,0,0] => [[[[],[]]]] => 3
[1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,0,0] => [[[],[],[]]] => 2
[1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[]] => 1
[1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,0,0,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => [[],[],[],[[]]] => 2
[1,0,1,0,1,1,0,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [1,0,1,0,1,1,0,0,1,0] => [[],[],[[]],[]] => 2
[1,0,1,0,1,1,0,1,0,0] => [1,1,1,0,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,0] => [[],[],[[[]]]] => 3
[1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,0,0,1,0,0] => [1,0,1,0,1,1,0,1,0,0] => [[],[],[[],[]]] => 2
[1,0,1,1,0,0,1,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => [1,0,1,1,0,0,1,0,1,0] => [[],[[]],[],[]] => 2
[1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0] => [[],[[]],[[]]] => 2
[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] => [[],[[[]]],[]] => 3
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,0,1,0,1,0,1,0] => [1,0,1,1,1,1,0,0,0,0] => [[],[[[[]]]]] => 4
[1,0,1,1,0,1,1,0,0,0] => [1,1,0,0,1,1,0,1,0,0] => [1,0,1,1,1,0,0,1,0,0] => [[],[[[]],[]]] => 3
[1,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0] => [[],[[],[]],[]] => 2
[1,0,1,1,1,0,0,1,0,0] => [1,1,1,0,0,1,0,0,1,0] => [1,0,1,1,0,1,1,0,0,0] => [[],[[],[[]]]] => 3
[1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,0,1,0,0,0] => [[],[[[],[]]]] => 3
[1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,0,1,0,0,0] => [1,0,1,1,0,1,0,1,0,0] => [[],[[],[],[]]] => 2
[1,1,0,0,1,0,1,0,1,0] => [1,0,1,1,1,1,0,0,0,0] => [1,1,0,0,1,0,1,0,1,0] => [[[]],[],[],[]] => 2
[1,1,0,0,1,0,1,1,0,0] => [1,0,1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => [[[]],[],[[]]] => 2
[1,1,0,0,1,1,0,0,1,0] => [1,0,1,1,0,0,1,1,0,0] => [1,1,0,0,1,1,0,0,1,0] => [[[]],[[]],[]] => 2
[1,1,0,0,1,1,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => [[[]],[[[]]]] => 3
[1,1,0,0,1,1,1,0,0,0] => [1,0,1,1,1,0,0,1,0,0] => [1,1,0,0,1,1,0,1,0,0] => [[[]],[[],[]]] => 2
[1,1,0,1,0,0,1,0,1,0] => [1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,0,0,1,0,1,0] => [[[[]]],[],[]] => 3
[1,1,0,1,0,0,1,1,0,0] => [1,0,1,0,1,1,0,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => [[[[]]],[[]]] => 3
[1,1,0,1,0,1,0,0,1,0] => [1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,0,0,0,1,0] => [[[[[]]]],[]] => 4
[1,1,0,1,0,1,0,1,0,0] => [1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => [[[[[[]]]]]] => 5
[1,1,0,1,0,1,1,0,0,0] => [1,0,1,0,1,1,0,1,0,0] => [1,1,1,1,0,0,0,1,0,0] => [[[[[]]],[]]] => 4
[1,1,0,1,1,0,0,0,1,0] => [1,0,1,1,0,1,1,0,0,0] => [1,1,1,0,0,1,0,0,1,0] => [[[[]],[]],[]] => 3
[1,1,0,1,1,0,0,1,0,0] => [1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [[[[]],[[]]]] => 3
[1,1,0,1,1,0,1,0,0,0] => [1,0,1,1,0,1,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => [[[[[]],[]]]] => 4
[1,1,0,1,1,1,0,0,0,0] => [1,0,1,1,1,0,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0] => [[[[]],[],[]]] => 3
[1,1,1,0,0,0,1,0,1,0] => [1,1,0,1,1,1,0,0,0,0] => [1,1,0,1,0,0,1,0,1,0] => [[[],[]],[],[]] => 2
[1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => [1,1,0,1,0,0,1,1,0,0] => [[[],[]],[[]]] => 2
[1,1,1,0,0,1,0,0,1,0] => [1,1,0,1,0,0,1,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => [[[],[[]]],[]] => 3
[1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => [1,1,0,1,1,1,0,0,0,0] => [[[],[[[]]]]] => 4
[1,1,1,0,0,1,1,0,0,0] => [1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0] => [[[],[[]],[]]] => 3
[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,0,0,1,0] => [[[[],[]]],[]] => 3
[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,1,0,0,0,0] => [[[[],[[]]]]] => 4
[1,1,1,0,1,0,1,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => [1,1,1,1,0,1,0,0,0,0] => [[[[[],[]]]]] => 4
[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,0,0,1,0,0] => [[[[],[]],[]]] => 3
[1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,0,1,0,0,1,0] => [[[],[],[]],[]] => 2
[1,1,1,1,0,0,0,1,0,0] => [1,1,1,0,1,0,0,0,1,0] => [1,1,0,1,0,1,1,0,0,0] => [[[],[],[[]]]] => 3
[1,1,1,1,0,0,1,0,0,0] => [1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => [[[],[[],[]]]] => 3
[1,1,1,1,0,1,0,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => [[[[],[],[]]]] => 3
[1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => [[[],[],[],[]]] => 2
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0,1,0] => [[],[],[],[],[],[]] => 1
[1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,0,0,0,0,0,1,0] => [1,0,1,0,1,0,1,0,1,1,0,0] => [[],[],[],[],[[]]] => 2
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,0,0,1,1,0,0] => [1,0,1,0,1,0,1,1,0,0,1,0] => [[],[],[],[[]],[]] => 2
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,1,1,0,0,0,0,1,0,1,0] => [1,0,1,0,1,0,1,1,1,0,0,0] => [[],[],[],[[[]]]] => 3
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => [1,0,1,0,1,0,1,1,0,1,0,0] => [[],[],[],[[],[]]] => 2
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0,1,0] => [[],[],[[]],[],[]] => 2
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,1,0,0,0,1,1,0,0,1,0] => [1,0,1,0,1,1,0,0,1,1,0,0] => [[],[],[[]],[[]]] => 2
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,0,1,0,1,1,0,0] => [1,0,1,0,1,1,1,0,0,0,1,0] => [[],[],[[[]]],[]] => 3
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,0,0,1,0,1,0,1,0] => [1,0,1,0,1,1,1,1,0,0,0,0] => [[],[],[[[[]]]]] => 4
[1,0,1,0,1,1,0,1,1,0,0,0] => [1,1,1,0,0,0,1,1,0,1,0,0] => [1,0,1,0,1,1,1,0,0,1,0,0] => [[],[],[[[]],[]]] => 3
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => [1,0,1,0,1,1,0,1,0,0,1,0] => [[],[],[[],[]],[]] => 2
[1,0,1,0,1,1,1,0,0,1,0,0] => [1,1,1,1,0,0,0,1,0,0,1,0] => [1,0,1,0,1,1,0,1,1,0,0,0] => [[],[],[[],[[]]]] => 3
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => [1,0,1,0,1,1,1,0,1,0,0,0] => [[],[],[[[],[]]]] => 3
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => [1,0,1,0,1,1,0,1,0,1,0,0] => [[],[],[[],[],[]]] => 2
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,0,0,1,1,1,1,0,0,0,0] => [1,0,1,1,0,0,1,0,1,0,1,0] => [[],[[]],[],[],[]] => 2
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,0,0,1,1,1,0,0,0,1,0] => [1,0,1,1,0,0,1,0,1,1,0,0] => [[],[[]],[],[[]]] => 2
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,1,0,0] => [1,0,1,1,0,0,1,1,0,0,1,0] => [[],[[]],[[]],[]] => 2
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,0,0,1,1,0,0,1,0,1,0] => [1,0,1,1,0,0,1,1,1,0,0,0] => [[],[[]],[[[]]]] => 3
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,0,0,1,1,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,1,0,0] => [[],[[]],[[],[]]] => 2
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,0,0,1,0,1,1,1,0,0,0] => [1,0,1,1,1,0,0,0,1,0,1,0] => [[],[[[]]],[],[]] => 3
[1,0,1,1,0,1,0,0,1,1,0,0] => [1,1,0,0,1,0,1,1,0,0,1,0] => [1,0,1,1,1,0,0,0,1,1,0,0] => [[],[[[]]],[[]]] => 3
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,0,0,1,0,1,0,1,1,0,0] => [1,0,1,1,1,1,0,0,0,0,1,0] => [[],[[[[]]]],[]] => 4
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,0,0,1,0,1,0,1,0,1,0] => [1,0,1,1,1,1,1,0,0,0,0,0] => [[],[[[[[]]]]]] => 5
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,0,0,1,0,1,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,1,0,0] => [[],[[[[]]],[]]] => 4
[1,0,1,1,0,1,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,1,0,0,0] => [1,0,1,1,1,0,0,1,0,0,1,0] => [[],[[[]],[]],[]] => 3
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,1,0,0,1,1,0,1,0,0,1,0] => [1,0,1,1,1,0,0,1,1,0,0,0] => [[],[[[]],[[]]]] => 3
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,1,0,0,1,1,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,1,0,0,0] => [[],[[[[]],[]]]] => 4
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,1,0,0,1,1,1,0,1,0,0,0] => [1,0,1,1,1,0,0,1,0,1,0,0] => [[],[[[]],[],[]]] => 3
[1,0,1,1,1,0,0,0,1,0,1,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => [1,0,1,1,0,1,0,0,1,0,1,0] => [[],[[],[]],[],[]] => 2
[1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,0,1,0] => [1,0,1,1,0,1,0,0,1,1,0,0] => [[],[[],[]],[[]]] => 2
[1,0,1,1,1,0,0,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,1,0,0] => [1,0,1,1,0,1,1,0,0,0,1,0] => [[],[[],[[]]],[]] => 3
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,1,1,0,0,1,0,0,1,0,1,0] => [1,0,1,1,0,1,1,1,0,0,0,0] => [[],[[],[[[]]]]] => 4
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,1,1,0,0,1,1,0,0,1,0,0] => [1,0,1,1,0,1,1,0,0,1,0,0] => [[],[[],[[]],[]]] => 3
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => [1,0,1,1,1,0,1,0,0,0,1,0] => [[],[[[],[]]],[]] => 3
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,1,0,0,1,0,1,0,0,1,0] => [1,0,1,1,1,0,1,1,0,0,0,0] => [[],[[[],[[]]]]] => 4
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => [1,0,1,1,1,1,0,1,0,0,0,0] => [[],[[[[],[]]]]] => 4
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,1,1,0,0,1,1,0,1,0,0,0] => [1,0,1,1,1,0,1,0,0,1,0,0] => [[],[[[],[]],[]]] => 3
>>> 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 depth minus 1 of an ordered tree.
The ordered trees of size $n$ are bijection with the Dyck paths of size $n-1$, and this statistic then corresponds to St000013The height of a Dyck path..
The ordered trees of size $n$ are bijection with the Dyck paths of size $n-1$, and this statistic then corresponds to St000013The height of a Dyck path..
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.
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
to ordered tree
Description
Sends a Dyck path to the ordered tree encoding the heights of the path.
This map is recursively defined as follows: A Dyck path $D$ of semilength $n$ may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths $D_1,\dots,D_k$ of respective semilengths $n_1,\dots,n_k$ (so one has $n = n_1 + \dots n_k$) each of which has no returns.
Denote by $\tilde D_i$ the path of semilength $n_i-1$ obtained from $D_i$ by removing the initial up- and the final down-step.
This map then sends $D$ to the tree $T$ having a root note with ordered children $T_1,\dots,T_k$ which are again ordered trees computed from $D_1,\dots,D_k$ respectively.
The unique path of semilength $1$ is sent to the tree consisting of a single node.
This map is recursively defined as follows: A Dyck path $D$ of semilength $n$ may be decomposed, according to its returns (St000011The number of touch points (or returns) of a Dyck path.), into smaller paths $D_1,\dots,D_k$ of respective semilengths $n_1,\dots,n_k$ (so one has $n = n_1 + \dots n_k$) each of which has no returns.
Denote by $\tilde D_i$ the path of semilength $n_i-1$ obtained from $D_i$ by removing the initial up- and the final down-step.
This map then sends $D$ to the tree $T$ having a root note with ordered children $T_1,\dots,T_k$ which are again ordered trees computed from $D_1,\dots,D_k$ respectively.
The unique path of semilength $1$ is sent to the tree consisting of a single node.
Map
Lalanne-Kreweras involution
Description
The Lalanne-Kreweras involution on Dyck paths.
Label the upsteps from left to right and record the labels on the first up step of each double rise. Do the same for the downsteps. Then form the Dyck path whose ascent lengths and descent lengths are the consecutives differences of the labels.
Label the upsteps from left to right and record the labels on the first up step of each double rise. Do the same for the downsteps. Then form the Dyck path whose ascent lengths and descent lengths are the consecutives differences of the labels.
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!