Identifier
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:
  • 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) \}.$$