Quantum States and Observables: Dirac Notation and Operators
Introduction
The mathematical framework of quantum mechanics is elegant and powerful, providing a precise language for describing quantum systems and their behavior. At its heart lies linear algebra — vectors in complex vector spaces, linear operators, eigenvalues, and inner products. This mathematical structure, largely developed by Paul Dirac and John von Neumann, unifies the seemingly strange features of quantum mechanics into a coherent theory.
The key elements are quantum states represented by vectors, observables represented by operators, and measurement described by the projection onto eigenstates. This framework provides the computational machinery that makes quantum mechanics the most precisely tested theory in the history of science.
Dirac Notation
Bras and Kets
Paul Dirac introduced a notation for quantum states that has become universal. A quantum state is represented by a ket vector, written as a vertical bar followed by the state label and an angle bracket. The corresponding bra vector is the conjugate transpose of the ket, written with an angle bracket and vertical bar.
The inner product of two states — the overlap between them — is written as a bra-ket, which gives the notation its name. The inner product quantifies how much one state resembles another. Orthogonal states, with zero inner product, are completely distinguishable. The squared magnitude of the inner product gives the probability of measuring one state given the system is prepared in another.
Completeness and Basis
Any quantum state can be expressed as a linear combination of basis states. The choice of basis depends on which observable we wish to analyze. Position eigenstates form one basis, momentum eigenstates form another, and energy eigenstates form a third. A state expressed in the position basis is the wave function, while the same state expressed in the momentum basis is the momentum-space wave function.
The completeness relation states that the sum of projections onto all basis states equals the identity operator. This mathematical identity ensures that any state can be decomposed into any complete set of basis states and that probabilities sum to one.
Operators and Observables
Hermitian Operators
In quantum mechanics, every observable physical quantity — position, momentum, energy, angular momentum — is represented by a Hermitian operator. Hermitian operators have the crucial property that their eigenvalues are real numbers, as measurement outcomes must be.
The eigenvectors of an operator form a complete orthonormal basis for the state space. The eigenvalues correspond to possible measurement outcomes. When an observable is measured, the result is always one of its eigenvalues, and the probability of obtaining a particular eigenvalue is given by the squared magnitude of the projection of the state onto the corresponding eigenvector.
Commutation Relations
Operators in quantum mechanics do not generally commute. The order in which they are applied matters. The canonical commutation relation between position and momentum operators directly leads to the Heisenberg uncertainty principle.
Non-commuting operators represent incompatible observables — quantities that cannot simultaneously have definite values. Position and momentum are the classic example. Energy and time are another. The commutation relations encode the fundamental structure of quantum theory and distinguish it from classical mechanics, where all observables commute.
The Measurement Postulate
Projective Measurement
The measurement postulate of quantum mechanics specifies what happens when an observable is measured. Before measurement, the system exists in a superposition of eigenstates of the observable. During measurement, the state collapses to one of these eigenstates, and the corresponding eigenvalue is recorded as the measurement outcome.
The probability of each outcome is given by the Born rule — the squared magnitude of the projection of the pre-measurement state onto the eigenstate. After measurement, the system is left in the eigenstate corresponding to the outcome. This projection is why identical measurements on identically prepared systems can yield different results.
Generalized Measurements
Not all measurements are projective. Positive Operator-Valued Measures describe more general measurement scenarios, including measurements where the system interacts with an auxiliary system that is then measured. POVMs allow for measurements with more outcomes than the dimension of the state space and are essential for describing realistic experimental situations.
POVMs play a crucial role in quantum information theory and quantum computing. They describe the most general possible measurements, including weak measurements that only partially disturb the system, and are fundamental to understanding quantum state tomography and quantum error correction.
Angular Momentum and Spin
Orbital Angular Momentum
Angular momentum in quantum mechanics is quantized — only certain discrete values are allowed. The orbital angular momentum operator describes the angular momentum associated with a particle’s motion through space. Its eigenvalues are determined by an integer quantum number.
The quantization of angular momentum explains the structure of atomic spectra. Electrons in atoms can only occupy orbitals with specific angular momenta, and transitions between these orbitals produce spectral lines at discrete wavelengths. The connection between angular momentum and atomic structure is essential for understanding the periodic table and chemical bonding.
Intrinsic Spin
In addition to orbital angular momentum, particles possess intrinsic angular momentum called spin. Spin has no classical analog — it is not rotation of the particle about an axis but an internal property of the particle. Electrons have spin one-half, meaning their spin projection can take only two values: up or down.
The Pauli matrices represent spin operators for spin-one-half particles. These matrices have profound mathematical properties and obey commutation relations that reflect the geometry of three-dimensional space. Spin is responsible for magnetism, the exclusion principle, and the stability of matter.
The Density Operator
For systems whose state is not completely known — mixed states rather than pure states — quantum mechanics uses the density operator. The density operator can represent classical uncertainty about which pure state the system is in, as well as entanglement with other systems.
The density operator formalism is essential for quantum statistical mechanics, open quantum systems, and quantum information theory. It provides a unified description of pure and mixed states and is the appropriate tool for calculating the behavior of realistic systems that interact with their environment.
The Schrödinger and Heisenberg Pictures
Quantum mechanics can be formulated in different but equivalent ways. In the Schrödinger picture, which is most commonly used, the state vectors evolve in time while operators representing observables remain fixed. The time evolution is governed by the Schrödinger equation, with the Hamiltonian operator generating translations in time.
In the Heisenberg picture, the state vectors are fixed and the operators evolve in time. The Heisenberg equations of motion describe how operators change, and they are analogous to Hamilton’s equations in classical mechanics. The two pictures produce identical predictions for all physical observables.
The interaction picture splits the Hamiltonian into a free part and an interaction part. States evolve according to the free Hamiltonian, and operators evolve according to the interaction Hamiltonian. This picture is particularly useful for time-dependent perturbation theory, where it simplifies the calculation of transition probabilities between quantum states.
The Tensor Product and Composite Systems
When multiple quantum systems are combined, the total state space is the tensor product of the individual state spaces. A system of two qubits has a state space that is the product of two two-dimensional spaces, yielding a four-dimensional space. This tensor product structure is what makes entanglement possible.
Not all states in the composite space are product states — states that can be written as a simple combination of independent subsystem states. Entangled states cannot be factored into product states, meaning the subsystems do not have independent existence. Measuring one subsystem instantly affects the possible outcomes for the other, regardless of the distance between them. The tensor product formalism makes the nonlocal nature of entanglement mathematically precise.
The Schmidt decomposition provides a canonical way to represent bipartite quantum states. Any pure state of two systems can be written as a sum of orthogonal product states with nonnegative coefficients. The number of nonzero terms is the Schmidt rank, which quantifies the amount of entanglement. A product state has Schmidt rank one; a maximally entangled state has the maximum possible Schmidt rank.
Symmetries and Conservation Laws
Symmetries play a fundamental role in quantum mechanics. Every continuous symmetry of the system corresponds to a conserved quantity and a unitary operator that generates the symmetry transformation. Time translation symmetry leads to energy conservation. Spatial translation symmetry leads to momentum conservation. Rotation symmetry leads to angular momentum conservation.
This connection between symmetries and conservation laws, formalized by Emmy Noether in classical mechanics, extends naturally to quantum mechanics. Symmetry considerations simplify the solution of quantum problems and provide deep insights into the structure of quantum theory. The standard model of particle physics extends these symmetry principles to the fundamental forces of nature.
What is an eigenstate in quantum mechanics? An eigenstate of an operator is a state with a definite value for the corresponding observable. When measured, the system is guaranteed to return the associated eigenvalue.
Why are observables represented by Hermitian operators? Hermitian operators guarantee real eigenvalues, which correspond to measurable quantities. They also guarantee complete sets of orthogonal eigenvectors, which is necessary for the probability interpretation of quantum mechanics.
What is the significance of non-commuting operators? Non-commuting operators represent observables that cannot simultaneously have definite values. This incompatibility is the mathematical origin of the uncertainty principle.