Triangular vanishing of Young-symmetrizer products
ID: triangular-vanishing-of-young-symmetrizer-products
For standard tableaux of the same shape and , in column-reading order of standard Young tableaux implies . If there were no row-column collision, each column of would select one entry from each eligible row of . Its sorted first column is componentwise at least the row minima of ; equality fixes those selected entries and permits induction after deleting the column. Thus no collision implies . A collision gives .
New to topics? Read the docs here!