- FindStat

Identifier

Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
Mp00199: Dyck paths —prime Dyck path⟶ Dyck paths
Mp00025: Dyck paths —to 132-avoiding permutation⟶ Permutations
St000662: Permutations ⟶ ℤ

Values

[1,0] => [1,1,0,0] => [1,1,1,0,0,0] => [1,2,3] => 0
[1,0,1,0] => [1,1,0,1,0,0] => [1,1,1,0,1,0,0,0] => [2,1,3,4] => 1
[1,1,0,0] => [1,1,1,0,0,0] => [1,1,1,1,0,0,0,0] => [1,2,3,4] => 0
[1,0,1,0,1,0] => [1,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,0,0] => [3,2,1,4,5] => 2
[1,0,1,1,0,0] => [1,1,0,1,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0] => [2,3,1,4,5] => 1
[1,1,0,0,1,0] => [1,1,1,0,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => [3,1,2,4,5] => 1
[1,1,0,1,0,0] => [1,1,1,0,1,0,0,0] => [1,1,1,1,0,1,0,0,0,0] => [2,1,3,4,5] => 1
[1,1,1,0,0,0] => [1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => [1,2,3,4,5] => 0
[1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => [4,3,2,1,5,6] => 3
[1,0,1,0,1,1,0,0] => [1,1,0,1,0,1,1,0,0,0] => [1,1,1,0,1,0,1,1,0,0,0,0] => [3,4,2,1,5,6] => 2
[1,0,1,1,0,0,1,0] => [1,1,0,1,1,0,0,1,0,0] => [1,1,1,0,1,1,0,0,1,0,0,0] => [4,2,3,1,5,6] => 2
[1,0,1,1,0,1,0,0] => [1,1,0,1,1,0,1,0,0,0] => [1,1,1,0,1,1,0,1,0,0,0,0] => [3,2,4,1,5,6] => 2
[1,0,1,1,1,0,0,0] => [1,1,0,1,1,1,0,0,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => [2,3,4,1,5,6] => 1
[1,1,0,0,1,0,1,0] => [1,1,1,0,0,1,0,1,0,0] => [1,1,1,1,0,0,1,0,1,0,0,0] => [4,3,1,2,5,6] => 2
[1,1,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => [3,4,1,2,5,6] => 2
[1,1,0,1,0,0,1,0] => [1,1,1,0,1,0,0,1,0,0] => [1,1,1,1,0,1,0,0,1,0,0,0] => [4,2,1,3,5,6] => 2
[1,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => [3,2,1,4,5,6] => 2
[1,1,0,1,1,0,0,0] => [1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => [2,3,1,4,5,6] => 1
[1,1,1,0,0,0,1,0] => [1,1,1,1,0,0,0,1,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => [4,1,2,3,5,6] => 1
[1,1,1,0,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => [3,1,2,4,5,6] => 1
[1,1,1,0,1,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] => [2,1,3,4,5,6] => 1
[1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => [1,2,3,4,5,6] => 0
[1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,0,0] => [5,4,3,2,1,6,7] => 4
[1,0,1,1,1,1,0,0,0,0] => [1,1,0,1,1,1,1,0,0,0,0,0] => [1,1,1,0,1,1,1,1,0,0,0,0,0,0] => [2,3,4,5,1,6,7] => 1
[1,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,0,0,0] => [4,3,2,1,5,6,7] => 3
[1,1,0,1,1,1,0,0,0,0] => [1,1,1,0,1,1,1,0,0,0,0,0] => [1,1,1,1,0,1,1,1,0,0,0,0,0,0] => [2,3,4,1,5,6,7] => 1
[1,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => [1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [3,4,1,2,5,6,7] => 2
[1,1,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,0,0,0,0] => [3,2,1,4,5,6,7] => 2
[1,1,1,0,1,1,0,0,0,0] => [1,1,1,1,0,1,1,0,0,0,0,0] => [1,1,1,1,1,0,1,1,0,0,0,0,0,0] => [2,3,1,4,5,6,7] => 1
[1,1,1,1,0,0,0,0,1,0] => [1,1,1,1,1,0,0,0,0,1,0,0] => [1,1,1,1,1,1,0,0,0,0,1,0,0,0] => [5,1,2,3,4,6,7] => 1
[1,1,1,1,0,0,0,1,0,0] => [1,1,1,1,1,0,0,0,1,0,0,0] => [1,1,1,1,1,1,0,0,0,1,0,0,0,0] => [4,1,2,3,5,6,7] => 1
[1,1,1,1,0,0,1,0,0,0] => [1,1,1,1,1,0,0,1,0,0,0,0] => [1,1,1,1,1,1,0,0,1,0,0,0,0,0] => [3,1,2,4,5,6,7] => 1
[1,1,1,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,0,0,0,0,0] => [2,1,3,4,5,6,7] => 1
[1,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,2,3,4,5,6,7] => 0
[1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [6,5,4,3,2,1,7,8] => 5
[1,0,1,1,1,1,1,0,0,0,0,0] => [1,1,0,1,1,1,1,1,0,0,0,0,0,0] => [1,1,1,0,1,1,1,1,1,0,0,0,0,0,0,0] => [2,3,4,5,6,1,7,8] => 1
[1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,1,1,0,0,0,0] => [5,6,3,4,1,2,7,8] => 4
[1,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0] => [5,4,3,2,1,6,7,8] => 4
[1,1,0,1,1,1,1,0,0,0,0,0] => [1,1,1,0,1,1,1,1,0,0,0,0,0,0] => [1,1,1,1,0,1,1,1,1,0,0,0,0,0,0,0] => [2,3,4,5,1,6,7,8] => 1
[1,1,1,0,0,0,1,1,1,0,0,0] => [1,1,1,1,0,0,0,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0] => [4,5,6,1,2,3,7,8] => 3
[1,1,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0] => [4,3,2,1,5,6,7,8] => 3
[1,1,1,1,0,0,1,1,0,0,0,0] => [1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0] => [3,4,1,2,5,6,7,8] => 2
[1,1,1,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0] => [3,2,1,4,5,6,7,8] => 2
[1,1,1,1,1,0,0,0,0,0,1,0] => [1,1,1,1,1,1,0,0,0,0,0,1,0,0] => [1,1,1,1,1,1,1,0,0,0,0,0,1,0,0,0] => [6,1,2,3,4,5,7,8] => 1
[1,1,1,1,1,0,0,0,0,1,0,0] => [1,1,1,1,1,1,0,0,0,0,1,0,0,0] => [1,1,1,1,1,1,1,0,0,0,0,1,0,0,0,0] => [5,1,2,3,4,6,7,8] => 1
[1,1,1,1,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0] => [2,1,3,4,5,6,7,8] => 1
[1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0] => [1,2,3,4,5,6,7,8] => 0
[1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [7,6,5,4,3,2,1,8,9] => 6
[1,0,1,1,1,1,1,1,0,0,0,0,0,0] => [1,1,0,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,1,1,0,1,1,1,1,1,1,0,0,0,0,0,0,0,0] => [2,3,4,5,6,7,1,8,9] => 1
[1,1,0,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0,0] => [6,5,4,3,2,1,7,8,9] => 5
[1,1,1,0,0,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,1,1,0,0,0,0] => [1,1,1,1,1,0,0,1,1,0,0,1,1,0,0,0,0,0] => [5,6,3,4,1,2,7,8,9] => 4
[1,1,1,0,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0] => [5,4,3,2,1,6,7,8,9] => 4
[1,1,1,1,0,0,0,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0,0] => [4,5,6,1,2,3,7,8,9] => 3
[1,1,1,1,0,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0,0] => [4,3,2,1,5,6,7,8,9] => 3
[1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0] => [3,4,1,2,5,6,7,8,9] => 2
[1,1,1,1,1,0,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0] => [3,2,1,4,5,6,7,8,9] => 2
[1,1,1,1,1,1,0,0,0,0,0,0,1,0] => [1,1,1,1,1,1,1,0,0,0,0,0,0,1,0,0] => [1,1,1,1,1,1,1,1,0,0,0,0,0,0,1,0,0,0] => [7,1,2,3,4,5,6,8,9] => 1
[1,1,1,1,1,1,0,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0] => [2,1,3,4,5,6,7,8,9] => 1
[1,1,1,1,1,1,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0] => [1,2,3,4,5,6,7,8,9] => 0
[1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0] => [1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [8,7,6,5,4,3,2,1,9,10] => 7
[1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0] => [1,1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,0] => [1,1,1,1,0,0,1,1,0,0,1,1,0,0,1,1,0,0,0,0] => [7,8,5,6,3,4,1,2,9,10] => 6
[1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,1,0,1,0,1,0,0,0,0] => [7,6,5,4,3,2,1,8,9,10] => 6
[1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,1,0,1,0,1,0,0,0,0,0] => [6,5,4,3,2,1,7,8,9,10] => 5
[1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0] => [1,1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,0,1,1,1,1,0,0,0,0,0,0] => [5,6,7,8,1,2,3,4,9,10] => 4
[1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0] => [1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,1,0,1,0,1,0,0,0,0,0,0] => [5,4,3,2,1,6,7,8,9,10] => 4
[1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0] => [1,1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,0,1,1,1,0,0,0,0,0,0,0] => [4,5,6,1,2,3,7,8,9,10] => 3
[1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0] => [1,1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,1,0,1,0,1,0,0,0,0,0,0,0] => [4,3,2,1,5,6,7,8,9,10] => 3
[1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0] => [3,4,1,2,5,6,7,8,9,10] => 2
[1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0] => [1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0,0] => [3,2,1,4,5,6,7,8,9,10] => 2
[1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0] => [2,1,3,4,5,6,7,8,9,10] => 1
[1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,1,0,0,0,0,0,0,0,0,0,0] => [1,2,3,4,5,6,7,8,9,10] => 0
[] => [1,0] => [1,1,0,0] => [1,2] => 0
[1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0] => [1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0] => [2,1,3,4,5,6,7,8,9,10,11] => 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} = 1$

$F_{2} = 1 + q$

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

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

Description

The staircase size of the code of a permutation.
The code

$c(\pi)$ of a permutation

$\pi$ of length

$n$ is given by the sequence

$(c_1,\ldots,c_{n})$ with

$c_i = |\{j > i : \pi(j) < \pi(i)\}|$ . This is a bijection between permutations and all sequences

$(c_1,\ldots,c_n)$ with

$0 \leq c_i \leq n-i$ .
The staircase size of the code is the maximal

$k$ such that there exists a subsequence

$(c_{i_k},\ldots,c_{i_1})$ of

$c(\pi)$ with

$c_{i_j} \geq j$ .
This statistic is mapped through Mp00062Lehmer-code to major-code bijection to the number of descents, showing that together with the number of inversions St000018The number of inversions of a permutation. it is Euler-Mahonian.

Map

prime Dyck path

Description

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

Map

to 132-avoiding permutation

Description

Sends a Dyck path to a 132-avoiding permutation.
This bijection is defined in [1, Section 2].