Projected Holstein-Primakoff boson representation of quantum spins for spin wave theory

The Holstein-Primakoff boson representation of quantum spins and associated large-$S$ expansion have been the standard framework for describing the spin wave excitations in magnetically order phases of quantum spin systems. However, we will show that the omission of projection operators and normal-ordering in this representation can produce incorrect magnon hamiltonians for finite $S$. We will present the exact normal-ordered forms of the finite-$S$ projection operators and projected Holstein-Primakoff boson representations of spin and quadrupole operators, which can produce exact two-magnon interaction terms under ferromagnetic or fully polarized states. We will also discuss the difficulties of applying this projected representation to antiferromagnetic spin wave theory.