- FindStat

Identifier

Mp00032: Dyck paths —inverse zeta map⟶ Dyck paths
St000012: Dyck paths ⟶ ℤ (values match St001295Gives the vector space dimension of the homomorphism space between J^2 and J^2.)

Values

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 1200 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

click to show known generating functions

$F_{1} = 1$

$F_{2} = 1 + q$

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

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

$F_{5} = 1 + 4\ q + 6\ q^{2} + 7\ q^{3} + 7\ q^{4} + 5\ q^{5} + 5\ q^{6} + 3\ q^{7} + 2\ q^{8} + q^{9} + q^{10}$

$F_{6} = 1 + 5\ q + 10\ q^{2} + 14\ q^{3} + 17\ q^{4} + 16\ q^{5} + 16\ q^{6} + 14\ q^{7} + 11\ q^{8} + 9\ q^{9} + 7\ q^{10} + 5\ q^{11} + 3\ q^{12} + 2\ q^{13} + q^{14} + q^{15}$

$F_{7} = 1 + 6\ q + 15\ q^{2} + 25\ q^{3} + 35\ q^{4} + 40\ q^{5} + 43\ q^{6} + 44\ q^{7} + 40\ q^{8} + 37\ q^{9} + 32\ q^{10} + 28\ q^{11} + 22\ q^{12} + 18\ q^{13} + 13\ q^{14} + 11\ q^{15} + 7\ q^{16} + 5\ q^{17} + 3\ q^{18} + 2\ q^{19} + q^{20} + q^{21}$

Description

The area of a Dyck path.
This is the number of complete squares in the integer lattice which are below the path and above the x-axis. The 'half-squares' directly above the axis do not contribute to this statistic.
1. Dyck paths are bijection with area sequences

$(a_1,\ldots,a_n)$ such that

$a_1 = 0, a_{k+1} \leq a_k + 1$ .
2. The generating function

$\mathbf{D}_n(q) = \sum_{D \in \mathfrak{D}_n} q^{\operatorname{area}(D)}$ satisfy the recurrence

$\mathbf{D}_{n+1}(q) = \sum q^k \mathbf{D}_k(q) \mathbf{D}_{n-k}(q).$
3. The area is equidistributed with St000005The bounce statistic of a Dyck path. and St000006The dinv of a Dyck path.. Pairs of these statistics play an important role in the theory of

$q,t$ -Catalan numbers.

Map

inverse zeta map

Description

The inverse zeta map on Dyck paths.
See its inverse, the zeta map Mp00030zeta map, for the definition and details.