Introduction
Bra ket notation: symbolic shorthand for quantum states and operators. Developed for efficiency in Hilbert space manipulation. Widely used in quantum mechanics, quantum computing, and related fields. Encodes vectors, dual vectors, inner products, and operators compactly. Essential for expressing measurement, evolution, and superposition.
"The notation is a powerful tool that simplifies the mathematical language of quantum mechanics." -- P.A.M. Dirac
Historical Background
Development by Paul Dirac
Introduced in 1939 in Dirac's book "The Principles of Quantum Mechanics". Motivated by need for abstract vector representation. Combined bra (〈 | ) and ket (| 〉) symbols to represent vectors and duals succinctly.
Preceding Vector Formalisms
Preceded by wavefunction and matrix mechanics. Matrix notation cumbersome for infinite dimensions. Bra ket offered coordinate-free formalism.
Adoption in Quantum Mechanics
Standardized in textbooks and research. Tools for spectral theory, operator algebra, and quantum computing. Provided intuitive link between algebra and geometry.
Notation Basics
Kets
Kets: denoted |ψ⟩, represent vectors in Hilbert space. Abstract state vectors capturing quantum system states.
Bras
Bras: denoted ⟨φ|, represent dual vectors,linear functionals mapping vectors to complex numbers.
Inner Products
Inner product: ⟨φ|ψ⟩, complex scalar measuring overlap between states.
Outer Products
Outer product: |ψ⟩⟨φ|, operator projecting or mapping vectors within Hilbert space.
Kets: State Vectors
Definition
Kets |ψ⟩: elements of Hilbert space H. Abstract vectors, independent of basis choice. Represent pure quantum states.
Properties
Linear: α|ψ⟩ + β|φ⟩ ∈ H for α, β ∈ ℂ. Norm: ⟨ψ|ψ⟩ ≥ 0, with equality only if |ψ⟩=0.
Physical Interpretation
Encodes probability amplitudes. Square modulus |⟨φ|ψ⟩|² gives transition probabilities.
Bras: Dual Vectors
Definition
Bras ⟨φ|: elements of dual space H*, linear functionals on H. Map kets to complex numbers.
Relation to Kets
Hermitian conjugate: ⟨ψ| ≡ (|ψ⟩)†. Ensures inner product ⟨φ|ψ⟩ is sesquilinear form.
Properties
Linearity in second argument, conjugate linearity in first. ⟨αφ + βχ| = α*⟨φ| + β*⟨χ|.
Inner Products
Definition and Notation
Inner product: ⟨φ|ψ⟩ ∈ ℂ, measure of vector overlap. Linear in |ψ⟩, conjugate linear in ⟨φ|.
Properties
Positive-definite: ⟨ψ|ψ⟩ ≥ 0. Hermitian: ⟨φ|ψ⟩ = ⟨ψ|φ⟩*. Completeness: basis formed by orthonormal kets.
Physical Significance
Transition amplitude between states. Probability of measurement outcomes.
⟨φ|ψ⟩ = ∑_i (⟨φ|e_i⟩)(⟨e_i|ψ⟩)Outer Products and Operators
Outer Product Definition
Operator A = |ψ⟩⟨φ|: maps |χ⟩ to |ψ⟩⟨φ|χ⟩. Rank-one operator projecting onto |ψ⟩.
Operator Algebra
Operators form algebra under addition, multiplication. Outer products generate projectors and general operators.
Projection Operators
Projector P = |ψ⟩⟨ψ|: idempotent (P²=P), Hermitian (P†=P). Projects onto subspace spanned by |ψ⟩.
P = |ψ⟩⟨ψ|, P² = P, P† = PLinear Operators
Definition
Linear maps A: H → H, satisfying A(α|ψ⟩ + β|φ⟩) = αA|ψ⟩ + βA|φ⟩.
Hermitian and Unitary Operators
Hermitian: A = A†, observables correspond to Hermitian operators. Unitary: U†U = I, represent quantum evolution.
Matrix Representation
In chosen basis {|e_i⟩}, operator A represented as matrix A_ij = ⟨e_i|A|e_j⟩.
Representation in Basis
Orthonormal Basis
Complete set {|e_i⟩} with ⟨e_i|e_j⟩ = δ_ij. Any ket |ψ⟩ = ∑_i c_i |e_i⟩.
Expansion Coefficients
c_i = ⟨e_i|ψ⟩, complex amplitudes. Basis-dependent representation of abstract states.
Operator Matrix Elements
A_ij = ⟨e_i|A|e_j⟩. Matrix multiplication corresponds to operator composition.
| Object | Representation |
|---|---|
| Ket |ψ⟩ | Column vector (c_1, c_2, ...) |
| Bra ⟨φ| | Row vector (c_1*, c_2*, ...) |
| Operator A | Matrix [A_ij] |
Properties and Axioms
Linearity
Ket space linear: superpositions allowed. Bra linearity conjugate-linear.
Completeness Relation
∑_i |e_i⟩⟨e_i| = I, identity operator. Basis spans entire Hilbert space.
Orthogonality
⟨e_i|e_j⟩ = δ_ij, orthonormality condition.
∑_i |e_i⟩⟨e_i| = IAdjoint Operation
For operator A, adjoint A† defined by ⟨φ|Aψ⟩ = ⟨A†φ|ψ⟩.
Applications in Quantum Mechanics
State Representation
Encoding pure states, superpositions, mixed states. Basis expansion for measurement predictions.
Measurement Formalism
Projectors |ψ⟩⟨ψ| represent measurement outcomes. Probabilities via Born rule: P = |⟨φ|ψ⟩|².
Quantum Dynamics
Unitary evolution: |ψ(t)⟩ = U(t)|ψ(0)⟩. Operators represent observables, Hamiltonians.
Quantum Information
Qubits represented as kets in two-dimensional Hilbert space. Gates as unitary operators.
| Application | Description |
|---|---|
| Quantum Measurement | Projectors yield outcome probabilities |
| Time Evolution | Unitary operators describe state changes |
| Quantum Computing | Qubits as kets; gates as operators |
Common Notations and Conventions
Dirac Notation
Use of vertical bars and angle brackets to denote vectors and duals. Compact, unambiguous.
Normalization
States often normalized: ⟨ψ|ψ⟩ = 1 for physical interpretation.
Composite Systems
Tensor products: |ψ⟩⊗|φ⟩ to represent combined states. Notation extends naturally.
Abuse of Notation
Kets may represent wavefunctions in position basis: |x⟩. Context-dependent.
References
- P.A.M. Dirac, The Principles of Quantum Mechanics, Oxford University Press, 1939, pp. 1-120.
- J.J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 2nd ed., Addison-Wesley, 2011, pp. 45-95.
- R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994, pp. 60-150.
- J. von Neumann, Mathematical Foundations of Quantum Mechanics, Princeton University Press, 1955, pp. 83-140.
- M.A. Nielsen and I.L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2000, pp. 30-100.