Given a quantum channel and a state which satisfy a fixed point equation approximately (say, up to an error
ε), can one find a new channel and a state, which are respectively close to the original ones, such that they satisfy an exact fixed point equation? It is interesting to ask this question for different choices of constraints on the structures of the original channel and state, and requiring that these are also satisfied by the new channel and state. We affirmatively answer the above question, under fairly general assumptions on these structures, through a compactness argument. Additionally, for channels and states satisfying certain specific structures, we find explicit upper bounds on the distances between the pairs of channels (and states) in question. When these distances decay quickly (in a particular, desirable manner) as
ε→0, we say that the original approximate fixed point equation is rapidly fixable. We establish rapid fixability, not only for general quantum channels, but also when the original and new channels are both required to be unitary, mixed unitary or unital. In contrast, for the case of bipartite quantum systems with channels acting trivially on one subsystem, we prove that approximate fixed point equations are not rapidly fixable. In this case, the distance to the closest channel (and state) which satisfy an exact fixed point equation can depend on the dimension of the quantum system in an undesirable way. We apply our results on approximate fixed point equations to the question of robustness of quantum Markov chains (QMC) and establish the following: For any tripartite quantum state, there exists a dimension-dependent upper bound on its distance to the set of QMCs, which decays to zero as the conditional mutual information of the state vanishes.
We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider, consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of cutoff phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochastic processes is not solely governed by the spectral gap of the transition map. We apply the new methods to show that graph states can be prepared efficiently, albeit not in constant time, by dissipation, and give the exact scaling behavior of the time to stationarity.
Open quantum systems weakly coupled to the environment are modeled by completely positive, trace preserving semigroups of linear maps. The generators of such evolutions are called Lindbladians. In the setting of quantum many-body systems on a lattice it is natural to consider Lindbladians that decompose into a sum of local interactions with decreasing strength with respect to the size of their support. For both practical and theoretical reasons, it is crucial to estimate the impact that perturbations in the generating Lindbladian, arising as noise or errors, can have on the evolution. These local perturbations are potentially unbounded, but constrained to respect the underlying lattice structure. We show that even for polynomially decaying errors in the Lindbladian, local observables and correlation functions are stable if the unperturbed Lindbladian has a unique fixed point and a mixing time which scales logarithmically with the system size. The proof relies on Lieb-Robinson bounds, which describe a finite group velocity for propagation of information in local systems. As a main example, we prove that classical Glauber dynamics is stable under local perturbations, including perturbations in the transition rates which may not preserve detailed balance.
The physics of many materials is modeled by quantum many-body systems with local interactions. If the model of the system is sensitive to noise from the environment, or small perturbations to the original interactions, it will not properly model the robustness of the real physical system it aims to describe, or be useful when engineering novel systems for quantum information processing. We show that local observables and correlation functions of local Liouvillians are stable to local perturbations if the dynamics is rapidly mixing and has a unique fixed point. No other condition is required.
This thesis is the fruit of investigations on the extension of ideas of Markov chain mixing to the quantum setting, and its application to problems of dissipative engineering. A Markov chain describes a statistical process where the probability of future events depends only on the state of the system at the present point in time, but not on the history of events. Very many important processes in nature are of this type, therefore a good understanding of their behavior has turned out to be very fruitful for science. Markov chains always have a non-empty set of limiting distributions (stationary states). The aim of Markov chain mixing is to obtain (upper and/or lower) bounds on the number of steps it takes for the Markov chain to reach a stationary state. The natural quantum extensions of these notions are density matrices and quantum channels. We set out to develop a general mathematical framework for studying quantum Markov chain mixing. We introduce two new distance measures into the quantum setting; the quantum χ2divergence and Hilbert’s projective metric. The quantum χ2 divergence allows us to extend the class of functional techniques called Poincare inequalities to the quantum setting. In the process, we identify the appropriate framework for discussing notions such as detailed balance and χ2-mixing: monotone Riemannian metrics on matrix spaces. This insight allows us to characterize the connection between spectral properties of a (primitive) quantum channel and its mixing time. Within the same framework we also derive a restricted quantum version of the celebrated conductance bound (Cheeger’s inequality). We then consider Hilbert’s projective metric a well known tool in Perron-Frobenius theory in the context of quantum information theory. As a classic tool for analyzing convergence of positive maps on cones, Hilbert’s projective metric is especially good at providing existence proofs of maps between two spaces (or cones). We relate this measure to distinguishability measures on restricted cones of operators, and analyze the observable loss of information after the application of a quantum channel under a restrict set of measurements. Various notions of contractivity of quantum channels are revealed through Hilbert’s metric. Still on the topic of quantum Markov chains, we introduce the notion of cutoff phenomenon to the quantum setting. The cutoff phenomenon describes the situation when a Markov chain does not converge for a potentially long time, and then at a specific point in time abruptly converges to equilibrium. In the thermodynamic limit, the convergence profile will then look like a step function. We show that this type of convergence behavior occurs, as measured in trace-norm, when a system is subject to a product channel, and the noise on each product is modeled by a one-parameter semigroup of quantum channels. Finally, we consider three independent tasks of dissipative engineering. The first task, which is aimed at experimental realization in the near future, consists in dissipatively