A Wigner distribution function for finite oscillator systems

We define a Wigner distribution function for a one-dimensional finite quantum system, in which the position and momentum operators have a finite (multiplicity-free) spectrum. The distribution function is thus defined on discrete phase-space, i.e. on a finite discrete square grid. These discrete Wigner functions possess a number of properties similar to the Wigner function for a continuous quantum system such as the quantum harmonic oscillator. As an example, we consider the so-called su(2) oscillator model in dimension 2j+1, which is known to tend to the canonical oscillator when j tends to infinity. In particular, we compare plots of our discrete Wigner functions for the su(2) oscillator with the well known plots of Wigner functions for the canonical quantum oscillator. This comparison supports our approach to discrete Wigner functions.