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.
This thesis addresses aspects of quantum phase and sets out to draw attention to a collection of new and extend some not so new techniques utilizing Weyl's correspondence rule and its inverse. The phase formulation of quantum mechanics is as old as quantum mechanics itself and evolved over a period of two decades due to the contributions of H. Weyl \cite{Weyl1950}, E. P. Wigner \cite{Wigner1932}, H. Groenewold \cite{Groenewold1946} and J. E. Moyal \cite{Moyal1949}. Over the ensuing years the phase picture has matured into a practical analytical tool, and has generated a multitude of technical papers, reports, reviews, and expositions from many authors and commentators. One reason for its success is that it offers an intuitive picture of quantum mechanics owing to its \it{classical look and feel}, and it has made an impression, in one way or another, in many fields such as mathematical physics, quantum optics, and physical chemistry.The thesis opens with a brief history of classical phase space, tracing the possible origin of the term ``phase space itself, and chronicles the events leading to the conceptualization (and generalization) of quantum phase space. In Chapter 2 the Weyl correspondence is recast in terms of von Neumann's integral kernel transform and a heuristic analysis is given from this perspective. A characteristic of Weyl's correspondence rule and its inverse is that there are two inherent representations of the same operator. These have been referred to as the Weyl representation and Wigner representation and are related by a symplectic Fourier transform. For an arbitrary outer dyadic operator it is shown that the Weyl representation leads to the \it{modified} Gabor transform (known to Signal Processing), while the Wigner representation specializes to the Bargmann transform and a representation in terms of analytic functions. Calculating Weyl-Wigner (WW) transforms of products of
n operators, from first principles, has proved to be a technically difficult problem. However, with the machinery developed in Chapter 2 the problem is reduced to a straightforward algebraic exercise. Finally, forming an
s-parametrized generalization of Weyl's correspondence rule and focusing on the Weyl representation it is shown to lead to an intimate relationship with the relative state formalism \cite{Ban1998}. Weyl's correspondence rule is only applicable to operators and consequently state vectors
∣ψ⟩ are not represented in the usual formulation of quantum phase space. This problem is circumvented in Chapter 3 by introducing the notion of a normalized fixed state (or window) vector
∣φ0⟩ to form an outer dyadic product $\wh{\Psi} = |\psi\rangle\langle\varphi_0|$. The WW transform of this product under the action of the Weyl's rule is a complex valued function of real variables called a phase amplitude and denoted by the symbol
Ψ. The phase amplitudes have many (and sometimes surprising) properties. For example they: \begin{itemize} \item form the building blocks of Wigner functions
W by admitting a generalized Born rule
W=Ψ⋆Ψˉ, and as such can be considered to be a more fundamental objects than Wigner functions; \item superpose and interfere like the state vectors they represent; \item specialize to the Bargmann and Gabor transforms when a Gaussian window is chosen; \end{itemize} \ni In Chapter 4 further aspects of phase amplitudes are explored and discussed. For example it is shown that they: \begin{itemize} \item define phase state vectors which form an over complete set and are elements of a reproducing kernel Hilbert space; \item allow unitary ray representations of the group symmetries of translation, rotation and time reversal; \item evolve in phase under the influence of a propagator
R which is intimately related to the Wigner propagator
P. \end{itemize} Chapter 5 considers an extension of phase amplitudes to include systems with finitely many degrees of freedom. These are called spin amplitudes and are obtained by first forming the outer dyadic product of a spin state vector with an arbitrary fixed spin state vector, and then applying a finite-dimensional analogue of the WW transform. The spin amplitude operator is represented as an
n×n matrix, whose elements are products of the spin components of the spin and fixed state vectors. Two kinds of spin amplitudes are considered, arising on the sphere
S2 or on a
(2j+1) dimensional lattice. In the special case of spin-$\half$ systems it is shown that the spin amplitudes transform as spinors under rotations on both the sphere and lattice. As a physical application the spin amplitudes for a spin-$\half$ magnetic dipole are found for a Nuclear Magnetic Resonance (NMR) environment. Chapter 6 considers Schwinger's abstract approach to quantum mechanics which takes into account the inability to indefinitely compensate for fluctuations in the measurement process. The resulting measurement algebra provides a symbolic representation of the physical laws as opposed to the mathematical abstraction (of von Neumann and Dirac) that was justified \it{\'a posteriori} by being in agreement with experiment. Despite Schwinger's prolific work on the subject of measurement algebra, its interpretation in quantum phase remained an open issue. It is shown that the key to formulating a quantum phase in terms of the measurement operators and transformation functions is the determination of a suitable set of basis operators for an arbitrary measurement operator. Many new results follow as a consequence of expanding an arbitrary measurement operator in this basis. In Chapter 7 the quantum-classical interface is explored by considering Hamilton's principal function or action
S(q,v,t). Starting from a purely heuristic classical argument, a phase function
U(p,q,t) is derived in terms of the classical action and is shown to be proportional to the WW transform of the quantum evolution operator. This association leads to the transform \be U(p,q,t) = A(t) \int e^{ipv/\hbar} e^{iS(q,v,t)/\hbar} \; \rm{d}v, \ee which enables one, in principle, to deduce the Wigner functions of a given system when only the classical action is known. Simple physical systems are used to provide examples illustrating this approach.
This thesis describes quantum mechanics in the phase space formulation. We introduce quantization and in particular the Weyl quantization. We study a general class of phase space distribution functions on phase space. The Wigner distribution function is one such distribution function. The Wigner distribution function in general attains negative values and thus can not be interpreted as a real probability density, as opposed to for example the Husimi distribution function. The Husimi distribution however does not yield the correct marginal distribution functions known from quantum mechanics. Properties of the Wigner and Husimi distribution function are studied to more extent. We calculate the Wigner and Husimi distribution function for the energy eigenstates of a particle trapped in a box. We then look at the semi classical limit for this example. The time evolution of Wigner functions are studied by making use of the Moyal bracket. The Moyal bracket and the Poisson bracket are compared in the classical limit. The phase space formulation of quantum mechanics has as advantage that classical concepts can be studied and compared to quantum mechanics. For certain quantum mechanical systems the time evolution of Wigner distribution functions becomes equivalent to the classical time evolution stated in the exact Egerov theorem. Another advantage of using Wigner functions is when one is interested in systems involving mixed states. A disadvantage of the phase space formulation is that for most problems it quickly loses its simplicity and becomes hard to calculate.
We give a rigorous proof for the following result that combines those discussed earlier by Kr\"uger and Poffyn [Physica 85A, 84 (1976)] and by Springborg [J. Phys. A 16, 535 (1983)]: The Wigner correspondence of a quantum operator can be obtained by simple substitutions under an arbitrary linear phase-space transformation. This property cannot be generalized to any other transformations or rules of phase-space correspondence. As an application of this result, the Wigner distribution functions of an anisotropic harmonic-oscillator system in crossed magnetic and electric fields are obtained.
We review some of the difficulties previously encountered in defining the phase operator for finite quantum systems. We then propose the Wigner–Weyl quantization of the angle function φ on phase space as the phase operator, and derive a closed expression for its matrix elements with respect to the Hermite functions. We also determine the quantization of e^{iφ} , which turns out to be a weighted shift operator, its spectrum and that of its adjoint. This is done in the framework of quantization of a certain symbol class of phase space distributions, specialized to those which depend on one variable only. After recalling some results for the position and momentum variables, we apply the scheme to functions of radius or angle. We give necessary and sufficient conditions for operators obtained by quantizing functions of the angle to be elements of \mathscr L^+ [\mathscr S(\mathbf R)] and \mathscr L^+ [\mathscr S (\mathbf R), L^2(\mathbf R)] , and a sufficient condition for boundedness. We then consider the associated questions of commutation relations and uncertainties for operators in \mathscr L^+ [\mathscr S(\mathbf R), L^2(\mathbf R)] , which we define as bilinear forms. As must be the case, the commutator between our phase operator and the number operator exhibits noncanonical terms. Not surprisingly, the Poisson bracket of their phase space symbols also exhibits a noncanonical term.
We formulate the standard quantum mechanical eigenvalue problem in quantum phase space. The equation obtained involves the c-function that corresponds to the quantum operator. We use the Wigner distribution for the phase space function. We argue that the phase space eigenvalue equation obtained has, in addition to the proper solutions, improper solutions. That is, solutions for which no wave function exists which could generate the distribution. We discuss the conditions for ascertaining whether a position momentum function is a proper phase space distribution. We call these conditions psi-representability conditions, and show that if these conditions are imposed, one extracts the correct phase space eigenfunctions. We also derive the phase space eigenvalue equation for arbitrary phase space distributions functions. © 2017 Wiley Periodicals, Inc.