States in deformation quantization

Abstract

We consider several tests to check whether a function defined on the phase space of a system represents a quantum state. Our criteria have been obtained from theorems holding for a density operator in the Hilbert space formulation of quantum mechanics. The tests are based on a notion of trace and follow from their Hilbert space counterparts through the Stratonovich-Weyl correspondence.