1: \begin{abstract}

2: A finite Hilbert space can be associated to a periodic phase space, that

3: is, a torus.

4: A finite subgroup of operators corresponding to reflections and

5: translations on the torus

6: form respectively the basis for the discrete Weyl representation, including

7: the Wigner function,

8: and for its Fourier conjugate, the chord representation. They are invariant

9: under Clifford transformations and obey analogous product rules to the

10: continuous representations,

11: so allowing for the calculation of expectations and correlations for

12: observables.

13: We here import new identities from the continuum for products of pure state

14: Wigner and chord functions, involving, for instance the inverse phase space

15: participation ratio

16: and correlations of a state with its translate. New identities are derived involving {\it transition} Wigner or chord functions of transition operators $\ket{\psi_1}\bra{\psi_2}$. 

17: Extension of the reflection and translation operators to a doubled torus

18: phase space leads to the representation of superoperators and so  to the construction of the propagator of Wigner functions from the

19: Weyl representation of the evolution operator.

20: 

21: \end{abstract}

22: