We formulate a general program for describing and analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that we call instrumental Lie groups. The temporal evolution of the instrument is equivalent to the diffusion of a Kraus-operator distribution function, defined relative to the invariant measure of the instrumental Lie group. This diffusion can be analyzed using Wiener path integration, stochastic differential equations, or a Fokker-Planck-Kolmogorov equation. This way of considering instrument evolution we call the Instrument Manifold Program. We relate the Instrument Manifold Program to state-based stochastic master equations. We then explain how the Instrument Manifold Program can be used to describe instrument evolution in terms of a universal cover that we call the universal instrumental Lie group, which is independent not just of states, but also of Hilbert space. The universal instrument is generically infinite dimensional, in which case the instrument’s evolution is chaotic. Special simultaneous measurements have a finite-dimensional universal instrument, in which case the instrument is considered principal, and it can be analyzed within the differential geometry of the universal instrumental Lie group. Principal instruments belong at the foundation of quantum mechanics. We consider the three most fundamental examples: measurement of a single observable, position and momentum, and the three components of angular momentum. As these measurements are performed continuously, they converge to strong simultaneous measurements. For a single observable, this results in the standard decay of coherence between inequivalent irreducible representations. For the latter two cases, it leads to a collapse within each irreducible representation onto the classical or spherical phase space, with the phase space located at the boundary of these instrumental Lie groups.
We formulate a general program for describing and analyzing continuous, differential weak, simultaneous measurements of noncommuting observables, which focuses on describing the measuring instrument autonomously, without states. The Kraus operators of such measuring processes are time-ordered products of fundamental differential positive transformations, which generate nonunitary transformation groups that we call instrumental Lie groups. The temporal evolution of the instrument is equivalent to the diffusion of a Kraus-operator distribution function, defined relative to the invariant measure of the instrumental Lie group. This diffusion can be analyzed using Wiener path integration, stochastic differential equations, or a Fokker-Planck-Kolmogorov equation. This way of considering instrument evolution we call the Instrument Manifold Program. We relate the Instrument Manifold Program to state-based stochastic master equations. We then explain how the Instrument Manifold Program can be used to describe instrument evolution in terms of a universal cover that we call the universal instrumental Lie group, which is independent not just of states, but also of Hilbert space. The universal instrument is generically infinite dimensional, in which case the instrument’s evolution is chaotic. Special simultaneous measurements have a finite-dimensional universal instrument, in which case the instrument is considered principal, and it can be analyzed within the differential geometry of the universal instrumental Lie group. Principal instruments belong at the foundation of quantum mechanics. We consider the three most fundamental examples: measurement of a single observable, position and momentum, and the three components of angular momentum. As these measurements are performed continuously, they converge to strong simultaneous measurements. For a single observable, this results in the standard decay of coherence between inequivalent irreducible representations. For the latter two cases, it leads to a collapse within each irreducible representation onto the classical or spherical phase space, with the phase space located at the boundary of these instrumental Lie groups.
The canonical commutation relation, [Q,P]=iℏ, stands at the foundation of quantum theory and the original Hilbert space. The interpretation of P and Q as observables has always relied on the analogies that exist between the unitary transformations of Hilbert space and the canonical (also known as contact) transformations of classical phase space. Now that the theory of quantum measurement is essentially complete (this took a while), it is possible to revisit the canonical commutation relation in a way that sets the foundation of quantum theory not on unitary transformations but on positive transformations. This paper shows how the concept of simultaneous measurement leads to a fundamental differential geometric problem whose solution shows us the following. The simultaneous P and Q measurement (SPQM) defines a universal measuring instrument, which takes the shape of a seven-dimensional manifold, a universal covering group we call the instrumental Weyl-Heisenberg (IWH) group. The group IWH connects the identity to classical phase space in unexpected ways that are significant enough that the positive-operator-valued measure (POVM) offers a complete alternative to energy quantization. Five of the dimensions define processes that can be easily recognized and understood. The other two dimensions, the normalization and phase in the center of the IWH group, are less familiar. The normalization, in particular, requires special handling in order to describe and understand the SPQM instrument.
Many of the most fundamental observables—position, momentum, phase point, and spin direction—cannot be measured by an instrument that obeys the orthogonal projection postulate. Continuous-in-time measurements provide the missing theoretical framework to make physical sense of such observables. The elements of the time-dependent instrument define a group called the instrumental group (IG). Relative to the IG, all of the time dependence is contained in a certain function called the Kraus-operator density (KOD), which evolves according to a classical Kolmogorov equation. Unlike the Lindblad master equation, the KOD Kolmogorov equation is a direct expression of how the elements of the instrument (not just the total quantum channel) evolve. Shifting from continuous measurements to sequential measurements more generally, the structure of combining instruments in sequence is shown to correspond to the convolution of their KODs. This convolution promotes the IG to an involutive Banach algebra (a structure that goes all the way back to the origins of POVM and C*-algebra theory), which will be called the instrumental group algebra (IGA). The IGA is the true home of the KOD, similar to how the dual of a von Neumann algebra is the true home of the density operator. Operators on the IGA, which play the analogous role for KODs as superoperators play for density operators, are called ultraoperators and various important examples are discussed. Certain ultraoperator–superoperator intertwining relationships are also considered throughout, including the relationship between the KOD Kolmogorov equation and the Lindblad master equation. The IGA is also shown to have actually two distinct involutions: one respected by the convolution ultraoperators and the other by the quantum channel superoperators. Finally, the KOD Kolmogorov generators are derived for jump processes and more general diffusive processes.
Since ancient Greek times, geometry has been a method by which humans can make inferences, by the use of similar triangles, about the world far beyond their immediate senses. Similarity plays an equally important role in quantum measurement, except that instead of triangles, the similarity is between the infinitesimal generators of rotation, canonical transformation, or some other virtual symmetry. For many quantum optical measurements of a single mode, these generators produce Kraus operators that are contained within a twelve-dimensional Lie group: the Instrumental Weyl-Heisenberg group manifold (IWH12). In particular, IWH12 is general enough to include all diffusively generated 'dyne measurements. In this paper, IWH12 will be used to develop two more general classes of 'dyne measurement: one that interpolates between diffusive homodyne and diffusive heterodyne (``slomodyne'') and one that adds to 'dyne measurements adaptive squeezing and displacement. Our analysis uses an approach known as the Instrument Manifold Program (IMP). In particular, a Harish-Chandra-like decomposition of IWH12 is used to calculate the vielbein transformation from a right-invariant basis to the corresponding coordinate basis, allowing us to universally and autonomously navigate IWH12 and locate the Kraus-operator of whatever selective process is being considered as it evolves in time according to the measurement record.
The generalized Q -function of a spin system can be considered the outcome probability distribution of a state subjected to a measurement represented by the spin-coherent-state (SCS) positive-operator-valued measure (POVM). As fundamental as the SCS POVM is to the 2-sphere phase-space representation of spin systems, it has only recently been reported that the SCS POVM can be performed for any spin system by continuous isotropic measurement of the three total spin components [E. Shojaee, C. S. Jackson, C. A. Riofrio, A. Kalev, and I. H. Deutsch, Phys. Rev. Lett. 121, 130404 (2018)]. This article develops the theoretical details of the continuous isotropic measurement and places it within the general context of curved-phase-space correspondences for quantum systems. The analysis is in terms of the Kraus operators that develop over the course of a continuous isotropic measurement. The Kraus operators of any spin j are shown to represent elements of the Lie group SL(2,C)≅Spin(3,C) , a complex version of the usual unitary operators that represent elements of SU(2)≅Spin(3,R) . Consequently, the associated POVM elements represent points in the symmetric space SU(2)∖SL(2,C) , which can be recognized as the 3-hyperboloid. Three equivalent stochastic techniques, (Wiener) path integral, (Fokker-Planck) diffusion equation, and stochastic differential equations, are applied to show that the continuous isotropic POVM quickly limits to the SCS POVM, placing spherical phase space at the boundary of the fundamental Lie group SL(2,C) in an operationally meaningful way. Two basic mathematical tools are used to analyze the evolving Kraus operators, the Maurer-Cartan form, modified for stochastic applications, and the Cartan, decomposition associated with the symmetric pair SU(2) ⊂ SL(2,C) . Informed by these tools, the three schochastic techniques are applied directly to the Kraus operators in a representation-independent – and therefore geometric – way (independent of any spectral information about the spin components).The Kraus-operator-centric, geometric treatment applies not just to SU(2) ⊂ SL(2,C) , but also to any compact semisimple Lie group and its complexification. The POVM associated with the continuous isotropic measurement of Lie-group generators thus corresponds to a type-IV globally Riemannian symmetric space and limits to the POVM of generalized coherent states. This generalization is the focus of a sequel to this article.
The theory of measurements continuous in time in quantum mechanics (quantum continual measurements) has been formulated by using the notions of instrument and positive operator valued measure, functional integrals, quantum stochastic differential equations and classical stochastic differential equations (SDE's). Various types of SDE's are involved, and precisely linear and non linear equations for vectors in Hilbert spaces and for trace-class operators. All such equations contain either a diffusive part, or a jump one, or both. In this paper we introduce a class of linear SDE's for trace-class operators, relevant to the theory of continual measurements, and we recall how such SDE's are related to instruments and master equations and, so, to the general formulation of quantum mechanics. We do not present the Hilbert space formulation of such SDE's and we make some mathematical simplifications: no time dependence is introduced into the coefficients and only bounded operators on the Hilbert space of the quantum system are considered. Then we introduce the notion of a posteriori state and the non linear SDE satisfied by such states and we give conditions from which such equation is assured to preserve pure states and to send any mixed state into a pure one for large times. Finally we review the known results about the existence and uniqueness of invariant measures in the purely diffusive case and we give some concrete examples of physical systems.
The theory of measurements continuous in time in quantum mechanics (quantum continual measurements) has been formulated by using the notions of instrument and positive operator valued measure [ 1 , 2 , 3 , 4 , 5 , 6 ], arisen inside the operational approach [ 1 , 7 ] to quantum mechanics, by using functional integrals [ 8 , 9 , 10 ], by using quantum stochastic differential equations [ 11 , 12 , 13 , 14 , 15 , 16 , 17 , 18 , 19 , 20 , 21 , 22 , 23 ] and by using classical stochastic differential equations (SDE’s) [ 12 , 13 , 14 , 15 , 16 , 17 , 18 , 4 , 19 , 20 , 21 , 24 , 25 , 26 , 27 , 28 , 29 , 30 , 31 , 32 , 33 , 34 , 35 , 6 ]. Various types of SDE’s are involved, and precisely linear and non linear equations for vectors in Hilbert spaces and for trace-class operators. All such equations contain either a diffusive part, or a jump one, or both.