Since the very early days of quantum theory there have been numerous attempts to interpret quantum mechanics as a statistical theory. This is equivalent to describing quantum states and ensembles together with their dynamics entirely in terms of phase-space distributions. Finite dimensional systems have historically been an issue. In recent works [Phys. Rev. Lett. 117, 180401 (2016) and Phys. Rev. A 96, 022117 (2017)] we presented a framework for representing any quantum state as a complete continuous Wigner function. Here we extend this work to its partner function---the Weyl function. In doing so we complete the phase-space formulation of quantum mechanics---extending work by Wigner, Weyl, Moyal, and others to any quantum system. This work is structured in three parts. First we provide a brief modernized discussion of the general framework of phase-space quantum mechanics. We extend previous work and show how this leads to a framework that can describe any system in phase space---putting it for the first time on a truly equal footing to Schr\"odinger's and Heisenberg's formulation of quantum mechanics. Importantly, we do this in a way that respects the unifying principles of ``parity'' and ``displacement'' in a natural broadening of previously developed phase-space concepts and methods. Secondly we consider how this framework is realized for different quantum systems; in particular we consider the proper construction of Weyl functions for some example finite dimensional systems. Finally we relate the Wigner and Weyl distributions to statistical properties of any quantum system or set of systems.
Following previous works by E. Prugovečki [Physica A 91A, 202 (1978) and Stochastic Quantum Mechanics and Quantum Space–time (Reidel, Dordrecht, 1986)] on common features of classical and quantum mechanics, we develop a unified mathematical framework for classical and quantum mechanics (based on L2-spaces over classical phase space), in order to investigate to what extent quantum mechanics can be obtained as a simple modification of classical mechanics (on both logical and analytical levels). To obtain this unified framework, we split quantum theory in two parts: (i) general quantum axiomatics (a system is described by a state in a Hilbert space, observables are self-adjoints operators, and so on) and (ii) quantum mechanics proper that specifies the Hilbert space as L2(Rn); the Heisenberg rule [pi,qj]=−iℏδij with p=−iℏ∇, the free Hamiltonian H=−ℏ2Δ/2m and so on. We show that general quantum axiomatics (up to a supplementary “axiom of classicity”) can be used as a nonstandard mathematical ground to formulate physical ideas and equations of ordinary classical statistical mechanics. So, the question of a “true quantization” with “ℏ” must be seen as an independent physical problem not directly related with quantum formalism. At this stage, we show that this nonstandard formulation of classical mechanics exhibits a new kind of operation that has no classical counterpart: this operation is related to the “quantization process,” and we show why quantization physically depends on group theory (the Galilei group). This analytical procedure of quantization replaces the “correspondence principle” (or canonical quantization) and allows us to map classical mechanics into quantum mechanics, giving all operators of quantum dynamics and the Schrödinger equation. The great advantage of this point of view is that quantization is based on concrete physical arguments and not derived from some “pure algebraic rule” (we exhibit also some limit of the correspondence principle). Moreover spins for particles are naturally generated, including an approximation of their interaction with magnetic fields. We also recover by this approach the semi-classical formalism developed by E. Prugovečki [Stochastic Quantum Mechanics and Quantum Space–time (Reidel, Dordrecht, 1986)].