A mathematical structure used to represent quantum states and the operations performed on them. It specifies how states are expressed, related, combined, and decomposed into components that support calculation. It does not by itself determine physical predictions without a mapping to observables and measurement rules. It enables precise computation of probabilities and expectation values from state and operator inputs. The concept is generally stable, though notation choices and computational methods evolve over time.

Principle

Define N_k = a_k† a_k for each mode; solving N_k |ψ> = n_k |ψ> yields integer eigenvalues n_k constrained by bosonic or fermionic statistics and by the chosen mode algebra.

Demonstration

For the harmonic oscillator mode, the single-mode equation a†a |n> = n|n> gives the occupation number n and underlies the ladder construction a†|n> ∝ |n+1> and a|n> ∝ |n-1>.

Misapplication

Mistaking the Fock eigenvalue equation for a Hamiltonian eigenvalue equation and concluding that number eigenstates are always energy eigenstates, which fails when the Hamiltonian does not commute with number operators.

Consequence

Provides discrete spectra for number observables, allows construction of ladder operations, and gives selection rules for transitions that change occupation numbers by specific integers.

Reversal

Continuous-spectrum eigenvalue problems (e.g., momentum operator p|ψ>=p0|ψ> with p0 continuous) contrast with the discrete integer spectrum of number operators and different normalization and completeness properties.

Boundary

Valid within the chosen Fock space and mode decomposition; eigenvalue relations break down when the mode operators are ill-defined, when modes mix under interactions, or when superselection sectors forbid the corresponding eigenstates.

Semantic Tension

Differs from expectation-value statements: an eigenvalue equation asserts a state has definite eigenvalue, while many physically prepared states only yield eigenvalue distributions (expectation and variance), producing conceptual tension in measurement interpretation.

Synthesis

The Fock eigenvalue equation formalizes the integer-valued measurement outcomes of number observables in a specified mode basis, connecting operator algebra, ladder structure, and experimentally accessible counting statistics.