Wigner-Weyl correspondence in quantum mechanics for continuous and discrete systems-a Dirac-inspired view

Drawing inspiration from Dirac's work on functions of non-commuting observables, we develop an approach to phase-space descriptions of operators and the Wigner-Weyl correspondence in quantum mechanics, complementary to standard formulations. This involves a two-step process: introducing phase-space descriptions based on placing position dependences to the left of momentum dependences (or the other way around); then carrying out a natural transformation to eliminate a kernel which appears in the expression for the trace of the product of two operators. The method works uniformly for both continuous Cartesian degrees of freedom and for systems with finite-dimensional state spaces. It is interesting that the kernel encountered is naturally expressible in terms of geometric phases, and its removal involves extracting its square root in a suitable manner