Skip to main content
Physics LibreTexts

8.3: Observables Based on Creation and Annihilation Operators

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    So far, we have considered only the basis states of many particles for a single observable \(A\). What about other observables, in particular those that do not commute with \(A\)? We can make a similar construction. Suppose an observable \(B\) has eigenvalues \(b_{j}\). We can construct creation and annihilation operators \(\hat{b}_{j}^{\dagger}\) and \(\hat{b}_{j}\) that act according to

    &\hat{b}_{j}^{\dagger}\left|m_{1}, m_{2}, \ldots, m_{j}, \ldots\right\rangle=\sqrt{m_{j}+1}\left|m_{1}, m_{2}, \ldots, m_{j}+1, \ldots\right\rangle, \\
    &\hat{b}_{j}\left|m_{1}, m_{2}, \ldots, m_{j}, \ldots\right\rangle=\sqrt{m_{j}}\left|m_{1}, m_{2}, \ldots, m_{j}-1, \ldots\right\rangle.

    where \(m_{j}\) is the number of particles with value \(b_{j}\). Typically, the basis states of two observables are related via a single unitary transformation \(\left|b_{j}\right\rangle=U\left|a_{j}\right\rangle\) for all \(j\). How does this relate the creation and annihilation operators?

    To answer this, let’s look at the single particle states. We can write the single-particle eigenstates \(\left|a_{j}\right\rangle\) and \(\left|b_{j}\right\rangle\) as

    \[\left|a_{j}\right\rangle=\hat{a}_{j}^{\dagger}|\varnothing\rangle \quad \text { and } \quad\left|b_{j}\right\rangle=\hat{b}_{j}^{\dagger}|\varnothing\rangle.\tag{8.37}\]

    We assume that \(U\) does not change the vacuum6, so \(U|\varnothing\rangle=|\varnothing\rangle\). This means that we can relate the two eigenstates via

    \[\left|b_{j}\right\rangle=U\left|a_{j}\right\rangle=U \hat{a}_{j}^{\dagger}|\varnothing\rangle=U \hat{a}_{j}^{\dagger}\left(U^{\dagger} U\right)|\varnothing\rangle=U \hat{a}_{j}^{\dagger} U^{\dagger}|\varnothing\rangle=\hat{b}_{j}^{\dagger}|\varnothing\rangle,\tag{8.38}\]

    where we have strategically inserted the identity \(\mathbb{I}=U^{\dagger} U\). This leads to the operator transformation

    \[\hat{b}_{j}^{\dagger}=U \hat{a}_{j}^{\dagger} U^{\dagger}.\tag{8.39}\]

    The Hermitian adjoint is easily calculated as \(\hat{b}_{j}=U \hat{a} U^{\dagger}\). It is left as an exercise for you to prove that

    \[\hat{b}_{j}^{\dagger}=\sum_{k} u_{j k} \hat{a}_{k}^{\dagger} \quad \text { and } \quad \hat{b}_{j}=\sum_{k} u_{k j}^{*} \hat{a}_{k},\tag{8.40}\]

    where \(u_{j k}=\left\langle a_{k} \mid b_{j}\right\rangle\).

    How do we construct operators using the creation and annihilation operators? Suppose that a one-particle observable \(H\) has eigenvalues \(E_{j}\) and eigenstates \(|j\rangle\). This can be, for example the Hamiltonian of the system, which ensures that the physical values of the particles (the eigenvalues) are additive. The operator for many identical particles then becomes

    \[H=\sum_{j} E_{j} \hat{n}_{j}=\sum_{j} E_{j} \hat{a}_{j}^{\dagger} \hat{a}_{j},\tag{8.41}\]

    which transforms according to Eq. (8.40). More generally, the operator may not be written in the eigenbasis \(\left|n_{1}, n_{2}, \ldots\right\rangle\), in which case it has the form

    \[H=\sum_{i j} H_{i j} \hat{b}_{i}^{\dagger} \hat{b}_{j},\tag{8.42}\]

    where \(H_{i j}\) are matrix elements. The creation and annihilation operators \(\hat{a}_{j}^{\dagger}\) and \(\hat{a}_{j}\) diagonalise \(H\), and are sometimes called normal modes. The reason for this is that the creation and annihilation operators for bosons obey the same mathematical rules as the raising and lowering operators for the harmonic oscillator. The index \(j\) then denotes different oscillators. A system of coupled oscillators can be decomposed into normal modes, which are themselves isolated harmonic oscillators.

    6This is a natural assumption when we are confined to the single particle Hilbert space, but there are general unitary transformations for which this does not hold, such as the transformation to an accelerated frame.

    This page titled 8.3: Observables Based on Creation and Annihilation Operators is shared under a CC BY-NC-SA 4.0 license and was authored, remixed, and/or curated by Pieter Kok via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.