| Haar measure | |
|---|---|
| Name | Haar measure |
| Field | Mathematics; applications in Quantum physics |
| Introduced by | Alfréd Haar |
| Introduced date | 1933 |
| Related | Locally compact group, Invariant measure, Representation theory |
Haar measure
Haar measure is a canonical translation-invariant measure on a locally compact group that allows integration of functions and the formulation of harmonic analysis on groups. In Quantum physics it underpins the rigorous definition of group-averaged states, invariant ensembles, and the integration over symmetry groups that appear in path integrals and representation-theoretic constructions. Its invariance properties make it essential for expressing conservation laws and constructing invariant operators in quantum systems.
A Haar measure on a topological group G is a non-zero regular Borel measure μ on G that is left-invariant (μ(gE) = μ(E) for all measurable E ⊂ G and g ∈ G) or right-invariant, depending on convention. For a second-countable locally compact group the measure is inner regular and outer regular, and it is finite on compact sets and positive on non-empty open sets. The measure permits defining integrals ∫_G f(g)\,dμ(g) for measurable functions f, enabling the development of L^p spaces, convolution, and Fourier transforms on groups. Key properties include non-uniqueness up to scalar multiples and compatibility with group translations and inversion maps.
The foundational result, due to Alfréd Haar, states that every locally compact group admits a left Haar measure, and similarly a right Haar measure exists. Uniqueness holds up to multiplication by a positive scalar: if μ and ν are left Haar measures on G then ν = c μ for some c > 0. For second countable groups, uniqueness can be used to normalize the Haar measure, for example by setting total mass 1 on a compact group. The proofs employ regularity of Borel measures, Urysohn-type lemmas for locally compact spaces, and compactness arguments; modern expositions use tools from measure theory and functional analysis as in texts by L. Schwartz and Walter Rudin.
On a compact group K the Haar measure is both left- and right-invariant (bi-invariant) and finite, so it may be normalized to a probability measure. This normalization is frequently used in quantum contexts to define invariant ensemble averages and to build projector operators via group averaging. On non-compact but locally compact groups (e.g., R^n, SL(2,R)) left and right Haar measures need not coincide; the discrepancy is measured by the modular function Δ: G → (0,∞), a continuous homomorphism satisfying dμ(gx) = Δ(g) dμ(x) for right vs left invariance. Locally compact amenable groups admit invariant means relevant to thermodynamic limits in quantum models; non-amenability (e.g., Free group) affects existence of certain invariant states.
Construction of Haar measure commonly proceeds via the Riesz representation theorem applied to positive linear functionals on C_c(G), the space of continuous compactly supported functions, ensuring inner regularity. One defines a functional that is invariant under left translations and applies the Hahn–Banach theorem and regularization to obtain a Borel measure. For non-unimodular groups the modular function arises from comparing left and right Haar measures: if μ_L is left-invariant and μ_R is right-invariant, then μ_R = Δ(g) μ_L under translation. The modular function plays a role in the definition of the group von Neumann algebra, the left regular representation on L^2(G,μ), and in the Plancherel theorem for non-compact groups, which are central to quantum harmonic analysis.
==Applications in Quantum Physics (Symmetry, Group Representations, and Integrals) Haar measure is integral to implementing symmetry in quantum theory: invariant integration over a symmetry group yields projector operators onto invariant subspaces, defines group-averaged density matrices, and ensures that observables respect symmetry constraints. In representation theory of Lie groups, Haar measure provides the inner product on spaces of square-integrable functions L^2(G,μ), giving rise to the left regular representation and to decomposition theorems used in constructing quantum states with definite quantum numbers. In quantum information and quantum optics, Haar-random unitary ensembles (with respect to Haar measure on U(n)) model typicality and scrambling; the measure underlies definitions of unitary t-designs and randomized benchmarking protocols used in laboratories such as IBM Quantum and Google Quantum AI. In scattering theory and quantum field theory, invariant integrals over rotation groups (SO(3)), Lorentz group (SO(3,1)) or gauge groups facilitate construction of invariant amplitudes and averaging over gauge orbits.
Classic examples relevant to quantum systems include: - SU(2): the compact Lie group of spin; Haar measure normalized to total mass one yields uniform averaging over spin coherent states and is used in constructing spin-averaged density operators and Clebsch–Gordan decompositions. - U(1): the circle group with Haar measure equal to Lebesgue measure on [0,2π), central in the phase symmetry of quantum oscillators and superconducting circuits (e.g., Josephson junctions). - Heisenberg group: a non-compact, nilpotent Lie group underlying the canonical commutation relations; its Haar measure equals Lebesgue measure on phase space and is essential in Weyl quantization, the Stone–von Neumann theorem, and the formulation of the Wigner function and phase-space path integrals.
In quantum statistical mechanics Haar measure appears in defining partition functions and ensemble averages when symmetries or gauge groups are present; gauge fixing and Faddeev–Popov procedures require careful handling of Haar measures on infinite-dimensional groups. In path integral formulations of quantum field theory and quantum mechanics, integration over group-valued fields uses the invariant measure to ensure gauge invariance of amplitudes; examples include integration over SU(N) gauge fields in lattice gauge theory (simulated at institutions like CERN and Fermilab) and the use of Haar-random unitaries in semiclassical approximations. The interplay between Haar measure, modular functions, and operator algebras (e.g., group C*-algebras and von Neumann algebras) also informs equilibrium states, KMS conditions, and entropy calculations in many-body quantum systems.
Category:Measure theory Category:Representation theory Category:Quantum mechanics