Identifier
Mp00146:
Dyck paths
—to tunnel matching⟶
Perfect matchings
Mp00058: Perfect matchings —to permutation⟶ Permutations
Mp00067: Permutations —Foata bijection⟶ Permutations
Mp00159: Permutations —Demazure product with inverse⟶ Permutations
Mp00058: Perfect matchings —to permutation⟶ Permutations
Mp00067: Permutations —Foata bijection⟶ Permutations
Mp00159: Permutations —Demazure product with inverse⟶ Permutations
Images
=>
Cc0005;cc-rep-0Cc0012;cc-rep-1
[1,0]=>[(1,2)]=>[2,1]=>[2,1]=>[2,1]
[1,0,1,0]=>[(1,2),(3,4)]=>[2,1,4,3]=>[4,2,1,3]=>[4,3,2,1]
[1,1,0,0]=>[(1,4),(2,3)]=>[4,3,2,1]=>[4,3,2,1]=>[4,3,2,1]
[1,0,1,0,1,0]=>[(1,2),(3,4),(5,6)]=>[2,1,4,3,6,5]=>[6,4,2,1,3,5]=>[6,5,4,3,2,1]
[1,0,1,1,0,0]=>[(1,2),(3,6),(4,5)]=>[2,1,6,5,4,3]=>[6,5,4,2,1,3]=>[6,5,4,3,2,1]
[1,1,0,0,1,0]=>[(1,4),(2,3),(5,6)]=>[4,3,2,1,6,5]=>[6,4,3,2,1,5]=>[6,5,4,3,2,1]
[1,1,0,1,0,0]=>[(1,6),(2,3),(4,5)]=>[6,3,2,5,4,1]=>[6,3,5,2,4,1]=>[6,5,4,3,2,1]
[1,1,1,0,0,0]=>[(1,6),(2,5),(3,4)]=>[6,5,4,3,2,1]=>[6,5,4,3,2,1]=>[6,5,4,3,2,1]
[1,0,1,0,1,0,1,0]=>[(1,2),(3,4),(5,6),(7,8)]=>[2,1,4,3,6,5,8,7]=>[8,6,4,2,1,3,5,7]=>[8,7,6,5,4,3,2,1]
[1,0,1,0,1,1,0,0]=>[(1,2),(3,4),(5,8),(6,7)]=>[2,1,4,3,8,7,6,5]=>[8,7,6,4,2,1,3,5]=>[8,7,6,5,4,3,2,1]
[1,0,1,1,0,0,1,0]=>[(1,2),(3,6),(4,5),(7,8)]=>[2,1,6,5,4,3,8,7]=>[8,6,5,4,2,1,3,7]=>[8,7,6,5,4,3,2,1]
[1,0,1,1,0,1,0,0]=>[(1,2),(3,8),(4,5),(6,7)]=>[2,1,8,5,4,7,6,3]=>[8,5,7,4,2,1,6,3]=>[8,7,6,5,4,3,2,1]
[1,0,1,1,1,0,0,0]=>[(1,2),(3,8),(4,7),(5,6)]=>[2,1,8,7,6,5,4,3]=>[8,7,6,5,4,2,1,3]=>[8,7,6,5,4,3,2,1]
[1,1,0,0,1,0,1,0]=>[(1,4),(2,3),(5,6),(7,8)]=>[4,3,2,1,6,5,8,7]=>[8,6,4,3,2,1,5,7]=>[8,7,6,5,4,3,2,1]
[1,1,0,0,1,1,0,0]=>[(1,4),(2,3),(5,8),(6,7)]=>[4,3,2,1,8,7,6,5]=>[8,7,6,4,3,2,1,5]=>[8,7,6,5,4,3,2,1]
[1,1,0,1,0,0,1,0]=>[(1,6),(2,3),(4,5),(7,8)]=>[6,3,2,5,4,1,8,7]=>[8,6,3,5,2,4,1,7]=>[8,7,6,5,4,3,2,1]
[1,1,0,1,0,1,0,0]=>[(1,8),(2,3),(4,5),(6,7)]=>[8,3,2,5,4,7,6,1]=>[8,3,7,5,2,4,6,1]=>[8,7,6,5,4,3,2,1]
[1,1,0,1,1,0,0,0]=>[(1,8),(2,3),(4,7),(5,6)]=>[8,3,2,7,6,5,4,1]=>[8,7,6,3,5,2,4,1]=>[8,7,6,5,4,3,2,1]
[1,1,1,0,0,0,1,0]=>[(1,6),(2,5),(3,4),(7,8)]=>[6,5,4,3,2,1,8,7]=>[8,6,5,4,3,2,1,7]=>[8,7,6,5,4,3,2,1]
[1,1,1,0,0,1,0,0]=>[(1,8),(2,5),(3,4),(6,7)]=>[8,5,4,3,2,7,6,1]=>[8,5,7,4,3,2,6,1]=>[8,7,6,5,4,3,2,1]
[1,1,1,0,1,0,0,0]=>[(1,8),(2,7),(3,4),(5,6)]=>[8,7,4,3,6,5,2,1]=>[8,4,7,6,3,5,2,1]=>[8,7,6,5,4,3,2,1]
[1,1,1,1,0,0,0,0]=>[(1,8),(2,7),(3,6),(4,5)]=>[8,7,6,5,4,3,2,1]=>[8,7,6,5,4,3,2,1]=>[8,7,6,5,4,3,2,1]
[1,0,1,0,1,0,1,0,1,0]=>[(1,2),(3,4),(5,6),(7,8),(9,10)]=>[2,1,4,3,6,5,8,7,10,9]=>[10,8,6,4,2,1,3,5,7,9]=>[10,9,8,7,6,5,4,3,2,1]
[1,0,1,0,1,0,1,0,1,0,1,0]=>[(1,2),(3,4),(5,6),(7,8),(9,10),(11,12)]=>[2,1,4,3,6,5,8,7,10,9,12,11]=>[12,10,8,6,4,2,1,3,5,7,9,11]=>[12,11,10,9,8,7,6,5,4,3,2,1]
Map
to tunnel matching
Description
Sends a Dyck path of semilength n to the noncrossing perfect matching given by matching an up-step with the corresponding down-step.
This is, for a Dyck path $D$ of semilength $n$, the perfect matching of $\{1,\dots,2n\}$ with $i < j$ being matched if $D_i$ is an up-step and $D_j$ is the down-step connected to $D_i$ by a tunnel.
This is, for a Dyck path $D$ of semilength $n$, the perfect matching of $\{1,\dots,2n\}$ with $i < j$ being matched if $D_i$ is an up-step and $D_j$ is the down-step connected to $D_i$ by a tunnel.
Map
to permutation
Description
Returns the fixed point free involution whose transpositions are the pairs in the perfect matching.
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
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}$.
searching the database
Sorry, this map was not found in the database.