Classification and Representation of Quantum States: Basis Vectors, Density Matrices, and Quantum State Classification

At the heart of quantum information science and quantum optics lies a fundamental challenge: how to precisely describe and categorize the state of a quantum system. Whether one is analyzing a single-photon system or complex multi-mode continuous-variable fields, the ability to transition from abstract mathematical constructs to measurable physical observables is a prerequisite for any theoretical or experimental endeavor. To navigate this landscape, one must master the concepts of Hilbert space, the distinction between pure and mixed states, and the unifying power of the density matrix.

Hilbert Space and the Representation of Quantum States

In classical mechanics, the state of a particle is defined by deterministic parameters such as position and momentum. In the quantum regime, however, a system is characterized by a wavefunction—a mathematical object residing in a complex vector space known as a Hilbert space. For finite-dimensional systems, such as a spin-1/2 particle or the polarization states of a single photon, this space provides the geometric framework necessary to represent all possible physical configurations.

To perform actual calculations, we must project these abstract states onto a specific set of basis vectors. While the choice of basis is not unique, a selected set must be complete and orthonormal to ensure that any arbitrary state $|\psi\rangle$ can be expressed as a linear combination:

$$ |\psi\rangle = \sum_{n} c_n |n\rangle $$

In this expansion, $|n\rangle$ represents the $n$-th basis vector, and $c_n$ is a complex coefficient known as the probability amplitude. The physical significance of these coefficients is governed by the normalization condition $\langle\psi|\psi\rangle=1$, which implies that the squared modulus $|c_n|^2$ represents the probability of finding the system in state $|n\rangle$ upon measurement.

For instance, in quantum optics, we frequently utilize the polarization basis. For a single photon, we can define two orthogonal basis vectors representing horizontal ($|H\rangle$) and vertical ($|V\rangle$) polarization:

$$ |H\rangle = \begin{pmatrix} 1 \ 0 \end{pmatrix}, \quad |V\rangle = \begin{pmatrix} 0 \ 1 \end{pmatrix} $$

A photon in a $45^\circ$ diagonal polarization state would then be represented as a coherent superposition of these two basis states:

$$ |\psi_{45}\rangle = \frac{1}{\sqrt{2}}(|H\rangle + |V\rangle) $$

Classification Criteria: Pure vs. Mixed States

A critical step in quantum state analysis is determining the degree of coherence present in a system. This leads to the fundamental classification of quantum states into two categories: pure states and mixed states.

  • Pure States: A system is in a pure state if it can be described by a single, definite wavefunction $|\psi\rangle$. In such a state, the system possesses maximum coherence, meaning that all possible outcomes of a measurement are linked by specific phase relationships. This coherence allows for the observation of quantum interference effects, which are the hallmarks of quantum mechanics.
  • Mixed States: A mixed state occurs when we lack complete information about the system, or when the system has interacted with its environment in a way that introduces noise. Rather than being in a single wavefunction, a mixed state is a statistical ensemble of various pure states $|\psi_i\rangle$, each occurring with a specific probability $p_i$.

The distinction is not merely mathematical; it is deeply physical. While pure states exhibit high-visibility interference patterns, the introduction of "mixedness" (often due to decoherence) causes these interference fringes to wash out, making the system behave more like a classical statistical distribution. Distinguishing between these two is essential for evaluating the quality of quantum light sources and the effectiveness of quantum error correction protocols.

The Density Matrix: A Unified Framework

While basis vectors and wavefunctions are sufficient for describing pure states, they fail to provide a consistent description of mixed states. To bridge this gap, physicists employ the density operator (or density matrix), denoted by $\rho$. The density matrix is a powerful linear operator that serves as a universal tool for describing any quantum statistical state. To be physically valid, $\rho$ must satisfy three conditions: it must be Hermitian ($\rho = \rho^\dagger$), positive semi-definite, and have a unit trace ($\text{Tr}(\rho)=1$).

For a pure state $|\psi\rangle$, the density matrix is constructed as the outer product:

$$ \rho = |\psi\rangle\langle\psi| $$

A defining characteristic of a pure state is that it is idempotent, meaning $\rho^2 = \rho$, which leads to the mathematical criterion $\text{Tr}(\rho^2) = 1$.

For a mixed state, the density matrix is the weighted sum of the density matrices of its constituent pure states:

$$ \rho = \sum_{i} p_i |\psi_i\rangle\langle\psi_i| $$

In this case, the purity of the state is reduced, such that $\text{Tr}(\rho^2) < 1$. This inequality provides a rigorous mathematical test to determine whether a system is pure or mixed.

The true utility of the density matrix becomes apparent when dealing with complex or open quantum systems. Through the process of taking a reduced density matrix, researchers can "trace out" irrelevant degrees of freedom (such as the environment) to focus solely on the subsystem of interest. This is indispensable in calculating observable quantities, such as the second-order coherence function $G^{(2)}(\tau)$ in optical fields, allowing for a seamless transition from theoretical models to experimental data analysis.

Conclusion

The ability to classify and represent quantum states through Hilbert space, basis sets, and density matrices forms the backbone of modern quantum theory. By moving from the specific (basis vectors) to the general (density matrices), we gain a robust language capable of describing everything from ideal, coherent quantum phenomena to the noisy, decoherent realities of experimental physics. As we push toward the frontiers of quantum computing and long-distance quantum communication, the mastery of these representations remains essential for the preparation of high-fidelity states and the mitigation of environmental noise.