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.
With beta numbers, the staircase has set . Lowering a bead by a positive even number either hits an occupied bead or a negative position, so no even-size rim hook can be removed. The adjoint of multiplication by under the Hall inner product of symmetric functions is . The power-sum border-strip multiplication formula therefore gives zero derivative with respect to every even power sum. Since the rational symmetric-function algebra is freely generated by the power sums, the stated conclusion follows.
Articles by others on the same topic
There are currently no matching articles.