Identifier
Mp00042:
Integer partitions
—initial tableau⟶
Standard tableaux
Mp00295: Standard tableaux —valley composition⟶ Integer compositions
Mp00314: Integer compositions —Foata bijection⟶ Integer compositions
Mp00295: Standard tableaux —valley composition⟶ Integer compositions
Mp00314: Integer compositions —Foata bijection⟶ Integer compositions
Images
[1] => [[1]] => [1] => [1]
[2] => [[1,2]] => [2] => [2]
[1,1] => [[1],[2]] => [2] => [2]
[3] => [[1,2,3]] => [3] => [3]
[2,1] => [[1,2],[3]] => [3] => [3]
[1,1,1] => [[1],[2],[3]] => [3] => [3]
[4] => [[1,2,3,4]] => [4] => [4]
[3,1] => [[1,2,3],[4]] => [4] => [4]
[2,2] => [[1,2],[3,4]] => [3,1] => [3,1]
[2,1,1] => [[1,2],[3],[4]] => [4] => [4]
[1,1,1,1] => [[1],[2],[3],[4]] => [4] => [4]
[5] => [[1,2,3,4,5]] => [5] => [5]
[4,1] => [[1,2,3,4],[5]] => [5] => [5]
[3,2] => [[1,2,3],[4,5]] => [4,1] => [4,1]
[3,1,1] => [[1,2,3],[4],[5]] => [5] => [5]
[2,2,1] => [[1,2],[3,4],[5]] => [3,2] => [3,2]
[2,1,1,1] => [[1,2],[3],[4],[5]] => [5] => [5]
[1,1,1,1,1] => [[1],[2],[3],[4],[5]] => [5] => [5]
[6] => [[1,2,3,4,5,6]] => [6] => [6]
[5,1] => [[1,2,3,4,5],[6]] => [6] => [6]
[4,2] => [[1,2,3,4],[5,6]] => [5,1] => [5,1]
[4,1,1] => [[1,2,3,4],[5],[6]] => [6] => [6]
[3,3] => [[1,2,3],[4,5,6]] => [4,2] => [4,2]
[3,2,1] => [[1,2,3],[4,5],[6]] => [4,2] => [4,2]
[3,1,1,1] => [[1,2,3],[4],[5],[6]] => [6] => [6]
[2,2,2] => [[1,2],[3,4],[5,6]] => [3,2,1] => [3,2,1]
[2,2,1,1] => [[1,2],[3,4],[5],[6]] => [3,3] => [3,3]
[2,1,1,1,1] => [[1,2],[3],[4],[5],[6]] => [6] => [6]
[1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6]] => [6] => [6]
[7] => [[1,2,3,4,5,6,7]] => [7] => [7]
[6,1] => [[1,2,3,4,5,6],[7]] => [7] => [7]
[5,2] => [[1,2,3,4,5],[6,7]] => [6,1] => [6,1]
[5,1,1] => [[1,2,3,4,5],[6],[7]] => [7] => [7]
[4,3] => [[1,2,3,4],[5,6,7]] => [5,2] => [5,2]
[4,2,1] => [[1,2,3,4],[5,6],[7]] => [5,2] => [5,2]
[4,1,1,1] => [[1,2,3,4],[5],[6],[7]] => [7] => [7]
[3,3,1] => [[1,2,3],[4,5,6],[7]] => [4,3] => [4,3]
[3,2,2] => [[1,2,3],[4,5],[6,7]] => [4,2,1] => [4,2,1]
[3,2,1,1] => [[1,2,3],[4,5],[6],[7]] => [4,3] => [4,3]
[3,1,1,1,1] => [[1,2,3],[4],[5],[6],[7]] => [7] => [7]
[2,2,2,1] => [[1,2],[3,4],[5,6],[7]] => [3,2,2] => [2,3,2]
[2,2,1,1,1] => [[1,2],[3,4],[5],[6],[7]] => [3,4] => [3,4]
[2,1,1,1,1,1] => [[1,2],[3],[4],[5],[6],[7]] => [7] => [7]
[1,1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6],[7]] => [7] => [7]
[8] => [[1,2,3,4,5,6,7,8]] => [8] => [8]
[7,1] => [[1,2,3,4,5,6,7],[8]] => [8] => [8]
[6,2] => [[1,2,3,4,5,6],[7,8]] => [7,1] => [7,1]
[6,1,1] => [[1,2,3,4,5,6],[7],[8]] => [8] => [8]
[5,3] => [[1,2,3,4,5],[6,7,8]] => [6,2] => [6,2]
[5,2,1] => [[1,2,3,4,5],[6,7],[8]] => [6,2] => [6,2]
[5,1,1,1] => [[1,2,3,4,5],[6],[7],[8]] => [8] => [8]
[4,4] => [[1,2,3,4],[5,6,7,8]] => [5,3] => [5,3]
[4,3,1] => [[1,2,3,4],[5,6,7],[8]] => [5,3] => [5,3]
[4,2,2] => [[1,2,3,4],[5,6],[7,8]] => [5,2,1] => [5,2,1]
[4,2,1,1] => [[1,2,3,4],[5,6],[7],[8]] => [5,3] => [5,3]
[4,1,1,1,1] => [[1,2,3,4],[5],[6],[7],[8]] => [8] => [8]
[3,3,2] => [[1,2,3],[4,5,6],[7,8]] => [4,3,1] => [4,3,1]
[3,3,1,1] => [[1,2,3],[4,5,6],[7],[8]] => [4,4] => [4,4]
[3,2,2,1] => [[1,2,3],[4,5],[6,7],[8]] => [4,2,2] => [2,4,2]
[3,2,1,1,1] => [[1,2,3],[4,5],[6],[7],[8]] => [4,4] => [4,4]
[3,1,1,1,1,1] => [[1,2,3],[4],[5],[6],[7],[8]] => [8] => [8]
[2,2,2,2] => [[1,2],[3,4],[5,6],[7,8]] => [3,2,2,1] => [2,3,2,1]
[2,2,2,1,1] => [[1,2],[3,4],[5,6],[7],[8]] => [3,2,3] => [3,2,3]
[2,2,1,1,1,1] => [[1,2],[3,4],[5],[6],[7],[8]] => [3,5] => [3,5]
[2,1,1,1,1,1,1] => [[1,2],[3],[4],[5],[6],[7],[8]] => [8] => [8]
[1,1,1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6],[7],[8]] => [8] => [8]
[9] => [[1,2,3,4,5,6,7,8,9]] => [9] => [9]
[8,1] => [[1,2,3,4,5,6,7,8],[9]] => [9] => [9]
[7,2] => [[1,2,3,4,5,6,7],[8,9]] => [8,1] => [8,1]
[7,1,1] => [[1,2,3,4,5,6,7],[8],[9]] => [9] => [9]
[6,3] => [[1,2,3,4,5,6],[7,8,9]] => [7,2] => [7,2]
[6,2,1] => [[1,2,3,4,5,6],[7,8],[9]] => [7,2] => [7,2]
[6,1,1,1] => [[1,2,3,4,5,6],[7],[8],[9]] => [9] => [9]
[5,4] => [[1,2,3,4,5],[6,7,8,9]] => [6,3] => [6,3]
[5,3,1] => [[1,2,3,4,5],[6,7,8],[9]] => [6,3] => [6,3]
[5,2,2] => [[1,2,3,4,5],[6,7],[8,9]] => [6,2,1] => [6,2,1]
[5,2,1,1] => [[1,2,3,4,5],[6,7],[8],[9]] => [6,3] => [6,3]
[5,1,1,1,1] => [[1,2,3,4,5],[6],[7],[8],[9]] => [9] => [9]
[4,4,1] => [[1,2,3,4],[5,6,7,8],[9]] => [5,4] => [5,4]
[4,3,2] => [[1,2,3,4],[5,6,7],[8,9]] => [5,3,1] => [5,3,1]
[4,3,1,1] => [[1,2,3,4],[5,6,7],[8],[9]] => [5,4] => [5,4]
[4,2,2,1] => [[1,2,3,4],[5,6],[7,8],[9]] => [5,2,2] => [2,5,2]
[4,2,1,1,1] => [[1,2,3,4],[5,6],[7],[8],[9]] => [5,4] => [5,4]
[4,1,1,1,1,1] => [[1,2,3,4],[5],[6],[7],[8],[9]] => [9] => [9]
[3,3,3] => [[1,2,3],[4,5,6],[7,8,9]] => [4,3,2] => [4,3,2]
[3,3,2,1] => [[1,2,3],[4,5,6],[7,8],[9]] => [4,3,2] => [4,3,2]
[3,3,1,1,1] => [[1,2,3],[4,5,6],[7],[8],[9]] => [4,5] => [4,5]
[3,2,2,2] => [[1,2,3],[4,5],[6,7],[8,9]] => [4,2,2,1] => [2,4,2,1]
[3,2,2,1,1] => [[1,2,3],[4,5],[6,7],[8],[9]] => [4,2,3] => [2,4,3]
[3,2,1,1,1,1] => [[1,2,3],[4,5],[6],[7],[8],[9]] => [4,5] => [4,5]
[3,1,1,1,1,1,1] => [[1,2,3],[4],[5],[6],[7],[8],[9]] => [9] => [9]
[2,2,2,2,1] => [[1,2],[3,4],[5,6],[7,8],[9]] => [3,2,2,2] => [2,2,3,2]
[2,2,2,1,1,1] => [[1,2],[3,4],[5,6],[7],[8],[9]] => [3,2,4] => [3,2,4]
[2,2,1,1,1,1,1] => [[1,2],[3,4],[5],[6],[7],[8],[9]] => [3,6] => [3,6]
[2,1,1,1,1,1,1,1] => [[1,2],[3],[4],[5],[6],[7],[8],[9]] => [9] => [9]
[1,1,1,1,1,1,1,1,1] => [[1],[2],[3],[4],[5],[6],[7],[8],[9]] => [9] => [9]
[10] => [[1,2,3,4,5,6,7,8,9,10]] => [10] => [10]
[9,1] => [[1,2,3,4,5,6,7,8,9],[10]] => [10] => [10]
[8,2] => [[1,2,3,4,5,6,7,8],[9,10]] => [9,1] => [9,1]
[8,1,1] => [[1,2,3,4,5,6,7,8],[9],[10]] => [10] => [10]
[7,3] => [[1,2,3,4,5,6,7],[8,9,10]] => [8,2] => [8,2]
>>> Load all 138 entries. <<<Map
initial tableau
Description
Sends an integer partition to the standard tableau obtained by filling the numbers $1$ through $n$ row by row.
Map
valley composition
Description
The composition corresponding to the valley set of a standard tableau.
Let $T$ be a standard tableau of size $n$.
An entry $i$ of $T$ is a descent if $i+1$ is in a lower row (in English notation), otherwise $i$ is an ascent.
An entry $2 \leq i \leq n-1$ is a valley if $i-1$ is a descent and $i$ is an ascent.
This map returns the composition $c_1,\dots,c_k$ of $n$ such that $\{c_1, c_1+c_2,\dots, c_1+\dots+c_k\}$ is the valley set of $T$.
Let $T$ be a standard tableau of size $n$.
An entry $i$ of $T$ is a descent if $i+1$ is in a lower row (in English notation), otherwise $i$ is an ascent.
An entry $2 \leq i \leq n-1$ is a valley if $i-1$ is a descent and $i$ is an ascent.
This map returns the composition $c_1,\dots,c_k$ of $n$ such that $\{c_1, c_1+c_2,\dots, c_1+\dots+c_k\}$ is the valley set of $T$.
Map
Foata bijection
Description
The Foata bijection for compositions.
The Foata bijection $\phi$ is a bijection on the set of words whose letters are positive integers. 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 St000769The major index of a composition regarded as a word. to the number of inversions St000766The number of inversions of an integer composition..
The Foata bijection $\phi$ is a bijection on the set of words whose letters are positive integers. 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 St000769The major index of a composition regarded as a word. to the number of inversions St000766The number of inversions of an integer composition..
searching the database
Sorry, this map was not found in the database.