- FindStat

Identifier

Mp00178: Binary words —to composition⟶ Integer compositions
Mp00231: Integer compositions —bounce path⟶ Dyck paths
Mp00101: Dyck paths —decomposition reverse⟶ Dyck paths
St000026: Dyck paths ⟶ ℤ

Values

0 => [2] => [1,1,0,0] => [1,0,1,0] => 1

1 => [1,1] => [1,0,1,0] => [1,1,0,0] => 2

00 => [3] => [1,1,1,0,0,0] => [1,0,1,0,1,0] => 1

01 => [2,1] => [1,1,0,0,1,0] => [1,1,0,0,1,0] => 2

10 => [1,2] => [1,0,1,1,0,0] => [1,1,0,1,0,0] => 3

11 => [1,1,1] => [1,0,1,0,1,0] => [1,1,1,0,0,0] => 3

000 => [4] => [1,1,1,1,0,0,0,0] => [1,0,1,0,1,0,1,0] => 1

001 => [3,1] => [1,1,1,0,0,0,1,0] => [1,1,0,0,1,0,1,0] => 2

010 => [2,2] => [1,1,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0] => 3

011 => [2,1,1] => [1,1,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0] => 3

100 => [1,3] => [1,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0] => 4

101 => [1,2,1] => [1,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => 4

110 => [1,1,2] => [1,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0] => 4

111 => [1,1,1,1] => [1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => 4

0000 => [5] => [1,1,1,1,1,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0] => 1

0001 => [4,1] => [1,1,1,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0] => 2

0010 => [3,2] => [1,1,1,0,0,0,1,1,0,0] => [1,1,0,1,0,0,1,0,1,0] => 3

0011 => [3,1,1] => [1,1,1,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0] => 3

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

0101 => [2,2,1] => [1,1,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,0] => 4

0110 => [2,1,2] => [1,1,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,0] => 4

0111 => [2,1,1,1] => [1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0] => 4

1000 => [1,4] => [1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,0,1,0,1,0,0] => 5

1001 => [1,3,1] => [1,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => 5

1010 => [1,2,2] => [1,0,1,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,0] => 5

1011 => [1,2,1,1] => [1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => 5

1100 => [1,1,3] => [1,0,1,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0] => 5

1101 => [1,1,2,1] => [1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,0] => 5

1110 => [1,1,1,2] => [1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,0] => 5

1111 => [1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => 5

00000 => [6] => [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

00001 => [5,1] => [1,1,1,1,1,0,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0,1,0] => 2

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

00011 => [4,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0,1,0] => 3

00100 => [3,3] => [1,1,1,0,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0,1,0] => 4

00101 => [3,2,1] => [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

00110 => [3,1,2] => [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

00111 => [3,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0,1,0] => 4

01000 => [2,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

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

01010 => [2,2,2] => [1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,0,1,0] => 5

01011 => [2,2,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,0,1,0] => 5

01100 => [2,1,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] => 5

01101 => [2,1,2,1] => [1,1,0,0,1,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,0,1,0] => 5

01110 => [2,1,1,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] => 5

01111 => [2,1,1,1,1] => [1,1,0,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0,1,0] => 5

10000 => [1,5] => [1,0,1,1,1,1,1,0,0,0,0,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => 6

10001 => [1,4,1] => [1,0,1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,0] => 6

10010 => [1,3,2] => [1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,1,0,0] => 6

10011 => [1,3,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,0] => 6

10100 => [1,2,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] => 6

10101 => [1,2,2,1] => [1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0] => 6

10110 => [1,2,1,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] => 6

10111 => [1,2,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => 6

11000 => [1,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] => 6

11001 => [1,1,3,1] => [1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => 6

11010 => [1,1,2,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] => 6

11011 => [1,1,2,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => 6

11100 => [1,1,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] => 6

11101 => [1,1,1,2,1] => [1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => 6

11110 => [1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => 6

11111 => [1,1,1,1,1,1] => [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

000000 => [7] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => 1

000001 => [6,1] => [1,1,1,1,1,1,0,0,0,0,0,0,1,0] => [1,1,0,0,1,0,1,0,1,0,1,0,1,0] => 2

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

000011 => [5,1,1] => [1,1,1,1,1,0,0,0,0,0,1,0,1,0] => [1,1,1,0,0,0,1,0,1,0,1,0,1,0] => 3

000100 => [4,3] => [1,1,1,1,0,0,0,0,1,1,1,0,0,0] => [1,1,0,1,0,1,0,0,1,0,1,0,1,0] => 4

000101 => [4,2,1] => [1,1,1,1,0,0,0,0,1,1,0,0,1,0] => [1,1,1,0,0,1,0,0,1,0,1,0,1,0] => 4

000110 => [4,1,2] => [1,1,1,1,0,0,0,0,1,0,1,1,0,0] => [1,1,1,0,1,0,0,0,1,0,1,0,1,0] => 4

000111 => [4,1,1,1] => [1,1,1,1,0,0,0,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0,1,0,1,0,1,0] => 4

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

001001 => [3,3,1] => [1,1,1,0,0,0,1,1,1,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,0,1,0,1,0] => 5

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

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

001100 => [3,1,3] => [1,1,1,0,0,0,1,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,0,1,0,1,0] => 5

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

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

001111 => [3,1,1,1,1] => [1,1,1,0,0,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0,1,0,1,0] => 5

010000 => [2,5] => [1,1,0,0,1,1,1,1,1,0,0,0,0,0] => [1,1,0,1,0,1,0,1,0,1,0,0,1,0] => 6

010001 => [2,4,1] => [1,1,0,0,1,1,1,1,0,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,0,1,0] => 6

010010 => [2,3,2] => [1,1,0,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,1,0,0,1,0] => 6

010011 => [2,3,1,1] => [1,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,1,0] => 6

010100 => [2,2,3] => [1,1,0,0,1,1,0,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,1,0,0,1,0] => 6

010101 => [2,2,2,1] => [1,1,0,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,0,1,0] => 6

010110 => [2,2,1,2] => [1,1,0,0,1,1,0,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,1,0,0,1,0] => 6

010111 => [2,2,1,1,1] => [1,1,0,0,1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0,1,0] => 6

011000 => [2,1,4] => [1,1,0,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0,1,0] => 6

011001 => [2,1,3,1] => [1,1,0,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,0,0,1,0] => 6

011010 => [2,1,2,2] => [1,1,0,0,1,0,1,1,0,0,1,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0,1,0] => 6

011011 => [2,1,2,1,1] => [1,1,0,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,0,0,1,0] => 6

011100 => [2,1,1,3] => [1,1,0,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0,1,0] => 6

011101 => [2,1,1,2,1] => [1,1,0,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,0,0,1,0] => 6

011110 => [2,1,1,1,2] => [1,1,0,0,1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0,1,0] => 6

011111 => [2,1,1,1,1,1] => [1,1,0,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] => 6

100000 => [1,6] => [1,0,1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,0] => 7

100001 => [1,5,1] => [1,0,1,1,1,1,1,0,0,0,0,0,1,0] => [1,1,1,0,0,1,0,1,0,1,0,1,0,0] => 7

100010 => [1,4,2] => [1,0,1,1,1,1,0,0,0,0,1,1,0,0] => [1,1,1,0,1,0,0,1,0,1,0,1,0,0] => 7

100011 => [1,4,1,1] => [1,0,1,1,1,1,0,0,0,0,1,0,1,0] => [1,1,1,1,0,0,0,1,0,1,0,1,0,0] => 7

100100 => [1,3,3] => [1,0,1,1,1,0,0,0,1,1,1,0,0,0] => [1,1,1,0,1,0,1,0,0,1,0,1,0,0] => 7

100101 => [1,3,2,1] => [1,0,1,1,1,0,0,0,1,1,0,0,1,0] => [1,1,1,1,0,0,1,0,0,1,0,1,0,0] => 7

100110 => [1,3,1,2] => [1,0,1,1,1,0,0,0,1,0,1,1,0,0] => [1,1,1,1,0,1,0,0,0,1,0,1,0,0] => 7

>>> Load all 127 entries. <<<

100111 => [1,3,1,1,1] => [1,0,1,1,1,0,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,1,0,0] => 7

101000 => [1,2,4] => [1,0,1,1,0,0,1,1,1,1,0,0,0,0] => [1,1,1,0,1,0,1,0,1,0,0,1,0,0] => 7

101001 => [1,2,3,1] => [1,0,1,1,0,0,1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,0,1,0,0] => 7

101010 => [1,2,2,2] => [1,0,1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,1,0,0] => 7

101011 => [1,2,2,1,1] => [1,0,1,1,0,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,0,1,0,0] => 7

101100 => [1,2,1,3] => [1,0,1,1,0,0,1,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,1,0,0] => 7

101101 => [1,2,1,2,1] => [1,0,1,1,0,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,0,1,0,0] => 7

101110 => [1,2,1,1,2] => [1,0,1,1,0,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,0,0,1,0,0] => 7

101111 => [1,2,1,1,1,1] => [1,0,1,1,0,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,1,0,0,0,0,0,1,0,0] => 7

110000 => [1,1,5] => [1,0,1,0,1,1,1,1,1,0,0,0,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,0,0] => 7

110001 => [1,1,4,1] => [1,0,1,0,1,1,1,1,0,0,0,0,1,0] => [1,1,1,1,0,0,1,0,1,0,1,0,0,0] => 7

110010 => [1,1,3,2] => [1,0,1,0,1,1,1,0,0,0,1,1,0,0] => [1,1,1,1,0,1,0,0,1,0,1,0,0,0] => 7

110011 => [1,1,3,1,1] => [1,0,1,0,1,1,1,0,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,0,1,0,0,0] => 7

110100 => [1,1,2,3] => [1,0,1,0,1,1,0,0,1,1,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,1,0,0,0] => 7

110101 => [1,1,2,2,1] => [1,0,1,0,1,1,0,0,1,1,0,0,1,0] => [1,1,1,1,1,0,0,1,0,0,1,0,0,0] => 7

110110 => [1,1,2,1,2] => [1,0,1,0,1,1,0,0,1,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,0,1,0,0,0] => 7

110111 => [1,1,2,1,1,1] => [1,0,1,0,1,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,1,0,0,0,0,1,0,0,0] => 7

111000 => [1,1,1,4] => [1,0,1,0,1,0,1,1,1,1,0,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,0,0,0] => 7

111001 => [1,1,1,3,1] => [1,0,1,0,1,0,1,1,1,0,0,0,1,0] => [1,1,1,1,1,0,0,1,0,1,0,0,0,0] => 7

111010 => [1,1,1,2,2] => [1,0,1,0,1,0,1,1,0,0,1,1,0,0] => [1,1,1,1,1,0,1,0,0,1,0,0,0,0] => 7

111011 => [1,1,1,2,1,1] => [1,0,1,0,1,0,1,1,0,0,1,0,1,0] => [1,1,1,1,1,1,0,0,0,1,0,0,0,0] => 7

111100 => [1,1,1,1,3] => [1,0,1,0,1,0,1,0,1,1,1,0,0,0] => [1,1,1,1,1,0,1,0,1,0,0,0,0,0] => 7

111101 => [1,1,1,1,2,1] => [1,0,1,0,1,0,1,0,1,1,0,0,1,0] => [1,1,1,1,1,1,0,0,1,0,0,0,0,0] => 7

111110 => [1,1,1,1,1,2] => [1,0,1,0,1,0,1,0,1,0,1,1,0,0] => [1,1,1,1,1,1,0,1,0,0,0,0,0,0] => 7

111111 => [1,1,1,1,1,1,1] => [1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => 7

=> [1] => [1,0] => [1,0] => 1

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} = q + q^{2}$

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

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

$F_{4} = q + q^{2} + 2\ q^{3} + 4\ q^{4} + 8\ q^{5}$

$F_{5} = q + q^{2} + 2\ q^{3} + 4\ q^{4} + 8\ q^{5} + 16\ q^{6}$

$F_{6} = q + q^{2} + 2\ q^{3} + 4\ q^{4} + 8\ q^{5} + 16\ q^{6} + 32\ q^{7}$

Description

The position of the first return of a Dyck path.

Map

bounce path

Description

The bounce path determined by an integer composition.

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$ .

Map

to composition

Description

The composition corresponding to a binary word.
Prepending

$1$ to a binary word

$w$ , the

$i$ -th part of the composition equals

$1$ plus the number of zeros after the

$i$ -th

$1$ in

$w$ .
This map is not surjective, since the empty composition does not have a preimage.