Skip to main content
Chemistry LibreTexts

1.62: Examining the Wigner Distribution Using Dirac Notation

  • Page ID
    156417
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)
    abstract

    Expressing the Wigner distribution function in Dirac notation reveals its resemblance to a classical trajectory in phase space.

    References to the Wigner distribution function [1-3] and the phase-space formulation of quantum mechanics are becoming more frequent in the pedagogical and review literature [4-26]. There have also been several important applications reported in the recent research literature [27, 28]. Other applications of the Wigner distribution are cited in Ref. 25.

    The purpose of this note is to demonstrate that when expressed in Dirac notation the Wigner distribution resembles a classical phase-space trajectory. The Wigner distribution can be generated from either the coordinate- or momentum-space wave function. The coordinate-space wave function will be employed here and the Wigner transform using it is given in equation (1) for a one-dimensional example in atomic units.

    \[
    W(p, x)=\frac{1}{2 \pi} \int_{-\infty}^{\infty} \Psi^{*}\left(x+\frac{s}{2}\right) \Psi\left(x-\frac{s}{2}\right) e^{i p s} d s \tag{1}
    \nonumber \]

    In Dirac notation the first two terms of the integrand are written as follows,

    \[
    \Psi^{*}\left(x+\frac{s}{2}\right)=\left\langle\Psi | x+\frac{s}{2}\right\rangle \qquad \Psi\left(x-\frac{s}{2}\right)=\left\langle x-\frac{s}{2} | \Psi\right\rangle \tag{2}
    \nonumber \]

    Assigning 1/2\(\pi\) to the third term and utilizing the momentum eigenfunction in coordinate space and its complex conjugate we have,

    \[
    \frac{1}{2 \pi} \mathrm{e}^{i p s}=\frac{1}{\sqrt{2 \pi}} \mathrm{e}^{i p\left(x+\frac{s}{2}\right)} \frac{1}{\sqrt{2 \pi}} \mathrm{e}^{-i p\left(x-\frac{s}{2}\right)}=\left\langle x+\frac{s}{2} | p\right\rangle\left\langle p | x-\frac{s}{2}\right\rangle \tag{3}
    \nonumber \]

    Substituting equations (2) and (3) into equation (1) yields after arrangement

    \[
    W(x, p)=\int_{-\infty}^{+\infty}\left\langle\Psi | x+\frac{s}{2}\right\rangle\left\langle x+\frac{s}{2} | p\right\rangle\left\langle p | x-\frac{s}{2}\right\rangle\left\langle x-\frac{s}{2} | \Psi\right\rangle d s \tag{4}
    \nonumber \]

    The four Dirac brackets are read from right to left as follows: (1) is the amplitude that a particle in the state \(\Psi\) has position (x - s/2); (2) is the amplitude that a particle with position (x - s/2) has momentum p; (3) is the amplitude that a particle with momentum p has position (x + s/2); (4) is the amplitude that a particle with position (x + s/2) is (still) in the state \(\Psi\). Thus, in Dirac notation the integrand is the quantum equivalent of a classical phase-space trajectory for a quantum system in the state \(\Psi\).

    Integration over s creates a superposition of all possible quantum trajectories of the state Ψ, which interfere constructively and destructively, providing a quasi-probability distribution in phase space. As an example, the Wigner probability distribution for a double-slit experiment is shown in the figure below [14, 27]. The oscillating positive and negative values in the middle of the Wigner distribution signify the interference associated with a quantum superposition, distinguishing it from a classical phase-space probability distribution. In the words of Leibfried et al. [14], the Wigner function is a “mathematical construct for visualizing quantum trajectories in phase space.”

    clipboard_e9dc3b46926b61894726f861a149cb408.png

    Wigner distribution function for the double-slit experiment.

    The Wigner double- and triple-slit distribution functions are calculated in the following tutorials.

    Wigner Distribution for the Double Slit Experiment

    Wigner Distribution for the Triple Slit Experiment

    Examples of the generation and use of the Wigner distribution are available in the following tutorials.

    Wigner Distribution for the Particle in a Box

    Quantum Calculations on the Hydrogen Atom in Coordinate, Momentum and Phase Space

    Variation Method Using the Wigner Function: The Feshbach Potential

    The Wigner Distribution Function for the Harmonic Oscillator

    Given the quantum number this Mathcad file calculates the Wigner distribution function for the specified harmonic oscillator eigen state.

    Quantum number: \(\mathrm{n} :=2\)

    Harmonic oscillator eigenstate:

    \[
    \Psi(x) :=\frac{1}{\sqrt{2^{n} \cdot n ! \sqrt{\pi}}} \cdot \operatorname{Her}(n, x) \cdot \exp \left(-\frac{x^{2}}{2}\right)
    \nonumber \]

    Calculate the Wigner distribution:

    \[
    \mathrm{W}(\mathrm{x}, \mathrm{p}) :=\frac{1}{\pi^{\frac{3}{2}}} \cdot \int_{-\infty}^{\infty} \Psi\left(\mathrm{x}+\frac{\mathrm{s}}{2}\right) \cdot \exp (\mathrm{i} \cdot \mathrm{s} \cdot \mathrm{p}) \cdot \Psi\left(\mathrm{x}-\frac{\mathrm{s}}{2}\right) \mathrm{ds}
    \nonumber \]

    Display the Wigner distribution:

    \[
    \mathrm{N} :=80 \qquad \mathrm{i} :=0 \ldots \mathrm{N} \qquad x_{i} :=-4+\frac{8 \cdot i}{N} \\ \mathrm{j} :=0 \ldots \mathrm{N} \qquad \mathrm{p}_{\mathrm{j}} :=-5+\frac{10 \cdot \mathrm{j}}{\mathrm{N}} \qquad \text{Wigner}_{i, j}:=W\left(x_{i}, p_{j}\right)
    \nonumber \]

    clipboard_ed810358b49cb2e9ce4f773b36362348b.png

    Wigner, Wigner


    Phase-space quantum mechanical calculations using the Wigner distribution are compared with coordinate- and momentum-space calculations in the following tutorial.

    The Cliff Notes version of the above can be accessed in the following tutorial.

    Literature cited:

    [1] E. P. Wigner, “On the quantum correction for thermodynamic equilibrium,” Phys. Rev. 40, 749 – 759 (1932).

    [2] M. Hillery, R. F. O’Connell, M. O. Scully, and E. P. Wigner, “Distribution functions in physics: Fundamentals,” Phys. Rep. 106, 121 – 167 (1984).

    [3] Y. S. Kim and E. P. Wigner, “Canonical transformations in quantum mechanics,” Am. J. Phys. 58, 439 – 448 (1990).

    [4] J. Snygg, “Wave functions rotated in phase space,” Am. J. Phys. 45, 58 – 60 (1977).

    [5] N. Mukunda, “Wigner distribution for angle coordinates in quantum mechanics,” Am. J. Phys. 47, 192 – 187 (1979).

    [6] S. Stenholm, “The Wigner function: I. The physical interpretation,” Eur. J. Phys. 1, 244 – 248 (1980).

    [7] G. Mourgues, J. C. Andrieux, and M. R. Feix, “Solutions of the Schrödinger equation for a system excited by a time Dirac pulse of pulse of potential. An example of the connection with the classical limit through a particular smoothing of the Wigner function,” Eur. J. Phys. 5, 112 – 118 (1984).

    [8] M. Casas, H. Krivine, and J. Martorell, “On the Wigner transforms of some simple systems and their semiclassical interpretations,” Eur. J. Phys. 12, 105 – 111 (1991).

    [9] R. A. Campos, “Correlation coefficient for incompatible observables of the quantum mechanical harmonic oscillator,” Am. J. Phys. 66, 712 – 718 (1998).

    [10] H-W Lee, “Spreading of a free wave packet,” Am. J. Phys. 50, 438 – 440 (1982).

    [11] D. Home and S. Sengupta, “Classical limit of quantum mechanics,” Am. J. Phys. 51, 265 – 267 (1983).

    [12] W. H. Zurek, “Decoherence and the transition from quantum to classical,” Phys. Today 44, 36 – 44 (October 1991).

    [13] M. C. Teich and B. E. A. Saleh, “Squeezed and antibunched light,” Phys. Today 43, 26 – 34 (June 1990).

    [14] D. Leibfried, T. Pfau, and C. Monroe, “Shadows and mirrors: Reconstructing quantum states of motion,” Phys. Today 51, 22 – 28 (April 1998).

    [15] W. P. Schleich and G. Süssmann, “A jump shot at the Wigner distribution,” Phys. Today 44, 146 – 147 (October 1991).

    [16] R. A. Campos, “Correlation coefficient for incompatible observables of the quantum harmonic oscillator,” Am. J. Phys. 66, 712 – 718 (1998).

    [17] R. A. Campos, “Wigner quasiprobability distribution for quantum superpositions of coherent states, a Comment on ‘Correlation coefficient for incompatible observables of the quantum harmonic oscillator,’” Am. J. Phys. 67, 641 – 642 (1999).

    [18] C. C. Gerry and P. L. Knight, “Quantum superpositions and Schrödinger cat states in quantum optics,” Am. J. Phys. 65, 964 – 974 (1997).

    [19] K. Ekert and P. L. Knight, “Correlations and squeezing of two-mode oscillations,” Am. J. Phys. 57, 692 – 697 (1989).

    [20] P. J. Price, “Quantum hydrodynamics and virial theorems,” Am. J. Phys. 64, 446 – 448 (1995).

    [21] M. G. Raymer, “Measuring the quantum mechanical wave function,” Contemp. Phys. 38, 343 – 355 (1997).

    [22] H-W Lee, A. Zysnarski, and P. Kerr, “One-dimensional scattering by a locally periodic potential,” Am. J. Phys. 57, 729 – 734 (1989).

    [23] A. Royer, “Why are the energy levels of the quantum harmonic oscillator equally spaced?” Am. J. Phys. 64, 1393 – 1399 (1996).

    [24] D. F. Styer, et al., “Nine formulations of quantum mechanics,” Am. J. Phys. 70, 288 – 297 (2002).

    [25] M. Belloni, M. A. Doncheski, and R. W. Robinett, “Wigner quasi-probability distribution for the infinite square well: Energy eigenstates and time-dependent wave packets,” Am. J. Phys. 72, 1183 – 1192 (2004).

    [26] W. B. Case, “Wigner functions and Weyl transforms for pedestrians,” Am. J. Phys. 76, 937 – 946 (2008).

    [27] Ch. Kurtsiefer, T. Pfau, and J. Mlynek, “Measurement of the Wigner function of an ensemble of helium atoms,” Nature 386, 150 – 153 (1997).

    [28] W. H. Zurek, “Sub-Planck structure in phase space and its relevance for quantum decoherence,” Nature 412, 712 – 717 (2001).


    This page titled 1.62: Examining the Wigner Distribution Using Dirac Notation is shared under a CC BY 4.0 license and was authored, remixed, and/or curated by Frank Rioux via source content that was edited to the style and standards of the LibreTexts platform.