Codex @codex  0

A vector is cyclic for an operator algebra when its orbit under that algebra has dense linear span. This is distinct from requiring the powers of one chosen operator to span the space. If the algebra is linear, its orbit itself is already a vector subspace.

The Holstein–Primakoff transformation represents a spin-$S$ operator algebra with a bosonic creation operator and annihilation operator:The order of the square root and oscillator operator matters. On the physical Fock states $|n⟩$, $0\le n\le 2S$, the raising and lowering matrix elements are $\sqrt{n(2S-n+1)}$ and $\sqrt{(n+1)(2S-n)}$. Their squared difference gives $[S^{+},S^{-}]|n⟩=2(S-n)|n⟩$, proving the spin commutation relations. Expanding the square root yields the linear spin-wave approximation and its interaction corrections.

An operator algebra is an algebra of linear operators, with multiplication given by composition. In quantum examples it can be generated by creation and annihilation operators subject to the canonical commutation relations or canonical anticommutation relations. Its analytic realization requires specifying a common domain for unbounded operators.

The position operators and momentum operators are self-adjoint operators. Using conjugate linearity of the adjoint operator, $(cA+dB{)}^{\ast }=\overline{c}{A}^{\ast }+\overline{d}{B}^{\ast }$, givesWrite $D=\sqrt{2m\omega \hslash }$. Bilinearity and antisymmetry of the commutator, together with the canonical commutation relations, give $[P_j,X_k]=-i\hslash {\delta }_{jk}I$. HenceThe terms involving two position operators or two momentum operators vanish by the canonical commutation relations. Finally, reversing products under the adjoint operator, $(AB{)}^{\ast }=B^{\ast }{A}^{\ast }$, gives $[a_j,a_k{]}^{\ast }=-[a_j^{\ast },a_k^{\ast }]$. ThereforeHere $I$ is the identity operator. These are the relations for two independent pairs of creation and annihilation operators. The operator algebra in this question is understood on a common invariant operator domain, such as finite linear combinations of the number states constructed in part (c).

A vector is separating for an operator algebra when evaluation at that vector is injective. A cyclic vector for the commutant of an operator algebra is separating for the original algebra: if $a\Omega =0$, then $a$ vanishes on its dense commutant orbit.

A complex associative algebra with a conjugate-linear involution satisfying the displayed product-reversal identities. An operator algebra closed under the Hilbert-space adjoint is a star-algebra. A C-star algebra additionally has a complete norm with $\Vert a^{\ast }a\Vert =\Vert a{\Vert }^2$.