Schur evaluation at all ones

ID: schur-evaluation-at-all-ones

Put . In the bialternant formula, substitute with distinct and compare the first nonzero determinant coefficients as . They arise from the distinct degrees in the exponential expansions. The common factor in the and the factorials cancel, leaving the product of differences of the divided by the differences of . This proves the displayed integral specialization without dividing by a vanishing Vandermonde value.

New to topics? Read the docs here!