Identifier
-
Mp00067:
Permutations
—Foata bijection⟶
Permutations
Mp00159: Permutations —Demazure product with inverse⟶ Permutations
Mp00209: Permutations —pattern poset⟶ Posets
St001890: Posets ⟶ ℤ
Values
[1,2] => [1,2] => [1,2] => ([(0,1)],2) => 1
[2,1] => [2,1] => [2,1] => ([(0,1)],2) => 1
[1,2,3] => [1,2,3] => [1,2,3] => ([(0,2),(2,1)],3) => 1
[1,3,2] => [3,1,2] => [3,2,1] => ([(0,2),(2,1)],3) => 1
[2,1,3] => [2,1,3] => [2,1,3] => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
[2,3,1] => [2,3,1] => [3,2,1] => ([(0,2),(2,1)],3) => 1
[3,1,2] => [1,3,2] => [1,3,2] => ([(0,1),(0,2),(1,3),(2,3)],4) => 1
[3,2,1] => [3,2,1] => [3,2,1] => ([(0,2),(2,1)],3) => 1
[1,2,3,4] => [1,2,3,4] => [1,2,3,4] => ([(0,3),(2,1),(3,2)],4) => 1
[1,4,3,2] => [4,3,1,2] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[2,1,4,3] => [4,2,1,3] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[2,4,3,1] => [4,2,3,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[3,1,4,2] => [3,4,1,2] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[3,4,2,1] => [3,4,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[4,2,3,1] => [2,4,3,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[4,3,2,1] => [4,3,2,1] => [4,3,2,1] => ([(0,3),(2,1),(3,2)],4) => 1
[1,2,3,4,5] => [1,2,3,4,5] => [1,2,3,4,5] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,2,5,4,3] => [5,4,1,2,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,3,2,5,4] => [5,3,1,2,4] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,3,5,4,2] => [5,3,1,4,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,4,2,5,3] => [4,5,1,2,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,4,5,3,2] => [4,5,1,3,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[1,5,4,3,2] => [5,4,3,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,1,5,4,3] => [5,4,2,1,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,3,1,5,4] => [5,2,3,1,4] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,3,5,4,1] => [5,2,3,4,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,4,1,5,3] => [4,2,5,1,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,4,5,3,1] => [4,2,5,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,5,3,4,1] => [2,5,3,4,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[2,5,4,3,1] => [5,4,2,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,1,5,4,2] => [5,3,4,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,2,1,5,4] => [5,3,2,1,4] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,2,5,4,1] => [5,3,2,4,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,4,1,5,2] => [3,4,5,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,4,5,2,1] => [3,4,5,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,5,1,4,2] => [3,5,1,4,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[3,5,4,2,1] => [5,3,4,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,1,5,3,2] => [4,5,3,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,2,1,5,3] => [4,5,2,1,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,2,5,3,1] => [4,5,2,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,3,1,5,2] => [4,3,5,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,3,5,2,1] => [4,3,5,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,5,2,3,1] => [2,4,5,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[4,5,3,2,1] => [4,5,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,1,4,3,2] => [5,4,1,3,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,2,1,4,3] => [5,2,4,1,3] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,2,4,3,1] => [5,2,4,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,3,1,4,2] => [3,5,4,1,2] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,3,2,4,1] => [3,5,2,4,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,3,4,2,1] => [3,5,4,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,4,2,3,1] => [2,5,4,3,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[5,4,3,2,1] => [5,4,3,2,1] => [5,4,3,2,1] => ([(0,4),(2,3),(3,1),(4,2)],5) => 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
Description
The maximum magnitude of the Möbius function of a poset.
The Möbius function of a poset is the multiplicative inverse of the zeta function in the incidence algebra. The Möbius value $\mu(x, y)$ is equal to the signed sum of chains from $x$ to $y$, where odd-length chains are counted with a minus sign, so this statistic is bounded above by the total number of chains in the poset.
The Möbius function of a poset is the multiplicative inverse of the zeta function in the incidence algebra. The Möbius value $\mu(x, y)$ is equal to the signed sum of chains from $x$ to $y$, where odd-length chains are counted with a minus sign, so this statistic is bounded above by the total number of chains in the poset.
Map
Demazure product with inverse
Description
This map sends a permutation $\pi$ to $\pi^{-1} \star \pi$ where $\star$ denotes the Demazure product on permutations.
This map is a surjection onto the set of involutions, i.e., the set of permutations $\pi$ for which $\pi = \pi^{-1}$.
This map is a surjection onto the set of involutions, i.e., the set of permutations $\pi$ for which $\pi = \pi^{-1}$.
Map
pattern poset
Description
The pattern poset of a permutation.
This is the poset of all non-empty permutations that occur in the given permutation as a pattern, ordered by pattern containment.
This is the poset of all non-empty permutations that occur in the given permutation as a pattern, ordered by pattern containment.
Map
Foata bijection
Description
Sends a permutation to its image under the Foata bijection.
The Foata bijection $\phi$ is a bijection on the set of words with no two equal letters. It can be defined by induction on the size of the word:
Given a word $w_1 w_2 ... w_n$, compute the image inductively by starting with $\phi(w_1) = w_1$.
At the $i$-th step, if $\phi(w_1 w_2 ... w_i) = v_1 v_2 ... v_i$, define $\phi(w_1 w_2 ... w_i w_{i+1})$ by placing $w_{i+1}$ on the end of the word $v_1 v_2 ... v_i$ and breaking the word up into blocks as follows.
To compute $\phi([1,4,2,5,3])$, the sequence of words is
This bijection sends the major index (St000004The major index of a permutation.) to the number of inversions (St000018The number of inversions of a permutation.).
The Foata bijection $\phi$ is a bijection on the set of words with no two equal letters. It can be defined by induction on the size of the word:
Given a word $w_1 w_2 ... w_n$, compute the image inductively by starting with $\phi(w_1) = w_1$.
At the $i$-th step, if $\phi(w_1 w_2 ... w_i) = v_1 v_2 ... v_i$, define $\phi(w_1 w_2 ... w_i w_{i+1})$ by placing $w_{i+1}$ on the end of the word $v_1 v_2 ... v_i$ and breaking the word up into blocks as follows.
- If $w_{i+1} \geq v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} \geq v_k$.
- If $w_{i+1} < v_i$, place a vertical line to the right of each $v_k$ for which $w_{i+1} < v_k$.
To compute $\phi([1,4,2,5,3])$, the sequence of words is
- $1$
- $|1|4 \to 14$
- $|14|2 \to 412$
- $|4|1|2|5 \to 4125$
- $|4|125|3 \to 45123.$
This bijection sends the major index (St000004The major index of a permutation.) to the number of inversions (St000018The number of inversions of a permutation.).
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!