We derive rigorous upper bounds on the distance between quantum states in an open-system setting in terms of the operator norm between Hamiltonians describing their evolution. We illustrate our results with an example taken from protection against decoherence using dynamical decoupling.
The quantum relative entropy is frequently used as a distance measure between two quantum states, and inequalities relating it to other distance measures are important mathematical tools in many areas of quantum information theory. We have derived many such inequalities in previous work. The present paper is a follow-up on this, and provides a sharp upper bound on the relative entropy in terms of the trace norm distance and of the smallest eigenvalues of both states concerned. The result obtained here is more general than the corresponding one from our previous work. As a corollary, we obtain a sharp upper bound on the regularised relative entropy introduced by Lendi, Farhadmotamed, and van Wonderen.
We investigate the possibility to suppress interactions between a finite dimensional system and an infinite dimensional environment through a fast sequence of unitary kicks on the finite dimensional system. This method, called dynamical decoupling, is known to work for bounded interactions, but physical environments such as bosonic heat baths are usually modeled with unbounded interactions; hence, here, we initiate a systematic study of dynamical decoupling for unbounded operators. We develop a sufficient decoupling criterion for arbitrary Hamiltonians and a necessary decoupling criterion for semibounded Hamiltonians. We give examples for unbounded Hamiltonians where decoupling works and the limiting evolution as well as the convergence speed can be explicitly computed. We show that decoupling does not always work for unbounded interactions and we provide both physically and mathematically motivated examples.
We investigate the possibility to suppress interactions between a finite dimensional system and an infinite dimensional environment through a fast sequence of unitary kicks on the finite dimensional system. This method, called dynamical decoupling, is known to work for bounded interactions, but physical environments such as bosonic heat baths are usually modeled with unbounded interactions; hence, here, we initiate a systematic study of dynamical decoupling for unbounded operators. We develop a sufficient decoupling criterion for arbitrary Hamiltonians and a necessary decoupling criterion for semibounded Hamiltonians. We give examples for unbounded Hamiltonians where decoupling works and the limiting evolution as well as the convergence speed can be explicitly computed. We show that decoupling does not always work for unbounded interactions and we provide both physically and mathematically motivated examples.
The problem of quantifying the difference between evolutions of an open quantum system (in particular, between the actual evolution of an open system and the ideal target operation on the corresponding closed system) is important in quantum control, especially in control of quantum information processing. Motivated by this problem, we develop a measure for evaluating the distance between unitary evolution operators of a composite quantum system that consists of a sub-system of interest (e.g. a quantum information processor) and environment. The main characteristic of this measure is the invariance with respect to the effect of the evolution operator on the environment, which follows from an equivalence relation that exists between unitary operators acting on the composite system, when the effect on only the sub-system of interest is considered. The invariance to the environment's transformation makes it possible to quantitatively compare the evolution of an open quantum system and its closed counterpart. The distance measure also determines the fidelity bounds of a general quantum channel (a completely positive and trace-preserving map acting on the sub-system of interest) with respect to a unitary target transformation. This measure is also independent of the initial state of the system and straightforward to numerically calculate. As an example, the measure is used in numerical simulations to evaluate fidelities of optimally controlled quantum gate operations (for one- and two-qubit systems), in the presence of a decohering environment. This example illustrates the utility of this measure for optimal control of quantum operations in the realistic case of open-system dynamics.
We study dynamical decoupling in a multiqubit setting, where it is combined with quantum logic gates. This is illustrated in terms of computation using Heisenberg interactions only, where global decoupling pulses commute with the computation. We derive a rigorous error bound on the trace distance or fidelity between the desired computational state and the actual time-evolved state, for a system subject to coupling to a bounded-strength bath. The bound is expressed in terms of the operator norm of the effective Hamiltonian generating the evolution in the presence of decoupling and logic operations. We apply the bound to the case of periodic pulse sequences and find that in order to maintain a constant trace distance or fidelity, the number of cycles---at fixed pulse interval and width---should scale in inverse proportion to the square of the number of qubits. This sets a scalability limit on the protection of quantum computation using periodic dynamical decoupling.