Gibbons et al. [Phys. Rev. A 70, 062101(2004)] have recently defined a class of discrete Wigner functions W to represent quantum states in a Hilbert space with finite dimension. We show that the only pure states having non-negative W for all such functions are stabilizer states, as conjectured by one of us [Phys. Rev. A 71, 042302 (2005)]. We also show that the unitaries preserving non-negativity of W for all definitions of W form a subgroup of the Clifford group. This means pure states with non-negative W and their associated unitary dynamics are classical in the sense of admitting an efficient classical simulation scheme using the stabilizer formalism.

Using the finite Fourier transform, we introduce a generalization of Pauli-spin matrices for $d$-dimensional spaces, and the resulting set of unitary matrices $S(d) $ is a basis for $d\times d$ matrices. If $N=d_{1}\times d_{2}\times...\times d_{b}$ and $H^{[ N]}=\bigotimes H^{% [ d_{k}]}$, we give a sufficient condition for separability of a density matrix $\rho $ relative to the $H^{[ d_{k}]}$ in terms of the $L_{1}$ norm of the spin coefficients of $\rho >.$ Since the spin representation depends on the form of the tensor product, the theory applies to both full and partial separability on a given space $H^{[ N]}$% . It follows from this result that for a prescribed form of separability, there is always a neighborhood of the normalized identity in which every density matrix is separable. We also show that for every prime $p$ and $n>1$ the generalized Werner density matrix $W^{[ p^{n}]}(s) $ is fully separable if and only if $s\leq (1+p^{n-1}) ^{-1}$

A collection of orthonormal bases for a complex d-dimensional Hilbert space is called mutually unbiased (MUB) if for any two vectors v and w from different bases the square of the inner product equals 1/d: | v, w | 2 =

No abstract

No abstract