Good-letter matching in a tableau word
= Good-letter matching in a tableau word
Read a word of type $b$ from the left. Every $1$ is good; an $i+1$ is good when the number of previous good $i$'s exceeds the number of previous good $(i+1)$'s. The set $s(a,b)$ contains words with at least $a_i$ good $i$'s for each $i$. Their matched chains yield independent marked-column <polytabloids>; column antisymmetrization and the add-or-raise recursion give $\dim S^{a,b}=|s(a,b)|$ over every <field>.