The Fourier–Wigner transform of two functions is first defined and is given an alternative expression. The Wigner transform is then defined to be the Fourier transform of the Fourier–Wigner transform. The Moyal identity, which is an analog of the Plancherel formula, is then proved for the Wigner transform. The Weyl transform with a given symbol is then defined in terms of the Wigner transform. Another formula for the Weyl transform with a given symbol is then proved and used to establish the fact that the product of two Weyl transforms is also a Weyl transform with symbol given by a twisted convolution of the two given symbols.
In this work, we derive a discrete analog of the Wigner transform over the space
(Cp)⊗N for any prime
p and any positive integer
N. We show that the Wigner transform over this space can be constructed as the inverse Fourier transform of the standard Pauli matrices for
p=2 or more generally of the Heisenberg-Weyl group elements for
p>2. We connect our work to a previous construction by Wootters of a discrete Wigner transform by showing that for all
p, Wootters' construction corresponds to taking the inverse symplectic Fourier transform instead of the inverse Fourier transform. Finally, we discuss some implications of these results for the numerical simulation of many-body quantum spin systems.