Power-sum border-strip multiplication 2026-10-14
Multiplication of an alternant by is the sum of alternants obtained by raising one row exponent by . Equal exponents give zero. Otherwise sort the shifted beta number of a partition back into decreasing order. The resulting partition adds a size- rim hook; the number of crossed exponents is its height and supplies the determinant sign. This proves the formula through the bialternant formula. Iteration counts signed border-strip tableaux.