Statistical Description of Photon Quantum States: Fock Space, Quantization of Photonic Number States

In classical electromagnetism, light is described as a continuous wave characterized by amplitude and phase. However, the advent of quantum optics has fundamentally shifted this paradigm, revealing that light is composed of discrete packets of energy known as photons. To rigorously describe the behavior of these particles, a mathematical framework is required that moves beyond the continuous variables of classical fields.

The most natural and powerful framework for this purpose is Fock space. Unlike the coordinate or momentum representations used in standard quantum mechanics, Fock space is constructed using the number of particles as the fundamental basis. This allows us to treat the photon number as a discrete observable, providing the essential tools needed to analyze the statistical properties of light, from highly ordered single-photon states to the stochastic nature of thermal radiation.

The Architecture of Fock Space

Fock space is an infinite-dimensional Hilbert space spanned by a set of orthonormal basis vectors known as photon number states (or Fock states), denoted as $|n\rangle$. Here, the integer $n$ represents the exact number of photons present in a specific electromagnetic mode, where $n \in {0, 1, 2, \dots}$.

The mathematical foundation of this space relies on the orthonormality of these basis states:
$$\langle m | n \rangle = \delta_{mn}$$
where $\delta_{mn}$ is the Kronecker delta, ensuring that states with different photon numbers are perfectly distinguishable and mutually exclusive. The state $|0\rangle$ is particularly significant, representing the vacuum state—the state of minimum energy where no photons are present in the mode.

The Algebra of Light: Creation and Annihilation Operators

The dynamics of photon populations within Fock space are governed by a set of algebraic operators: the annihilation operator ($a$) and the creation operator ($a^\dagger$). These are often referred to as "ladder operators" because they shift the system between different number states.

The action of these operators on a Fock state $|n\rangle$ is defined as follows:

• The Annihilation Operator ($a$): This operator removes a photon from the system.
  $$a |n\rangle = \sqrt{n} |n-1\rangle$$
  Note that when acting on the vacuum state ($n=0$), the result is zero, reflecting the physical impossibility of removing a photon from an empty mode.

• The Creation Operator ($a^\dagger$): This operator adds a photon to the system.
  $$a^\dagger |n\rangle = \sqrt{n+1} |n+1\rangle$$

• The Number Operator ($\hat{n}$): By combining these two, we define the photon number operator, which allows us to extract the particle count from a state:
  $$\hat{n} = a^\dagger a$$
  When $\hat{n}$ acts on a Fock state, it yields the eigenvalue $n$:
  $$\hat{n} |n\rangle = n |n\rangle$$

This algebraic structure is not merely a mathematical convenience; it captures the fundamental quantum nature of light, where the act of adding or removing energy is quantized.

Statistical Dynamics and Non-Classicality

While a pure Fock state $|n\rangle$ is an eigenstate of the number operator—meaning the photon number is known with absolute certainty—the broader study of quantum optics focuses on how different states deviate from this certainty.

1. Comparison with Coherent States

In many practical applications, such as laser light, we encounter Coherent States ($|\alpha\rangle$). Unlike the fixed $n$ of a Fock state, a coherent state is a superposition of many different Fock states. The photon number distribution in a coherent state follows a Poisson distribution, where the variance in photon number is equal to the mean ($\Delta n^2 = \langle n \rangle$). Fock states can be viewed as the extreme limit of this distribution where the variance is zero.

2. Quantum Fluctuations and Antibunching

One of the most striking features of photon number states is their manifestation of non-classicality. Classical light sources (like thermal lamps) exhibit "bunching," where photons tend to arrive in clusters. In contrast, single-photon Fock states $|1\rangle$ exhibit antibunching.

In an antibunched field, the probability of detecting two photons simultaneously is significantly lower than what classical physics would predict. This sub-Poissonian behavior is a direct consequence of the discrete, quantized nature of the Fock space, where the presence of one photon "occupies" the mode, preventing the immediate arrival of another.

Practical Implementation: Single-Photon Detection

The theoretical precision of Fock space finds its most critical application in Quantum Key Distribution (QKD) and quantum communication. In these protocols, the security of information relies on the ability to transmit and detect individual photons.

Consider a scenario where a quantum source produces a superposition state:
$$|\psi\rangle = \alpha |0\rangle + \beta |1\rangle$$
where $|\alpha|^2 + |\beta|^2 = 1$. When this state is subjected to a photon-number-resolving measurement, the probability $P(n)$ of detecting $n$ photons is determined by the projection of the state onto the Fock basis:

• Probability of zero photons: $P(0) = |\langle 0 | \psi \rangle|^2 = |\alpha|^2$
• Probability of one photon: $P(1) = |\langle 1 | \psi \rangle|^2 = |\beta|^2$
• Probability of $n > 1$ photons: $P(n) = 0$

This statistical predictability is the bedrock of quantum security. By understanding the exact probability distributions within Fock space, engineers can calculate error rates, optimize detector efficiency, and ensure that any attempt at eavesdropping (which would inevitably disturb these delicate number states) is immediately detectable.

Conclusion

The statistical description of photon quantum states through Fock space provides the essential bridge between abstract quantum mechanics and observable optical phenomena. By defining light through its particle count via creation and annihilation operators, we gain a rigorous method to describe everything from the vacuum to highly non-classical single-photon states. Whether it is characterizing the noise in a quantum channel or harnessing the power of antibunched light for precision measurement, the framework of Fock space remains the indispensable language of modern quantum optics.