TableauPromotion from StandardTableau
Promotion: replace the largest entry by a hole, slide it to the corner at the origin, and add one to every entry.
FindStat's Mp00155, the inverse of InverseTableauPromotion. The hole is walked through the rows entry by entry, as jeu de taquin does.
Called as CombinatorialMap(x, "TableauPromotion"). The head's page has its examples.
Live
Explore
Each element of StandardTableau at a size, and its image, applied in your browser; sizes past 6 are not offered.
Properties
Transport a statistic
Pick a statistic on StandardTableau. Its distribution over the images of StandardTableau at each size is computed, and compared with the 25 statistics on StandardTableau: those that share it are the ones the map sends it to, as far as the sizes computed show.
FindStat Mp00155
promotion
Matched by value: our map agrees with FindStat's image on each of the 119 rows of size at most 6 we can read (0 unread; its table has 1200 rows).
BijectionGraded mapas FindStat records them, checked by FindStat's contributors.
| Object | Image |
|---|---|
[[1]] | [[1]] |
[[1,2]] | [[1,2]] |
[[1,2,3]] | [[1,2,3]] |
[[1],[2]] | [[1],[2]] |
Data from FindStat, the combinatorial statistic finder; the page at findstat.org/Mp00155 has the rest.