Wigner functions play a central role in the phase space formulation of quantum mechanics. Although closely related to classical Liouville densities, Wigner functions are not positive definite and may take negative values on subregions of phase space. We investigate the accumulation of these negative values by studying bounds on the integral of an arbitrary Wigner function over noncompact subregions of the phase plane with hyperbolic boundaries. We show using symmetry techniques that this problem reduces to computing the bounds on the spectrum associated with an exactly-solvable eigenvalue problem and that the bounds differ from those on classical Liouville distributions. In particular, we show that the total ``quasiprobability'' on such a region can be greater than 1 or less than zero.Wigner functions play a central role in the phase space formulation of quantum mechanics. Although closely related to classical Liouville densities, Wigner functions are not positive definite and may take negative values on subregions of phase space. We investigate the accumulation of these negative values by studying bounds on the integral of an arbitrary Wigner function over noncompact subregions of the phase plane with hyperbolic boundaries. We show using symmetry techniques that this problem reduces to computing the bounds on the spectrum associated with an exactly-solvable eigenvalue problem and that the bounds differ from those on classical Liouville distributions. In particular, we show that the total ``quasiprobability'' on such a region can be greater than 1 or less than zero.

Nov 4, 20044 citations

Bounds on Integrals of the Wigner Function

Anthony J. Bracken, H. D. Doebner, James Gareth Wood

The integral of the Wigner function over a subregion of the phase space of a quantum system may be less than zero or greater than one. It is shown that for systems with 1 degree of freedom, the problem of determining the best possible upper and lower bounds on such an integral, over all possible states, reduces to the problem of finding the greatest and least eigenvalues of a Hermitian operator corresponding to the subregion. The problem is solved exactly in the case of an arbitrary elliptical region. These bounds provide checks on experimentally measured quasiprobability distributions.The integral of the Wigner function over a subregion of the phase space of a quantum system may be less than zero or greater than one. It is shown that for systems with 1 degree of freedom, the problem of determining the best possible upper and lower bounds on such an integral, over all possible states, reduces to the problem of finding the greatest and least eigenvalues of a Hermitian operator corresponding to the subregion. The problem is solved exactly in the case of an arbitrary elliptical region. These bounds provide checks on experimentally measured quasiprobability distributions.

arXiv:quant-ph/9905097Physical Review LettersNov 8, 199934 citations

The Wigner representation of quantum mechanics

Valerian I. Tatarskii

Correct use of the Wigner representation of quantum mechanics, which is realized with joint distributions of quasiprobabilities in phase space, requires the use of certain specific rules and attention to a number of properties which distinguish the quasiprobability from a true probability. This paper is mainly concerned with these problems. In the Wigner representation the quantum Liouville equation appears instead of the Schroedinger equation. The solution may have no physical meaning unless it is subjected to a necessary and sufficient condition which selects an allowed class of distributions which describe quantum-mechanical pure states. This condition contains Planck's constant and imposes, besides the uncertainty relations, severe restrictions on the possible form of the Wigner function. When this condition is satisfied, one can reconstruct the wave function from the Wigner function. In the case of an oscillator, the quantization condition for the energies of the stationary states does not follow from the Liouville equation, but from this supplementary condition. Unlike the true probability density, any Wigner function (except Gaussian ones) of a pure state takes on negative values. Another important peculiarity is that the quasiprobability is not concentrated on certain hypersurfaces, but is smeared out over the entire phase space. These and other features considered in this paper should be kept in mind when using the Wigner representation in quantum-mechanical problems.Correct use of the Wigner representation of quantum mechanics, which is realized with joint distributions of quasiprobabilities in phase space, requires the use of certain specific rules and attention to a number of properties which distinguish the quasiprobability from a true probability. This paper is mainly concerned with these problems. In the Wigner representation the quantum Liouville equation appears instead of the Schroedinger equation. The solution may have no physical meaning unless it is subjected to a necessary and sufficient condition which selects an allowed class of distributions which describe quantum-mechanical pure states. This condition contains Planck's constant and imposes, besides the uncertainty relations, severe restrictions on the possible form of the Wigner function. When this condition is satisfied, one can reconstruct the wave function from the Wigner function. In the case of an oscillator, the quantization condition for the energies of the stationary states does not follow from the Liouville equation, but from this supplementary condition. Unlike the true probability density, any Wigner function (except Gaussian ones) of a pure state takes on negative values. Another important peculiarity is that the quasiprobability is not concentrated on certain hypersurfaces, but is smeared out over the entire phase space. These and other features considered in this paper should be kept in mind when using the Wigner representation in quantum-mechanical problems.

Soviet Physics UspekhiApr 30, 1983483 citations

Group theory and quasiprobability integrals of Wigner functions

Anthony J. Bracken, Demosthenes Ellinas, James Gareth Wood

The integral of the Wigner function of a quantum-mechanical system over a region or its boundary in the classical phase plane, is called a quasiprobability integral. Unlike a true probability integral, its value may lie outside the interval [0, 1]. It is characterized by a corresponding selfadjoint operator, to be called a region or contour operator as appropriate, which is determined by the characteristic function of that region or contour. The spectral problem is studied for commuting families of region and contour operators associated with concentric discs and circles of given radius a . Their respective eigenvalues are determined as functions of a , in terms of the Gauss–Laguerre polynomials. These polynomials provide a basis of vectors in a Hilbert space carrying the positive discrete series representation of the algebra su (1, 1) ≈ so (2, 1). The explicit relation between the spectra of operators associated with discs and circles with proportional radii, is given in terms of the discrete variable Meixner polynomials.The integral of the Wigner function of a quantum-mechanical system over a region or its boundary in the classical phase plane, is called a quasiprobability integral. Unlike a true probability integral, its value may lie outside the interval [0, 1]. It is characterized by a corresponding selfadjoint operator, to be called a region or contour operator as appropriate, which is determined by the characteristic function of that region or contour. The spectral problem is studied for commuting families of region and contour operators associated with concentric discs and circles of given radius a . Their respective eigenvalues are determined as functions of a , in terms of the Gauss–Laguerre polynomials. These polynomials provide a basis of vectors in a Hilbert space carrying the positive discrete series representation of the algebra su (1, 1) ≈ so (2, 1). The explicit relation between the spectra of operators associated with discs and circles with proportional radii, is given in terms of the discrete variable Meixner polynomials.

arXiv:quant-ph/0304010Journal of Physics A Mathematical and GeneralMay 8, 200313 citations

Wigner Quantum Density Function in the Classical Limit. Development of a Three-Dimensional WKBJ-Type Solution

J. F. Schipper

The one-dimensional Wigner quasiprobability function is considered rigorously in the classical limit ($\ensuremath{\hbar}\ensuremath{\rightarrow}0$). With the implicit $\ensuremath{\hbar}$-dependence of the wave function $\ensuremath{\psi}$ ignored in the integral representation, this limit differs from ${|\ensuremath{\psi}(q)|}^{2}\ensuremath{\delta}(p)$ by terms $\frac{o(\ensuremath{\hbar})}{\ensuremath{\hbar}}$. With the implicit $\ensuremath{\hbar}$ dependence of $\ensuremath{\psi}$ accounted for (as it should be), rigorous asymptotic methods are applied, with the results that: (1) in the "classically allowed" region, the limit is an asymptotic exponential function of $q$ , multiplied by an energy-conserving $\ensuremath{\delta}$ function; (2) in the "nonclassically allowed" region, this limit is zero. The stationary-phase approach leads nowhere in this regard. A WKBJ-type solution for the radial Schr\"odinger equation is developed, with rigorous error bounds in the different situations. The Wigner function is computed for an ensemble of one-dimensional harmonic oscillators, and an associated phase-space "density matrix" is constructed therefrom. This is compared with the Slater sum for the ensemble---in general, and in the particular cases of high temperature and of $\ensuremath{\hbar}\ensuremath{\rightarrow}0$; where $\ensuremath{\hbar}\ensuremath{\rightarrow}0$, the asymptotic behavior of the Wigner function is explicitly manifest.The one-dimensional Wigner quasiprobability function is considered rigorously in the classical limit ($\ensuremath{\hbar}\ensuremath{\rightarrow}0$). With the implicit $\ensuremath{\hbar}$-dependence of the wave function $\ensuremath{\psi}$ ignored in the integral representation, this limit differs from ${|\ensuremath{\psi}(q)|}^{2}\ensuremath{\delta}(p)$ by terms $\frac{o(\ensuremath{\hbar})}{\ensuremath{\hbar}}$. With the implicit $\ensuremath{\hbar}$ dependence of $\ensuremath{\psi}$ accounted for (as it should be), rigorous asymptotic methods are applied, with the results that: (1) in the "classically allowed" region, the limit is an asymptotic exponential function of $q$, multiplied by an energy-conserving $\ensuremath{\delta}$ function; (2) in the "nonclassically allowed" region, this limit is zero. The stationary-phase approach leads nowhere in this regard. A WKBJ-type solution for the radial Schr\"odinger equation is developed, with rigorous error bounds in the different situations. The Wigner function is computed for an ensemble of one-dimensional harmonic oscillators, and an associated phase-space "density matrix" is constructed therefrom. This is compared with the Slater sum for the ensemble---in general, and in the particular cases of high temperature and of $\ensuremath{\hbar}\ensuremath{\rightarrow}0$; where $\ensuremath{\hbar}\ensuremath{\rightarrow}0$, the asymptotic behavior of the Wigner function is explicitly manifest.

Physical ReviewAug 25, 19694 citations

Semi-classical mechanics in phase space: A study of Wigner’s function

Michael Berry

Abstract We explore the semi-classical structure of the Wigner functions Ψ(q,p) representing bound energy eigenstates | Ψ 〉 for systems with fdegrees of freedom. If the classical motion is integrable, the classical limit of Ψ is a delta function on the f-dimensional torus to which classical trajectories corresponding to |Ψ〉 are confined in the 2f-dimensional phase space. In the semi-classical limit of Ψ (ℏ small but not zero) the delta function softens to a peak of order Ψ−f and the torus develops fringes of a characteristic ‘Airy’ form. Away from the torus,Ψ can have semi-classical singularities that are not delta functions; these are discussed (in full detail when f = 1) using Thom's theory of catastrophes. Brief consideration is given to problems raised when is calculated in a representation based on operators derived from angle coordinates and their conjugate momenta. When Ψ the classical motion is non-integrable, the phase space is not filled with tori and existing semi-classical methods fail. We conjecture that (a) For a given value of non-integrability parameter ⋲,the system passes through three semi-classical régimes as ℏ diminishes. (b) For states |Ψ〉 associated with regions in phase space filled with irregular trajectories, Ψ will be a random function confined near that region of the ‘energy shell’ explored by these trajectories (this region has more thanks dimensions). (c) For ⋲ ≠ 0, ℏ blurs the infinitely fine classical path structure, in contrast to the integrable case ⋲ = 0, where ℏ imposes oscillatory quantum detail on a smooth classical path structure.Abstract We explore the semi-classical structure of the Wigner functions Ψ(q,p) representing bound energy eigenstates | Ψ 〉 for systems with fdegrees of freedom. If the classical motion is integrable, the classical limit of Ψ is a delta function on the f-dimensional torus to which classical trajectories corresponding to |Ψ〉 are confined in the 2f-dimensional phase space. In the semi-classical limit of Ψ (ℏ small but not zero) the delta function softens to a peak of order Ψ−f and the torus develops fringes of a characteristic ‘Airy’ form. Away from the torus,Ψ can have semi-classical singularities that are not delta functions; these are discussed (in full detail when f = 1) using Thom's theory of catastrophes. Brief consideration is given to problems raised when is calculated in a representation based on operators derived from angle coordinates and their conjugate momenta. When Ψ the classical motion is non-integrable, the phase space is not filled with tori and existing semi-classical methods fail. We conjecture that (a) For a given value of non-integrability parameter ⋲,the system passes through three semi-classical régimes as ℏ diminishes. (b) For states |Ψ〉 associated with regions in phase space filled with irregular trajectories, Ψ will be a random function confined near that region of the ‘energy shell’ explored by these trajectories (this region has more thanks dimensions). (c) For ⋲ ≠ 0, ℏ blurs the infinitely fine classical path structure, in contrast to the integrable case ⋲ = 0, where ℏ imposes oscillatory quantum detail on a smooth classical path structure.

Philosophical Transactions of the Royal Society of London Series A Mathematical and Physical SciencesOct 4, 1977575 citations

q

, multiplied by an energy-conserving $\ensuremath{\delta}$ function; (2) in the "nonclassically allowed" region, this limit is zero. The stationary-phase approach leads nowhere in this regard. A WKBJ-type solution for the radial Schr\"odinger equation is developed, with rigorous error bounds in the different situations. The Wigner function is computed for an ensemble of one-dimensional harmonic oscillators, and an associated phase-space "density matrix" is constructed therefrom. This is compared with the Slater sum for the ensemble---in general, and in the particular cases of high temperature and of $\ensuremath{\hbar}\ensuremath{\rightarrow}0$; where $\ensuremath{\hbar}\ensuremath{\rightarrow}0$, the asymptotic behavior of the Wigner function is explicitly manifest.