It is pointed out that in a recent paper (2012 New J. Phys. 14 103009) in which a Wigner function for a particle in an infinite lattice (a system described by an unbounded discrete coordinate and its conjugate angle-like momentum) has been introduced, no reference is made to previous, pioneering work on discrete Wigner distributions (more precisely, on the rotational Wigner function for a system described by a rotation angle and its unbounded discrete-conjugate angular momentum). Not only has the problem addressed in essence been solved for a long time (the discrete coordinate and angle-like conjugate momentum are the perfect dual of the rotation angle and discrete-conjugate angular momentum), but the solution advanced only in some distorted manner obeys two of the fundamental properties of a Wigner distribution (that, when integrated over one period of the momentum variable, it should yield the correct marginal distribution on the discrete position variable, and that it should be invariant with respect to translation).
The action-angle representation in quantum mechanics is conceptually quite different from its classical counterpart and motivates a canonical discretization of the phase space. In this work, a discrete and finite-dimensional phase space formalism, in which the phase space variables are discrete and the time is continuous, is developed and the fundamental properties of the discrete Weyl-Wigner-Moyal quantization are derived. The action-angle Wigner function is shown to exist in the semi-discrete limit of this quantization scheme. A comparison with other formalisms which are not explicitly based on canonical discretization is made. Fundamental properties that an action-angle phase space distribution respects are derived. The dynamical properties of the action-angle Wigner function are analysed for discrete and finite-dimensional model Hamiltonians. The limit of the discrete and finite-dimensional formalism including a discrete analogue of the Gaussian wavefunction spread, viz. the binomial wavepacket, is examined and shown by examples that standard (continuum) quantum mechanical results can be obtained as the dimension of the discrete phase space is extended to infinity.
We develop a path integral representation for the dynamics of quantum systems with a finite-dimensional Hilbert space, formulated entirely within a discrete phase space. Starting from the discrete Wigner function on
Zd×Zd (
d an odd prime) and the associated Weyl transform built from generalized displacement operators, we derive an exact kernel that propagates the discrete Wigner function in time and, by iterating its composition law through a short-time approximation, obtain a sum-over-paths expression weighted by a discrete phase-space action -- the natural finite-dimensional counterpart of Marinov's functional. For Hamiltonians linear in the phase-space coordinates and at times strictly commensurate with the lattice, the fluctuation sum collapses to a deterministic shift, realizing the discrete analog of classical Hamiltonian flow. Applying the formalism to one and to two interacting qutrits (
d=3), we show that the full entanglement dynamics -- captured by a closed-form linear entropy valid for all times -- requires the coherent contribution of all fluctuation sectors; the boundary-term (mean-field) sector alone fails to reproduce it. For a non-stabilizer Hamiltonian, where the short-time kernel is only approximate, the time-sliced path integral converges to the exact dynamics, including the dynamical generation of Wigner negativity. We discuss implications for the semiclassical simulation of many-body spin systems and for the characterization of non-classicality through Wigner negativity.
A comprehensive study is presented on the Weyl-Wigner formalism for rotation-angle and angular-momentum variables: the elements of kinematics are extended, the elements of dynamics are established, and the implications of rotational perodicity and angular-momentum quantization are investigated. Particular attention is paid to discreteness, and two of its consequences are emphasized: the importance of evenness and oddness, and the need to use two difference operators in a discrete domain, whereas one differential operator suffices in a continuous domain. These consequences are shown to strongly distinguish the Weyl-Wigner formalism for rotation-angle and angular-momentum variables from the well-known Weyl-Wigner formalism for Cartesian-position and linear-momentum variables. The point is made clear that the first of these formalisms cannot be regarded as a trivial and straightforward extension of the second. The rotational Wigner function is derived as the only bilinear form of the state vector that is real, has the natural invariances for rotational motion, and yields the correct distributions for the rotation-angle and angular-momentum variables as well as the appropriate expression for the transition probability between states. The conditions for its uniqueness are thus established. Its properties are described in detail and, in particular, its uniform boundedness is demonstrated. The rotational Wigner function and the associated correspondence between quantum operators and classical-like functions, as well as the relations they obey, are explored and are written so as to clearly exhibit the distinct contributions of evenness and oddness in the discrete domain of the angular-momentum eigenvalues, thus providing a most natural way to account for periodicity.Using the derivative, which acts on the continuous rotation-angle variable, and the forward and backward differences, which act on the discrete angular-momentum variable, the equation of motion for the rotational Wigner function is established. This equation is detailed for the following Hamiltonian forms: those that depend only on the angular-momentum variable, including, in particular, the free rotator, and those that are in the cosine of the rotation-angle variable. It is verified that the Weyl-Wigner formalism for rotation-angle and angular-momentum variables has the correct nonperiodic limit and that it properly reduces to the Weyl-Wigner formalism for Cartesian-position and linear-momentum variables. In order to illustrate the formalism, a careful analysis is carried out for the rotational Wigner function representing the energy eigenstates of a hindered rotator whose Hamiltonian is the sum of a term in the absolute value of the angular-momentum variable with a term in the cosine of the rotation-angle variable. For this hindered rotator, and within the approximation of a large absolute value of the angular-momentum variable, the equation of motion for the rotational Wigner function is solved for its stationary solutions, and the time-independent Schr\"odinger equation is also solved.
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 main aspects of a discrete phase space formalism are presented and the discrete dynamical bracket, suitable for the description of time evolution in finite-dimensional spaces, is discussed. A set of operator bases is defined in such a way that the Weyl-Wigner formalism is shown to be obtained as a limiting case. In the same form, the Moyal bracket is shown to be the limiting case of the discrete dynamical bracket. The dynamics in quantum discrete phase spaces is shown not to be attained from discretization of the continuous case.