Quantum optics relies heavily on mathematical tools to describe light-matter interactions at the quantum level. Dirac notation, operator algebra, and density matrices form the foundation for representing and manipulating quantum states and observables in optical systems.
The quantum harmonic oscillator model is crucial for understanding electromagnetic fields in quantum optics. It introduces key concepts like Fock states, coherent states, and squeezed states, which are essential for describing various quantum optical phenomena and applications.
Dirac Notation for Quantum States
Bra-Ket Notation and Quantum State Representation
- Dirac notation (bra-ket notation) provides a standard way to describe quantum states and operators in quantum mechanics
- A "ket" represents a column vector in a complex Hilbert space and describes the state of a quantum system
- The "bra" is the Hermitian conjugate (complex conjugate transpose) of the ket and represents a row vector
- The inner product of two states and is written as , which yields a complex number
- The outer product of two states is written as , which results in an operator
Basis States and Quantum State Expansion
- Orthonormal basis states, such as and for a two-level system (qubit), satisfy the orthonormality condition: , where is the Kronecker delta
- Example: For a qubit, and
- A quantum state can be expressed as a linear combination of basis states: , where are complex coefficients satisfying the normalization condition
- Example: A qubit state can be written as , where
- The expectation value of an observable in a state is given by , which results in a real number
- Example: For a Pauli-Z operator , the expectation value in state is
Operator Algebra in Quantum Optics

Commutators, Anti-commutators, and their Applications
- Operators in quantum mechanics are linear operators acting on the Hilbert space of quantum states and can represent observables (position, momentum, energy) or transformations of the quantum system
- The commutator of two operators and is defined as
- Two operators commute if their commutator is zero
- The commutation relation between position () and momentum () operators is , where is the reduced Planck's constant
- The anti-commutator of two operators and is defined as
- Fermionic creation and annihilation operators satisfy the anti-commutation relations
- Example: For fermionic operators and , and
Eigenvalues, Eigenstates, and Spectral Decomposition
- Eigenvalues and eigenstates of an operator are defined by the eigenvalue equation , where is the eigenvalue and is the corresponding eigenstate
- Example: For the Pauli-Z operator , the eigenstates are and with eigenvalues and , respectively
- The spectral decomposition of an operator is given by , where are the eigenvalues and are the corresponding eigenstates
- Example: The spectral decomposition of the Pauli-Z operator is
- The time evolution of a quantum state is governed by the Schrödinger equation: , where is the Hamiltonian operator representing the total energy of the system
- The time evolution operator is a unitary operator that relates the state at time to the initial state:
- For time-independent Hamiltonians,
Density Matrices in Quantum Systems

Density Matrix Formalism and Properties
- The density matrix (or density operator) is a Hermitian, positive semidefinite operator with unit trace () that provides a complete description of a quantum system, including both pure and mixed states
- For a pure state , the density matrix is given by the outer product
- Example: For a qubit state , the density matrix is
- For a mixed state, the density matrix is a convex combination of pure state density matrices: , where are the probabilities associated with each pure state
- Example: A mixed state of a qubit can be represented as , where
Applications of Density Matrices
- The expectation value of an observable in a state described by the density matrix is given by
- Example: For a qubit density matrix and Pauli-Z operator , the expectation value is
- The von Neumann entropy of a quantum state described by the density matrix is defined as , which quantifies the degree of mixedness of the state
- For pure states, , while for maximally mixed states, is maximal
- Example: For a maximally mixed qubit state , the von Neumann entropy is
- The time evolution of the density matrix is governed by the von Neumann equation: , where is the Hamiltonian of the system
- Density matrices are particularly useful for describing open quantum systems that interact with their environment, as well as for studying quantum entanglement and decoherence
Quantum Harmonic Oscillator for Optical Systems
Hamiltonian and Fock States
- The quantum harmonic oscillator (QHO) is a fundamental model in quantum mechanics that describes a system with a quadratic potential energy and is widely used to model various physical systems, including electromagnetic fields in quantum optics
- The Hamiltonian of a QHO is given by , where is the angular frequency of the oscillator, and and are the creation and annihilation operators, respectively
- These operators satisfy the commutation relation
- The eigenstates of the QHO Hamiltonian are the Fock states (or number states) , which are characterized by the number of quanta (photons) in the oscillator
- The energy eigenvalues are given by , where
- Example: The ground state has energy , while the first excited state has energy
Coherent and Squeezed States
- The creation and annihilation operators act on the Fock states as follows: and
- They can be used to construct other important quantum states, such as coherent states and squeezed states
- Coherent states are eigenstates of the annihilation operator () and describe the output of an ideal laser
- They are characterized by a complex amplitude and exhibit Poissonian photon number statistics
- Example: A coherent state with can be expressed as
- Squeezed states are quantum states that have reduced uncertainty in one quadrature (position or momentum) at the expense of increased uncertainty in the other quadrature
- They can be generated by applying a squeezing operator S(ξ) = exp[(ξ^*a^2 - ξa^†^2)/2] to a coherent state or vacuum state
- Example: A squeezed vacuum state with squeezing parameter can be expressed as
The QHO model is essential for understanding various quantum optical phenomena, such as light-matter interactions, cavity quantum electrodynamics, and quantum information processing with continuous variables.