1: \begin{abstract}

2: Gibbons \textit{et al.} [Phys. Rev. A \textbf{70}, 062101(2004)]

3: have recently defined a class of discrete Wigner functions $W$ to

4: represent quantum states in a Hilbert space with finite dimension.

5: We show that the only pure states having non-negative $W$ for all

6: such functions are stabilizer states, as conjectured by one of us

7: [Phys. Rev. A \textbf{71}, 042302 (2005)]. We also show that the

8: unitaries preserving non-negativity of $W$ for all definitions of

9: $W$ form a subgroup of the Clifford group. This means pure states

10: with non-negative $W$ and their associated unitary dynamics are

11: classical in the sense of admitting an efficient classical

12: simulation scheme using the stabilizer formalism.

13: 

14: \end{abstract}

15: