Skip to content

Number States

Number states are the normalized energy eigenstates of the quantum harmonic oscillator. They are eigenstates of the number operator N^=a^†a^\hat N=\hat a^\dagger\hat a, and the integer nn counts oscillator quanta.

For one oscillator,

N^∣n⟩=n∣n⟩,n=0,1,2,…\hat N\lvert n\rangle=n\lvert n\rangle, \qquad n=0,1,2,\ldots

The word “number” does not always mean literal particle number. For a mechanical oscillator it counts vibrational quanta. For a field mode it can become photon, phonon, or particle occupation number after additional physical interpretation.

The oscillator Hamiltonian is

H^=ℏω(N^+12).\hat H =\hbar\omega\left(\hat N+\frac12\right).

Therefore

H^∣n⟩=En∣n⟩,En=ℏω(n+12).\hat H\lvert n\rangle =E_n\lvert n\rangle, \qquad E_n=\hbar\omega\left(n+\frac12\right).

The ground state is ∣0⟩\lvert0\rangle, not ∣1⟩\lvert1\rangle, and its energy is

E0=12ℏω.E_0=\frac12\hbar\omega.

The levels are equally spaced:

En+1−En=ℏω.E_{n+1}-E_n=\hbar\omega.

This equally spaced spectrum is why oscillator number states are the natural language for normal modes.

Number states are orthonormal:

⟨m∣n⟩=δmn.\langle m\vert n\rangle=\delta_{mn}.

They form a complete basis for the oscillator Hilbert space:

∑n=0∞∣n⟩⟨n∣=I^.\sum_{n=0}^{\infty} \lvert n\rangle\langle n\rvert =\hat I.

An arbitrary normalized oscillator state can be expanded as

∣ψ⟩=∑n=0∞cn∣n⟩,∑n=0∞∣cn∣2=1.\lvert\psi\rangle =\sum_{n=0}^{\infty}c_n\lvert n\rangle, \qquad \sum_{n=0}^{\infty}\lvert c_n\rvert^2=1.

If the oscillator energy is measured, the probability of obtaining the level EnE_n is

P(n)=∣cn∣2.P(n)=\lvert c_n\rvert^2.

The mean number is

⟨N^⟩=∑n=0∞n∣cn∣2.\langle \hat N\rangle =\sum_{n=0}^{\infty}n\lvert c_n\rvert^2.

The annihilation and creation operators act as

a^∣n⟩=n ∣n−1⟩,\hat a\lvert n\rangle =\sqrt n\,\lvert n-1\rangle,

and

a^†∣n⟩=n+1 ∣n+1⟩.\hat a^\dagger\lvert n\rangle =\sqrt{n+1}\,\lvert n+1\rangle.

The ground state is defined by

a^∣0⟩=0.\hat a\lvert0\rangle=0.

The normalized number states can be built from the ground state:

∣n⟩=(a^†)nn!∣0⟩.\lvert n\rangle =\frac{(\hat a^\dagger)^n}{\sqrt{n!}} \lvert0\rangle.

The square-root factors are not decoration. They preserve normalization and determine transition matrix elements.

Using the oscillator length

ℓ=ℏmω,\ell=\sqrt{\frac{\hbar}{m\omega}},

the position and momentum operators are

x^=ℓ2(a^+a^†),\hat x =\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right),

and

p^=ℏiℓ2(a^−a^†).\hat p =\frac{\hbar}{i\ell\sqrt2} \left(\hat a-\hat a^\dagger\right).

Thus x^\hat x and p^\hat p connect only neighboring number states:

⟨m∣x^∣n⟩=ℓ2(n δm,n−1+n+1 δm,n+1).\langle m\vert \hat x\vert n\rangle =\frac{\ell}{\sqrt2} \left( \sqrt n\,\delta_{m,n-1} +\sqrt{n+1}\,\delta_{m,n+1} \right).

This nearest-neighbor structure is the algebraic source of many oscillator selection rules.

In position representation,

ψn(x)=⟨x∣n⟩.\psi_n(x)=\langle x\vert n\rangle.

With ℓ=ℏ/(mω)\ell=\sqrt{\hbar/(m\omega)}, the normalized wavefunctions are

ψn(x)=12nn!(1πℓ2)1/4Hn(xℓ)e−x2/(2ℓ2).\psi_n(x) =\frac{1}{\sqrt{2^n n!}} \left(\frac{1}{\pi\ell^2}\right)^{1/4} H_n\left(\frac{x}{\ell}\right) e^{-x^2/(2\ell^2)}.

Here HnH_n is the nnth Hermite polynomial. The parity is

ψn(−x)=(−1)nψn(x).\psi_n(-x)=(-1)^n\psi_n(x).

Even nn gives even wavefunctions; odd nn gives odd wavefunctions. The nnth wavefunction has nn nodes.

A number state has a time-dependent phase

∣n,t⟩=e−iEnt/ℏ∣n⟩.\lvert n,t\rangle =e^{-iE_nt/\hbar}\lvert n\rangle.

Its probability density is time independent. Also,

⟨n∣x^∣n⟩=0,⟨n∣p^∣n⟩=0.\langle n\vert\hat x\vert n\rangle=0, \qquad \langle n\vert\hat p\vert n\rangle=0.

Thus a number state is not a particle moving back and forth along a classical oscillator trajectory. Classical-like oscillatory motion requires superpositions, with coherent states as the canonical example.

Number states reappear whenever harmonic modes are quantized:

  • molecular vibrations and phonons;
  • electromagnetic field modes and photons;
  • trapped-ion motion;
  • oscillator baths in open-system models;
  • normal modes in many-body theory and QFT.

The many-mode occupation-number language is developed in Fock-Space Number States. The bridge from oscillator modes to field modes is summarized in Harmonic Oscillator to Fields.

  • Starting the number label at n=1n=1 instead of n=0n=0.
  • Forgetting the zero-point energy ℏω/2\hbar\omega/2.
  • Treating a^\hat a and a^†\hat a^\dagger as ordinary numbers that commute.
  • Dropping the square-root factors in the ladder actions.
  • Assuming a number state oscillates in position like a classical mass on a spring.
  • Calling every oscillator quantum a particle without checking the physical interpretation of the mode.
  • Confusing a single-oscillator number basis with many-mode Fock space.
  • D. J. Griffiths and D. F. Schroeter, Introduction to Quantum Mechanics, 3rd ed., Cambridge University Press, 2018.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • M. O. Scully and M. S. Zubairy, Quantum Optics, Cambridge University Press, 1997.
  1. Show that ∣n⟩=(a^†)n∣0⟩/n!\lvert n\rangle=(\hat a^\dagger)^n\lvert0\rangle/\sqrt{n!} is normalized if ∣0⟩\lvert0\rangle is normalized.
Solution

Use the ladder action repeatedly:

a^†∣n−1⟩=n ∣n⟩.\hat a^\dagger\lvert n-1\rangle =\sqrt n\,\lvert n\rangle.

Starting from ∣0⟩\lvert0\rangle, repeated application gives

(a^†)n∣0⟩=n! ∣n⟩.(\hat a^\dagger)^n\lvert0\rangle =\sqrt{n!}\,\lvert n\rangle.

Therefore dividing by n!\sqrt{n!} produces the normalized state ∣n⟩\lvert n\rangle.

  1. Compute ⟨n∣x^∣n⟩\langle n\vert\hat x\vert n\rangle using ladder operators.
Solution

Since

x^=ℓ2(a^+a^†),\hat x =\frac{\ell}{\sqrt2} \left(\hat a+\hat a^\dagger\right),

we have

⟨n∣x^∣n⟩=ℓ2(⟨n∣a^∣n⟩+⟨n∣a^†∣n⟩).\langle n\vert\hat x\vert n\rangle =\frac{\ell}{\sqrt2} \left( \langle n\vert\hat a\vert n\rangle +\langle n\vert\hat a^\dagger\vert n\rangle \right).

But a^∣n⟩\hat a\lvert n\rangle is proportional to ∣n−1⟩\lvert n-1\rangle and a^†∣n⟩\hat a^\dagger\lvert n\rangle is proportional to ∣n+1⟩\lvert n+1\rangle, both orthogonal to ∣n⟩\lvert n\rangle. Hence

⟨n∣x^∣n⟩=0.\langle n\vert\hat x\vert n\rangle=0.
  1. If ∣ψ⟩=(∣0⟩+3 ∣1⟩)/2\lvert\psi\rangle=(\lvert0\rangle+\sqrt3\,\lvert1\rangle)/2, what are the possible oscillator energies and their probabilities?
Solution

The coefficients are c0=1/2c_0=1/2 and c1=3/2c_1=\sqrt3/2. Therefore

P(0)=14,P(1)=34.P(0)=\frac14, \qquad P(1)=\frac34.

The possible energies are

E0=12ℏω,E1=32ℏω.E_0=\frac12\hbar\omega, \qquad E_1=\frac32\hbar\omega.