For a symmetric nonnegative integer matrix, the two neighboring prefix shapes along the diagonal are equal. In the RSK growth-diagram local rule, set and take alternating sums of row lengths. The two occurrences of the alternating sum of cancel, leaving . Induction along the diagonal proves the formula. Each column contributes one to this alternating sum exactly when its length is odd.
Articles by others on the same topic
There are currently no matching articles.