We give a simple and physically intuitive necessary and sufficient condition for a map acting on a compact metric space to be mixing (i.e. infinitely many applications of the map transfer any input into a fixed convergency point). This is a generalization of the 'Lyapunov direct method'. First we prove this theorem in topological spaces and for arbitrary continuous maps. Finally we apply our theorem to maps which are relevant in open quantum systems and quantum information, namely quantum channels. In this context, we also discuss the relations between mixing and ergodicity (i.e. the property that there exists only a single input state which is left invariant by a single application of the map) showing that the two are equivalent when the invariant point of the ergodic map is pure.
The paper provides a systematic characterization of quantum ergodic and mixing channels in finite dimensions and a discussion of their structural properties. In particular, we discuss ergodicity in the general case where the fixed point of the channel is not a full-rank (faithful) density matrix. Notably, we show that ergodicity is stable under randomizations, namely that every random mixture of an ergodic channel with a generic channel is still ergodic. In addition, we prove several conditions under which ergodicity can be promoted to the stronger property of mixing. Finally, exploiting a suitable correspondence between quantum channels and generators of quantum dynamical semigroups, we extend our results to the realm of continuous-time quantum evolutions, providing a characterization of ergodic Lindblad generators and showing that they are dense in the set of all possible generators.
Any quantum process is represented by a sequence of quantum channels. We consider ergodic processes, obtained by sampling channel valued random variables along the trajectories of an ergodic dynamical system. Examples of such processes include the effect of repeated application of a fixed quantum channel perturbed by arbitrary correlated noise, or a sequence of channels drawn independently and identically from an ensemble. Under natural irreducibility conditions, we obtain a theorem showing that the state of a system evolving by such a process converges exponentially fast to an ergodic sequence of states depending on the process, but independent of the initial state of the system. As an application, we describe the thermodynamic limit of ergodic matrix product states and prove that the 2-point correlations of local observables in such states decay exponentially with their distance in the bulk. Further applications and physical implications of our results are discussed in the companion paper [11].
The development of classical ergodic theory has had a significant impact on the areas of mathematics, physics, and, in general, applied sciences. The quantum ergodic theory of Hamiltonian dynamics has its motivations in understanding thermodynamics and statistical mechanics. The quantum channel, a completely positive trace-preserving map, represents the most general representation of quantum dynamics and is an essential aspect of quantum information theory and quantum computation. In this work, we study the ergodic theory of quantum channels by characterizing different levels of ergodic hierarchy from integrable to mixing. The quantum channels on single systems are constructed from the unitary operators acting on bipartite states and tracing out the environment. The interaction strength of these unitary operators measured in terms of operator entanglement provides sufficient conditions for the channel to be mixing. By using block-diagonal unitary operators, we construct a set of nonergodic channels. By using the canonical form of the two-qubit unitary operator, we analytically construct channels on a single qubit ranging from integrable to mixing. Moreover, we also study interacting many-body quantum systems that include the famous Sachdev-Ye-Kitaev model and show that they display mixing within the framework of the quantum channel.
Completely positive trace-preserving maps
S, also known as quantum channels, arise in quantum physics as a description of how the density operator
ρ of a system changes in a given time interval, allowing not only for unitary evolution but arbitrary operations including measurements or other interaction with an environment. It is known that if the Hilbert space
H that
ρ acts on is finite-dimensional, then every
S must have a fixed point, i.e., a density operator
ρ0 with
S(ρ0)=ρ0. In infinite dimension,
S need not have a fixed point in general. However, we prove here the existence of a fixed point under a certain additional assumption which is, roughly speaking, that
S leaves invariant a certain set of density operators with bounded ``cost'' of preparation. The proof is an application of the Schauder-Tychonoff fixed point theorem. Our motivation for this question comes from a proposal of Deutsch for how to define quantum theory in a space-time with closed timelike curves; our result supports the viability of Deutsch's proposal.