We prove that the quantum trajectory of repeated perfect measurement on a finite quantum system either asymptotically purifies, or hits upon a family of `dark' subspaces, where the time evolution is unitary.
We investigate the behavior of quantum trajectories conditioned on measurement outcomes. Under a condition related to the absence of so-called dark subspaces, Kümmerer and Maassen had shown that such trajectories almost surely purify in the long run. In this article, we first present a simple alternative proof of this result using Lyapunov methods. We then strengthen the conclusion by proving that purification actually occurs at an exponential rate in expectation, again using a Lyapunov approach. Furthermore, we address the quantum state estimation problem by propagating two trajectories under the same measurement record--one from the true initial state and the other from an arbitrary initial guess--and show that the estimated trajectory converges exponentially fast to the true one, thus quantifying the rate at which information is progressively revealed through the measurement process.
In this work we exhibit a class of examples that show that the characterization of purification of quantum trajectories in terms of ‘dark’ subspaces that was proved for finite dimensional systems ( Infin. Dimens. Anal. Quantum Probab. Relat. Top. , 06(02), 223-243, 2003 and IMS Lectures Notes-Monograph Series , 48, 252-261, 2006) fails to hold in infinite dimensional ones. Moreover, we prove that the new phenomenon emerging in our class of models and preventing purification to happen is the only new possibility that appears in infinite dimensional systems. Our proof strategy points out that the presence of new phenomena in infinite dimensional systems is due to the fact that the set of orthogonal projections is not sequentially compact. Having in mind this insight, we are able to prove that the finite dimensional result extends to a class of infinite dimensional models.
Quantum trajectories are Markov processes describing the evolution of a quantum system subject to indirect measurements. They can be viewed as place dependent iterated function systems or the result of products of dependent and non identically distributed random matrices. In this article, we establish a complete classification of their invariant measures. The classification is done in two steps. First, we prove a Markov process on some linear subspaces called dark subspaces, defined in (Maassen, Kümmerer 2006), admits a unique invariant measure. Second, we study the process inside the dark subspaces. Using a notion of minimal family of isometries from a reference space to dark subspaces, we prove a set of measures indexed by orbits of a unitary group is the set of ergodic measures of quantum trajectories.