Questions: Creation and Annihilation Operators

Question 1

A student wants to compute the matrix element ⟨m|â†|n⟩ for the quantum harmonic oscillator. They plan to express ↠in terms of position and momentum, write out the Hermite polynomial wavefunctions, and evaluate the integral. What is the most fundamental problem with this approach?

• A. The integrals are too difficult to evaluate analytically for general m and n
• B. The result follows immediately from [â, â†] = 1 alone — the integral approach is correct but misses the point that the algebra makes wavefunctions unnecessary
• C. ↠cannot be expressed in terms of position and momentum operators
• D. Matrix elements don't exist for unbounded operators like â†

Answer: (B)

From the commutation relation [â, â†] = 1 and the fact that N̂ = â†â has non-negative integer eigenvalues, one can derive algebraically that â†|n⟩ = √(n+1)|n+1⟩, giving ⟨m|â†|n⟩ = √(n+1) δ_{m,n+1}. No wavefunctions, no integrals, no Hermite polynomials. The algebraic approach works because [â, â†] = 1 is the complete algebraic content of the harmonic oscillator — everything else is a consequence. The student's approach is not technically wrong but treats the algebra as a shortcut rather than the foundation.

Question 2

Why does the fermionic anticommutation relation {ĉ, ĉ†} = 1 with {ĉ, ĉ} = 0 automatically enforce the Pauli exclusion principle?

• A. The anticommutator introduces a sign that cancels the wavefunction when two particles are in the same state
• B. The relation {ĉ, ĉ} = 0 implies (ĉ†)² = 0, making it algebraically impossible to create two fermions in the same mode
• C. Anticommutation relations are defined to prevent double occupation by construction
• D. Fermions have half-integer spin, so their operators must anticommute to conserve angular momentum

Answer: (B)

{ĉ, ĉ} = 2ĉ² = 0 implies ĉ² = 0, and similarly (ĉ†)² = 0. This means: if you try to create two fermions in the same mode by applying ĉ† twice, you get (ĉ†)²|0⟩ = 0 — the zero vector, not a state. The mode is either empty or singly occupied; the algebra allows nothing else. This is not imposed as an extra rule but emerges automatically from the anticommutation relations. The mathematical distinction between bosonic commutators ([â, â†] = 1 allows (â†)ⁿ|0⟩ to be nonzero for all n) and fermionic anticommutators encodes the entire physical distinction between the two species.

Question 3

The term 'second quantization' means the energy of the system is quantized a second time, adding another discrete level on top of the first quantization.

• T. True
• F. False

Answer: False

Nothing is quantized a second time in second quantization. The name is historical and somewhat misleading. What changes is the choice of dynamical variables: instead of treating positions and momenta of individual particles as the fundamental objects, one takes the occupation numbers of each mode as the dynamical variables. The operators â and ↠directly increment and decrement these occupation numbers. The energy levels themselves are the same as in first quantization; the formalism is just reorganized around the occupation-number (Fock) basis, which makes many-body physics tractable.

Question 4

For a bosonic mode, the state â†â†|0⟩ is a valid, normalizable quantum state (proportional to |2⟩).

• T. True
• F. False

Answer: True

For bosons, [â, â†] = 1, and there is no restriction on occupation. â†|0⟩ = √1|1⟩ = |1⟩, and â†|1⟩ = √2|2⟩, so â†â†|0⟩ = √2|2⟩. This is a valid, normalizable Fock state with two quanta. By contrast, for fermions (ĉ†)²|0⟩ = 0, which is the zero vector — not a state at all. The bosonic commutation relation permits arbitrary occupation, while the fermionic anticommutation relation forbids it.

Question 5

Explain why expressing the harmonic oscillator in terms of â and ↠(rather than x̂ and p̂) is described as making the ladder operators 'primary.' What does this enable that the position-space approach does not?

Model answer: In the position-space approach, x̂ and p̂ are primary and the ladder operators are derived combinations. Solving the Schrödinger equation requires finding Hermite polynomial wavefunctions specific to the harmonic oscillator potential. In the algebraic approach, â and ↠are primary and x̂, p̂ are expressed in terms of them. All physics follows from [â, â†] = 1 alone, without specifying a potential or solving differential equations. More importantly, the same algebraic structure applies to any system whose states are labeled by non-negative integers — photon modes in a cavity, phonons in a crystal, magnons in a magnet — making the formalism universally applicable wherever excitations can be counted.

The generalization to many-body systems and quantum field theory is the real payoff. A quantum field is an infinite collection of modes, each with its own (â_k, â†_k) pair. Particles are excitations of these modes — they are created and destroyed by these operators. The algebraic structure, not the position-space wavefunction, is what carries over to relativistic quantum field theory.