| Weyl representation | |
|---|---|
| Name | Weyl representation |
| Field | Quantum physics |
| Introduced | 1927 |
| Introduced by | Hermann Weyl |
| Related | Weyl quantization, Canonical commutation relation |
Weyl representation
The Weyl representation is a formulation of quantum mechanical operators and states using unitary phase-space translation operators and their Fourier transforms. It provides a bridge between operator theory on Hilbert space and phase-space functions, underpinning techniques such as Weyl quantization and the Wigner quasi-probability distribution. The representation is foundational in studies of the canonical commutation relation and in connecting classical mechanics structures to quantum mechanics.
The Weyl representation was introduced by Hermann Weyl in the late 1920s to formalize quantum observables as functions on phase space and to clarify the role of symmetry and Fourier analysis in quantum theory. Weyl's work followed and influenced research by Paul Dirac, John von Neumann, and Eugene Wigner; it contributed to rigorous formulations of the canonical commutation relations (CCR) and the algebraic structure of quantum theory. Institutions and schools such as University of Göttingen, Institute for Advanced Study, and later CERN and national laboratories developed mathematical physics programs that extended Weyl's ideas into quantum field theory and statistical mechanics.
Formally, the Weyl representation associates to a phase-space function f(q,p) an operator W[f] on a separable Hilbert space via an integral transform using the Weyl operators (displacement operators) D(ξ). For a single degree of freedom with position operator Q and momentum operator P, the Weyl operator is D(ξ)=exp(i(ξ1 P + ξ2 Q)/ħ). The map f ↦ W[f] is often expressed via the symplectic Fourier transform and uses the Schrödinger representation of the CCR. The construction relies on tools from functional analysis, Fourier transform, distribution theory, and the theory of C*-algebras and von Neumann algebras. Rigorous treatments appear in works by Reed and Simon, Rudolf Haag, and research on the Stone–von Neumann theorem.
The Weyl representation encodes the CCR in exponentiated form: D(ξ)D(η)=e^{-iσ(ξ,η)/2ħ}D(ξ+η), where σ is the symplectic form on phase space. This exponentiated CCR is central to the Stone–von Neumann theorem, which characterizes the uniqueness of irreducible representations of the CCR under suitable regularity assumptions. The Weyl relations are the starting point for constructing the CCR algebra and for defining quasifree states and representations used in mathematical treatments of quantum statistical mechanics and algebraic quantum field theory as developed by authors such as Haag and Rudolf Haag.
Weyl quantization is the explicit rule that assigns to a classical observable f(q,p) the Weyl operator W[f], producing a symmetric ordering of noncommuting operators. This scheme is closely tied to phase-space techniques like the Wigner quasi-probability distribution and the Moyal bracket, which recast quantum dynamics in phase-space language and relate to deformation quantization. Weyl quantization plays a role in semiclassical analysis, including the WKB approximation and work by Marcel Berger and Victor Guillemin on spectral asymptotics. It also appears in modern formulations such as pseudodifferential operator theory and in computational methods for molecular dynamics used at institutions like Max Planck Institute for the Physics of Complex Systems.
In quantum mechanics, the Weyl representation aids in deriving propagation kernels, phase-space propagators, and in analyzing coherence and decoherence in systems studied at Bell Labs and by research groups in quantum optics (e.g., Roy J. Glauber). In quantum field theory, exponentiated CCRs and Weyl algebras appear in the quantization of linear fields, construction of Gaussian states, and in rigorous treatments of free fields on curved spacetimes undertaken by researchers at Princeton University and University of Cambridge. The representation is used in signal processing analogues, condensed matter studies of the quantum Hall effect, and in semiclassical approximations relevant to atomic physics and chemical physics.
Weyl operators furnish a projective unitary representation of the symplectic group Sp(2n, R) via the metaplectic representation, linking Weyl quantization to group representation theory. The metaplectic group and the role of Harmonic analysis on phase space underpin transformations of Weyl symbols under canonical transformations. This connects to work by André Weil on the Weil representation, to the theory of coherent states (e.g., Erwin Schrödinger's coherent state formalism), and to modern applications in quantum information theory and representation theory at centers such as Institute for Advanced Study and major universities.
Practical use of the Weyl representation involves computing Weyl symbols of operators, using phase-space integrals, and applying the Moyal product to compute operator products. Examples include obtaining the Weyl symbol of the Hamiltonian for a harmonic oscillator, deriving semiclassical expansions via the Weyl calculus, and numerically approximating time evolution using Wigner-based methods in computational chemistry packages and simulations at laboratories such as Lawrence Livermore National Laboratory. Standard references and textbooks for computational techniques include works by Moyal, C. K. Zachos, and the pseudodifferential operator literature by Lars Hörmander.
Category:Quantum mechanics Category:Mathematical physics Category:Hermann Weyl