InverseTableauPromotion

Inverse promotion: replace the entry 1 by n + 1, slide it out to the rim, and subtract one from every entry.

FindStatMp00153via StandardTableau↗

InverseTableauPromotion(StandardTableau)Inverse promotion: replace the entry 1 by n + 1, slide it out to the rim, and subtract one from every entry.

Typed signatures

Type	Package	Applies
(standard_tableau) -> standard_tableau	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a StandardTableau and returns a StandardTableau — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00153, the inverse of TableauPromotion. The hole is walked through the rows entry by entry, as jeu de taquin does.

Examples

Basic #

the standard tableau with rows $13$ and $2$

live ↗

In$\mathrm{InverseTableauPromotion}({\operatorname{StandardTableau}}([[1, 3], [2]]))$Out${\operatorname{StandardTableau}}([[1, 2], [3]])$

About

Examples	1
Crosswalk	FindStat