In Paper I of this investigation a new calculus for functions of noncommuting operators was developed, based on the notion of mapping of operators onto
c-number functions. With the help of this calculus, a general theory is formulated, in the present paper, of phase-space representation of quantum-mechanical systems. It is shown that there is a whole class of such representations, one associated with each type of mapping, the simplest one being the well-known representation due to Weyl. For each representation, the quantum-mechanical expectation value of an operator is found to be expressible in the form of a phase-space average of classical statistical mechanics. The phase-space distribution functions are, however, not true probabilities, in general. The phase-space forms of the main quantum-mechanical equations of motion are obtained and are found to have the form of a generalized Liouville equation. The phase-space form of the Bloch equation for the density operator of a quantum system in thermal equilibrium is also derived. The generalized characteristic functions of boson systems are defined and their main properties are studied. The equations of motion for the characteristic functions are also derived. As an illustration of the theory, a generalized stochastic description of a quantized electromagnetic field is obtained.
The new
c-number calculus for functions of noncommuting operators, developed in Paper I and employed in Paper II to formulate a general phase-space description of boson systems, deals with situations involving equal-time operators only. In the present paper extensions are presented for the treatment of problems involving boson operators at two or more instants of time. The mapping of time-ordered products onto
c-number functions is studied in detail. The results make it possible to evaluate time-ordered products of boson operators by phase-space techniques. The usual Wick theorem for boson systems is obtained as a special case of a much more general theorem on time ordering. Our method of derivation appears to provide the first direct proof of Wick's theorem as well as a clear insight into its true meaning. A closed expression is also obtained for the time-evolution operator in terms of the solution of the
c-number differential equation for the phase-space equivalent of this operator. The new calculus is also applied to the problem of evaluating normally ordered time-ordered, and also the antinormally ordered time-ordered, correlation functions.
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.
The objective of this thesis is to describe the fundamental concepts relating to the reformulation of quantum mechanics in phase space. It is assumed that the interested reader is familiar with the principles and techniques of ordinary quantum mechanics. In classical statistical mechanics the expectation values of physical quantities are calculated as averages over phase space distribution functions. It is possible to obtain a similar procedure in quantum mechanics. However, phase space is a classical concept and thus has no quantum mechanical equivalent, owing to the non-commutability of the operators p and q. A sensible basic requirement for the formulation of quantum mechanics in phase space is a linear one-one mapping between quantum operators and classical functions. This was achieved by the pioneering work of Weyl, Wigner and Moyal. The phase space that they devised we shall call "pseudo phase space". It is completely quantum. The pseudo phase space variables are represented by commuting c-numbers of momentum, p, and position, q; they are the result of applying the Weyl correspondence rule to the operators p and q, respectively. In some ways the pseudo phase space formulation of quantum mechanics appears to return us to an "almost" classical arena, since we dispense with the calculus of non-commuting operators for purely algebraic methods. The pseudo phase space formulation of quantum mechanics is self-contained. That is, there is no need, in principle, to switch to the Schroedinger or Heisenberg pictures when solving physical problems, although it may often be convenient to do so. The classical appearance of the pseudo phase space scheme is especially useful when considering the semi-classical limit of quantum mechanics. In fact, for potentials up to and including the harmonic oscillator the equations represent classical motion. The structure of the thesis is such that it takes the reader steadily through the major concepts of pseudo phase space theory. The mathematical techniques that shall be needed are developed early in Chapter 1. These are used throughout the thesis. This presents the advantage that the reader is not faced with learning new mathematical methods as the thesis proceeds. The pseudo phase space formulation of quantum mechanics as found applications in all areas of mathematical physics. Hence, there is a considerable amount of specialist literature available on the subject. Itis hoped that this thesis serves has an introduction.
A rigorous development of the continuous representation of Hilbert space by bounded, continuous, multidimensional phase-space functions ψ(p, q) is presented. It is shown that these functions form a closed subspace of L2(p, q) whose elements are functions and not equivalence classes. Differential properties are investigated and it is pointed out that there are a multitude of definitions whereby ψ(p, q) possesses continuous derivatives of all orders. In one of these definitions, each ψ(p, q) is proportional to a multidimensional, entire function f(q − ip), establishing a connection between Bargmann's Hilbert space of entire functions and one example of a continuous representation. Attention is devoted to the purely functional characterization of the continuous representation by means of the reproducing kernel as a special case of Aronszajn's general theory. Properties of various operators in a continuous representation are carefully defined.