Bra–ket notation

Bra–ket notation
Name	Bra–ket notation
Caption	A visual representation of a bra vector and a ket vector.
Inventor	Paul Dirac
Year	1939
Field	Quantum mechanics, Linear algebra
Related	Matrix mechanics, Wave function

Bra–ket notation. Also known as Dirac notation, this symbolic framework is a standard convention for describing quantum states in the mathematical formulation of quantum mechanics. It provides an efficient way to denote vectors in a complex Hilbert space and the operations between them. The notation cleaves the inner product into two components, a bra and a ket, which together form a bracket, a pun noted by its creator.

Definition and basic concepts

The notation uses angle brackets and vertical bars to represent state vectors. A ket, denoted \( |\psi \rangle \), represents a column vector, a pure quantum state. Its corresponding bra, denoted \( \langle \psi | \), represents a row vector, the Hermitian conjugate of the ket. The inner product of two states \( |\phi \rangle \) and \( |\psi \rangle \) is written as the bracket \( \langle \phi | \psi \rangle \), yielding a complex number. The outer product, written \( |\psi \rangle \langle \phi | \), results in a linear operator, or projector, on the Hilbert space.

Mathematical formalism

Formally, for a Hilbert space \(\mathcal{H}\), a ket \( |\psi \rangle \) is an element of \(\mathcal{H}\). The dual space \(\mathcal{H}^*\) consists of bras \( \langle \psi | \), which are linear functionals. The action of a bra on a ket is the inner product, satisfying properties like conjugate symmetry: \( \langle \phi | \psi \rangle = \overline{\langle \psi | \phi \rangle} \). This structure is foundational in functional analysis. The notation seamlessly handles continuous bases, such as the position basis \( |x \rangle \) or momentum basis \( |p \rangle \), where the inner product \( \langle x | \psi \rangle \) gives the wave function \(\psi(x)\) in the Schrödinger picture.

Common uses in quantum mechanics

This notation is ubiquitous in quantum theory for expressing fundamental postulates. The state of a system is represented by a ket, such as \( |\uparrow_z \rangle \) for spin-up along the z-axis. Observables are represented by Hermitian operators, like the Hamiltonian \(\hat{H}\), and their eigenvalue equations are written as \( \hat{A} |a_n \rangle = a_n |a_n \rangle \). The Born rule for probability amplitude is succinctly \( |\langle \phi | \psi \rangle|^2 \). It is essential in the Copenhagen interpretation and for describing phenomena like quantum entanglement in the EPR paradox.

Properties and operations

Key algebraic properties are naturally expressed. The associative property holds for multiple products. The resolution of the identity, \( \int |x\rangle \langle x| \, dx = \hat{I} \), is a powerful tool for changing bases. Operations like the expectation value of an operator \(\hat{O}\) in state \( |\psi \rangle \) are written as \( \langle \psi | \hat{O} | \psi \rangle \). The Schrödinger equation takes the form \( i\hbar \frac{d}{dt} |\psi(t) \rangle = \hat{H} |\psi(t) \rangle \). The adjoint of an expression follows simple rules, such as \( (|\phi \rangle \langle \psi|)^\dagger = |\psi \rangle \langle \phi| \).

Examples and applications

A simple example is a qubit state in a two-dimensional space: \( |\psi \rangle = \alpha |0 \rangle + \beta |1 \rangle \), where \( |0 \rangle \) and \( |1 \rangle \) are computational basis states. The Pauli matrices operate on such kets. In quantum field theory, creation and annihilation operators act on Fock space states like \( a^\dagger |n \rangle \propto |n+1 \rangle \). The notation is critical in quantum algorithms, such as those for Shor's algorithm and Grover's algorithm, and in formulating quantum teleportation protocols.

Relation to other notations

Bra–ket notation is closely related to, and often more flexible than, other mathematical languages. It generalizes the dot product and matrix multiplication from finite-dimensional linear algebra. The wave function \(\psi(x)\) in the position representation is equivalent to the projection \( \langle x | \psi \rangle \). It contrasts with the wave mechanics approach of Erwin Schrödinger but is complementary to the matrix mechanics of Werner Heisenberg and Max Born. The notation also interfaces with the path integral formulation developed by Richard Feynman, where amplitudes are sums over histories.

Category:Mathematical notation Category:Quantum mechanics