Leading coefficient of an exponential alternant
ID: leading-coefficient-of-an-exponential-alternant
For distinct and , expand the exponential entries in powers of . Nonzero determinant terms first occur at the distinct powers . The coefficient is the product of their two Vandermonde determinants divided by the factorial product. Ratios of such alternants yield the Weyl dimension formula by taking a torus character to the identity.
New to topics? Read the docs here!