This article was written for the Logic in Computer Science column in the February 2015 issue of the Bulletin of the European Association for Theoretical Computer Science. The intended audience is general computer science audience. The uncertainty principle asserts a limit to the precision with which position x and momentum p of a particle can be known simultaneously. You may know the probability distributions of x and p individually but the joint distribution makes no physical sense. Yet Wigner exhibited such a joint distribution f(x,p). There was, however, a little trouble with it: some of its values were negative. Nevertheless Wigner's discovery attracted attention and found applications. There are other joint distribution, all with negative values, which produce the correct marginal distributions of x and p. But only Wigner's distribution produces the correct marginal distributions for all linear combinations of position and momentum. We offer a simple proof of the uniqueness and discuss related issues.
This article was written for the Logic in Computer Science column in the February 2015 issue of the Bulletin of the European Association for Theoretical Computer Science. The intended audience is general computer science audience. The uncertainty principle asserts a limit to the precision with which position x and momentum p of a particle can be known simultaneously. You may know the probability distributions of x and p individually but the joint distribution makes no physical sense. Yet Wigner exhibited such a joint distribution f(x,p). There was, however, a little trouble with it: some of its values were negative. Nevertheless Wigner's discovery attracted attention and found applications. There are other joint distribution, all with negative values, which produce the correct marginal distributions of x and p. But only Wigner's distribution produces the correct marginal distributions for all linear combinations of position and momentum. We offer a simple proof of the uniqueness and discuss related issues.
Abstract An observation space S is a family of probability distributions P i : i ∈ I sharing a common sample space Ω in a consistent way. A grounding for S is a signed probability distribution P on Ω yielding the correct marginal distribution P i for every i . A wide variety of quantum scenarios can be formalized as observation spaces. We describe all groundings for a number of quantum observation spaces. Our main technical result is a rigorous proof that Wigner’s distribution is the unique signed probability distribution yielding the correct marginal distributions for position and momentum and all their linear combinations.
We show that for any collection of hermitian operators A1...An , and any quantum state there is a unique joint distribution on R^n, with the property that the marginals of all linear combinations of the operators coincide with their quantum counterpart. We call it the Wigner distribution, because for position and momentum this property defines the standard Wigner function. In this note we discuss the application to finite dimensional systems, establish many basic properties and illustrate these by examples. The properties include the support, the location of singularities, positivity, the behaviour under symmetry groups, and informational completeness.
The fundamental problem considered is that of the existence of a joint probability distribution for momentum and position at a given instant. The philosophical interest of this problem is that for the potential energy functions (or Hamiltonians) corresponding to many simple experimental situations, the joint “distribution” derived by the methods of Wigner and Moyal is not a genuine probability distribution at all. The implications of these results for the interpretation of the Heisenberg uncertainty principle are analyzed. The final section consists of some observations concerning the axiomatic foundations of quantum mechanics.
Wigner representation In classical optics (Born and Wolf, 1999), the state of the electromagnetic oscillator is perfectly described by the statistics of the classical amplitude α . The amplitude may be completely fixed (then the field is coherent), or α may fluctuate (then the field is partially coherent or incoherent). In classical optics as well as in classical mechanics, we can characterize the statistics of the complex amplitude?or, equivalently, the statistics of the components position q and momentum p introducing a phase space distribution W ( q , p ). (As explained in Section 3.1, the real and the imaginary part of the complex amplitude α can be regarded as the position and the momentum of the electromagnetic oscillator.) The distribution W ( q , p ) quantifies the probability of finding a particular pair of q and p values in their simultaneous measurement. Knowing the phase space probability distribution, all statistical quantities of the electromagnetic oscillator can be predicted by calculation. In this sense the phase space distribution describes the state in classical physics. All this is much more subtle in quantum mechanics. First of all, Heisenberg's uncertainty principle prevents us from observing position momentum simultaneously and precisely. So it seems there is no point in thinking about quantum phase space. But wait! In quantum mechanics we cannot directly observe quantum states either. Nevertheless, we are legitimately entitled to use the concept of states as if they were existing entities (whatever they are). We use their properties to predict the statistics of observations.
We study a generalization of the Wigner function to arbitrary tuples of Hermitian operators. We show that for any collection of Hermitian operators A1, …, An and any quantum state, there is a unique joint distribution on Rn with the property that the marginals of all linear combinations of the Ak coincide with their quantum counterparts. In other words, we consider the inverse Radon transform of the exact quantum probability distributions of all linear combinations. We call it the Wigner distribution because for position and momentum, this property defines the standard Wigner function. We discuss the application to finite dimensional systems, establish many basic properties, and illustrate these by examples. The properties include the support, the location of singularities, positivity, the behavior under symmetry groups, and informational completeness.
Standard-deviation and entropic formulations of uncertainty principle capture the spread of the probability distribution but say little about the probability itself contained in a small region. We introduce the confidence uncertainty Δcx(θx) as the minimal Lebesgue measure of the support set in which the particle is found with probability at least θx, and the companion interval confidence uncertainty ΔIx(θx) which restricts the support to a single interval. We prove two complementary uncertainty inequalities. (i) For θx+θp≤1 both confidence uncertainties can be made arbitrarily small simultaneously, so that no nontrivial product bound holds; in particular, position and momentum can be jointly localised with probability at least~50%. (ii) For θx+θp>1 a lower bound holds: combining Lenard's projection inequality with the Donoho--Stark operator-norm bound we obtain ΔcxΔcp≥2πℏ(θxθp−(1−θx)(1−θp))2, and for the interval version we obtain the sharp implicit Landau--Pollak bound ΔIxΔIp≥4ℏλ0−1((θxθp−(1−θx)(1−θp))2), where λ0(c) is the largest prolate-spheroidal eigenvalue. We support the analytical bounds with numerical evaluation of λ0(c), provide closed-form small-c and large-c asymptotics, compute the optimal Slepian-superposition states that saturate the interval bound, and compare the resulting product against the variance Heisenberg--Kennard, the Białynicki-Birula--Mycielski entropic, and the Donoho--Stark concentration bounds. The unified picture provides a complete phase diagram on (θx,θp)∈[0,1]2.