Moyal bracket
Generated by GPT-5-miniExpansion Funnel Raw 65 → Dedup 0 → NER 0 → Enqueued 0
| Moyal bracket | |
|---|---|
| Name | Moyal bracket |
| Field | Mathematical physics |
| Introduced | 1949 |
| Founder | José Enrique Moyal |
| Related | Wigner function, Weyl transform, Deformation quantization, Poisson bracket, Symplectic geometry |
Moyal bracket is an operator on phase-space functions that encodes quantum commutation relations in the phase-space formulation pioneered by Eugene Wigner, Hermann Weyl, and José Enrique Moyal. It provides a noncommutative deformation of the classical Poisson bracket and underlies deformation quantization and the Weyl transform correspondence between operators on Hilbert space and functions on phase space.
Definition and basic properties
The Moyal bracket is defined for two phase-space functions using the Weyl transform and the commutator of the corresponding operators, yielding an antisymmetric bilinear map with properties analogous to the commutator in quantum mechanics and the Poisson bracket in classical mechanics. It is skew-symmetric and satisfies the Jacobi identity, making it a Lie bracket on the space of suitable phase-space functions; these properties parallel results in the theory of Lie algebras, C*-algebras, von Neumann algebras, and the operator formalism developed by John von Neumann. Under complex conjugation and suitable trace-class conditions linked to Hilbert space structure, the bracket maps real-valued symbols to real-valued symbols, reflecting Hermiticity conditions considered in Paul Dirac's formulation and in the spectral theory of Eugene Wigner's contemporaries.
Relation to Moyal product and star-commutator
The Moyal bracket is built from the associative noncommutative product known as the Moyal product (or star product), a central object in deformation quantization formulated by Bayen, Flato, Fronsdal, Lichnerowicz, Sternheimer and related to constructions in Maxim Kontsevich's formality theorem. Explicitly, the bracket equals the star-commutator: (f ⋆ g − g ⋆ f)/(iħ), paralleling the commutator for operators in the work of Werner Heisenberg, Paul Dirac, and Wolfgang Pauli. The Moyal product itself can be represented as an exponential of a bidifferential operator involving the canonical symplectic form used in Isaac Newtonian phase-space descriptions and further formalized in modern treatments by André Lichnerowicz and Jean-Marie Souriau.
Connection to Poisson bracket and classical limit
In the formal limit ħ → 0, the Moyal bracket reduces to the Poisson bracket on the classical phase space, reproducing the Hamiltonian flow central to William Rowan Hamilton's and Joseph-Louis Lagrange's formulations. This asymptotic behavior is a cornerstone of semiclassical analysis as developed by Vladimir Arnold, Maslov, and Ludwig Faddeev, and appears in the work of Michael Berry on quantum-classical correspondence. The expansion of the Moyal bracket in powers of ħ yields higher-order quantum corrections to the Poisson bracket analogous to terms appearing in the semiclassical trace formulas studied by Gutzwiller and in perturbative expansions used by Richard Feynman's path integral approach.
Role in quantum mechanics and phase-space formulation
Within the phase-space formulation, the Moyal bracket governs time evolution of the Wigner function via the Moyal equation, the phase-space analogue of the von Neumann equation and Liouville equation; this parallels the operator evolution under the Heisenberg picture and the Schrödinger equation. It permits computation of expectation values and quantum dynamics using phase-space observables, a perspective employed in investigations by Eugene Wigner, José Enrique Moyal, and later practitioners in quantum optics such as Roy J. Glauber and C. M. Caves. The Moyal bracket framework is instrumental in analyzing decoherence studied by Wojciech Zurek and in semiclassical approximations used in chemical physics by researchers like Martin Karplus and George Schatz.
Mathematical structure and symplectic geometry
Mathematically, the Moyal bracket is a deformation of the Lie algebra of smooth functions on a symplectic manifold; it depends on the underlying canonical symplectic form and sits within the broader theory of Poisson manifolds and Fedosov quantization developed by Boris Fedosov. Connections to symplectic geometry and microlocal analysis link the bracket to index theorems of Atiyah–Singer type and to geometric quantization approaches advanced by Bertram Kostant and Jean-Marie Souriau. In contexts with group actions, representations of Lie groups such as Heisenberg group and Symplectic group elucidate the covariance properties of the Moyal bracket, with ties to the harmonic analysis of phase-space harmonic analysis and the theory of metaplectic group representations.
Applications and examples
The Moyal bracket appears in quantum optics, where it is used to propagate quasiprobability distributions for systems studied by Roy J. Glauber and H. J. Carmichael; in quantum chaos through semiclassical methods influenced by Martin Gutzwiller and Michael Berry; and in condensed matter via phase-space approaches employed by Philip W. Anderson and Leo Kadanoff in nonequilibrium settings. Specific examples include the harmonic oscillator treated by Erwin Schrödinger and Paul Dirac methods, spin systems mapped via Stratonovich–Weyl transforms connected to work by Robert Stratonovich, and transport phenomena modeled in mesoscopic physics in studies by Yuli Nazarov and Markus Büttiker. In mathematical physics, the bracket underpins formal deformation techniques used by Maxim Kontsevich in the classification of star products and finds application in quantum field theory constructions tied to renormalization results of Kenneth Wilson and algebraic methods developed by Gerard 't Hooft and Kurt Symanzik.