For the upteenth time I have read a paper introducing the Wigner function essentially like this:
The Wignerrepresentation of a quantum state is a realvalued function on phase space defined^{a } (with ) as
(1)
It’s sort of like a probability distribution because the marginals reproduce the probabilities for position and momentum measurements:
(2)
and
(3)
But the reason it’s not a real probability distribution is that it can be negative.
The fact that can be negative is obviously a reason you can’t think about it as a true PDF, but the marginals property is a terribly weak justification for thinking about as a “quasiPDF”. There are all sorts of functions one could write down that would have this same property but wouldn’t encode much information about actual phase space structure, e.g., the Jigner^{b } function
which tells as nothing whatsoever about how position relates to momentum.
Here is the real reason you should think the Wigner function is almost, but not quite, a phasespace PDF for a state :
 Consider an arbitrary length scale , which determines a corresponding momentum scale and a corresponding set^{c } of coherent states .

If a measurement is performed on with the POVM of coherent states , then the probability of obtaining outcome is given by the Husimi Q function representation of :
(4)

If can be constructed as a mixture of the coherent states , then^{d } it is given by
(5)
where is the Glauber P function representation of .

Because the coherent states obey where is the Gaussian function of width centered on the origin, we have that the Q function is just the P function convolved with a Gaussian of width :
(6)
where denotes the convolution. Convolution is equivalent to multiplication in Fourier space, so convolving with the Gaussian is equivalent to smoothly suppressing highfrequency modes with a frequency cutoff scale set by .

The Wigner function is exactly in between the two, in the sense that it is both the convolution of the P function with a (halfaswide) Gaussian and the inverse convolution of the Q function with :
(7)
which immediately recovers .
 Strikingly, the Wigner function is welldefined for all states and (unlike the P and Q functions) does not depend^{e } on our choice of .
So here’s a catch phrase: The Wigner function is the unique, scaleindependent “convolutionary mean” of the Glauber P function and the Husimi Q function^{f }. This is highly illuminating because the P and Q functions have immediate operational interpretations as honest phasespace PDFs, respectively representing the preparation and measurement descriptions of the state . It also tells us that the Wigner function cannot have negative regions larger than about , since regions of that size would not become positive under convolution into the Q function. More generally, the Q, W, and (when it exists) P functions cannot differ except in high frequency phasespace modes that are ironed out by the convolutions.
Edit 2014924: Minor changes, with “Gaussianconvolution” –> “convolutionary”, because that sounds like a cooler adjectives.
Footnotes
(↵ returns to text)
 Actually, they usually use a more confusing definition. See my post on the intuitive definition of the Wigner function.↵
 “Jess” + “Wigner” = “Jigner”. Ha!↵
 Not just a set of states, actually, but a Parseval tight frame. They have a characteristic spatial and momentum width and , and are indexed by as it ranges over phase space.↵
 Of course, the P function cannot always be defined, and sometimes it can be defined but only if it takes negative values. (Inverse convolutions do not always exist.) But the Wigner function is always welldefined, forming (up to mathematical technicalities) a onetoone representation of density matrices .↵
 In fact I think you can use, not just the set of coherent states, but a set of states generated by the phasespace displacement operator from any normalizable pure state. (This “base” state, which is just the vacuum for coherent states, is used to construct the kernel of the corresponding convolutions.) See [arXiv:quantph/0612037]. Neat stuff.↵
 Here’s I’m defining the “convolutionary mean” analogously to the “geometric mean”. Is this a thing?↵
Hi, sorry if I comment this oldish post, but I have been reading many posts in your blog and this one seems the most related to the thoughts I want to express.
Like many others I have been introduced to quasiprobability distributions in the context of quantum optics and they are used to define the concept of “nonclassicality” of a state.
In his seminal works, Glauber argued that the P function is the one that truly defines a nonclassical state (this has view also be reinforced by this for example http://journals.aps.org/pra/abstract/10.1103/PhysRevA.87.062114 ), and because of the Gaussian convolution you talk about, negativity of the Wigner function is just a sufficient condition.
However negativity of the Wigner function seems to have an operative meaning related to the efficient simulation of the system ( http://journals.aps.org/prl/abstract/10.1103/PhysRevLett.109.230503 and https://iopscience.iop.org/article/10.1088/13672630/15/1/013037 ).
In quantum optics “nonclassical light” mostly refers to squeezed states, that actually have a practical use to improve tasks in metrology.
From another point of view though they are not that “nonclassical” since they are generated by quadratic operations in the phase space representation that can be represented as symplectic transformations on the modes, so in a sense there exists a “classical” picture to visualize them…
I am writing this because I have been reading a lot about these things, but I still have a big mess in my head, so I am sorry if my point it not very clear.
I want to hear your opinion on these matters and maybe let me know if you have an answer to the question: have optical systems have anything special? I mean, is it different to recover the classical equations of motion of a particle in some suitable limit, than recover the Maxwell equations and their phenomenology? In this sense does it make sense to define a nonclassical state differently for optical systems than for other (mechanical for example) ones?
I decided to write because you seem to be knowledgeable enough to shed a little light on this, or at least point me to some relevant literature, or maybe just tell me that I have not understood anything at all (a possibility I am completely open to).
Keep up your nice work with this blog :)
Hi Francesco, thanks for the kind words.
The quantumclassical limit is a mapping from a very big space (Hilbert space) to a much small space (classical phase space) that only makes sense in a full ℏ→0 limit. I don’t think it is useful to say that individual quantum states suddenly qualify as “classical” when they cross some exact threshold. (In particular, the fact that a pseudoprobability distribution like W can be interpreted as an honest PDF when it is positive is unimportant because, for finite ℏ, it’s not actually the PDF of any measurement!) Rather, some aspects of classicality will be recovered (approximately or exactly) at different thresholds.
Likewise, a material made of microscopic atoms doesn’t suddenly qualify as “continuous” when the atoms are smaller than some size; it just becomes a better and better approximation as the atoms get smaller. There are some configurations of atoms that do not have a nice continuous limit: if the atomic spacing goes to zero but the gradient of some quantity diverges (say, the changeperatom stays fixed except flipping backandforth in sign), then this just has no continuum interpretation. I’ve written more along these lines here: http://blog.jessriedel.com/2015/03/24/howtothinkaboutquantummechanicspart4quantumindeterminismasananomaly/
Two more comments:
(1) Any threshold involving the P function is suspect because the P function isn’t a function of just the quantum state. As I mention in point #6 above, the P function is only defined with respect to a given quadratic Hamiltonian. (You can check that the spatial width of the ground state, or equivalently the frequency, are necessary to convert a density matrix into a P function; this is not true for the Wigner function.) Changing the Hamiltonian can suddenly flip the the P function from positive to nonpositive even before the system has had a chance to evolve according to the Hamiltonian. The paper you link claims just that “only the GlauberSudarshan P function behaves under the action of an attenuator [beamsplitter] like a classical phasespace distribution”. Well, OK. I wager if I spent an afternoon I could find a similarly compelling statement about the Q function satisfying some vaguely nice property in certain optics setups. So long as ℏ is finite, it’s really just a matter of preference.
[By the way, two of your links are broken because the closing “)” has been pulled into the URL.]
(2) With regard to squeezed light: the ℏ→0 limit sends phasespace localized wavepackets into phasespace delta functions. Whether squeezed are sent to delta function (and what to do about the necessarily manytoone nature of that mapping) depends on the details of the limiting procedure. In particular, if you hold the squeezing parameter fixed it probably works fine, but if you hold the momentum uncertainty fixed (so that the position uncertainty becomes compensatingly small as ℏ→0) then it does not.
Much more important is to understand the full ℏ→0 limit. Can we recover classical mechanics, in all its glory?
Hi Jess, thanks for a great post. I think, there should be a minus sign in the exponential in the definition of g_s in point 4.
Good eye. Fixed. Thanks!