Identifier
            
            - 
Mp00030:
    Dyck paths
    
—zeta map⟶
Dyck paths
		
Mp00129: Dyck paths —to 321-avoiding permutation (Billey-Jockusch-Stanley)⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
St001879: Posets ⟶ ℤ 
                Values
            
            [1,0,1,0,1,0] => [1,1,1,0,0,0] => [1,2,3] => ([(0,2),(2,1)],3) => 2
[1,0,1,0,1,0,1,0] => [1,1,1,1,0,0,0,0] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4) => 3
[1,0,1,1,0,1,0,0] => [1,1,0,0,1,1,0,0] => [1,3,2,4] => ([(0,1),(0,2),(1,3),(2,3)],4) => 4
[1,0,1,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,0,0,0] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[1,0,1,0,1,1,0,1,0,0] => [1,1,0,0,1,1,1,0,0,0] => [1,3,2,4,5] => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 5
[1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,0,0,0] => [1,4,2,3,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5) => 6
[1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,0,0,1,1,0,0] => [1,2,4,3,5] => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5) => 5
[1,0,1,1,1,0,1,0,0,0] => [1,1,0,0,1,0,1,1,0,0] => [1,3,4,2,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5) => 6
[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,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,0,0,1,1,1,1,0,0,0,0] => [1,3,2,4,5,6] => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 6
[1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,1,0,0,0,0] => [1,4,2,3,5,6] => ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6) => 7
[1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,0,0,1,1,1,0,0,0] => [1,2,4,3,5,6] => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6) => 6
[1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,0,0,1,0,1,1,1,0,0,0] => [1,3,4,2,5,6] => ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6) => 7
[1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,1,0,0,1,0,1,1,0,0,0] => [1,4,5,2,3,6] => ([(0,3),(0,4),(1,5),(2,5),(3,2),(4,1)],6) => 8
[1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,1,1,0,0,1,1,0,0,0,0] => [1,5,2,3,4,6] => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6) => 8
[1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,1,1,0,0,0,1,1,0,0,0] => [1,2,5,3,4,6] => ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6) => 7
[1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,1,1,0,0,0,0,1,1,0,0] => [1,2,3,5,4,6] => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6) => 6
[1,0,1,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,1,0,0,0] => [1,3,5,2,4,6] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 7
[1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,1,0,0,1,0,0,1,1,0,0] => [1,4,2,5,3,6] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 7
[1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,0,0,1,0,1,1,0,0] => [1,2,4,5,3,6] => ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6) => 7
[1,0,1,1,1,1,0,1,0,0,0,0] => [1,1,0,0,1,0,1,0,1,1,0,0] => [1,3,4,5,2,6] => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6) => 8
[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] => [1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[1,0,1,0,1,0,1,0,1,1,0,1,0,0] => [1,1,0,0,1,1,1,1,1,0,0,0,0,0] => [1,3,2,4,5,6,7] => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 7
[1,0,1,0,1,0,1,1,0,1,0,0,1,0] => [1,1,1,0,0,1,1,1,1,0,0,0,0,0] => [1,4,2,3,5,6,7] => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7) => 8
[1,0,1,0,1,0,1,1,0,1,0,1,0,0] => [1,1,1,0,0,0,1,1,1,1,0,0,0,0] => [1,2,4,3,5,6,7] => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7) => 7
[1,0,1,0,1,0,1,1,1,0,1,0,0,0] => [1,1,0,0,1,0,1,1,1,1,0,0,0,0] => [1,3,4,2,5,6,7] => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7) => 8
[1,0,1,0,1,1,0,0,1,1,0,1,0,0] => [1,1,1,0,0,1,0,1,1,1,0,0,0,0] => [1,4,5,2,3,6,7] => ([(0,4),(0,5),(1,6),(2,6),(4,2),(5,1),(6,3)],7) => 9
[1,0,1,0,1,1,0,1,0,0,1,0,1,0] => [1,1,1,1,0,0,1,1,1,0,0,0,0,0] => [1,5,2,3,4,6,7] => ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7) => 9
[1,0,1,0,1,1,0,1,0,1,0,0,1,0] => [1,1,1,1,0,0,0,1,1,1,0,0,0,0] => [1,2,5,3,4,6,7] => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7) => 8
[1,0,1,0,1,1,0,1,0,1,0,1,0,0] => [1,1,1,1,0,0,0,0,1,1,1,0,0,0] => [1,2,3,5,4,6,7] => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7) => 7
[1,0,1,0,1,1,1,0,1,0,0,0,1,0] => [1,1,0,0,1,1,0,1,1,1,0,0,0,0] => [1,3,5,2,4,6,7] => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 8
[1,0,1,0,1,1,1,0,1,0,0,1,0,0] => [1,1,1,0,0,1,0,0,1,1,1,0,0,0] => [1,4,2,5,3,6,7] => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 8
[1,0,1,0,1,1,1,0,1,0,1,0,0,0] => [1,1,1,0,0,0,1,0,1,1,1,0,0,0] => [1,2,4,5,3,6,7] => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7) => 8
[1,0,1,0,1,1,1,1,0,1,0,0,0,0] => [1,1,0,0,1,0,1,0,1,1,1,0,0,0] => [1,3,4,5,2,6,7] => ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7) => 9
[1,0,1,1,0,0,1,0,1,1,0,1,0,0] => [1,1,1,0,0,1,1,0,1,1,0,0,0,0] => [1,4,6,2,3,5,7] => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7) => 9
[1,0,1,1,0,0,1,1,0,1,0,0,1,0] => [1,1,1,1,0,0,1,0,1,1,0,0,0,0] => [1,5,6,2,3,4,7] => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7) => 10
[1,0,1,1,0,0,1,1,0,1,0,1,0,0] => [1,1,1,1,0,0,0,1,0,1,1,0,0,0] => [1,2,5,6,3,4,7] => ([(0,5),(1,6),(2,6),(3,2),(4,1),(5,3),(5,4)],7) => 9
[1,0,1,1,0,0,1,1,1,0,1,0,0,0] => [1,1,0,0,1,1,0,1,0,1,1,0,0,0] => [1,3,5,6,2,4,7] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7) => 9
[1,0,1,1,0,1,0,0,1,0,1,0,1,0] => [1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [1,6,2,3,4,5,7] => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7) => 10
[1,0,1,1,0,1,0,0,1,1,0,1,0,0] => [1,1,1,1,0,0,1,0,0,1,1,0,0,0] => [1,5,2,6,3,4,7] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(4,3),(4,5),(5,6)],7) => 9
[1,0,1,1,0,1,0,1,0,0,1,0,1,0] => [1,1,1,1,1,0,0,0,1,1,0,0,0,0] => [1,2,6,3,4,5,7] => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7) => 9
[1,0,1,1,0,1,0,1,0,1,0,0,1,0] => [1,1,1,1,1,0,0,0,0,1,1,0,0,0] => [1,2,3,6,4,5,7] => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7) => 8
[1,0,1,1,0,1,0,1,0,1,0,1,0,0] => [1,1,1,1,1,0,0,0,0,0,1,1,0,0] => [1,2,3,4,6,5,7] => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7) => 7
[1,0,1,1,0,1,0,1,1,0,1,0,0,0] => [1,1,0,0,1,1,1,0,0,0,1,1,0,0] => [1,3,2,4,6,5,7] => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,6),(6,1),(6,2)],7) => 8
[1,0,1,1,1,0,0,1,1,0,1,0,0,0] => [1,1,1,0,0,1,0,1,0,0,1,1,0,0] => [1,4,5,2,6,3,7] => ([(0,3),(0,4),(1,6),(2,5),(3,2),(4,1),(4,5),(5,6)],7) => 9
[1,0,1,1,1,0,1,0,0,0,1,0,1,0] => [1,1,0,0,1,1,1,0,1,1,0,0,0,0] => [1,3,6,2,4,5,7] => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7) => 9
[1,0,1,1,1,0,1,0,0,0,1,1,0,0] => [1,1,1,0,0,1,0,1,0,1,1,0,0,0] => [1,4,5,6,2,3,7] => ([(0,4),(0,5),(1,6),(2,6),(3,2),(4,3),(5,1)],7) => 10
[1,0,1,1,1,0,1,0,0,1,0,1,0,0] => [1,1,1,1,0,0,1,0,0,0,1,1,0,0] => [1,5,2,3,6,4,7] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7) => 9
[1,0,1,1,1,0,1,0,1,0,0,0,1,0] => [1,1,1,0,0,0,1,1,0,1,1,0,0,0] => [1,2,4,6,3,5,7] => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7) => 8
[1,0,1,1,1,0,1,0,1,0,0,1,0,0] => [1,1,1,1,0,0,0,1,0,0,1,1,0,0] => [1,2,5,3,6,4,7] => ([(0,4),(1,6),(2,5),(3,1),(3,5),(4,2),(4,3),(5,6)],7) => 8
[1,0,1,1,1,0,1,0,1,0,1,0,0,0] => [1,1,1,1,0,0,0,0,1,0,1,1,0,0] => [1,2,3,5,6,4,7] => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7) => 8
[1,0,1,1,1,1,0,1,0,0,0,0,1,0] => [1,1,0,0,1,0,1,1,0,1,1,0,0,0] => [1,3,4,6,2,5,7] => ([(0,2),(0,4),(1,6),(2,5),(3,1),(3,5),(4,3),(5,6)],7) => 9
[1,0,1,1,1,1,0,1,0,0,1,0,0,0] => [1,1,1,0,0,1,0,0,1,0,1,1,0,0] => [1,4,2,5,6,3,7] => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,2),(4,6),(6,1)],7) => 9
[1,0,1,1,1,1,0,1,0,1,0,0,0,0] => [1,1,1,0,0,0,1,0,1,0,1,1,0,0] => [1,2,4,5,6,3,7] => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7) => 9
[1,0,1,1,1,1,1,0,1,0,0,0,0,0] => [1,1,0,0,1,0,1,0,1,0,1,1,0,0] => [1,3,4,5,6,2,7] => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7) => 10
                    
                        
                search for individual values
                        
            
                            searching the database for the individual values of this statistic
                        
                    
                    
                Description
            The number of indecomposable summands of the top of the first syzygy of the dual of the regular module in the incidence algebra of the lattice.
	Map
            zeta map
	    
	Description
            The zeta map on Dyck paths.
The zeta map $\zeta$ is a bijection on Dyck paths of semilength $n$.
It was defined in [1, Theorem 1], see also [2, Theorem 3.15] and sends the bistatistic (area, dinv) to the bistatistic (bounce, area). It is defined by sending a Dyck path $D$ with corresponding area sequence $a=(a_1,\ldots,a_n)$ to a Dyck path as follows:
	The zeta map $\zeta$ is a bijection on Dyck paths of semilength $n$.
It was defined in [1, Theorem 1], see also [2, Theorem 3.15] and sends the bistatistic (area, dinv) to the bistatistic (bounce, area). It is defined by sending a Dyck path $D$ with corresponding area sequence $a=(a_1,\ldots,a_n)$ to a Dyck path as follows:
- First, build an intermediate Dyck path consisting of $d_1$ north steps, followed by $d_1$ east steps, followed by $d_2$ north steps and $d_2$ east steps, and so on, where $d_i$ is the number of $i-1$'s within the sequence $a$.
For example, given $a=(0,1,2,2,2,3,1,2)$, we build the path
$$NE\ NNEE\ NNNNEEEE\ NE.$$ - Next, the rectangles between two consecutive peaks are filled. Observe that such the rectangle between the $k$th and the $(k+1)$st peak must be filled by $d_k$ east steps and $d_{k+1}$ north steps. In the above example, the rectangle between the second and the third peak must be filled by $2$ east and $4$ north steps, the $2$ being the number of $1$'s in $a$, and $4$ being the number of $2$'s. To fill such a rectangle, scan through the sequence a from left to right, and add east or north steps whenever you see a $k-1$ or $k$, respectively. So to fill the $2\times 4$ rectangle, we look for $1$'s and $2$'s in the sequence and see $122212$, so this rectangle gets filled with $ENNNEN$.
The complete path we obtain in thus
$$NENNENNNENEEENEE.$$ 
Map
            to 321-avoiding permutation (Billey-Jockusch-Stanley)
	    
	Description
            The Billey-Jockusch-Stanley bijection to 321-avoiding permutations.
	Map
            permutation poset
	    
	Description
            Sends a permutation to its permutation poset.
For a permutation $\pi$ of length $n$, this poset has vertices
$$\{ (i,\pi(i))\ :\ 1 \leq i \leq n \}$$
and the cover relation is given by $(w, x) \leq (y, z)$ if $w \leq y$ and $x \leq z$.
For example, the permutation $[3,1,5,4,2]$ is mapped to the poset with cover relations
$$\{ (2, 1) \prec (5, 2),\ (2, 1) \prec (4, 4),\ (2, 1) \prec (3, 5),\ (1, 3) \prec (4, 4),\ (1, 3) \prec (3, 5) \}.$$
	For a permutation $\pi$ of length $n$, this poset has vertices
$$\{ (i,\pi(i))\ :\ 1 \leq i \leq n \}$$
and the cover relation is given by $(w, x) \leq (y, z)$ if $w \leq y$ and $x \leq z$.
For example, the permutation $[3,1,5,4,2]$ is mapped to the poset with cover relations
$$\{ (2, 1) \prec (5, 2),\ (2, 1) \prec (4, 4),\ (2, 1) \prec (3, 5),\ (1, 3) \prec (4, 4),\ (1, 3) \prec (3, 5) \}.$$
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!