Normal ordering identity for up and down operators

ID: normal-ordering-identity-for-up-and-down-operators

If , commuting every past every gives . The recurrence follows from . Applied to the empty diagram in the Young lattice, it counts oscillating tableaux.

New to topics? Read the docs here!