We construct a version of the discrete Wigner function making use of symmetric informationally complete positive operator valued measure. We will show that this version is the natural discrete analog of continuous Wigner function. In addition, to this discrete Wigner function has many properties of the continuous Wigner function.
Wigner functions provide a way to do quantum physics using quasiprobabilities, that is, ``probability'' distributions that can go negative. Informationally complete positive operator-valued measures, a much younger subject than phase-space formulations of quantum mechanics, are less familiar but provide wholly probabilistic representations of quantum theory. In this paper, we show that the Born rule links these two classes of structure and discuss the art of interconverting between them. In particular, we demonstrate that the operator bases corresponding to minimal discrete Wigner functions (Wigner bases) are orthogonalizations of minimal informationally complete measurements (MICs). By not imposing a particular discrete phase-space structure at the outset, we push Wigner functions to their limits in a suitably quantified sense, revealing an extremality condition satisfied by the symmetric informationally complete measurements (SICs). This contributes another member to the set of optimality criteria that SICs are known to satisfy. Finally, we speculate that astute choices of MICs from the orthogonalization preimages of Wigner bases may in general give quantum measurements that are conceptually illuminating for the quasiprobability representations defined by those Wigner bases.
We study the Wigner Transform (WT) in the case of an infinite-dimensional continuous Hilbert space and a discrete Hilbert space of finite prime-number dimensionality N. In the discrete case we define a family of WT's as a function of a phase parameter. It is only for a specific value of the parameter that all the properties we have examined, including the matrix elements of the phase-space operator P and the relation between Wigner's function and Kirkwood's distribution, have a parallel in both types of Hilbert space. This close parallel was found constructing the two WT's in terms of a complete set of operators having similar properties, in the sense that the position and momentum operators appear disentangled in the two situations. We give a geometric interpretation of the properties involving the phase-space operator in the discrete case.
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 oscillator model in dimension 2 j + 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 oscillator with the well known plots of Wigner functions for the canonical quantum oscillator. This comparison supports our approach to discrete Wigner functions.
We present a simple way to quantize the well-known Margulis expander map. The result is a quantum expander which acts on discrete Wigner functions in the same way the classical Margulis expander acts on probability distributions. The quantum version shares all essential properties of the classical counterpart, e.g., it has the same degree and spectrum. Unlike previous constructions of quantum expanders, our method does not rely on non-Abelian harmonic analysis. Analogues for continuous variable systems are mentioned. Indeed, the construction seems one of the few instances where applications based on discrete and continuous phase space methods can be developed in complete analogy.
We show that, on a Hilbert space of odd dimension, the only pure states to possess a non-negative Wigner function are stabilizer states. The Clifford group is identified as the set of unitary operations which preserve positivity. The result can be seen as a discrete version of Hudson's Theorem. Hudson established that for continuous variable systems, the Wigner function of a pure state has no negative values if and only if the state is Gaussian. Turning to mixed states, it might be surmised that only convex combinations of stabilizer states give rise to non-negative Wigner distributions. We refute this conjecture by means of a counter-example. Further, we give an axiomatic characterization which completely fixes the definition of the Wigner function and compare two approaches to stabilizer states for Hilbert spaces of prime-power dimensions. In the course of the discussion, we derive explicit formulas for the number of stabilizer codes defined on such systems.