Identifier
  • Mp00101: Dyck paths —decomposition reverse⟶ Dyck paths
    St000015: Dyck paths ⟶ ℤ (values match St000053The number of valleys of the Dyck path., St001068Number of torsionless simple modules in the corresponding Nakayama algebra., St001169Number of simple modules with projective dimension at least two in the corresponding Nakayama algebra.)
Values
[1,0] => [1,0] => 1
[1,0,1,0] => [1,1,0,0] => 1
[1,1,0,0] => [1,0,1,0] => 2
[1,0,1,0,1,0] => [1,1,1,0,0,0] => 1
[1,0,1,1,0,0] => [1,1,0,1,0,0] => 2
[1,1,0,0,1,0] => [1,1,0,0,1,0] => 2
[1,1,0,1,0,0] => [1,0,1,1,0,0] => 2
[1,1,1,0,0,0] => [1,0,1,0,1,0] => 3
[1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => 1
[1,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0] => 2
[1,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => 2
[1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0] => 2
[1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0] => 3
[1,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0] => 2
[1,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0] => 3
[1,1,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0] => 2
[1,1,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0] => 2
[1,1,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0] => 3
[1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,0] => 3
[1,1,1,0,0,1,0,0] => [1,0,1,1,0,0,1,0] => 3
[1,1,1,0,1,0,0,0] => [1,0,1,0,1,1,0,0] => 3
[1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => 4
[1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => 1
[1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,0] => 2
[1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,0] => 2
[1,0,1,0,1,1,0,1,0,0] => [1,1,1,0,1,1,0,0,0,0] => 2
[1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => 3
[1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => 2
[1,0,1,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,0] => 3
[1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => 2
[1,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0] => 2
[1,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,1,0,0,0] => 3
[1,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => 3
[1,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0] => 3
[1,0,1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,1,0,0,0] => 3
[1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => 4
[1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0] => 2
[1,1,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,0] => 3
[1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,0] => 3
[1,1,0,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0,1,0] => 3
[1,1,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0] => 4
[1,1,0,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,0,0] => 2
[1,1,0,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,0,0] => 3
[1,1,0,1,0,1,0,0,1,0] => [1,1,0,0,1,1,1,0,0,0] => 2
[1,1,0,1,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,0] => 2
[1,1,0,1,0,1,1,0,0,0] => [1,0,1,1,1,0,1,0,0,0] => 3
[1,1,0,1,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,0,0] => 3
[1,1,0,1,1,0,0,1,0,0] => [1,0,1,1,1,0,0,1,0,0] => 3
[1,1,0,1,1,0,1,0,0,0] => [1,0,1,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] => 4
[1,1,1,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0] => 3
[1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => 4
[1,1,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,0] => 3
[1,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0,1,0] => 3
[1,1,1,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0] => 4
[1,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0] => 3
[1,1,1,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0] => 3
[1,1,1,0,1,0,1,0,0,0] => [1,0,1,0,1,1,1,0,0,0] => 3
[1,1,1,0,1,1,0,0,0,0] => [1,0,1,0,1,1,0,1,0,0] => 4
[1,1,1,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0] => 4
[1,1,1,1,0,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0] => 4
[1,1,1,1,0,0,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0] => 4
[1,1,1,1,0,1,0,0,0,0] => [1,0,1,0,1,0,1,1,0,0] => 4
[1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => 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] => 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] => 2
[1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => 2
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => 2
[1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => 3
[1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => 2
[1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => 3
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => 2
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => 2
[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
[1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => 3
[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
[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
[1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => 4
[1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => 2
[1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,1,0,0] => 3
[1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => 3
[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
[1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,1,0,0] => 4
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => 2
[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
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => 2
[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
[1,0,1,1,0,1,0,1,1,0,0,0] => [1,1,0,1,1,1,0,1,0,0,0,0] => 3
[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
[1,0,1,1,0,1,1,0,0,1,0,0] => [1,1,0,1,1,1,0,0,1,0,0,0] => 3
[1,0,1,1,0,1,1,0,1,0,0,0] => [1,1,0,1,1,0,1,1,0,0,0,0] => 3
[1,0,1,1,0,1,1,1,0,0,0,0] => [1,1,0,1,1,0,1,0,1,0,0,0] => 4
[1,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,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => 4
[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
[1,0,1,1,1,0,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,1,0,0] => 3
[1,0,1,1,1,0,0,1,1,0,0,0] => [1,1,0,1,1,0,1,0,0,1,0,0] => 4
[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
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,1,0,0,0] => 3
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,0,1,0,1,1,1,0,0,0,0] => 3
[1,0,1,1,1,0,1,1,0,0,0,0] => [1,1,0,1,0,1,1,0,1,0,0,0] => 4
>>> Load all 196 entries. <<<
[1,0,1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => 4
[1,0,1,1,1,1,0,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,1,0,0] => 4
[1,0,1,1,1,1,0,0,1,0,0,0] => [1,1,0,1,0,1,1,0,0,1,0,0] => 4
[1,0,1,1,1,1,0,1,0,0,0,0] => [1,1,0,1,0,1,0,1,1,0,0,0] => 4
[1,0,1,1,1,1,1,0,0,0,0,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,0] => [1,1,1,1,1,0,0,0,0,0,1,0] => 2
[1,1,0,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,0,1,0] => 3
[1,1,0,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,0,1,0] => 3
[1,1,0,0,1,0,1,1,0,1,0,0] => [1,1,1,0,1,1,0,0,0,0,1,0] => 3
[1,1,0,0,1,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0,1,0] => 4
[1,1,0,0,1,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,0,1,0] => 3
[1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,0,1,0] => 4
[1,1,0,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0,1,0] => 3
[1,1,0,0,1,1,0,1,0,1,0,0] => [1,1,0,1,1,1,0,0,0,0,1,0] => 3
[1,1,0,0,1,1,0,1,1,0,0,0] => [1,1,0,1,1,0,1,0,0,0,1,0] => 4
[1,1,0,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0,1,0] => 4
[1,1,0,0,1,1,1,0,0,1,0,0] => [1,1,0,1,1,0,0,1,0,0,1,0] => 4
[1,1,0,0,1,1,1,0,1,0,0,0] => [1,1,0,1,0,1,1,0,0,0,1,0] => 4
[1,1,0,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0,1,0] => 5
[1,1,0,1,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,1,0,0] => 2
[1,1,0,1,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,1,0,0] => 3
[1,1,0,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,1,0,0] => 3
[1,1,0,1,0,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0,1,1,0,0] => 3
[1,1,0,1,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,1,0,0] => 4
[1,1,0,1,0,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,1,0,0,0] => 2
[1,1,0,1,0,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,1,0,0,0] => 3
[1,1,0,1,0,1,0,1,0,0,1,0] => [1,1,0,0,1,1,1,1,0,0,0,0] => 2
[1,1,0,1,0,1,0,1,0,1,0,0] => [1,0,1,1,1,1,1,0,0,0,0,0] => 2
[1,1,0,1,0,1,0,1,1,0,0,0] => [1,0,1,1,1,1,0,1,0,0,0,0] => 3
[1,1,0,1,0,1,1,0,0,0,1,0] => [1,1,0,0,1,1,1,0,1,0,0,0] => 3
[1,1,0,1,0,1,1,0,0,1,0,0] => [1,0,1,1,1,1,0,0,1,0,0,0] => 3
[1,1,0,1,0,1,1,0,1,0,0,0] => [1,0,1,1,1,0,1,1,0,0,0,0] => 3
[1,1,0,1,0,1,1,1,0,0,0,0] => [1,0,1,1,1,0,1,0,1,0,0,0] => 4
[1,1,0,1,1,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,0,1,0,0] => 3
[1,1,0,1,1,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,0,1,0,0] => 4
[1,1,0,1,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,1,0,0,1,0,0] => 3
[1,1,0,1,1,0,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,1,0,0] => 3
[1,1,0,1,1,0,0,1,1,0,0,0] => [1,0,1,1,1,0,1,0,0,1,0,0] => 4
[1,1,0,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,1,0,0,0] => 3
[1,1,0,1,1,0,1,0,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,1,0,0,0] => [1,0,1,1,0,1,1,1,0,0,0,0] => 3
[1,1,0,1,1,0,1,1,0,0,0,0] => [1,0,1,1,0,1,1,0,1,0,0,0] => 4
[1,1,0,1,1,1,0,0,0,0,1,0] => [1,1,0,0,1,1,0,1,0,1,0,0] => 4
[1,1,0,1,1,1,0,0,0,1,0,0] => [1,0,1,1,1,0,0,1,0,1,0,0] => 4
[1,1,0,1,1,1,0,0,1,0,0,0] => [1,0,1,1,0,1,1,0,0,1,0,0] => 4
[1,1,0,1,1,1,0,1,0,0,0,0] => [1,0,1,1,0,1,0,1,1,0,0,0] => 4
[1,1,0,1,1,1,1,0,0,0,0,0] => [1,0,1,1,0,1,0,1,0,1,0,0] => 5
[1,1,1,0,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0,1,0] => 3
[1,1,1,0,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,0,1,0] => 4
[1,1,1,0,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,0,1,0] => 4
[1,1,1,0,0,0,1,1,0,1,0,0] => [1,1,0,1,1,0,0,0,1,0,1,0] => 4
[1,1,1,0,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0,1,0] => 5
[1,1,1,0,0,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,1,0,0,1,0] => 3
[1,1,1,0,0,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,1,0,0,1,0] => 4
[1,1,1,0,0,1,0,1,0,0,1,0] => [1,1,0,0,1,1,1,0,0,0,1,0] => 3
[1,1,1,0,0,1,0,1,0,1,0,0] => [1,0,1,1,1,1,0,0,0,0,1,0] => 3
[1,1,1,0,0,1,0,1,1,0,0,0] => [1,0,1,1,1,0,1,0,0,0,1,0] => 4
[1,1,1,0,0,1,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,0,0,1,0] => 4
[1,1,1,0,0,1,1,0,0,1,0,0] => [1,0,1,1,1,0,0,1,0,0,1,0] => 4
[1,1,1,0,0,1,1,0,1,0,0,0] => [1,0,1,1,0,1,1,0,0,0,1,0] => 4
[1,1,1,0,0,1,1,1,0,0,0,0] => [1,0,1,1,0,1,0,1,0,0,1,0] => 5
[1,1,1,0,1,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,1,0,0] => 3
[1,1,1,0,1,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0,1,1,0,0] => 4
[1,1,1,0,1,0,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,1,0,0] => 3
[1,1,1,0,1,0,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0,1,1,0,0] => 3
[1,1,1,0,1,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,1,0,0] => 4
[1,1,1,0,1,0,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,1,0,0,0] => 3
[1,1,1,0,1,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,1,0,0,0] => 3
[1,1,1,0,1,0,1,0,1,0,0,0] => [1,0,1,0,1,1,1,1,0,0,0,0] => 3
[1,1,1,0,1,0,1,1,0,0,0,0] => [1,0,1,0,1,1,1,0,1,0,0,0] => 4
[1,1,1,0,1,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,1,0,0] => 4
[1,1,1,0,1,1,0,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,1,0,0] => 4
[1,1,1,0,1,1,0,0,1,0,0,0] => [1,0,1,0,1,1,1,0,0,1,0,0] => 4
[1,1,1,0,1,1,0,1,0,0,0,0] => [1,0,1,0,1,1,0,1,1,0,0,0] => 4
[1,1,1,0,1,1,1,0,0,0,0,0] => [1,0,1,0,1,1,0,1,0,1,0,0] => 5
[1,1,1,1,0,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0,1,0] => 4
[1,1,1,1,0,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0,1,0,1,0] => 5
[1,1,1,1,0,0,0,1,0,0,1,0] => [1,1,0,0,1,1,0,0,1,0,1,0] => 4
[1,1,1,1,0,0,0,1,0,1,0,0] => [1,0,1,1,1,0,0,0,1,0,1,0] => 4
[1,1,1,1,0,0,0,1,1,0,0,0] => [1,0,1,1,0,1,0,0,1,0,1,0] => 5
[1,1,1,1,0,0,1,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,0,1,0] => 4
[1,1,1,1,0,0,1,0,0,1,0,0] => [1,0,1,1,0,0,1,1,0,0,1,0] => 4
[1,1,1,1,0,0,1,0,1,0,0,0] => [1,0,1,0,1,1,1,0,0,0,1,0] => 4
[1,1,1,1,0,0,1,1,0,0,0,0] => [1,0,1,0,1,1,0,1,0,0,1,0] => 5
[1,1,1,1,0,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,1,0,0] => 4
[1,1,1,1,0,1,0,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,1,0,0] => 4
[1,1,1,1,0,1,0,0,1,0,0,0] => [1,0,1,0,1,1,0,0,1,1,0,0] => 4
[1,1,1,1,0,1,0,1,0,0,0,0] => [1,0,1,0,1,0,1,1,1,0,0,0] => 4
[1,1,1,1,0,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,1,0,1,0,0] => 5
[1,1,1,1,1,0,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0,1,0] => 5
[1,1,1,1,1,0,0,0,0,1,0,0] => [1,0,1,1,0,0,1,0,1,0,1,0] => 5
[1,1,1,1,1,0,0,0,1,0,0,0] => [1,0,1,0,1,1,0,0,1,0,1,0] => 5
[1,1,1,1,1,0,0,1,0,0,0,0] => [1,0,1,0,1,0,1,1,0,0,1,0] => 5
[1,1,1,1,1,0,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,1,0,0] => 5
[1,1,1,1,1,1,0,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0,1,0] => 6
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       
Description
The number of peaks of a Dyck path.
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$.