Quantum diffusions on involutive algebras

R. L. Hudson

RL Hudson

Christopher S. Jackson

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.

M. Evans, R. L. Hudson

Quantum diffusions are non-commutative generalisations of classical diffusions on manifolds, in which the manifold i s ‘quantised’ by deforming the algebra of smooth functions thereon to a non-commutative algebra, and in which quantum stochastic calculus replaces the Itô calculus of Brownian motion. Quantum diffusions fall into two categories; inner diffusions, which are in a certain sense cohomologically trivial, and which act by conjugating by a unitary process, and outer diffusions, which do not. A natural perturbation procedure is described for linking two cohomologically equivalent quantum diffusions; it involves the construction of a new type of intertwining unitary process.

M. Evans

Fritz, Tobias, Antonio Lorenzin

Markov categories have recently emerged as a powerful high-level framework for probability theory and theoretical statistics. Here we study a quantum version of this concept, called involutive Markov categories. These are equivalent to Parzygnat's quantum Markov categories, but we argue that they offer a simpler and more practical approach. Our main examples of involutive Markov categories have pre-C*-algebras, including infinite-dimensional ones, as objects, together with completely positive unital maps as morphisms in the picture of interest. In this context, we prove a quantum de Finetti theorem for both the minimal and the maximal C*-tensor norms, and we develop a categorical description of such quantum de Finetti theorems which amounts to a universal property of state spaces.