The chief advantage of the phase-space formulation is that it makes quantum mechanics appear as similar toHamiltonian mechanics as possible by avoiding the operator formalism, thereby "'freeing' the quantization of the 'burden' of theHilbert space".[5] This formulation is statistical in nature and offers logical connections between quantum mechanics and classicalstatistical mechanics, enabling a natural comparison between the two (seeclassical limit). Quantum mechanics in phase space is often favored in certainquantum optics applications (seeoptical phase space), or in the study ofdecoherence and a range of specialized technical problems, though otherwise the formalism is less commonly employed in practical situations.[6]
The phase-space distributionf(x, p) of a quantum state is a quasiprobability distribution. In the phase-space formulation, the phase-space distribution may be treated as the fundamental, primitive description of the quantum system, without any reference to wave functions or density matrices.[7]
There are several different ways to represent the distribution, all interrelated.[8][9] The most noteworthy is theWigner representation,W(x, p), discovered first.[4] Other representations (in approximately descending order of prevalence in the literature) include theGlauber–Sudarshan P,[10][11]Husimi Q,[12] Kirkwood–Rihaczek, Mehta, Rivier, and Born–Jordan representations.[13][14] These alternatives are most useful when the Hamiltonian takes a particular form, such asnormal order for the Glauber–Sudarshan P-representation. Since the Wigner representation is the most common, this article will usually stick to it, unless otherwise specified.
The phase-space distribution possesses properties akin to the probability density in a 2n-dimensional phase space. For example, it isreal-valued, unlike the generally complex-valued wave function. We can understand the probability of lying within a position interval, for example, by integrating the Wigner function over all momenta and over the position interval:
IfÂ(x, p) is an operator representing an observable, it may be mapped to phase space asA(x,p) through theWigner transform. Conversely, this operator may be recovered by theWeyl transform.
The expectation value of the observable with respect to the phase-space distribution is[2][15]
Regions of such negative value are provable to be "small": they cannot extend to compact regions larger than a fewħ, and hence disappear in theclassical limit. They are shielded by theuncertainty principle, which does not allow precise localization within phase-space regions smaller thanħ, and thus renders such "negative probabilities" less paradoxical. If the left side of the equation is to be interpreted as an expectation value in the Hilbert space with respect to an operator, then in the context ofquantum optics this equation is known as theoptical equivalence theorem. (For details on the properties and interpretation of the Wigner function, see itsmain article.)
An alternative phase-space approach to quantum mechanics seeks to define a wave function (not just a quasiprobability density) on phase space, typically by means of theSegal–Bargmann transform. To be compatible with the uncertainty principle, the phase-space wave function cannot be an arbitrary function, or else it could be localized into an arbitrarily small region of phase space. Rather, the Segal–Bargmann transform is aholomorphic function of. There is a quasiprobability density associated to the phase-space wave function; it is theHusimi Q representation of the position wave function.
The fundamental noncommutative binary operator in the phase-space formulation that replaces the standard operator multiplication is thestar product, represented by the symbol★.[1] Each representation of the phase-space distribution has adifferent characteristic star product. For concreteness, we restrict this discussion to the star product relevant to the Wigner–Weyl representation.
For notational convenience, we introduce the notion ofleft and right derivatives. For a pair of functionsf andg, the left and right derivatives are defined as
where the argument of the exponential function can be interpreted as apower series.Additional differential relations allow this to be written in terms of a change in the arguments off andg:
It is also possible to define the★-product in a convolution integral form,[16] essentially through theFourier transform:
The energyeigenstate distributions are known asstargenstates,★-genstates,stargenfunctions, or★-genfunctions, and the associated energies are known asstargenvalues or★-genvalues. These are solved, analogously to the time-independentSchrödinger equation, by the★-genvalue equation,[17][18]
whereH is the Hamiltonian, a plain phase-space function, most often identical to the classical Hamiltonian.
In any representation of the phase space distribution with its associated star product, this is
or, for the Wigner function in particular,
where {{ , }} is theMoyal bracket, the Wigner transform of the quantum commutator, while { , } is the classicalPoisson bracket.[2]
This yields a concise illustration of thecorrespondence principle: this equation manifestly reduces to the classical Liouville equation in the limitħ → 0. In the quantum extension of the flow, however,the density of points in phase space is not conserved; the probability fluid appears "diffusive" and compressible.[2] The concept of quantum trajectory is therefore a delicate issue here.[20] See the movie for the Morse potential, below, to appreciate the nonlocality of quantum phase flow.
N.B. Given the restrictions placed by the uncertainty principle on localization,Niels Bohr vigorously denied the physical existence of such trajectories on the microscopic scale. By means of formal phase-space trajectories, the time evolution problem of the Wigner function can be rigorously solved using the path-integral method[21] and themethod of quantum characteristics,[22] although there are severe practical obstacles in both cases.
Wigner function for number states a)n = 0, b)n = 1, and c)n = 19. Marginal distributions forx andp are recovered by integrating overp andx respectively.
The Hamiltonian for the simple harmonic oscillator in one spatial dimension in the Wigner–Weyl representation is
The★-genvalue equation for thestatic Wigner function then reads
Time evolution of combined ground and 1st excited state Wigner function for the simple harmonic oscillator. Note the rigid motion in phase space corresponding to the conventional oscillations in coordinate space.
Wigner function for the harmonic oscillator ground state, displaced from the origin of phase space, i.e., acoherent state. Note the rigid rotation, identical to classical motion: this is a special feature of the SHO, illustrating thecorrespondence principle. From the general pedagogy web-site.[23]
Consider, first, the imaginary part of the★-genvalue equation,
This implies that one may write the★-genstates as functions of a single argument:
With this change of variables, it is possible to write the real part of the★-genvalue equation in the form of a modified Laguerre equation (notHermite's equation!), the solution of which involves theLaguerre polynomials as[18]
introduced by Groenewold,[1] with associated★-genvalues
For the harmonic oscillator, the time evolution of an arbitrary Wigner distribution is simple. An initialW(x, p; t = 0) =F(u) evolves by the above evolution equation driven by the oscillator Hamiltonian given, by simplyrigidly rotating in phase space,[1]
The Wigner function of a simple harmonic oscillator at different levels of excitations. The are rescaled by in order to show that the Wigner function oscillates within that radius, and decays rapidly outside of that radius.
Typically, a "bump" (or coherent state) of energyE ≫ħω can represent a macroscopic quantity and appear like a classical object rotating uniformly in phase space, a plain mechanical oscillator (see the animated figures). Integrating over all phases (starting positions att = 0) of such objects, a continuous "palisade", yields a time-independent configuration similar to the above static★-genstatesF(u), an intuitive visualization of theclassical limit for large-action systems.[6]
The eigenfunctions can also be characterized by being rotationally symmetric (thus time-invariant) pure states. That is, they are functions of form that satisfy.
Suppose a particle is initially in a minimally uncertainGaussian state, with the expectation values of position and momentum both centered at the origin in phase space. The Wigner function for such a state propagating freely is
whereα is a parameter describing the initial width of the Gaussian, andτ =m/α2ħ.
Initially, the position and momenta are uncorrelated. Thus, in 3 dimensions, we expect the position and momentum vectors to be twice as likely to be perpendicular to each other as parallel.
However, the position and momentum become increasingly correlated as the state evolves, because portions of the distribution farther from the origin in position require a larger momentum to be reached: asymptotically,
(This relative"squeezing" reflects the spreading of the freewave packet in coordinate space.)
Indeed, it is possible to show that the kinetic energy of the particle becomes asymptotically radial only, in agreement with the standard quantum-mechanical notion of the ground-state nonzero angular momentum specifying orientation independence:[24]
Tunneling is a hallmark quantum effect where a quantum particle, not having sufficient energy to fly above, still goes through a barrier. This effect does not exist in classical mechanics.
Wigner function of two interfering coherent states evolving through theSHO Hamiltonian. The corresponding momentum and coordinate projections are plotted to the right and under the phase space plot.
^abAgarwal, G. S.; Wolf, E. (1970). "Calculus for Functions of Noncommuting Operators and General Phase-Space Methods in Quantum Mechanics. II. Quantum Mechanics in Phase Space".Physical Review D.2 (10):2187–2205.Bibcode:1970PhRvD...2.2187A.doi:10.1103/PhysRevD.2.2187.
^Kôdi Husimi (1940). "Some Formal Properties of the Density Matrix",Proc. Phys. Math. Soc. Jpn.22: 264–314.
^Agarwal, G. S.; Wolf, E. (1970). "Calculus for Functions of Noncommuting Operators and General Phase-Space Methods in Quantum Mechanics. I. Mapping Theorems and Ordering of Functions of Noncommuting Operators".Physical Review D.2 (10):2161–2186.Bibcode:1970PhRvD...2.2161A.doi:10.1103/PhysRevD.2.2161.
^Baker, George A. (1958). "Formulation of Quantum Mechanics Based on the Quasi-Probability Distribution Induced on Phase Space".Physical Review.109 (6):2198–2206.Bibcode:1958PhRv..109.2198B.doi:10.1103/PhysRev.109.2198.