Skip to main content
Log in

A family of Weyl–Wigner transforms for discrete variables defined in a finite-dimensional Hilbert space

  • Regular Paper
  • Published:
Quantum Studies: Mathematics and Foundations Aims and scope Submit manuscript

Abstract

We study the Weyl–Wigner transform in the case of discrete variables defined in a Hilbert space of finite prime-number dimensionality N. We define a family of Weyl–Wigner transforms as function of a phase parameter. We show that it is only for a specific value of the parameter that all the properties we have examined have a parallel with the case of continuous variables defined in an infinite-dimensional Hilbert space. A geometrical interpretation is briefly discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1

Similar content being viewed by others

References

  1. Weyl, H.: Quantenmechnik und Gruppentheorie. Z. Phys. 46, 1 (1927)

    Article  MATH  Google Scholar 

  2. Wigner, E.P.: On the quantum correction for thermodynamic equilibrium. Phys. Rev. 40, 749 (1932)

    Article  MATH  Google Scholar 

  3. Hillery, M., O’Connel, R.F., Scully, M.O., Wigner, E.P.: Distribution functions in physics: Fundamentals. Phys. Rep. 106, 121 (1984)

    Article  MathSciNet  Google Scholar 

  4. Moyal, J.E.: Quantum mechanics as a statistical theory. Proc. Cambridge Phil. Soc. 45, 99 (1949)

    Article  MathSciNet  MATH  Google Scholar 

  5. Leonhardt, U.: Measuring the Quantum State of Light. Cambridge University Press, Cambridge (1997)

    MATH  Google Scholar 

  6. Schleich, W.: Quantum Optics in Phase Space. Wiley, New York (2001)

    Book  MATH  Google Scholar 

  7. Buot, F.A.: Method for calculating Tr \({\cal{H}}^n\) in solid-state theory. Phys. Rev. B 10, 3700 (1974)

    Article  Google Scholar 

  8. Hannay, J.H., Berry, M.V.: Quantization of linear maps on a torus-fresnel diffraction by a periodic grating. Physica D 1, 267 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  9. Cohen, L., Scully, M.: Joint Wigner distribution for spin-1/2 particles. Found. Phys. 16, 295 (1986)

    Article  MathSciNet  Google Scholar 

  10. Wootters, W.K.: A Wigner function formulation of finite-state quantum mechanics. Ann. Phys. (N.Y.) 176, 1 (1987)

    Article  MathSciNet  Google Scholar 

  11. Galetti, D., Piza De Toledo, A.F.R.: An extended Weyl–Wigner transformation for special finite spaces. Physica A 149, 267 (1988)

    Article  MathSciNet  Google Scholar 

  12. Cohendet, O., Combe, Ph, Sirugue, M., Sirugue-Collin, M.: A stochastic treatment of the dynamics of integer spin. J. Phys. A 21, 2875 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  13. Kasperkovitz, P., Peev, M.: Wigner–Weyl formalisms for toroidal geometries. Ann. Phys. (N.Y.) 230, 21 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  14. Leonhardt, U.: Quantum-state tomography and discrete Wigner function. Phys. Rev. Lett. 74, 4101 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  15. Leonhardt, U.: Discrete Wigner function and quantum-state tomography. Phys. Rev. A 53, 2998 (1996)

    Article  MathSciNet  Google Scholar 

  16. Leonhardt, U.: Quantum-state tomography and discrete Wigner function. Phys. Rev. Lett. 76, 4293 (1996)

    Article  MathSciNet  Google Scholar 

  17. Luis, A., Peřina, J.: Discrete Wigner function for finite-dimensional systems. J. Phys. A 31, 1423 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  18. Rivas, A.M.F., Ozorio de Almeida, A.M.: The Weyl representation on the torus. Ann. Phys. 276, 223 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  19. Bandyopadhyay, S., Boykin, P.O., Roychowdhury ,V., Vatan, F.: A new proof for the existence of mutually unbiased bases. arXiv:quant-ph/0103162v3 (2001)

  20. Bandyopadhyay, S., Boykin, P.O., Roychowdhury, V., Vatan, F.: Algorithmica 34, 512 (2002)

    Article  MathSciNet  Google Scholar 

  21. Gibbons, K.S., Hoffman, M.J., Wootters, W.K.: Discrete phase space based on finite fields. Phys. Rev. A 70, 062101 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  22. Vourdas, A.: Quantum systems with finite Hilbert space. Rep. Prog. Phys. 67, 267 (2004)

    Article  MathSciNet  Google Scholar 

  23. Klimov, A.B., Muñoz, C., Romero, J.L.: Geometrical approach to discrete Wigner function. J. Phys. A: Math. Gen. 39, 14471 (2006)

    Article  MATH  Google Scholar 

  24. Revzen, M.: Radon transform in finite Hilbert space. Europh. Lett. 98, 10001 (2012)

    Article  Google Scholar 

  25. Mello, P.A., Revzen, M.: Wigner function and successive measurements of position and momentum. Phys. Rev. A 89, 012106 (2014)

    Article  Google Scholar 

  26. Muñoz, C., Klimov, A.B.: Discrete phase-space mappings, tomographic condition and permutation invariance. arXiv:1603.00916v1 (2016)

  27. Grossmann, A.: A parity operator in quantization of delta function. Commun. Math. Phys. 48, 191 (1976)

    Article  MATH  Google Scholar 

  28. Royer, A.: Wigner function as expectation value of a parity operator. Phys. Rev. A 15, 449 (1977)

    Article  MathSciNet  Google Scholar 

  29. Schwinger, J.: Unitary operator bases. Proc. Natl. Acad. Sci. USA 46, 570 (1960)

    Article  MathSciNet  MATH  Google Scholar 

  30. Schwinger, J.: Unitary transformations and the action principle. Proc. Natl. Acad. Sci. USA 46, 883 (1960)

    Article  MathSciNet  MATH  Google Scholar 

  31. Ivanovic, I.D.: Geometrical description of quantal state determination. J. Phys. A 14, 3241 (1981)

    Article  MathSciNet  Google Scholar 

  32. Durt, T., Englert, B.G., Bengtsson, I., Zyczkowski, K.: On mutually unbiased bases. Int. J. Q. Inf. 8, 535 (2010)

    Article  MATH  Google Scholar 

  33. Wootters, W.K.: Quantum measurements and finite geometry. Found. Phys. 36, 112 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  34. Khanna, F.C., Mello, P.A., Revzen, M.: Classical and quantum state reconstruction. Eur. J. Phys. 33, 921 (2012)

    Article  MATH  Google Scholar 

  35. Zak, J.: Doubling feature of the Wigner function: finite phase space. J. Phys. A Math. Theor. 44, 345305 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  36. Santhanam, T.S., Tekumalia, A.: Quantum mechanics in finite dimensions. Found. Phys. 6, 583 (1976)

    Article  Google Scholar 

  37. de la Torre, A.C., Goyeneche, D.: Quantum mechanics in finite-dimensional Hilbert space. Am. J. Phys. 71, 49 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

One of the authors (PAM) acknowledges support by DGAPA, under Contract No. IN109014. He also acknowledges the kind hospitality of the Physics Department of the Technion, where this investigation was initiated.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Pier A. Mello.

Appendices

Appendix A: Schwinger operators

We consider an N-dimensional Hilbert space spanned by N orthonormal states \(|q\rangle \), with \(q=0,1, \ldots ,(N-1)\), and subject to the periodic condition \(|q+N\rangle =|q\rangle \); they are designated as the “reference basis”, or “computational basis” of the space. We introduce the unitary operators \(\hat{X}\) and \(\hat{Z}\) [29], which fulfill the periodic condition \( \hat{X}^N = \hat{Z}^N = \hat{\mathbb {I}} \) (\(\hat{\mathbb {I}}\) being the unit operator) and are defined by their action on the states of the reference basis as

$$\begin{aligned} \hat{Z}|q\rangle= & {} \omega ^q|q\rangle , \quad \omega =e^{2 \pi i/N}, \end{aligned}$$
(39)
$$\begin{aligned} \hat{X}|q\rangle= & {} |q+1\rangle , \end{aligned}$$
(40)

leading to the commutation relation

$$\begin{aligned} \hat{Z}\hat{X}=\omega \hat{X}\hat{Z} . \end{aligned}$$
(41)

The two operators \(\hat{Z}\) and \(\hat{X}\) form a complete algebraic set [29], so that any operator defined in our N-dimensional Hilbert space can be written as a function of \(\hat{Z}\) and \(\hat{X}\).

We introduce the Hermitian operators \(\hat{p}\) and \(\hat{q}\) through the equations [10, 24, 25, 32, 37]

$$\begin{aligned} \hat{X}= & {} \omega ^{-\hat{p}} = e^{-\frac{2\pi i}{N}\hat{p}}, \end{aligned}$$
(42)
$$\begin{aligned} \hat{Z}= & {} \omega ^{\hat{q}} =e^{\frac{2\pi i}{N}\hat{q}}. \end{aligned}$$
(43)

As \(\hat{X}\) performs translations in the variable q and \(\hat{Z}\) in the variable p, we designate \(\hat{p}\) and \(\hat{q}\) as “momentum-like” and “position-like” operators, respectively.

What we defined as the reference basis can thus be considered as the “position basis”. With (41) and definitions (42), (43), the commutator of \(\hat{q}\) and \(\hat{p}\) reduces, in the continuous limit [32, 36, 37], to the standard one, \([\hat{q},\hat{p}]=i\).

Appendix B: MUB

The operators \(\hat{X}\hat{Z}^b\), \(b=0, \cdots N-1\) define N of the \(N+1\) MUB, [see Eqs. (44), (45) below], while the operator \(\hat{Z}\) defines the reference basis. The operator \(\hat{X} \hat{Z}^{b}\) possesses N eigenvectors, denoted by \(|m,b\rangle \) (see Ref. [19, 20] and Eqs. (10), (11) of Ref. [24])

$$\begin{aligned} \hat{X}\hat{Z}^{b} |m,b\rangle= & {} \omega ^m |m;b\rangle ; \;\;\;\;\; b,m = 0,1, \cdots , N-1 , \end{aligned}$$
(44)
$$\begin{aligned} |m;b\rangle= & {} \frac{1}{\sqrt{N}}\sum _{q=0}^{N-1}\omega ^{\frac{b}{2}q(q-1)-qm} |q\rangle . \end{aligned}$$
(45)

Here, \(|q\rangle \) (\(q=0, \ldots , N-1\)) denote the N states of the reference basis. The states with \(b=0\) are eigenstates of \(\hat{p}\)

$$\begin{aligned} |m;0\rangle= & {} \frac{1}{\sqrt{N}}\sum _{q=0}^{N-1} e^{\frac{2\pi i}{N}(N-m)q} |q\rangle , \end{aligned}$$
(46)
$$\begin{aligned}= & {} |p=-m=(N-m) \mathrm{Mod}[N]\rangle . \end{aligned}$$
(47)

Appendix C: Orthogonality of the operators \(\hat{P}^{(c)}_{qp}\), Eq. (17)

We show the orthogonality, as given by Eq. (17), of the operators \(\hat{P}^{(c)}_{q,p}\) defined in Eq. (6). We first note the following two features of the lines described in the text.

  1. 1.

    We assume the phase c to be fixed; then a line is defined by the pair of numbers qp. Lines \(\hat{P}^{(c)}_{q,p}, \hat{P}^{(c)}_{q',p'}\) may be either identical, which means that \(p=p'\) and \(q=q'\), or distinct, meaning that either

    1. (i)

      \(q \ne q'\), \(p=p'\), or

    2. (ii)

      \(q=q'\), \(p\ne p'\), or

    3. (iii)

      \(q\ne q'\) and \(p \ne p'\).

    If two lines are distinct, then they have one point in common, i.e. there exists (one) b wherein the two lines intersect. Every line has one common “point” with every other line. If two lines have two points in common, they are identical.

    Let line 1 be given by (qp) and line 2 by \((q',p')\). We have the possibilities:

    (i, iii) The lines differ if \(q\ne q'\). Here both cases \(p=p'\) or \(p\ne p'\) imply \(b=\frac{p-p'}{q-q'}\) (\(b=0\) for the first case)—a unique value in either case.

    (ii) If the lines differ via \(p\ne p'\) but \(q=q'\), the common point is at \(b=\ddot{0}\).

    The uniqueness of the solutions implies that distinct lines cannot have more than one point in common.

  2. 2.

    All the “points” are MUB projectors , i.e.

    $$\begin{aligned} {\mathbb {P}}^{(c)}(q,p;b)= |M^{(c)}_{q,p}(b); b \rangle \langle M^{(c)}_{q,p}(b); b| . \end{aligned}$$
    (48)

    For \(b\ne b'\) (including \(b=\ddot{0}\)) we have

    $$\begin{aligned} \mathrm{Tr} [ {\mathbb {P}}^{(c)}(q,p;b){\mathbb {P}}^{(c)}(q,p;b') ] =\frac{1}{N} . \end{aligned}$$
    (49)

The actual proof of orthogonality involves computing the LHS of Eq. (17), giving

$$\begin{aligned} \mathrm{Tr} [ \hat{P}^{(c)}_{q,p}\hat{P}^{(c)}_{q',p'} ]= & {} \sum _{b=\ddot{0}}^{N-1}\mathrm{Tr}[{\mathbb {P}}^{(c)}(q,p;b) {\mathbb {P}}^{(c)}(q',p';b)] +\sum _{b\ne b'}\mathrm{Tr}[{\mathbb {P}}^{(c)}(q,p;b){\mathbb {P}}^{(c)}(q',p';b') ] \nonumber \\&-\sum _{b=\ddot{0}}^{N-1}\mathrm{Tr}[{\mathbb {P}}^{(c)}(q,p;b)] -\sum _{b=\ddot{0}}^{N-1}\mathrm{Tr}[{\mathbb {P}}^{(c)}(q',p';b)] +\mathrm{Tr}\; {\mathbb {I}}, \end{aligned}$$
(50)
$$\begin{aligned}\equiv & {} A+B+C+D+E . \end{aligned}$$
(51)

Calculation of A The first term, A, involves a sum over \(N+1\) traces of the product of two projectors, both in the same basis b.

  1. (i)

    If \(q=q', p=p'\), the lines are identical: then the sum reduces to \(N+1\) traces of projectors, each giving 1, the result thus being \(N+1\).

  2. (ii)

    If the lines are distinct, they have only one common point at b; we thus have the trace of a projector, giving 1. All other N terms involve the trace of a product of two orthogonal projectors and do not contribute. Thus

    $$\begin{aligned} A=\sum _b Tr {\mathbb {P}}^{(c)}(q,p;b){\mathbb {P}}^{(c)}(q',p';b) = (N+1) \delta _{qq'}\delta _{pp'} +1\cdot (1- \delta _{qq'}\delta _{pp'}) = 1+ N \delta _{qq'}\delta _{pp'} . \end{aligned}$$
    (52)

    Calculation of B The second term involves traces of projectors of distinct bases. Since these are MUB projectors, each term gives 1 / N. There are \(N(N+1)\) terms in the sum, giving \(N(N+1)/N=N+1\):

    $$\begin{aligned} B=\sum _{b\ne b'}Tr {\mathbb {P}}^{(c)}(q,p;b){\mathbb {P}}^{(c)}(q',p';b')=N+1. \end{aligned}$$
    (53)

    Calculation of C and D The third and fourth terms, C and D, involve traces of projectors each multiplied by unity. There are \(N+1\) terms, each giving 1. We thus find

    $$\begin{aligned} C=-\sum _b \mathrm{Tr} {\mathbb {P}}^{(c)}(q,p;b) = D=-\sum _b Tr {\mathbb {P}}^{(c)}(q',p';b') =-(N+1). \end{aligned}$$
    (54)

    Calculation of E The last term, E, involves the trace of unity, giving N.

    Adding up the five terms, we finally obtain:

    $$\begin{aligned} \mathrm{Tr} \left[ \hat{P}^{(c)}_{q,p}\hat{P}^{(c)}_{q',p'}\right] =N\delta _{q,q'}\delta _{p,p'}. \end{aligned}$$
    (55)

Appendix D: Derivation of Eq. (36)

The definition of WWT, Eq. (35), is based on the notion that the Weyl operators [1]

$$\begin{aligned} \mathbb {U} =\mathrm{e}^{i(\beta \hat{p} +\alpha \hat{q})} \end{aligned}$$
(56)

form a complete and orthogonal operator basis [5, 6, 34]. For the purpose of comparing the continuous and discrete cases in Sect. 3, we introduce the alternative set of complete and orthogonal operators

$$\begin{aligned} \mathbb {V} = \mathrm{e}^{i\beta \hat{p}} \; \mathrm{e}^{i\alpha \hat{q}} , \end{aligned}$$
(57)

and express the WWT in terms of them.

Making the change of variables \(v'=-v\) and relabelling \(v'\) again as v, we obtain, from Eq. (35)

$$\begin{aligned} W_{\hat{A}}(q,p) = \frac{1}{2\pi } \mathrm{Tr}\int _{-\infty }^{\infty } \int _{-\infty }^{\infty } \hat{A} \mathrm{e}^{-i(u\hat{q} - v\hat{p})} \mathrm{e}^{i(uq - vp)} \mathrm{d}u \mathrm{d}v. \end{aligned}$$
(58)

We use polar coordinates

$$\begin{aligned} u = r \cos \theta , \quad v = r \sin \theta \end{aligned}$$
(59)

and write

$$\begin{aligned} W_{\hat{A}}(q,p)= & {} \mathrm{Tr}\int _{0}^{\infty } r \mathrm{d}r \int _{0}^{2 \pi } \mathrm{d} \theta \; \hat{A} \mathrm{e}^{-i r \sin \theta (- \hat{p} + \cot \theta \; \hat{q} )} \nonumber \\&\times \mathrm{e}^{i r \sin \theta (- p + \cot \theta \; q)} \end{aligned}$$
(60)
$$\begin{aligned}= & {} \mathrm{Tr}\int _{0}^{\infty } r \mathrm{d}r \int _{0}^{2 \pi } \mathrm{d} \theta \; \hat{A} [\mathrm{e}^{i(-\hat{p} + \cot \theta \; \hat{q})} ]^{-r \sin \theta } \nonumber \\&\times \mathrm{e}^{i r \sin \theta (- p + \cot \theta \; q)}. \end{aligned}$$
(61)

Recalling the BCH identity

$$\begin{aligned} \mathrm{e}^{i(\alpha \hat{q} + \beta \hat{p})} = \mathrm{e}^{-\frac{i}{2}\alpha \beta } \mathrm{e}^{i \beta \hat{p}} \mathrm{e}^{i \alpha \hat{q}} , \end{aligned}$$
(62)

and choosing \(\beta = -1\), \(\alpha = \cot \theta \), we can write

$$\begin{aligned}&\mathrm{e}^{i(-\hat{p} + \cot \theta \; \hat{q})} = \mathrm{e}^{\frac{i}{2}\cot \theta } \mathrm{e}^{-i \hat{p}} \;\mathrm{e}^{i \cot \theta \; \hat{q}} , \end{aligned}$$
(63)
(64)

so (61) takes the form of Eq. (36) given in the text.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mann, A., Mello, P.A. & Revzen, M. A family of Weyl–Wigner transforms for discrete variables defined in a finite-dimensional Hilbert space. Quantum Stud.: Math. Found. 4, 89–101 (2017). https://doi.org/10.1007/s40509-016-0096-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s40509-016-0096-4

Keywords

Navigation