Identifier
-
Mp00235:
Permutations
—descent views to invisible inversion bottoms⟶
Permutations
Mp00160: Permutations —graph of inversions⟶ Graphs
Mp00266: Graphs —connected vertex partitions⟶ Lattices
St001846: Lattices ⟶ ℤ
Values
[1] => [1] => ([],1) => ([],1) => 0
[1,2] => [1,2] => ([],2) => ([],1) => 0
[2,1] => [2,1] => ([(0,1)],2) => ([(0,1)],2) => 0
[1,2,3] => [1,2,3] => ([],3) => ([],1) => 0
[1,3,2] => [1,3,2] => ([(1,2)],3) => ([(0,1)],2) => 0
[2,1,3] => [2,1,3] => ([(1,2)],3) => ([(0,1)],2) => 0
[2,3,1] => [3,2,1] => ([(0,1),(0,2),(1,2)],3) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[3,1,2] => [3,1,2] => ([(0,2),(1,2)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,2,1] => [2,3,1] => ([(0,2),(1,2)],3) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,3,4] => [1,2,3,4] => ([],4) => ([],1) => 0
[1,2,4,3] => [1,2,4,3] => ([(2,3)],4) => ([(0,1)],2) => 0
[1,3,2,4] => [1,3,2,4] => ([(2,3)],4) => ([(0,1)],2) => 0
[1,3,4,2] => [1,4,3,2] => ([(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,4,2,3] => [1,4,2,3] => ([(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,4,3,2] => [1,3,4,2] => ([(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,3,4] => [2,1,3,4] => ([(2,3)],4) => ([(0,1)],2) => 0
[2,1,4,3] => [2,1,4,3] => ([(0,3),(1,2)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,3,1,4] => [3,2,1,4] => ([(1,2),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[3,1,2,4] => [3,1,2,4] => ([(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,2,1,4] => [2,3,1,4] => ([(1,3),(2,3)],4) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[4,1,2,3] => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,2,1,3] => [2,4,1,3] => ([(0,3),(1,2),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,3,1,2] => [3,1,4,2] => ([(0,3),(1,2),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,3,2,1] => [2,3,4,1] => ([(0,3),(1,3),(2,3)],4) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,2,3,4,5] => [1,2,3,4,5] => ([],5) => ([],1) => 0
[1,2,3,5,4] => [1,2,3,5,4] => ([(3,4)],5) => ([(0,1)],2) => 0
[1,2,4,3,5] => [1,2,4,3,5] => ([(3,4)],5) => ([(0,1)],2) => 0
[1,2,4,5,3] => [1,2,5,4,3] => ([(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,2,5,3,4] => [1,2,5,3,4] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,5,4,3] => [1,2,4,5,3] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,3,2,4,5] => [1,3,2,4,5] => ([(3,4)],5) => ([(0,1)],2) => 0
[1,3,2,5,4] => [1,3,2,5,4] => ([(1,4),(2,3)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,3,4,2,5] => [1,4,3,2,5] => ([(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,4,2,3,5] => [1,4,2,3,5] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,4,3,2,5] => [1,3,4,2,5] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,5,2,3,4] => [1,5,2,3,4] => ([(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,3,2,4] => [1,3,5,2,4] => ([(1,4),(2,3),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,4,2,3] => [1,4,2,5,3] => ([(1,4),(2,3),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,4,3,2] => [1,3,4,5,2] => ([(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,3,4,5] => [2,1,3,4,5] => ([(3,4)],5) => ([(0,1)],2) => 0
[2,1,3,5,4] => [2,1,3,5,4] => ([(1,4),(2,3)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,4,3,5] => [2,1,4,3,5] => ([(1,4),(2,3)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,5,3,4] => [2,1,5,3,4] => ([(0,1),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,5,4,3] => [2,1,4,5,3] => ([(0,1),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,3,1,4,5] => [3,2,1,4,5] => ([(2,3),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[3,1,2,4,5] => [3,1,2,4,5] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,1,2,5,4] => [3,1,2,5,4] => ([(0,1),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[3,2,1,4,5] => [2,3,1,4,5] => ([(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,2,1,5,4] => [2,3,1,5,4] => ([(0,1),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,1,2,3,5] => [4,1,2,3,5] => ([(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,2,1,3,5] => [2,4,1,3,5] => ([(1,4),(2,3),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,3,1,2,5] => [3,1,4,2,5] => ([(1,4),(2,3),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,3,2,1,5] => [2,3,4,1,5] => ([(1,4),(2,4),(3,4)],5) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,2,3,4,5,6] => [1,2,3,4,5,6] => ([],6) => ([],1) => 0
[1,2,3,4,6,5] => [1,2,3,4,6,5] => ([(4,5)],6) => ([(0,1)],2) => 0
[1,2,3,5,4,6] => [1,2,3,5,4,6] => ([(4,5)],6) => ([(0,1)],2) => 0
[1,2,3,5,6,4] => [1,2,3,6,5,4] => ([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,2,3,6,4,5] => [1,2,3,6,4,5] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,3,6,5,4] => [1,2,3,5,6,4] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,4,3,5,6] => [1,2,4,3,5,6] => ([(4,5)],6) => ([(0,1)],2) => 0
[1,2,4,3,6,5] => [1,2,4,3,6,5] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,4,5,3,6] => [1,2,5,4,3,6] => ([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,2,5,3,4,6] => [1,2,5,3,4,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,5,4,3,6] => [1,2,4,5,3,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,2,6,3,4,5] => [1,2,6,3,4,5] => ([(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,2,6,4,3,5] => [1,2,4,6,3,5] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,2,6,5,3,4] => [1,2,5,3,6,4] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,2,6,5,4,3] => [1,2,4,5,6,3] => ([(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,3,2,4,5,6] => [1,3,2,4,5,6] => ([(4,5)],6) => ([(0,1)],2) => 0
[1,3,2,4,6,5] => [1,3,2,4,6,5] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,3,2,5,4,6] => [1,3,2,5,4,6] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,3,2,6,4,5] => [1,3,2,6,4,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,3,2,6,5,4] => [1,3,2,5,6,4] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,3,4,2,5,6] => [1,4,3,2,5,6] => ([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[1,4,2,3,5,6] => [1,4,2,3,5,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,4,2,3,6,5] => [1,4,2,3,6,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,4,3,2,5,6] => [1,3,4,2,5,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[1,4,3,2,6,5] => [1,3,4,2,6,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,2,3,4,6] => [1,5,2,3,4,6] => ([(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,3,2,4,6] => [1,3,5,2,4,6] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,4,2,3,6] => [1,4,2,5,3,6] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[1,5,4,3,2,6] => [1,3,4,5,2,6] => ([(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,3,4,5,6] => [2,1,3,4,5,6] => ([(4,5)],6) => ([(0,1)],2) => 0
[2,1,3,4,6,5] => [2,1,3,4,6,5] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,3,5,4,6] => [2,1,3,5,4,6] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,3,6,4,5] => [2,1,3,6,4,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,3,6,5,4] => [2,1,3,5,6,4] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,4,3,5,6] => [2,1,4,3,5,6] => ([(2,5),(3,4)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[2,1,4,3,6,5] => [2,1,4,3,6,5] => ([(0,5),(1,4),(2,3)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,5,3,4,6] => [2,1,5,3,4,6] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,1,5,4,3,6] => [2,1,4,5,3,6] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[2,3,1,4,5,6] => [3,2,1,4,5,6] => ([(3,4),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5) => 0
[3,1,2,4,5,6] => [3,1,2,4,5,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,1,2,4,6,5] => [3,1,2,4,6,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[3,1,2,5,4,6] => [3,1,2,5,4,6] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[3,2,1,4,5,6] => [2,3,1,4,5,6] => ([(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 0
[3,2,1,4,6,5] => [2,3,1,4,6,5] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[3,2,1,5,4,6] => [2,3,1,5,4,6] => ([(1,2),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,1,2,3,5,6] => [4,1,2,3,5,6] => ([(2,5),(3,5),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,2,1,3,5,6] => [2,4,1,3,5,6] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
[4,3,1,2,5,6] => [3,1,4,2,5,6] => ([(2,5),(3,4),(4,5)],6) => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8) => 0
>>> Load all 178 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
Description
The number of elements which do not have a complement in the lattice.
A complement of an element $x$ in a lattice is an element $y$ such that the meet of $x$ and $y$ is the bottom element and their join is the top element.
A complement of an element $x$ in a lattice is an element $y$ such that the meet of $x$ and $y$ is the bottom element and their join is the top element.
Map
connected vertex partitions
Description
Sends a graph to the lattice of its connected vertex partitions.
A connected vertex partition of a graph $G = (V,E)$ is a set partition of $V$ such that each part induced a connected subgraph of $G$. The connected vertex partitions of $G$ form a lattice under refinement. If $G = K_n$ is a complete graph, the resulting lattice is the lattice of set partitions on $n$ elements.
In the language of matroid theory, this map sends a graph to the lattice of flats of its graphic matroid. The resulting lattice is a geometric lattice, i.e. it is atomistic and semimodular.
A connected vertex partition of a graph $G = (V,E)$ is a set partition of $V$ such that each part induced a connected subgraph of $G$. The connected vertex partitions of $G$ form a lattice under refinement. If $G = K_n$ is a complete graph, the resulting lattice is the lattice of set partitions on $n$ elements.
In the language of matroid theory, this map sends a graph to the lattice of flats of its graphic matroid. The resulting lattice is a geometric lattice, i.e. it is atomistic and semimodular.
Map
graph of inversions
Description
The graph of inversions of a permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.
Map
descent views to invisible inversion bottoms
Description
Return a permutation whose multiset of invisible inversion bottoms is the multiset of descent views of the given permutation.
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that
An invisible inversion of a permutation $\sigma$ is a pair $i < j$ such that $i < \sigma(j) < \sigma(i)$. The element $\sigma(j)$ is then an invisible inversion bottom.
A descent view in a permutation $\pi$ is an element $\pi(j)$ such that $\pi(i+1) < \pi(j) < \pi(i)$, and additionally the smallest element in the decreasing run containing $\pi(i)$ is smaller than the smallest element in the decreasing run containing $\pi(j)$.
This map is a bijection $\chi:\mathfrak S_n \to \mathfrak S_n$, such that
- the multiset of descent views in $\pi$ is the multiset of invisible inversion bottoms in $\chi(\pi)$,
- the set of left-to-right maxima of $\pi$ is the set of maximal elements in the cycles of $\chi(\pi)$,
- the set of global ascent of $\pi$ is the set of global ascent of $\chi(\pi)$,
- the set of maximal elements in the decreasing runs of $\pi$ is the set of weak deficiency positions of $\chi(\pi)$, and
- the set of minimal elements in the decreasing runs of $\pi$ is the set of weak deficiency values of $\chi(\pi)$.
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!