Necessary and sufficient conditions for a phase-space function to be a Wigner distribution

Abstract
We discuss two sets of conditions that are necessary and sufficient for a function defined on phase space to be a Wigner distribution function (WDF). The first set is well known and involves the function itself; the second set is less familiar and involves the function’s ‘‘symplectic’’ Fourier transform. After explaining why these two sets are equivalent, we explore some properties and applications of the second one. Among other things, we show that that set includes the position-momentum uncertainty relations as a special case, and in doing so we give a new derivation of them. This derivation itself serves as the starting point for the discussion of a quantum-mechanical moment problem. It also enables us to exhibit a real-valued phase-space function that obeys the uncertainty relations but that is not a WDF.

This publication has 10 references indexed in Scilit: