Abstract
It is shown that phase-space distribution functions that characterize a single-particle quantum system obey a certain "generalized non-negativity condition," which reflects the fact that the density operator is a positive operator. A corresponding criterion is obtained for the associated characteristic functions and is found to resemble, to some extent, Bochner's theorem of classical probability theory. Necessary and sufficient conditions on a phase-space representation of quantum mechanics are also derived, which ensure that all the possible distribution functions in that representation are non-negative; but it is also shown that such distribution functions are not joint probabilities for position and momentum. In fact, our results readily provide a new proof of theorems of Wigner, and of Cohen and Margenau, which imply that quantum mechanics cannot be formulated as a stochastic theory in phase space.