Holstein-Primakoff transformation