fbpx
Wikipedia

Wigner quasiprobability distribution

The Wigner quasiprobability distribution (also called the Wigner function or the Wigner–Ville distribution, after Eugene Wigner and Jean-André Ville) is a quasiprobability distribution. It was introduced by Eugene Wigner in 1932[1] to study quantum corrections to classical statistical mechanics. The goal was to link the wavefunction that appears in Schrödinger's equation to a probability distribution in phase space.

Wigner function of a so-called cat state

It is a generating function for all spatial autocorrelation functions of a given quantum-mechanical wavefunction ψ(x). Thus, it maps[2] on the quantum density matrix in the map between real phase-space functions and Hermitian operators introduced by Hermann Weyl in 1927,[3] in a context related to representation theory in mathematics (see Weyl quantization). In effect, it is the Wigner–Weyl transform of the density matrix, so the realization of that operator in phase space. It was later rederived by Jean Ville in 1948 as a quadratic (in signal) representation of the local time-frequency energy of a signal,[4] effectively a spectrogram.

In 1949, José Enrique Moyal, who had derived it independently, recognized it as the quantum moment-generating functional,[5] and thus as the basis of an elegant encoding of all quantum expectation values, and hence quantum mechanics, in phase space (see Phase-space formulation). It has applications in statistical mechanics, quantum chemistry, quantum optics, classical optics and signal analysis in diverse fields, such as electrical engineering, seismology, time–frequency analysis for music signals, spectrograms in biology and speech processing, and engine design.

Relation to classical mechanics edit

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 fails for a quantum particle, due to the uncertainty 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 a phase-space Gaussian, a Weierstrass transform, to yield the Husimi 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 the classical limit. They are shielded by the uncertainty principle, which does not allow precise location within phase-space regions smaller than ħ, and thus renders such "negative probabilities" less paradoxical.

Definition and meaning edit

The Wigner distribution W(x,p) of a pure state is defined as

 

where ψ is the wavefunction, and x and p 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 in x even in regions where ψ has no support in x ("beats").

It is symmetric in x and p:

 

where φ is the normalized momentum-space wave function, proportional to the Fourier transform of ψ.

In 3D,

 

In the general case, which includes mixed states, it is the Wigner transform of the density matrix:

 
where ⟨x|ψ⟩ = ψ(x). This Wigner transformation (or map) is the inverse of the Weyl transform, which maps phase-space functions to Hilbert-space operators, in Weyl quantization.

Thus, the Wigner function is the cornerstone of quantum mechanics in phase space.

In 1949, José Enrique Moyal elucidated how the Wigner function provides the integration measure (analogous to a probability density function) in phase space, to yield expectation values from phase-space c-number functions g(xp) uniquely associated to suitably ordered operators Ĝ through Weyl's transform (see Wigner–Weyl transform and property 7 below), in a manner evocative of classical probability theory.

Specifically, an operator's Ĝ expectation value is a "phase-space average" of the Wigner transform of that operator:

 

Mathematical properties edit

 
The Wigner quasiprobability distribution for different energy eigenstates of the quantum harmonic oscillator: a) n = 0 (ground state), b) n = 1, c) n = 5

1. W(xp) is a real-valued function.

2. The x and p probability distributions are given by the marginals:

  If the system can be described by a pure state, one gets  
  If the system can be described by a pure state, one has  
 
Typically the trace of the density matrix   is equal to 1.

3. W(x, p) has the following reflection symmetries:

  • Time symmetry:  
  • Space symmetry:  

4. W(x, p) is Galilei-covariant:

 
It is not Lorentz-covariant.

5. The equation of motion for each point in the phase space is classical in the absence of forces:

 
In fact, it is classical even in the presence of harmonic forces.

6. State overlap is calculated as

 

7. Operator expectation values (averages) are calculated as phase-space averages of the respective Wigner transforms:

 
 

8. For W(x, p) to represent physical (positive) density matrices, it must satisfy

 
for all pure states |θ⟩.

9. By virtue of the Cauchy–Schwarz inequality, for a pure state, it is constrained to be bounded:

 
This bound disappears in the classical limit, ħ → 0. In this limit, W(xp) reduces to the probability density in coordinate space x, 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.[6]

10. The Wigner transformation is simply the Fourier transform of the antidiagonals of the density matrix, when that matrix is expressed in a position basis.[7]

Examples edit

Let   be the  -th Fock state of a quantum harmonic oscillator. Groenewold (1946) discovered its associated Wigner function, in dimensionless variables:

 

where   denotes the  -th Laguerre polynomial.

This may follow from the expression for the static eigenstate wavefunctions,

 

where   is the  -th Hermite polynomial. From the above definition of the Wigner function, upon a change of integration variables,

 

The expression then follows from the integral relation between Hermite and Laguerre polynomials.[8]

Evolution equation for Wigner function edit

The Wigner transformation is a general invertible transformation of an operator Ĝ on a Hilbert space to a function g(xp) on phase space and is given by

 

Hermitian operators map to real functions. The inverse of this transformation, from phase space to Hilbert space, is called the Weyl transformation:

 

(not to be confused with the distinct Weyl transformation in differential geometry).

The Wigner function W(x, p) discussed here is thus seen to be the Wigner transform of the density matrix operator ρ̂. Thus the trace of an operator with the density matrix Wigner-transforms to the equivalent phase-space integral overlap of g(xp) with the Wigner function.

The Wigner transform of the von Neumann evolution equation of the density matrix in the Schrödinger picture is Moyal's evolution equation for the Wigner function:

 

where H(x, p) is the Hamiltonian, and {{⋅, ⋅}} is the Moyal bracket. In the classical limit, ħ → 0, the Moyal bracket reduces to the Poisson bracket, while this evolution equation reduces to the Liouville 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 the method 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 the quantum Hamilton equations with initial conditions   and  , and where  -product composition is understood for all argument functions.

Since  -composition of functions is thoroughly 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[9] (see also [10][11][12]). This non-local feature of Moyal time evolution[13] 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.

Harmonic-oscillator time evolution edit

In the special case of the quantum 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 with quantum states of light modes, which are harmonic oscillators.

Classical limit edit

The Wigner function allows one to study the classical limit, offering a comparison of the classical and quantum dynamics in phase space.[15][16]

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 by Bernard Koopman and John von Neumann: the time evolution of the Wigner function approaches, in the limit ħ → 0, the time evolution of the Koopman–von Neumann wavefunction of a classical particle.[17]

Positivity of the Wigner function edit

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[18]). Note that   is allowed to be complex, so that   is not necessarily a Gaussian wave packet in the usual sense. Thus, pure states with non-negative Wigner functions are not necessarily minimum-uncertainty states in the sense of the Heisenberg uncertainty formula; rather, they give equality in the Schrö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, and c is a complex number.[19] The Wigner function of any such state is a Gaussian distribution on phase space.

Soto and Claverie[19] give an elegant proof of this characterization, using the Segal–Bargmann transform. The reasoning is as follows. The Husimi 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 the Segal–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 of mixed states with non-negative Wigner functions.

The Wigner function in relation to other interpretations of quantum mechanics edit

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 of de Broglie–Bohm causal trajectories.[20] Basil Hiley has shown that the quasi-probability distribution may be understood as the density 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".[21][22]

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 of mutually unbiased bases.[23]

Uses of the Wigner function outside quantum mechanics edit

 
A contour plot of the Wigner–Ville distribution for a chirped 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 simple ray tracing and the full wave analysis of the system. Here p/ħ is replaced with k = |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 position x and angle θ while still including the effects of interference.[24] 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 the Gabor limit of the classical light signal and not of quantum features of light associated with ħ.
  • In signal analysis, a time-varying electrical signal, mechanical vibration, or sound wave are represented by a Wigner function. Here, x is replaced with the time, and p/ħ is replaced with the angular frequency ω = 2πf, where f is the regular frequency.
  • In ultrafast optics, short laser pulses are characterized with the Wigner function using the same f and t substitutions as above. Pulse defects such as chirp (the change in frequency with time) can be visualized with the Wigner function. See adjacent figure.
  • In quantum optics, x and p/ħ are replaced with the X and P quadratures, the real and imaginary components of the electric field (see coherent state).

Measurements of the Wigner function edit

Other related quasiprobability distributions edit

The Wigner distribution was the first quasiprobability distribution to be formulated, but many more followed, formally equivalent and transformable to and from it (see Transformation 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 the only one whose requisite star-product drops out (integrates out by parts to effective unity) in the evaluation of expectation values, as illustrated above, and so can be visualized as a quasiprobability measure analogous to the classical ones.

Historical note edit

As indicated, the formula for the Wigner function was independently derived several times in different contexts. In fact, apparently, Wigner was unaware that even within the context of quantum theory, it had been introduced previously by Heisenberg and Dirac,[25][26] 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. (Incidentally, Dirac would later become Wigner's brother-in-law, marrying his sister Manci.) Symmetrically, in most of his legendary 18-month 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.[27]

See also edit

Footnotes edit

  1. ^ 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 values without the requisite star product of the Husimi representation, then, at that stage, quantum information has been forfeited and the distribution is a semi-classical one, effectively. That is, depending on its usage in evaluating expectation values, the very same distribution may serve as a quantum or a classical distribution function.
  2. ^ Quantum characteristics should not be confused with trajectories of the Feynman path integral, or trajectories of the de Broglie–Bohm theory. This three-fold ambiguity allows better understanding of the position of Niels Bohr, who vigorously but counterproductively opposed the notion of trajectory in the atomic physics. At the 1948 Pocono Conference, e.g., he said to Richard 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 by Ernst Mach in his criticism of an atomic theory of physics and later, in the 1960s, by Geoffrey Chew, Tullio Regge and others to motivate replacing the local quantum field theory by the S-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 in gauge theories.

References edit

  1. ^ E. P. Wigner (1932). "On the quantum correction for thermodynamic equilibrium". Physical Review. 40 (5): 749–759. Bibcode:1932PhRv...40..749W. doi:10.1103/PhysRev.40.749. hdl:10338.dmlcz/141466.
  2. ^ H. J. Groenewold (1946). "On the principles of elementary quantum mechanics". Physica. 12 (7): 405–460. Bibcode:1946Phy....12..405G. doi:10.1016/S0031-8914(46)80059-4.
  3. ^ H. Weyl (1927). "Quantenmechanik und gruppentheorie". Zeitschrift für Physik. 46 (1–2): 1. Bibcode:1927ZPhy...46....1W. doi:10.1007/BF02055756. S2CID 121036548.; H. Weyl, Gruppentheorie und Quantenmechanik (Leipzig: Hirzel) (1928); H. Weyl, The Theory of Groups and Quantum Mechanics (Dover, New York, 1931).
  4. ^ J. Ville, "Théorie et Applications de la Notion de Signal Analytique", Câbles et Transmission, 2, 61–74 (1948).
  5. ^ Moyal, J. E. (1949). "Quantum mechanics as a statistical theory". Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press (CUP). 45 (1): 99–124. doi:10.1017/s0305004100000487. ISSN 0305-0041. S2CID 124183640.
  6. ^ Curtright, T. L.; Zachos, C. K. (2012). "Quantum Mechanics in Phase Space". Asia Pacific Physics Newsletter. 1: 37. arXiv:1104.5269. doi:10.1142/S2251158X12000069. S2CID 119230734.; C. Zachos, D. Fairlie, and T. Curtright, Quantum Mechanics in Phase Space (World Scientific, Singapore, 2005). ISBN 978-981-238-384-6.
  7. ^ Hawkes, Peter W. (2018). Advances in Imaging and Electron Physics. Academic Press. p. 47. ISBN 9780128155424.
  8. ^ Schleich, Wolfgang P. (2001-02-09). Quantum Optics in Phase Space (1st ed.). Wiley. p. 105. doi:10.1002/3527602976. ISBN 978-3-527-29435-0.
  9. ^ B. Leaf (1968). "Weyl transform in nonrelativistic quantum dynamics". Journal of Mathematical Physics. 9 (5): 769–781. Bibcode:1968JMP.....9..769L. doi:10.1063/1.1664640.
  10. ^ P. Sharan (1979). "Star-product representation of path integrals". Physical Review D. 20 (2): 414–418. Bibcode:1979PhRvD..20..414S. doi:10.1103/PhysRevD.20.414.
  11. ^ M. S. Marinov (1991). "A new type of phase-space path integral". Physics Letters A. 153 (1): 5–11. Bibcode:1991PhLA..153....5M. doi:10.1016/0375-9601(91)90352-9.
  12. ^ B. Segev: Evolution kernels for phase space distributions. In: M. A. Olshanetsky; Arkady Vainshtein (2002). Multiple Facets of Quantization and Supersymmetry: Michael Marinov Memorial Volume. World Scientific. pp. 68–90. ISBN 978-981-238-072-2. Retrieved 26 October 2012. See especially section 5. "Path integral for the propagator" on pages 86–89. Also online.
  13. ^ M. Oliva, D. Kakofengitis, and O. Steuernagel (2018). "Anharmonic quantum mechanical systems do not feature phase space trajectories". Physica A. 502: 201–210. arXiv:1611.03303. Bibcode:2018PhyA..502..201O. doi:10.1016/j.physa.2017.10.047. S2CID 53691877.{{cite journal}}: CS1 maint: multiple names: authors list (link)
  14. ^ a b Curtright, T. L., Time-dependent Wigner Functions.
  15. ^ 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.
  16. ^ See, for example: C. Zachos, D. Fairlie, T. Curtright, Quantum mechanics in phase space: an overview with selected papers, World Scientific, 2005. ISBN 978-981-4520-43-0.
  17. ^ Bondar, Denys I.; Cabrera, Renan; Zhdanov, Dmitry V.; Rabitz, Herschel A. (2013). "Wigner phase-space distribution as a wave function". Physical Review A. 88 (5): 052108. arXiv:1202.3628. doi:10.1103/PhysRevA.88.052108. ISSN 1050-2947. S2CID 119155284.
  18. ^ Hudson, Robin L. (1974). "When is the Wigner quasi-probability density non-negative?". Reports on Mathematical Physics. 6 (2): 249–252. Bibcode:1974RpMP....6..249H. doi:10.1016/0034-4877(74)90007-X.
  19. ^ a b F. Soto and P. Claverie, "When is the Wigner function of multidimensional systems nonnegative?", Journal of Mathematical Physics 24 (1983) 97–100.
  20. ^ Dias, Nuno Costa; Prata, João Nuno (2002). "Bohmian trajectories and quantum phase space distributions". Physics Letters A. 302 (5–6): 261–272. arXiv:quant-ph/0208156v1. doi:10.1016/s0375-9601(02)01175-1. ISSN 0375-9601. S2CID 39936409.
  21. ^ 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).
  22. ^ B. Hiley: Moyal's characteristic function, the density matrix and von Neumann's idempotent (preprint).
  23. ^ F. C. Khanna, P. A. Mello, M. Revzen, Classical and Quantum Mechanical State Reconstruction, arXiv:1112.3164v1 [quant-ph] (submitted December 14, 2011).
  24. ^ Bazarov, Ivan V. (2012-05-03). "Synchrotron radiation representation in phase space". Physical Review Special Topics - Accelerators and Beams. American Physical Society (APS). 15 (5): 050703. doi:10.1103/physrevstab.15.050703. ISSN 1098-4402. S2CID 53489256.
  25. ^ W. Heisenberg (1931). "Über die inkohärente Streuung von Röntgenstrahlen". Physikalische Zeitschrift. 32: 737–740.
  26. ^ Dirac, P. A. M. (1930). "Note on Exchange Phenomena in the Thomas Atom". Mathematical Proceedings of the Cambridge Philosophical Society. Cambridge University Press (CUP). 26 (3): 376–385. doi:10.1017/s0305004100016108. ISSN 0305-0041. S2CID 97185766.
  27. ^ Ann Moyal, (2006), "Maverick Mathematician: The Life and Science of J. E. Moyal", ANU E-press, 2006, ISBN 1-920942-59-9.

Further reading edit

  • 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.

External links edit

  • wigner Wigner function implementation in QuTiP.
  • Quantum Optics Gallery.
  • Sonogram Visible Speech GPL-licensed freeware for the Wigner quasiprobability distribution of signal files.

wigner, quasiprobability, distribution, other, uses, wigner, distribution, disambiguation, also, called, wigner, function, wigner, ville, distribution, after, eugene, wigner, jean, andré, ville, quasiprobability, distribution, introduced, eugene, wigner, 1932,. For other uses see Wigner distribution disambiguation The Wigner quasiprobability distribution also called the Wigner function or the Wigner Ville distribution after Eugene Wigner and Jean Andre Ville is a quasiprobability distribution It was introduced by Eugene Wigner in 1932 1 to study quantum corrections to classical statistical mechanics The goal was to link the wavefunction that appears in Schrodinger s equation to a probability distribution in phase space Wigner function of a so called cat stateIt is a generating function for all spatial autocorrelation functions of a given quantum mechanical wavefunction ps x Thus it maps 2 on the quantum density matrix in the map between real phase space functions and Hermitian operators introduced by Hermann Weyl in 1927 3 in a context related to representation theory in mathematics see Weyl quantization In effect it is the Wigner Weyl transform of the density matrix so the realization of that operator in phase space It was later rederived by Jean Ville in 1948 as a quadratic in signal representation of the local time frequency energy of a signal 4 effectively a spectrogram In 1949 Jose Enrique Moyal who had derived it independently recognized it as the quantum moment generating functional 5 and thus as the basis of an elegant encoding of all quantum expectation values and hence quantum mechanics in phase space see Phase space formulation It has applications in statistical mechanics quantum chemistry quantum optics classical optics and signal analysis in diverse fields such as electrical engineering seismology time frequency analysis for music signals spectrograms in biology and speech processing and engine design Contents 1 Relation to classical mechanics 2 Definition and meaning 3 Mathematical properties 4 Examples 5 Evolution equation for Wigner function 5 1 Harmonic oscillator time evolution 6 Classical limit 7 Positivity of the Wigner function 8 The Wigner function in relation to other interpretations of quantum mechanics 9 Uses of the Wigner function outside quantum mechanics 10 Measurements of the Wigner function 11 Other related quasiprobability distributions 12 Historical note 13 See also 14 Footnotes 15 References 16 Further reading 17 External linksRelation to classical mechanics editA 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 fails for a quantum particle due to the uncertainty 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 a phase space Gaussian a Weierstrass transform to yield the Husimi 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 the classical limit They are shielded by the uncertainty principle which does not allow precise location within phase space regions smaller than ħ and thus renders such negative probabilities less paradoxical Definition and meaning editThe Wigner distribution W x p of a pure state is defined as W x p def 1 p ℏ ps x y ps x y e 2 i p y ℏ d y displaystyle W x p stackrel text def frac 1 pi hbar int infty infty psi x y psi x y e 2ipy hbar dy nbsp where ps is the wavefunction and x and p 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 in x even in regions where ps has no support in x beats It is symmetric in x and p W x p 1 p ℏ f p q f p q e 2 i x q ℏ d q displaystyle W x p frac 1 pi hbar int infty infty varphi p q varphi p q e 2ixq hbar dq nbsp where f is the normalized momentum space wave function proportional to the Fourier transform of ps In 3D W r p 1 2 p 3 ps r ℏ s 2 ps r ℏ s 2 e i p s d 3 s displaystyle W vec r vec p frac 1 2 pi 3 int psi vec r hbar vec s 2 psi vec r hbar vec s 2 e i vec p cdot vec s d 3 s nbsp In the general case which includes mixed states it is the Wigner transform of the density matrix W x p 1 p ℏ x y r x y e 2 i p y ℏ d y displaystyle W x p frac 1 pi hbar int infty infty langle x y hat rho x y rangle e 2ipy hbar dy nbsp where x ps ps x This Wigner transformation or map is the inverse of the Weyl transform which maps phase space functions to Hilbert space operators in Weyl quantization Thus the Wigner function is the cornerstone of quantum mechanics in phase space In 1949 Jose Enrique Moyal elucidated how the Wigner function provides the integration measure analogous to a probability density function in phase space to yield expectation values from phase space c number functions g x p uniquely associated to suitably ordered operators Ĝ through Weyl s transform see Wigner Weyl transform and property 7 below in a manner evocative of classical probability theory Specifically an operator s Ĝ expectation value is a phase space average of the Wigner transform of that operator G d x d p W x p g x p displaystyle langle hat G rangle int dx dp W x p g x p nbsp Mathematical properties edit nbsp The Wigner quasiprobability distribution for different energy eigenstates of the quantum harmonic oscillator a n 0 ground state b n 1 c n 51 W x p is a real valued function 2 The x and p probability distributions are given by the marginals d p W x p x r x displaystyle int infty infty dp W x p langle x hat rho x rangle nbsp If the system can be described by a pure state one gets d p W x p ps x 2 displaystyle int infty infty dp W x p psi x 2 nbsp d x W x p p r p displaystyle int infty infty dx W x p langle p hat rho p rangle nbsp If the system can be described by a pure state one has d x W x p f p 2 displaystyle int infty infty dx W x p varphi p 2 nbsp d x d p W x p Tr r displaystyle int infty infty dx int infty infty dp W x p operatorname Tr hat rho nbsp dd Typically the trace of the density matrix r displaystyle hat rho nbsp is equal to 1 3 W x p has the following reflection symmetries Time symmetry ps x ps x W x p W x p displaystyle psi x to psi x Rightarrow W x p to W x p nbsp Space symmetry ps x ps x W x p W x p displaystyle psi x to psi x Rightarrow W x p to W x p nbsp 4 W x p is Galilei covariant ps x ps x y W x p W x y p displaystyle psi x to psi x y Rightarrow W x p to W x y p nbsp dd It is not Lorentz covariant 5 The equation of motion for each point in the phase space is classical in the absence of forces W x p t p m W x p x displaystyle frac partial W x p partial t frac p m frac partial W x p partial x nbsp dd In fact it is classical even in the presence of harmonic forces 6 State overlap is calculated as ps 8 2 2 p ℏ d x d p W ps x p W 8 x p displaystyle langle psi theta rangle 2 2 pi hbar int infty infty dx int infty infty dp W psi x p W theta x p nbsp dd 7 Operator expectation values averages are calculated as phase space averages of the respective Wigner transforms g x p d y x y 2 G x y 2 e i p y ℏ displaystyle g x p equiv int infty infty dy left langle x frac y 2 right hat G left x frac y 2 right rangle e ipy hbar nbsp ps G ps Tr r G d x d p W x p g x p displaystyle langle psi hat G psi rangle operatorname Tr hat rho hat G int infty infty dx int infty infty dp W x p g x p nbsp dd 8 For W x p to represent physical positive density matrices it must satisfy d x d p W x p W 8 x p 0 displaystyle int infty infty dx int infty infty dp W x p W theta x p geq 0 nbsp dd for all pure states 8 9 By virtue of the Cauchy Schwarz inequality for a pure state it is constrained to be bounded 2 h W x p 2 h displaystyle frac 2 h leq W x p leq frac 2 h nbsp dd This bound disappears in the classical limit ħ 0 In this limit W x p reduces to the probability density in coordinate space x usually highly localized multiplied by d functions in momentum the classical limit is spiky Thus this quantum mechanical bound precludes a Wigner function which is a perfectly localized d function in phase space as a reflection of the uncertainty principle 6 10 The Wigner transformation is simply the Fourier transform of the antidiagonals of the density matrix when that matrix is expressed in a position basis 7 Examples editSee also Phase space formulation Simple harmonic oscillator Let m a m m 0 displaystyle m rangle equiv frac a dagger m sqrt m 0 rangle nbsp be the m displaystyle m nbsp th Fock state of a quantum harmonic oscillator Groenewold 1946 discovered its associated Wigner function in dimensionless variables W m x p 1 m p e x 2 p 2 L m 2 p 2 x 2 displaystyle W m rangle x p frac 1 m pi e x 2 p 2 L m big 2 p 2 x 2 big nbsp where L m x displaystyle L m x nbsp denotes the m displaystyle m nbsp th Laguerre polynomial This may follow from the expression for the static eigenstate wavefunctions u m x p 1 4 H m x e x 2 2 displaystyle u m x pi 1 4 H m x e x 2 2 nbsp where H m displaystyle H m nbsp is the m displaystyle m nbsp th Hermite polynomial From the above definition of the Wigner function upon a change of integration variables W m x p 1 m p 3 2 2 m m e x 2 p 2 d z e z 2 H m z i p x H m z i p x displaystyle W m rangle x p frac 1 m pi 3 2 2 m m e x 2 p 2 int infty infty d zeta e zeta 2 H m zeta ip x H m zeta ip x nbsp The expression then follows from the integral relation between Hermite and Laguerre polynomials 8 Evolution equation for Wigner function editMain articles Wigner Weyl transform and Phase space formulation The Wigner transformation is a general invertible transformation of an operator Ĝ on a Hilbert space to a function g x p on phase space and is given by g x p d s e i p s ℏ x s 2 G x s 2 displaystyle g x p int infty infty ds e ips hbar left langle x frac s 2 right hat G left x frac s 2 right rangle nbsp Hermitian operators map to real functions The inverse of this transformation from phase space to Hilbert space is called the Weyl transformation x G y d p h e i p x y ℏ g x y 2 p displaystyle langle x hat G y rangle int infty infty frac dp h e ip x y hbar g left frac x y 2 p right nbsp not to be confused with the distinct Weyl transformation in differential geometry The Wigner function W x p discussed here is thus seen to be the Wigner transform of the density matrix operator r Thus the trace of an operator with the density matrix Wigner transforms to the equivalent phase space integral overlap of g x p with the Wigner function The Wigner transform of the von Neumann evolution equation of the density matrix in the Schrodinger picture is Moyal s evolution equation for the Wigner function W x p t t W x p t H x p displaystyle frac partial W x p t partial t W x p t H x p nbsp where H x p is the Hamiltonian and is the Moyal bracket In the classical limit ħ 0 the Moyal bracket reduces to the Poisson bracket while this evolution equation reduces to the Liouville 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 the method 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 W x p t W x t x p p t x p 0 displaystyle W x p t W big star big x t x p p t x p big 0 big nbsp where x t x p displaystyle x t x p nbsp and p t x p displaystyle p t x p nbsp are the characteristic trajectories subject to the quantum Hamilton equations with initial conditions x t 0 x p x displaystyle x t 0 x p x nbsp and p t 0 x p p displaystyle p t 0 x p p nbsp and where displaystyle star nbsp product composition is understood for all argument functions Since displaystyle star nbsp composition of functions is thoroughly 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 displaystyle star nbsp products successive operations by them have been adapted to a phase space path integral to solve the evolution equation for the Wigner function 9 see also 10 11 12 This non local feature of Moyal time evolution 13 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 Examples of Wigner function time evolutions source source source source source Pure state in a Morse potential The green dashed lines represent level set of the Hamiltonian source source source source source Pure state in a quartic potential The solid lines represent the level set of the Hamiltonian source source source source source source Tunnelling of a wave packet through a potential barrier The solid lines represent the level set of the Hamiltonian source source source source source source source Long time evolution of a mixed state r in an anharmonic potential well Marginals are plotted on the right p and top x nbsp An equilibrium mixed state r evolves to itself in the same anharmonic potential Harmonic oscillator time evolution edit In the special case of the quantum 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 with quantum states of light modes which are harmonic oscillators Examples of Wigner function time evolutions in a quantum harmonic oscillator nbsp A coherent state 14 nbsp Combined ground state and 1st excited state 14 nbsp A cat state the marginals are plotted on the right p and underneath x Classical limit editThe Wigner function allows one to study the classical limit offering a comparison of the classical and quantum dynamics in phase space 15 16 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 by Bernard Koopman and John von Neumann the time evolution of the Wigner function approaches in the limit ħ 0 the time evolution of the Koopman von Neumann wavefunction of a classical particle 17 Positivity of the Wigner function editAs already noted the Wigner function of quantum state typically takes some negative values Indeed for a pure state in one variable if W x p 0 displaystyle W x p geq 0 nbsp for all x displaystyle x nbsp and p displaystyle p nbsp then the wave function must have the form ps x e a x 2 b x c displaystyle psi x e ax 2 bx c nbsp for some complex numbers a b c displaystyle a b c nbsp with Re a gt 0 displaystyle operatorname Re a gt 0 nbsp Hudson s theorem 18 Note that a displaystyle a nbsp is allowed to be complex so that ps displaystyle psi nbsp is not necessarily a Gaussian wave packet in the usual sense Thus pure states with non negative Wigner functions are not necessarily minimum uncertainty states in the sense of the Heisenberg uncertainty formula rather they give equality in the Schrodinger 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 ps x e x A x b x c displaystyle psi x e x Ax b cdot x c nbsp where A displaystyle A nbsp is a symmetric complex matrix whose real part is positive definite b displaystyle b nbsp is a complex vector and c is a complex number 19 The Wigner function of any such state is a Gaussian distribution on phase space Soto and Claverie 19 give an elegant proof of this characterization using the Segal Bargmann transform The reasoning is as follows The Husimi Q function of ps displaystyle psi nbsp may be computed as the squared magnitude of the Segal Bargmann transform of ps displaystyle psi nbsp multiplied by a Gaussian Meanwhile the Husimi Q function is the convolution of the Wigner function with a Gaussian If the Wigner function of ps displaystyle psi nbsp 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 F x i p displaystyle F x ip nbsp of ps displaystyle psi nbsp will be nowhere zero Thus by a standard result from complex analysis we have F x i p e g x i p displaystyle F x ip e g x ip nbsp for some holomorphic function g displaystyle g nbsp But in order for F displaystyle F nbsp to belong to the Segal Bargmann space that is for F displaystyle F nbsp to be square integrable with respect to a Gaussian measure g displaystyle g nbsp must have at most quadratic growth at infinity From this elementary complex analysis can be used to show that g displaystyle g nbsp 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 of mixed states with non negative Wigner functions The Wigner function in relation to other interpretations of quantum mechanics editIt 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 of de Broglie Bohm causal trajectories 20 Basil Hiley has shown that the quasi probability distribution may be understood as the density 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 21 22 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 of mutually unbiased bases 23 Uses of the Wigner function outside quantum mechanics edit nbsp A contour plot of the Wigner Ville distribution for a chirped 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 simple ray tracing and the full wave analysis of the system Here p ħ is replaced with k k sin 8 k 8 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 position x and angle 8 while still including the effects of interference 24 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 the Gabor limit of the classical light signal and not of quantum features of light associated with ħ In signal analysis a time varying electrical signal mechanical vibration or sound wave are represented by a Wigner function Here x is replaced with the time and p ħ is replaced with the angular frequency w 2pf where f is the regular frequency In ultrafast optics short laser pulses are characterized with the Wigner function using the same f and t substitutions as above Pulse defects such as chirp the change in frequency with time can be visualized with the Wigner function See adjacent figure In quantum optics x and p ħ are replaced with the X and P quadratures the real and imaginary components of the electric field see coherent state Measurements of the Wigner function editQuantum tomography Frequency resolved optical gatingOther related quasiprobability distributions editMain article Quasiprobability distribution The Wigner distribution was the first quasiprobability distribution to be formulated but many more followed formally equivalent and transformable to and from it see Transformation 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 Glauber P representation Husimi Q representationNevertheless in some sense the Wigner distribution holds a privileged position among all these distributions since it is the only one whose requisite star product drops out integrates out by parts to effective unity in the evaluation of expectation values as illustrated above and so can be visualized as a quasiprobability measure analogous to the classical ones Historical note editAs indicated the formula for the Wigner function was independently derived several times in different contexts In fact apparently Wigner was unaware that even within the context of quantum theory it had been introduced previously by Heisenberg and Dirac 25 26 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 Incidentally Dirac would later become Wigner s brother in law marrying his sister Manci Symmetrically in most of his legendary 18 month 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 27 See also editHeisenberg group Wigner Weyl transform Phase space formulation Moyal bracket Negative probability Optical equivalence theorem Modified Wigner distribution function Cohen s class distribution function Wigner distribution function Transformation between distributions in time frequency analysis Squeezed coherent state Bilinear time frequency distribution Continuous variable quantum informationFootnotes edit 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 values without the requisite star product of the Husimi representation then at that stage quantum information has been forfeited and the distribution is a semi classical one effectively That is depending on its usage in evaluating expectation values the very same distribution may serve as a quantum or a classical distribution function Quantum characteristics should not be confused with trajectories of the Feynman path integral or trajectories of the de Broglie Bohm theory This three fold ambiguity allows better understanding of the position of Niels Bohr who vigorously but counterproductively opposed the notion of trajectory in the atomic physics At the 1948 Pocono Conference e g he said to Richard 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 by Ernst Mach in his criticism of an atomic theory of physics and later in the 1960s by Geoffrey Chew Tullio Regge and others to motivate replacing the local quantum field theory by the S 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 in gauge theories References edit E P Wigner 1932 On the quantum correction for thermodynamic equilibrium Physical Review 40 5 749 759 Bibcode 1932PhRv 40 749W doi 10 1103 PhysRev 40 749 hdl 10338 dmlcz 141466 H J Groenewold 1946 On the principles of elementary quantum mechanics Physica 12 7 405 460 Bibcode 1946Phy 12 405G doi 10 1016 S0031 8914 46 80059 4 H Weyl 1927 Quantenmechanik und gruppentheorie Zeitschrift fur Physik 46 1 2 1 Bibcode 1927ZPhy 46 1W doi 10 1007 BF02055756 S2CID 121036548 H Weyl Gruppentheorie und Quantenmechanik Leipzig Hirzel 1928 H Weyl The Theory of Groups and Quantum Mechanics Dover New York 1931 J Ville Theorie et Applications de la Notion de Signal Analytique Cables et Transmission 2 61 74 1948 Moyal J E 1949 Quantum mechanics as a statistical theory Mathematical Proceedings of the Cambridge Philosophical Society Cambridge University Press CUP 45 1 99 124 doi 10 1017 s0305004100000487 ISSN 0305 0041 S2CID 124183640 Curtright T L Zachos C K 2012 Quantum Mechanics in Phase Space Asia Pacific Physics Newsletter 1 37 arXiv 1104 5269 doi 10 1142 S2251158X12000069 S2CID 119230734 C Zachos D Fairlie and T Curtright Quantum Mechanics in Phase Space World Scientific Singapore 2005 ISBN 978 981 238 384 6 Hawkes Peter W 2018 Advances in Imaging and Electron Physics Academic Press p 47 ISBN 9780128155424 Schleich Wolfgang P 2001 02 09 Quantum Optics in Phase Space 1st ed Wiley p 105 doi 10 1002 3527602976 ISBN 978 3 527 29435 0 B Leaf 1968 Weyl transform in nonrelativistic quantum dynamics Journal of Mathematical Physics 9 5 769 781 Bibcode 1968JMP 9 769L doi 10 1063 1 1664640 P Sharan 1979 Star product representation of path integrals Physical Review D 20 2 414 418 Bibcode 1979PhRvD 20 414S doi 10 1103 PhysRevD 20 414 M S Marinov 1991 A new type of phase space path integral Physics Letters A 153 1 5 11 Bibcode 1991PhLA 153 5M doi 10 1016 0375 9601 91 90352 9 B Segev Evolution kernels for phase space distributions In M A Olshanetsky Arkady Vainshtein 2002 Multiple Facets of Quantization and Supersymmetry Michael Marinov Memorial Volume World Scientific pp 68 90 ISBN 978 981 238 072 2 Retrieved 26 October 2012 See especially section 5 Path integral for the propagator on pages 86 89 Also online M Oliva D Kakofengitis and O Steuernagel 2018 Anharmonic quantum mechanical systems do not feature phase space trajectories Physica A 502 201 210 arXiv 1611 03303 Bibcode 2018PhyA 502 201O doi 10 1016 j physa 2017 10 047 S2CID 53691877 a href Template Cite journal html title Template Cite journal cite journal a CS1 maint multiple names authors list link a b Curtright T L Time dependent Wigner Functions 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 ISBN 978 981 4520 43 0 Bondar Denys I Cabrera Renan Zhdanov Dmitry V Rabitz Herschel A 2013 Wigner phase space distribution as a wave function Physical Review A 88 5 052108 arXiv 1202 3628 doi 10 1103 PhysRevA 88 052108 ISSN 1050 2947 S2CID 119155284 Hudson Robin L 1974 When is the Wigner quasi probability density non negative Reports on Mathematical Physics 6 2 249 252 Bibcode 1974RpMP 6 249H doi 10 1016 0034 4877 74 90007 X a b F Soto and P Claverie When is the Wigner function of multidimensional systems nonnegative Journal of Mathematical Physics 24 1983 97 100 Dias Nuno Costa Prata Joao Nuno 2002 Bohmian trajectories and quantum phase space distributions Physics Letters A 302 5 6 261 272 arXiv quant ph 0208156v1 doi 10 1016 s0375 9601 02 01175 1 ISSN 0375 9601 S2CID 39936409 B J Hiley Phase space descriptions of quantum phenomena in A Khrennikov ed Quantum Theory Re consideration of Foundations 2 pp 267 286 Vaxjo 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 Bazarov Ivan V 2012 05 03 Synchrotron radiation representation in phase space Physical Review Special Topics Accelerators and Beams American Physical Society APS 15 5 050703 doi 10 1103 physrevstab 15 050703 ISSN 1098 4402 S2CID 53489256 W Heisenberg 1931 Uber die inkoharente Streuung von Rontgenstrahlen Physikalische Zeitschrift 32 737 740 Dirac P A M 1930 Note on Exchange Phenomena in the Thomas Atom Mathematical Proceedings of the Cambridge Philosophical Society Cambridge University Press CUP 26 3 376 385 doi 10 1017 s0305004100016108 ISSN 0305 0041 S2CID 97185766 Ann Moyal 2006 Maverick Mathematician The Life and Science of J E Moyal ANU E press 2006 ISBN 1 920942 59 9 Further reading editM 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 External links editwigner Wigner function implementation in QuTiP Quantum Optics Gallery Sonogram Visible Speech GPL licensed freeware for the Wigner quasiprobability distribution of signal files Retrieved from https en wikipedia org w index php title Wigner quasiprobability distribution amp oldid 1181998411, wikipedia, wiki, book, books, library,

article

, read, download, free, free download, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, picture, music, song, movie, book, game, games.