Identifier
-
Mp00042:
Integer partitions
—initial tableau⟶
Standard tableaux
Mp00081: Standard tableaux —reading word permutation⟶ Permutations
Mp00067: Permutations —Foata bijection⟶ Permutations
St000040: Permutations ⟶ ℤ
Values
[1] => [[1]] => [1] => [1] => 1
[2] => [[1,2]] => [1,2] => [1,2] => 1
[1,1] => [[1],[2]] => [2,1] => [2,1] => 2
[3] => [[1,2,3]] => [1,2,3] => [1,2,3] => 1
[2,1] => [[1,2],[3]] => [3,1,2] => [1,3,2] => 2
[1,1,1] => [[1],[2],[3]] => [3,2,1] => [3,2,1] => 6
[4] => [[1,2,3,4]] => [1,2,3,4] => [1,2,3,4] => 1
[3,1] => [[1,2,3],[4]] => [4,1,2,3] => [1,2,4,3] => 2
[2,2] => [[1,2],[3,4]] => [3,4,1,2] => [1,3,4,2] => 4
[2,1,1] => [[1,2],[3],[4]] => [4,3,1,2] => [1,4,3,2] => 6
[1,1,1,1] => [[1],[2],[3],[4]] => [4,3,2,1] => [4,3,2,1] => 24
[5] => [[1,2,3,4,5]] => [1,2,3,4,5] => [1,2,3,4,5] => 1
[4,1] => [[1,2,3,4],[5]] => [5,1,2,3,4] => [1,2,3,5,4] => 2
[3,2] => [[1,2,3],[4,5]] => [4,5,1,2,3] => [1,2,4,5,3] => 4
[3,1,1] => [[1,2,3],[4],[5]] => [5,4,1,2,3] => [1,2,5,4,3] => 6
[2,2,1] => [[1,2],[3,4],[5]] => [5,3,4,1,2] => [1,3,5,4,2] => 12
[2,1,1,1] => [[1,2],[3],[4],[5]] => [5,4,3,1,2] => [1,5,4,3,2] => 24
[1,1,1,1,1] => [[1],[2],[3],[4],[5]] => [5,4,3,2,1] => [5,4,3,2,1] => 120
[6] => [[1,2,3,4,5,6]] => [1,2,3,4,5,6] => [1,2,3,4,5,6] => 1
[5,1] => [[1,2,3,4,5],[6]] => [6,1,2,3,4,5] => [1,2,3,4,6,5] => 2
[4,2] => [[1,2,3,4],[5,6]] => [5,6,1,2,3,4] => [1,2,3,5,6,4] => 4
[4,1,1] => [[1,2,3,4],[5],[6]] => [6,5,1,2,3,4] => [1,2,3,6,5,4] => 6
[3,3] => [[1,2,3],[4,5,6]] => [4,5,6,1,2,3] => [1,2,4,5,6,3] => 8
[3,2,1] => [[1,2,3],[4,5],[6]] => [6,4,5,1,2,3] => [1,2,4,6,5,3] => 12
[3,1,1,1] => [[1,2,3],[4],[5],[6]] => [6,5,4,1,2,3] => [1,2,6,5,4,3] => 24
[2,2,2] => [[1,2],[3,4],[5,6]] => [5,6,3,4,1,2] => [1,3,5,6,4,2] => 36
[2,2,1,1] => [[1,2],[3,4],[5],[6]] => [6,5,3,4,1,2] => [1,3,6,5,4,2] => 48
[2,1,1,1,1] => [[1,2],[3],[4],[5],[6]] => [6,5,4,3,1,2] => [1,6,5,4,3,2] => 120
[1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6]] => [6,5,4,3,2,1] => [6,5,4,3,2,1] => 720
[7] => [[1,2,3,4,5,6,7]] => [1,2,3,4,5,6,7] => [1,2,3,4,5,6,7] => 1
[6,1] => [[1,2,3,4,5,6],[7]] => [7,1,2,3,4,5,6] => [1,2,3,4,5,7,6] => 2
[5,2] => [[1,2,3,4,5],[6,7]] => [6,7,1,2,3,4,5] => [1,2,3,4,6,7,5] => 4
[5,1,1] => [[1,2,3,4,5],[6],[7]] => [7,6,1,2,3,4,5] => [1,2,3,4,7,6,5] => 6
[4,3] => [[1,2,3,4],[5,6,7]] => [5,6,7,1,2,3,4] => [1,2,3,5,6,7,4] => 8
[4,2,1] => [[1,2,3,4],[5,6],[7]] => [7,5,6,1,2,3,4] => [1,2,3,5,7,6,4] => 12
[4,1,1,1] => [[1,2,3,4],[5],[6],[7]] => [7,6,5,1,2,3,4] => [1,2,3,7,6,5,4] => 24
[3,3,1] => [[1,2,3],[4,5,6],[7]] => [7,4,5,6,1,2,3] => [1,2,4,5,7,6,3] => 24
[3,2,2] => [[1,2,3],[4,5],[6,7]] => [6,7,4,5,1,2,3] => [1,2,4,6,7,5,3] => 36
[3,2,1,1] => [[1,2,3],[4,5],[6],[7]] => [7,6,4,5,1,2,3] => [1,2,4,7,6,5,3] => 48
[3,1,1,1,1] => [[1,2,3],[4],[5],[6],[7]] => [7,6,5,4,1,2,3] => [1,2,7,6,5,4,3] => 120
[2,2,2,1] => [[1,2],[3,4],[5,6],[7]] => [7,5,6,3,4,1,2] => [1,3,5,7,6,4,2] => 144
[2,2,1,1,1] => [[1,2],[3,4],[5],[6],[7]] => [7,6,5,3,4,1,2] => [1,3,7,6,5,4,2] => 240
[2,1,1,1,1,1] => [[1,2],[3],[4],[5],[6],[7]] => [7,6,5,4,3,1,2] => [1,7,6,5,4,3,2] => 720
[1,1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6],[7]] => [7,6,5,4,3,2,1] => [7,6,5,4,3,2,1] => 5040
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 regions of the inversion arrangement of a permutation.
The inversion arrangement $\mathcal{A}_w$ consists of the hyperplanes $x_i-x_j=0$ such that $(i,j)$ is an inversion of $w$.
Postnikov [4] conjectured that the number of regions in $\mathcal{A}_w$ equals the number of permutations in the interval $[id,w]$ in the strong Bruhat order if and only if $w$ avoids $4231$, $35142$, $42513$, $351624$. This conjecture was proved by Hultman-Linusson-Shareshian-Sjöstrand [1].
Oh-Postnikov-Yoo [3] showed that the number of regions of $\mathcal{A}_w$ is $|\chi_{G_w}(-1)|$ where $\chi_{G_w}$ is the chromatic polynomial of the inversion graph $G_w$. This is the graph with vertices ${1,2,\ldots,n}$ and edges $(i,j)$ for $i\lneq j$ $w_i\gneq w_j$.
For a permutation $w=w_1\cdots w_n$, Lewis-Morales [2] and Hultman (see appendix in [2]) showed that this number equals the number of placements of $n$ non-attacking rooks on the south-west Rothe diagram of $w$.
The inversion arrangement $\mathcal{A}_w$ consists of the hyperplanes $x_i-x_j=0$ such that $(i,j)$ is an inversion of $w$.
Postnikov [4] conjectured that the number of regions in $\mathcal{A}_w$ equals the number of permutations in the interval $[id,w]$ in the strong Bruhat order if and only if $w$ avoids $4231$, $35142$, $42513$, $351624$. This conjecture was proved by Hultman-Linusson-Shareshian-Sjöstrand [1].
Oh-Postnikov-Yoo [3] showed that the number of regions of $\mathcal{A}_w$ is $|\chi_{G_w}(-1)|$ where $\chi_{G_w}$ is the chromatic polynomial of the inversion graph $G_w$. This is the graph with vertices ${1,2,\ldots,n}$ and edges $(i,j)$ for $i\lneq j$ $w_i\gneq w_j$.
For a permutation $w=w_1\cdots w_n$, Lewis-Morales [2] and Hultman (see appendix in [2]) showed that this number equals the number of placements of $n$ non-attacking rooks on the south-west Rothe diagram of $w$.
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.).
Map
reading word permutation
Description
Return the permutation obtained by reading the entries of the tableau row by row, starting with the bottom-most row in English notation.
Map
initial tableau
Description
Sends an integer partition to the standard tableau obtained by filling the numbers $1$ through $n$ row by row.
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!