A Wigner-function formulation of finite-state quantum mechanics

For a non-relativistic system with only continous degrees of freedom (no spin, for example), the original Wigner function can be used as an alternative to the density matrix to represent an arbitrary quantum state. Indeed, the quantum mechanics of such systems can be formulated entirely in terms of the Wigner function and other functions on phase space, with no mention of state vectors or operators. In the present paper this Wigner-function formulation is extended to systems having only a finite number of orthogonal states. The “phase space” for such a system is taken to be not continuous but discrete. In the simplest cases it can be pictured as an N×N array of points, where N is the number of orthogonal states. The Wigner function is a real function on this phase space, defined so that its properties are closely analogous to those of the original Wigner function. In this formulation, observables, like states, are represented by real functions on the discrete phase space. The complex numbers still play an important role: they appear in an essential way in the rule for forming composite systems.