QUANTUM BOCHNER THEOREMS AND INCOMPATIBLE OBSERVABLES
A quantum version of Bochner's theorem characterising Fourier transforms of probability measures on locally compact Abelian groups gives a characterisation of the Fourier transforms of Wigner quasi-joint distributions of position and momentum. An analogous quantum Bochner theorem characterises quasi-joint distributions of components of spin. In both cases quantum states in which a true distribution exists are characterised by the intersection of two convex sets. This may be described explicitly in the spin case as the intersection of the Bloch sphere with a regular tetrahedron whose edges touch the sphere.
bochner's theorem multiplier-nonnegative-definiteness wigner quasidensities pauli matrices