Identifier
-
Mp00027:
Dyck paths
—to partition⟶
Integer partitions
Mp00095: Integer partitions —to binary word⟶ Binary words
Mp00096: Binary words —Foata bijection⟶ Binary words
St001491: Binary words ⟶ ℤ
Values
[1,0,1,0] => [1] => 10 => 10 => 1
[1,0,1,0,1,0] => [2,1] => 1010 => 1100 => 1
[1,0,1,1,0,0] => [1,1] => 110 => 110 => 1
[1,1,0,0,1,0] => [2] => 100 => 010 => 1
[1,1,0,1,0,0] => [1] => 10 => 10 => 1
[1,0,1,1,1,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,0,0,1,1,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,0,1,0,1,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,0,1,1,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,0,0,0,1,0] => [3] => 1000 => 0010 => 1
[1,1,1,0,0,1,0,0] => [2] => 100 => 010 => 1
[1,1,1,0,1,0,0,0] => [1] => 10 => 10 => 1
[1,1,0,1,1,1,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,0,0,1,1,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,0,1,0,1,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,0,1,1,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,0,0,0,1,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,0,0,1,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,0,1,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,0,1,1,1,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,0,0,1,1,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,0,1,0,1,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,0,1,1,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,0,0,0,1,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,0,0,1,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,0,1,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,0,1,1,1,0,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,1,0,0,1,1,0,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,1,0,1,0,1,0,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,1,0,1,1,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,1,0,0,0,1,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,0,0,1,0,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,1,0,1,0,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,1,0,1,1,1,0,0,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,1,1,0,0,0,1,0,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,1,1,1,0,0,0,1,0,0,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
[1,1,1,1,1,1,1,1,1,1,0,0,1,0,0,0,0,0,0,0,0,0] => [2] => 100 => 010 => 1
[1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,1,1,1,1,1,1,0,1,0,0,0,0,0,0,0,0,0,0] => [1] => 10 => 10 => 1
[1,1,1,1,1,1,1,1,1,0,0,0,1,0,0,0,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,1,1,1,1,1,0,1,0,1,0,0,0,0,0,0,0,0,0] => [2,1] => 1010 => 1100 => 1
[1,1,1,1,1,1,1,1,1,1,0,0,0,1,0,0,0,0,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,1,1,0,1,1,1,0,0,0,0,0,0,0,0,0,0] => [1,1,1] => 1110 => 1110 => 2
[1,1,1,1,1,1,1,1,1,0,0,1,1,0,0,0,0,0,0,0,0,0] => [2,2] => 1100 => 0110 => 2
[1,1,1,1,1,1,1,1,1,1,1,0,0,0,1,0,0,0,0,0,0,0,0,0] => [3] => 1000 => 0010 => 1
[1,1,1,1,1,1,1,1,1,1,0,1,1,0,0,0,0,0,0,0,0,0,0,0] => [1,1] => 110 => 110 => 1
search for individual values
searching the database for the individual values of this statistic
Description
The number of indecomposable projective-injective modules in the algebra corresponding to a subset.
Let $A_n=K[x]/(x^n)$.
We associate to a nonempty subset S of an (n-1)-set the module $M_S$, which is the direct sum of $A_n$-modules with indecomposable non-projective direct summands of dimension $i$ when $i$ is in $S$ (note that such modules have vector space dimension at most n-1). Then the corresponding algebra associated to S is the stable endomorphism ring of $M_S$. We decode the subset as a binary word so that for example the subset $S=\{1,3 \} $ of $\{1,2,3 \}$ is decoded as 101.
Let $A_n=K[x]/(x^n)$.
We associate to a nonempty subset S of an (n-1)-set the module $M_S$, which is the direct sum of $A_n$-modules with indecomposable non-projective direct summands of dimension $i$ when $i$ is in $S$ (note that such modules have vector space dimension at most n-1). Then the corresponding algebra associated to S is the stable endomorphism ring of $M_S$. We decode the subset as a binary word so that for example the subset $S=\{1,3 \} $ of $\{1,2,3 \}$ is decoded as 101.
Map
to binary word
Description
Return the partition as binary word, by traversing its shape from the first row to the last row, down steps as 1 and left steps as 0.
Map
Foata bijection
Description
The Foata bijection $\phi$ is a bijection on the set of words of given content (by a slight generalization of Section 2 in [1]).
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.
For instance, to compute $\phi(4154223)$, the sequence of words is
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$.
For instance, to compute $\phi(4154223)$, the sequence of words is
- 4,
- |4|1 -- > 41,
- |4|1|5 -- > 415,
- |415|4 -- > 5414,
- |5|4|14|2 -- > 54412,
- |5441|2|2 -- > 154422,
- |1|5442|2|3 -- > 1254423.
Map
to partition
Description
The cut-out partition of a Dyck path.
The partition $\lambda$ associated to a Dyck path is defined to be the complementary partition inside the staircase partition $(n-1,\ldots,2,1)$ when cutting out $D$ considered as a path from $(0,0)$ to $(n,n)$.
In other words, $\lambda_{i}$ is the number of down-steps before the $(n+1-i)$-th up-step of $D$.
This map is a bijection between Dyck paths of size $n$ and partitions inside the staircase partition $(n-1,\ldots,2,1)$.
The partition $\lambda$ associated to a Dyck path is defined to be the complementary partition inside the staircase partition $(n-1,\ldots,2,1)$ when cutting out $D$ considered as a path from $(0,0)$ to $(n,n)$.
In other words, $\lambda_{i}$ is the number of down-steps before the $(n+1-i)$-th up-step of $D$.
This map is a bijection between Dyck paths of size $n$ and partitions inside the staircase partition $(n-1,\ldots,2,1)$.
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!