A classical particle has a definite position and momentum, and hence it is represented by a point in phase space. Given a collection (ensemble) of particles, the probability of finding a particle at a certain position in phase space is specified by a probability distribution, the Liouville density. This strict interpretation failsfor a quantum particle, due to theuncertainty principle. Instead, the above quasiprobability Wigner distribution plays an analogous role, but does not satisfy all the properties of a conventional probability distribution; and, conversely, satisfies boundedness properties unavailable to classical distributions.
For instance, the Wigner distribution can and normally does take on negative values for states which have no classical model—and is a convenient indicator of quantum-mechanical interference. (See below for a characterization of pure states whose Wigner functions are non-negative.)Smoothing the Wigner distribution through a filter of size larger thanħ (e.g., convolving with aphase-space Gaussian, aWeierstrass transform, to yield theHusimi representation, below), results in a positive-semidefinite function, i.e., it may be thought to have been coarsened to a semi-classical one.[a]
Regions of such negative value are provable (by convolving them with a small Gaussian) 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 location within phase-space regions smaller thanħ, and thus renders such "negative probabilities" less paradoxical.
The Wigner distributionW(x,p) of a pure state is defined as
whereψ is the wavefunction, andx andp are position and momentum, but could be any conjugate variable pair (e.g. real and imaginary parts of the electric field or frequency and time of a signal). Note that it may have support inx even in regions whereψ has no support inx ("beats").
It is symmetric inx andp:
whereφ is the normalized momentum-space wave function, proportional to theFourier transform ofψ.
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.
1.W(x, p) is a real-valued function.
2. Thex andp probability distributions are given by themarginals:
If the system can be described by apure state, one gets
If the system can be described by apure state, one has
Typically the trace of the density matrix is equal to 1.
This bound disappears in the classical limit,ħ → 0. In this limit,W(x, p) reduces to the probability density in coordinate spacex, usually highly localized, multiplied byδ-functions in momentum: the classical limit is "spiky". Thus, this quantum-mechanical bound precludes a Wigner function which is a perfectly localized δ-function in phase space, as a reflection of the uncertainty principle.[4]
10. The Wigner transformation is simply theFourier transform of theantidiagonals of the density matrix, when that matrix is expressed in a position basis.[5]
TheWigner functionW(x,p) discussed here is thus seen to be the Wigner transform of thedensity matrix operatorρ̂. Thus the trace of an operator with the density matrix Wigner-transforms to the equivalent phase-space integral overlap ofg(x, p) with the Wigner function.
whereH(x,p) is the Hamiltonian, and {{⋅, ⋅}} is theMoyal bracket. In the classical limit,ħ → 0, the Moyal bracket reduces to thePoisson bracket, while this evolution equation reduces to theLiouville equation of classical statistical mechanics.
Formally, the classical Liouville equation can be solved in terms of the phase-space particle trajectories which are solutions of the classical Hamilton equations. This technique of solving partial differential equations is known as themethod of characteristics. This method transfers to quantum systems, where the characteristics' "trajectories" now determine the evolution of Wigner functions. The solution of the Moyal evolution equation for the Wigner function is represented formally as
where and are the characteristic trajectories subject to thequantum Hamilton equations with initial conditions and, and where-product composition is understood for all argument functions.
Since-composition of functions isthoroughly nonlocal (the "quantum probability fluid" diffuses, as observed by Moyal), vestiges of local trajectories in quantum systems are barely discernible in the evolution of the Wigner distribution function.[b] In the integral representation of-products, successive operations by them have been adapted to a phase-space path integral, to solve the evolution equation for the Wigner function[7] (see also[8][9][10]). This non-local feature of Moyal time evolution[11] is illustrated in the gallery below, for Hamiltonians more complex than the harmonic oscillator. In the classical limit, the trajectory nature of the time evolution of Wigner functions becomes more and more distinct. Atħ = 0, the characteristics' trajectories reduce to the classical trajectories of particles in phase space.
In the special case of thequantum harmonic oscillator, however, the evolution is simple and appears identical to the classical motion: a rigid rotation in phase space with a frequency given by the oscillator frequency. This is illustrated in the gallery below. This same time evolution occurs withquantum states of light modes, which are harmonic oscillators.
Examples of Wigner-function time evolutions in a quantum harmonic oscillator
Wigner quasiprobability distribution of a coherent state.
Acat state; themarginals are plotted on the right (p) and underneath (x).
Cat states with 2, 3, 4 cats. The separation between cats range from 0.5, 1, 2, 4, showing increasingly sharp inference.
A very big cat state, with 10 cats separated at.
Fock states
Superpositioned Fock states, for.
.
.
Squeezed states
Wigner quasiprobability distribution of squeezed states, for varying amount of phase shift and displacement. When the phase shift is zero (leftmost column), the peak-to-peak amplitude of oscillation is less uncertain, but the phase (the time at which crosses the midpoint) is more uncertain. The opposite is true when the phase shift is half a cycle (rightmost column).
Varying purity, from totally pure to totally mixed.
The Wigner function allows one to study theclassical limit, offering a comparison of the classical and quantum dynamics in phase space.[12][13]
It has been suggested that the Wigner function approach can be viewed as a quantum analogy to the operatorial formulation of classical mechanics introduced in 1932 byBernard Koopman andJohn von Neumann: the time evolution of the Wigner function approaches, in the limitħ → 0, the time evolution of theKoopman–von Neumann wavefunction of a classical particle.[14]
Moments of the Wigner function generate symmetrized operator averages, in contrast to the normal order and antinormal order generated by theGlauber–Sudarshan P representation andHusimi Q representation respectively. The Wigner representation is thus very well suited for making semi-classical approximations in quantum optics[15] and field theory of Bose-Einstein condensates where high mode occupation approaches a semiclassical limit.[16]
As already noted, the Wigner function of quantum state typically takes some negative values. Indeed, for a pure state in one variable, if for all and, then the wave function must have the form
for some complex numbers with (Hudson's theorem[17]). Note that is allowed to be complex. In other words, it is a one-dimensionalgaussian wave packet. Thus, pure states with non-negative Wigner functions are not necessarily minimum-uncertainty states in the sense of theHeisenberg uncertainty formula; rather, they give equality in theSchrödinger uncertainty formula, which includes an anticommutator term in addition to the commutator term. (With careful definition of the respective variances, all pure-state Wigner functions lead to Heisenberg's inequality all the same.)
In higher dimensions, the characterization of pure states with non-negative Wigner functions is similar; the wave function must have the form
where is a symmetric complex matrix whose real part is positive-definite, is a complex vector, andc is a complex number.[18] The Wigner function of any such state is a Gaussian distribution on phase space.
Francisco Soto and Pierre Claverie[18] give an elegant proof of this characterization, using theSegal–Bargmann transform. The reasoning is as follows. TheHusimi Q function of may be computed as the squared magnitude of the Segal–Bargmann transform of, multiplied by a Gaussian. Meanwhile, the Husimi Q function is the convolution of the Wigner function with a Gaussian. If the Wigner function of is non-negative everywhere on phase space, then the Husimi Q function will be strictly positive everywhere on phase space. Thus, the Segal–Bargmann transform of will be nowhere zero. Thus, by a standard result from complex analysis, we have
for some holomorphic function. But in order for to belong to theSegal–Bargmann space—that is, for to be square-integrable with respect to a Gaussian measure— must have at most quadratic growth at infinity. From this, elementary complex analysis can be used to show that must actually be a quadratic polynomial. Thus, we obtain an explicit form of the Segal–Bargmann transform of any pure state whose Wigner function is non-negative. We can then invert the Segal–Bargmann transform to obtain the claimed form of the position wave function.
There does not appear to be any simple characterization ofmixed states with non-negative Wigner functions.
It has been shown that the Wigner quasiprobability distribution function can be regarded as anħ-deformation of another phase-space distribution function that describes an ensemble ofde Broglie–Bohm causal trajectories.[19]Basil Hiley has shown that the quasi-probability distribution may be understood as thedensity matrix re-expressed in terms of a mean position and momentum of a "cell" in phase space, and the de Broglie–Bohm interpretation allows one to describe the dynamics of the centers of such "cells".[20][21]
There is a close connection between the description of quantum states in terms of the Wigner function and a method of quantum states reconstruction in terms ofmutually unbiased bases.[22]
A contour plot of the Wigner–Ville distribution for achirped pulse of light. The plot makes it obvious that the frequency is a linear function of time.
In the modelling of optical systems such as telescopes or fibre telecommunications devices, the Wigner function is used to bridge the gap between simpleray tracing and the full wave analysis of the system. Herep/ħ is replaced withk = |k| sin θ ≈ |k|θ in the small-angle (paraxial) approximation. In this context, the Wigner function is the closest one can get to describing the system in terms of rays at positionx and angleθ while still including the effects of interference.[23] If it becomes negative at any point, then simple ray tracing will not suffice to model the system. That is to say, negative values of this function are a symptom of theGabor limit of the classical light signal andnot of quantum features of light associated withħ.
Insignal analysis, a time-varying electrical signal, mechanical vibration, or sound wave are represented by aWigner function. Here,x is replaced with the time, andp/ħ is replaced with the angular frequencyω = 2πf, wheref is the regular frequency.
Inultrafast optics, short laser pulses are characterized with the Wigner function using the samef andt substitutions as above. Pulse defects such aschirp (the change in frequency with time) can be visualized with the Wigner function. See adjacent figure.
In quantum optics,x andp/ħ are replaced with theX andP quadratures, the real and imaginary components of the electric field (seecoherent state).
The Wigner distribution was the first quasiprobability distribution to be formulated, but many more followed, formally equivalent and transformable to and from it (seeTransformation between distributions in time–frequency analysis). As in the case of coordinate systems, on account of varying properties, several such have with various advantages for specific applications:
Nevertheless, in some sense, the Wigner distribution holds a privileged position among all these distributions, since it is theonly one whose requisite star-product drops out (integrates out by parts to effective unity) in the evaluation of expectation values, as illustrated above, and socan be visualized as a quasiprobability measure analogous to the classical ones.
The Wigner function was independently derived several times in different contexts. It was introduced by Eugene Wigner in 1932.[1] Eugene Wigner was unaware that even within the context of quantum theory, it had been introduced a couple of years before byWerner Heisenberg andPaul Dirac,[24][25] albeit purely formally: these two missed its significance, and that of its negative values, as they merely considered it as an approximation to the full quantum description of a system such as the atom.
In 1949,José Enrique Moyal, who had derived it independently, recognized it as thequantum moment-generating functional,[27] and thus as the basis of an elegant encoding of all quantum expectation values, and hence quantum mechanics, in phase space (seePhase-space formulation).
In most of his correspondence with Moyal in the mid-1940s, Dirac was unaware that Moyal's quantum-moment generating function was effectively the Wigner function, and it was Moyal who finally brought it to his attention.[28]
^Specifically, since this convolution is invertible, in fact, no information has been sacrificed, and the full quantum entropy has not increased yet. However, if this resulting Husimi distribution is then used as a plain measure in a phase-space integral evaluation of expectation valueswithout the requisite star product of the Husimi representation, then, at that stage, quantum informationhas been forfeited and the distributionis a semi-classical one, effectively. That is, depending on its usage in evaluating expectation values, the verysame distribution may serve as a quantum or a classical distribution function.
^Quantum characteristics should not be confused with trajectories of theFeynman path integral, or trajectories of thede Broglie–Bohm theory. This three-fold ambiguity allows better understanding of the position ofNiels Bohr, who vigorously but counterproductively opposed the notion of trajectory in the atomic physics. At the 1948 Pocono Conference, e.g., he said toRichard Feynman: "... one could not talk about the trajectory of an electron in the atom, because it was something not observable". ("The Beat of a Different Drum: The Life and Science of Richard Feynman", by Jagdish Mehra (Oxford, 1994, pp. 245–248)). Arguments of this kind were widely used in the past byErnst Mach in his criticism of an atomic theory of physics and later, in the 1960s, byGeoffrey Chew,Tullio Regge and others to motivate replacing the local quantum field theory by theS-matrix theory. Today, statistical physics entirely based on atomistic concepts is included in standard courses, the S-matrix theory went out of fashion, while the Feynman path-integral method has been recognized as the most efficient method ingauge theories.
^See, for example:Wojciech H. Zurek,Decoherence and the transition from quantum to classical – revisited, Los Alamos Science, 27, 2002,arXiv:quant-ph/0306072, pp. 15 ff.
^See, for example: C. Zachos, D. Fairlie, T. Curtright,Quantum mechanics in phase space: an overview with selected papers, World Scientific, 2005.ISBN978-981-4520-43-0.
^Graham, R (1973). "Statistical Theory of Instabilities in Stationary Nonequilibrium Systems with Applications to Lasers and Nonlinear Optics".Springer Tracts in Modern Physics. Springer. p. 1.
^Blakie†, P.B.; Bradley†, A.S.; Davis, M.J.; Ballagh, R.J.; Gardiner, C.W. (2008-09-01). "Dynamics and statistical mechanics of ultra-cold Bose gases using c-field techniques".Advances in Physics.57 (5):363–455.arXiv:0809.1487.doi:10.1080/00018730802564254.ISSN0001-8732.
^B. J. Hiley:Phase space descriptions of quantum phenomena, in: A. Khrennikov (ed.):Quantum Theory: Re-consideration of Foundations–2, pp. 267–286, Växjö University Press, Sweden, 2003 (PDF).
^B. Hiley:Moyal's characteristic function, the density matrix and von Neumann's idempotent (preprint).
^F. C. Khanna, P. A. Mello, M. Revzen, Classical and Quantum Mechanical State Reconstruction,arXiv:1112.3164v1 [quant-ph] (submitted December 14, 2011).
M. Levanda and V. Fleurov, "Wigner quasi-distribution function for charged particles in classical electromagnetic fields",Annals of Physics,292, 199–231 (2001).arXiv:cond-mat/0105137.