The paper develop the alternative formulation of quantum mechanics known as the phase space quantum mechanics or deformation quantization. It is shown that the quantization naturally arises as an appropriate deformation of the classical Hamiltonian mechanics. More precisely, the deformation of the point-wise product of observables to an appropriate noncommutative
⋆-product and the deformation of the Poisson bracket to an appropriate Lie bracket is the key element in introducing the quantization of classical Hamiltonian systems. The considered class of deformations and the corresponding
⋆-products contains as a special cases all deformations which can be found in the literature devoted to the subject of the phase space quantum mechanics. Fundamental properties of
⋆-products of observables, associated with the considered deformations are presented as well. Moreover, a space of states containing all admissible states is introduced, where the admissible states are appropriate pseudo-probability distributions defined on the phase space. It is proved that the space of states is endowed with a structure of a Hilbert algebra with respect to the
⋆-multiplication. The most important result of the paper shows that developed formalism is more fundamental then the axiomatic ordinary quantum mechanics which appears in the presented approach as the intrinsic element of the general formalism. The equivalence of two formulations of quantum mechanics is proved by observing that the Wigner-Moyal transform has all properties of the tensor product. This observation allows writing many previous results found in the literature in a transparent way, from which the equivalence of the two formulations of quantum mechanics follows naturally.
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.
Quantum mechanics is formulated on a quantum mechanical phase space. The algebra of observables and states is represented by an algebra of functions on a phase space that fulfils a certain coherence condition, expressing the quantum mechanical superposition principle. The trace operation is an integration over phase space. In the case where the canonical variables independently run from - infinity to + infinity formalism reduces to the representation of quantum mechanics by Wigner distributions. However, the notion of coherent algebra allows one to apply the formalism to spaces for which the Wigner mapping is not known. The quantum mechanics of a particle in a plane in polar coordinates is discussed as an example.
The work can be considered as an essay on mathematical and conceptual structure of nonrelativistic quantum mechanics (QM) which is related here to some other (more general, but also to more special and “approximative”) theories. QM is here primarily reformulated in an equivalent form of a Poisson system on the phase space consisting of density matrices, where the “observables”, as well as “symmetry generators” are represented by a specific type of real valued (densely defined) functions, namely the usual quantum expectations of corresponding selfadjoint operators. It is shown in this paper that inclusion of additional (“nonlinear”) symmetry generators (i.e. “Hamiltonians”) into this reformulation of (linear) QM leads to a considerable extension of the theory: two kinds of quantum “mixed states” should be distinguished, and operator ‐ valued functions of density matrices should be used in the r ˆ ole of “nonlinear observables”. A general framework for physical theories is obtained in this way: By different choices of the sets of “nonlinear observables” we obtain, as special cases, e.g. classical mechanics on homogeneous spaces of kinematical symmetry groups, standard (linear) QM, or nonlinear extensions of QM; also various “quasiclassical approximations” to QM are all subtheories of the presented extension of QM - a version of the extended quantum mechanics (EQM). A general interpretation scheme of EQM extending the usual statistical interpretation of QM is also proposed. Eventually, EQM is shown to be (included into) a C -algebraic (hence linear) quantum theory. Mathematical formulation of these theories is presented. The presentation includes an analysis of problems connected with differentiation on infinite ‐ dimensional manifolds, as well as a solution of some problems connected with the work with only densely defined unbounded real‐valued functions on the (infinite dimensional) “phase space” which correspond to unbounded operators (generators) and to their nonlinear generalizations. Also “nonlinear deformations” of unitary representations of kinematical symmetry Lie groups are introduced. Possible applications are briefly discussed, and some specific examples are presented. The text contains also brief reviews of Hamiltonian classical mechanics, as well as of QM. Mathematical appendices make the paper nearly selfcontained.
We are dealing in this work with such formal and conceptual extensions of nonrelativistic quantum mechanics (QM) which contain QM with its standard formalism and interpretation as a subtheory. QM is here primarily equivalently reformulated in the form of a Poisson system on the infinite-dimensional phase space consisting of all density matrices. It is shown that inclusion of additional ("nonlinear") symmetry generators (i.e. "Hamiltonians") into this reformulation of (linear) QM leads to a considerable extension of the theory: two kinds of quantum "mixed states" should be distinguished, and operator - valued functions of density matrices should be used in the role of "nonlinear observables". A general framework for physical theories is obtained in this way, containing various nonlinear versions of QM, as well as some of "approximations" to standard QM as subtheories. Questions of interpretation are considered and formally consistently solved. Specifications and illustrations, as well as mathematical Appendices and two functioning Indexes are included, making the text almost selfcontained.
We show how to represent the state and the evolution of a quantum computer (or any system with an
N--dimensional Hilbert space) in phase space. For this purpose we use a discrete version of the Wigner function which, for arbitrary
N, is defined in a phase space grid of
2Ntimes2N points. We compute such Wigner function for states which are relevant for quantum computation. Finally, we discuss properties of quantum algorithms in phase space and present the phase space representation of Grover's quantum search algorithm.