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!