Identifier
-
Mp00014:
Binary trees
—to 132-avoiding permutation⟶
Permutations
Mp00073: Permutations —major-index to inversion-number bijection⟶ Permutations
Mp00065: Permutations —permutation poset⟶ Posets
St001879: Posets ⟶ ℤ
Values
[[[.,.],.],.] => [1,2,3] => [1,2,3] => ([(0,2),(2,1)],3) => 2
[[[.,.],[.,.]],.] => [3,1,2,4] => [1,3,2,4] => ([(0,1),(0,2),(1,3),(2,3)],4) => 4
[[[[.,.],.],.],.] => [1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4) => 3
[[[.,.],[.,[.,.]]],.] => [4,3,1,2,5] => [1,4,3,2,5] => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 9
[[[.,.],[[.,.],.]],.] => [3,4,1,2,5] => [1,4,2,3,5] => ([(0,2),(0,3),(1,4),(2,4),(3,1)],5) => 6
[[[[.,.],.],[.,.]],.] => [4,1,2,3,5] => [1,2,4,3,5] => ([(0,3),(1,4),(2,4),(3,1),(3,2)],5) => 5
[[[[.,.],[.,.]],.],.] => [3,1,2,4,5] => [1,3,2,4,5] => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 5
[[[[[.,.],.],.],.],.] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[.,.],[.,[.,[.,.]]]],.] => [5,4,3,1,2,6] => [1,5,4,3,2,6] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 16
[[[.,.],[.,[[.,.],.]]],.] => [4,5,3,1,2,6] => [1,5,4,2,3,6] => ([(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,1)],6) => 12
[[[.,.],[[.,.],[.,.]]],.] => [5,3,4,1,2,6] => [1,5,2,4,3,6] => ([(0,3),(0,4),(1,5),(2,5),(3,5),(4,1),(4,2)],6) => 10
[[[.,.],[[.,[.,.]],.]],.] => [4,3,5,1,2,6] => [1,5,3,2,4,6] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 10
[[[.,.],[[[.,.],.],.]],.] => [3,4,5,1,2,6] => [1,5,2,3,4,6] => ([(0,2),(0,4),(1,5),(2,5),(3,1),(4,3)],6) => 8
[[[[.,.],.],[.,[.,.]]],.] => [5,4,1,2,3,6] => [1,2,5,4,3,6] => ([(0,4),(1,5),(2,5),(3,5),(4,1),(4,2),(4,3)],6) => 10
[[[[.,.],.],[[.,.],.]],.] => [4,5,1,2,3,6] => [1,2,5,3,4,6] => ([(0,4),(1,5),(2,5),(3,2),(4,1),(4,3)],6) => 7
[[[[.,.],[.,.]],[.,.]],.] => [5,3,1,2,4,6] => [1,4,2,5,3,6] => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 7
[[[[[.,.],.],.],[.,.]],.] => [5,1,2,3,4,6] => [1,2,3,5,4,6] => ([(0,3),(1,5),(2,5),(3,4),(4,1),(4,2)],6) => 6
[[[[.,.],[.,[.,.]]],.],.] => [4,3,1,2,5,6] => [1,4,3,2,5,6] => ([(0,2),(0,3),(0,4),(2,5),(3,5),(4,5),(5,1)],6) => 10
[[[[.,.],[[.,.],.]],.],.] => [3,4,1,2,5,6] => [1,4,2,3,5,6] => ([(0,3),(0,4),(1,5),(3,5),(4,1),(5,2)],6) => 7
[[[[[.,.],.],[.,.]],.],.] => [4,1,2,3,5,6] => [1,2,4,3,5,6] => ([(0,4),(1,5),(2,5),(4,1),(4,2),(5,3)],6) => 6
[[[[[.,.],[.,.]],.],.],.] => [3,1,2,4,5,6] => [1,3,2,4,5,6] => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 6
[[[[[[.,.],.],.],.],.],.] => [1,2,3,4,5,6] => [1,2,3,4,5,6] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[.,.],[.,[.,[.,[.,.]]]]],.] => [6,5,4,3,1,2,7] => [1,6,5,4,3,2,7] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 25
[[[.,.],[.,[.,[[.,.],.]]]],.] => [5,6,4,3,1,2,7] => [1,6,5,4,2,3,7] => ([(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1)],7) => 20
[[[.,.],[.,[[.,.],[.,.]]]],.] => [6,4,5,3,1,2,7] => [1,6,5,2,4,3,7] => ([(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2)],7) => 17
[[[.,.],[.,[[.,[.,.]],.]]],.] => [5,4,6,3,1,2,7] => [1,6,5,3,2,4,7] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 18
[[[.,.],[.,[[[.,.],.],.]]],.] => [4,5,6,3,1,2,7] => [1,6,5,2,3,4,7] => ([(0,2),(0,3),(0,5),(1,6),(2,6),(3,6),(4,1),(5,4)],7) => 15
[[[.,.],[[.,.],[.,[.,.]]]],.] => [6,5,3,4,1,2,7] => [1,6,2,5,4,3,7] => ([(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3)],7) => 16
[[[.,.],[[.,.],[[.,.],.]]],.] => [5,6,3,4,1,2,7] => [1,6,2,5,3,4,7] => ([(0,3),(0,5),(1,6),(2,6),(3,6),(4,2),(5,1),(5,4)],7) => 13
[[[.,.],[[.,[.,.]],[.,.]]],.] => [6,4,3,5,1,2,7] => [1,6,4,2,5,3,7] => ([(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,5),(5,6)],7) => 14
[[[.,.],[[[.,.],.],[.,.]]],.] => [6,3,4,5,1,2,7] => [1,6,2,3,5,4,7] => ([(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2)],7) => 12
[[[.,.],[[.,[.,[.,.]]],.]],.] => [5,4,3,6,1,2,7] => [1,6,4,3,2,5,7] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 17
[[[.,.],[[.,[[.,.],.]],.]],.] => [4,5,3,6,1,2,7] => [1,6,4,2,3,5,7] => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,5),(4,1),(5,6)],7) => 13
[[[.,.],[[[.,.],[.,.]],.]],.] => [5,3,4,6,1,2,7] => [1,6,2,4,3,5,7] => ([(0,3),(0,4),(1,5),(2,5),(3,6),(4,1),(4,2),(5,6)],7) => 11
[[[.,.],[[[.,[.,.]],.],.]],.] => [4,3,5,6,1,2,7] => [1,6,3,2,4,5,7] => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(6,1)],7) => 12
[[[.,.],[[[[.,.],.],.],.]],.] => [3,4,5,6,1,2,7] => [1,6,2,3,4,5,7] => ([(0,2),(0,5),(1,6),(2,6),(3,4),(4,1),(5,3)],7) => 10
[[[[.,.],.],[.,[.,[.,.]]]],.] => [6,5,4,1,2,3,7] => [1,2,6,5,4,3,7] => ([(0,5),(1,6),(2,6),(3,6),(4,6),(5,1),(5,2),(5,3),(5,4)],7) => 17
[[[[.,.],.],[.,[[.,.],.]]],.] => [5,6,4,1,2,3,7] => [1,2,6,5,3,4,7] => ([(0,5),(1,6),(2,6),(3,6),(4,3),(5,1),(5,2),(5,4)],7) => 13
[[[[.,.],.],[[.,.],[.,.]]],.] => [6,4,5,1,2,3,7] => [1,2,6,3,5,4,7] => ([(0,5),(1,6),(2,6),(3,6),(4,2),(4,3),(5,1),(5,4)],7) => 11
[[[[.,.],.],[[.,[.,.]],.]],.] => [5,4,6,1,2,3,7] => [1,2,6,4,3,5,7] => ([(0,4),(1,6),(2,5),(3,5),(4,1),(4,2),(4,3),(5,6)],7) => 11
[[[[.,.],.],[[[.,.],.],.]],.] => [4,5,6,1,2,3,7] => [1,2,6,3,4,5,7] => ([(0,5),(1,6),(2,6),(3,4),(4,2),(5,1),(5,3)],7) => 9
[[[[.,.],[.,.]],[.,[.,.]]],.] => [6,5,3,1,2,4,7] => [1,5,2,6,4,3,7] => ([(0,3),(0,4),(1,6),(2,6),(3,5),(4,1),(4,2),(4,5),(5,6)],7) => 12
[[[[.,.],[.,.]],[[.,.],.]],.] => [5,6,3,1,2,4,7] => [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
[[[[[.,.],.],.],[.,[.,.]]],.] => [6,5,1,2,3,4,7] => [1,2,3,6,5,4,7] => ([(0,4),(1,6),(2,6),(3,6),(4,5),(5,1),(5,2),(5,3)],7) => 11
[[[[[.,.],.],.],[[.,.],.]],.] => [5,6,1,2,3,4,7] => [1,2,3,6,4,5,7] => ([(0,4),(1,6),(2,6),(3,2),(4,5),(5,1),(5,3)],7) => 8
[[[[.,.],[.,[.,.]]],[.,.]],.] => [6,4,3,1,2,5,7] => [1,5,4,2,6,3,7] => ([(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,1),(4,6),(6,5)],7) => 13
[[[[.,.],[[.,.],.]],[.,.]],.] => [6,3,4,1,2,5,7] => [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
[[[[[.,.],.],[.,.]],[.,.]],.] => [6,4,1,2,3,5,7] => [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
[[[[[[.,.],.],.],.],[.,.]],.] => [6,1,2,3,4,5,7] => [1,2,3,4,6,5,7] => ([(0,4),(1,6),(2,6),(3,5),(4,3),(5,1),(5,2)],7) => 7
[[[[.,.],[.,[.,[.,.]]]],.],.] => [5,4,3,1,2,6,7] => [1,5,4,3,2,6,7] => ([(0,2),(0,3),(0,4),(0,5),(2,6),(3,6),(4,6),(5,6),(6,1)],7) => 17
[[[[.,.],[.,[[.,.],.]]],.],.] => [4,5,3,1,2,6,7] => [1,5,4,2,3,6,7] => ([(0,3),(0,4),(0,5),(1,6),(3,6),(4,6),(5,1),(6,2)],7) => 13
[[[[.,.],[[.,.],[.,.]]],.],.] => [5,3,4,1,2,6,7] => [1,5,2,4,3,6,7] => ([(0,4),(0,5),(1,6),(2,6),(4,6),(5,1),(5,2),(6,3)],7) => 11
[[[[.,.],[[.,[.,.]],.]],.],.] => [4,3,5,1,2,6,7] => [1,5,3,2,4,6,7] => ([(0,2),(0,3),(0,4),(2,6),(3,5),(4,5),(5,6),(6,1)],7) => 11
[[[[.,.],[[[.,.],.],.]],.],.] => [3,4,5,1,2,6,7] => [1,5,2,3,4,6,7] => ([(0,3),(0,5),(1,6),(3,6),(4,1),(5,4),(6,2)],7) => 9
[[[[[.,.],.],[.,[.,.]]],.],.] => [5,4,1,2,3,6,7] => [1,2,5,4,3,6,7] => ([(0,5),(1,6),(2,6),(3,6),(5,1),(5,2),(5,3),(6,4)],7) => 11
[[[[[.,.],.],[[.,.],.]],.],.] => [4,5,1,2,3,6,7] => [1,2,5,3,4,6,7] => ([(0,5),(1,6),(2,6),(4,2),(5,1),(5,4),(6,3)],7) => 8
[[[[[.,.],[.,.]],[.,.]],.],.] => [5,3,1,2,4,6,7] => [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
[[[[[[.,.],.],.],[.,.]],.],.] => [5,1,2,3,4,6,7] => [1,2,3,5,4,6,7] => ([(0,4),(1,6),(2,6),(4,5),(5,1),(5,2),(6,3)],7) => 7
[[[[[.,.],[.,[.,.]]],.],.],.] => [4,3,1,2,5,6,7] => [1,4,3,2,5,6,7] => ([(0,2),(0,3),(0,4),(2,6),(3,6),(4,6),(5,1),(6,5)],7) => 11
[[[[[.,.],[[.,.],.]],.],.],.] => [3,4,1,2,5,6,7] => [1,4,2,3,5,6,7] => ([(0,3),(0,5),(2,6),(3,6),(4,1),(5,2),(6,4)],7) => 8
[[[[[[.,.],.],[.,.]],.],.],.] => [4,1,2,3,5,6,7] => [1,2,4,3,5,6,7] => ([(0,5),(2,6),(3,6),(4,1),(5,2),(5,3),(6,4)],7) => 7
[[[[[[.,.],[.,.]],.],.],.],.] => [3,1,2,4,5,6,7] => [1,3,2,4,5,6,7] => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 7
[[[[[[[.,.],.],.],.],.],.],.] => [1,2,3,4,5,6,7] => [1,2,3,4,5,6,7] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
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
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) \}.$$
Map
major-index to inversion-number bijection
Description
Return the permutation whose Lehmer code equals the major code of the preimage.
This map sends the major index to the number of inversions.
This map sends the major index to the number of inversions.
Map
to 132-avoiding permutation
Description
Return a 132-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the maximal element of the Sylvester class.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the maximal element of the Sylvester class.
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!