Positive contraction mappings for classical and quantum Schrodinger systems

TL;DR

This paper develops a new approach using the Hilbert metric to find positive contraction mappings that solve classical and quantum Schrödinger bridge problems, providing constructive fixed point methods for certain cases.

Contribution

It introduces a Hilbert metric-based fixed point approach to Schrödinger bridge problems in both classical and quantum settings, extending previous work and offering constructive solutions.

Findings

Fixed point of a contractive map solves the classical Schrödinger bridge.

Existence of quantum transitions as multiplicative transformations of Kraus maps for uniform marginals.

Numerical simulations suggest convergence for arbitrary marginals, but a formal proof is lacking.

Abstract

The classical Schrodinger bridge seeks the most likely probability law for a diffusion process, in path space, that matches marginals at two end points in time; the likelihood is quantified by the relative entropy between the sought law and a prior, and the law dictates a controlled path that abides by the specified marginals. Schrodinger proved that the optimal steering of the density between the two end points is effected by a multiplicative functional transformation of the prior; this transformation represents an automorphism on the space of probability measures and has since been studied by Fortet, Beurling and others. A similar question can be raised for processes evolving in a discrete time and space as well as for processes defined over non-commutative probability spaces. The present paper builds on earlier work by Pavon and Ticozzi and begins with the problem of steering a Markov chain between given marginals. Our approach is based on the Hilbert metric and leads to an alternative proof which, however, is constructive. More specifically, we show that the solution to the Schrodinger bridge is provided by the fixed point of a contractive map. We approach in a similar manner the steering of a quantum system across a quantum channel. We are able to establish existence of quantum transitions that are multiplicative functional transformations of a given Kraus map, but only for the case of uniform marginals. As in the Markov chain case, and for uniform density matrices, the solution of the quantum bridge can be constructed from the fixed point of a certain contractive map. For arbitrary marginal densities, extensive numerical simulations indicate that iteration of a similar map leads to fixed points from which we can construct a quantum bridge. For this general case, however, a proof of convergence remains elusive.