We develop a general optimization strategy for performing a chosen unitary or nonunitary task on an open quantum system. The goal is to design a controlled time-dependent system Hamiltonian by variationally minimizing or maximizing a chosen function of the system state, which quantifies the task success (score), such as fidelity, purity, or entanglement. If the time dependence of the system Hamiltonian is fast enough to be comparable to or shorter than the response time of the bath, then the resulting non-Markovian dynamics is shown to optimize the chosen task score to second order in the coupling to the bath. This strategy can protect a desired unitary system evolution from bath-induced decoherence, but can also take advantage of the system-bath coupling so as to realize a desired nonunitary effect on the system.
We develop a general optimization strategy for performing a chosen unitary or nonunitary task on an open quantum system. The goal is to design a controlled time-dependent system Hamiltonian by variationally minimizing or maximizing a chosen function of the system state, which quantifies the task success (score), such as fidelity, purity, or entanglement. If the time dependence of the system Hamiltonian is fast enough to be comparable to or shorter than the response time of the bath, then the resulting non-Markovian dynamics is shown to optimize the chosen task score to second order in the coupling to the bath. This strategy can protect a desired unitary system evolution from bath-induced decoherence, but can also take advantage of the system-bath coupling so as to realize a desired nonunitary effect on the system.
Due to increasing demands on speed and security of data processing, along with requirements on measurement precision in fundamental research, quantum phenomena are expected to play an increasing role in future technologies. Special attention must hence be paid to omnipresent decoherence effects, which hamper quantumness. Their consequence is always a deviation of the quantum state evolution (error) with respect to the expected unitary evolution if these effects are absent. In operational tasks such as the preparation, transformation, transmission, and detection of quantum states, these effects are detrimental and must be suppressed by strategies known as dynamical decoupling, or the more general dynamical control by modulation developed by us. The underlying dynamics must be Zeno-like, yielding suppressed coupling to the bath. There are, however, tasks which cannot be implemented by unitary evolution, in particular those involving a change of the system’s state entropy. Such tasks necessitate efficient coupling to a bath for their implementation. Examples include the use of measurements to cool (purify) a system, to equilibrate it, or to harvest and convert energy from the environment. If the underlying dynamics is anti-Zeno like, enhancement of this coupling to the bath will occur and thereby facilitate the task, as discovered by us. A general task may also require state and energy transfer, or entanglement of noninteracting parties via shared modes of the bath which call for maximizing the shared (two-partite) couplings with the bath, but suppressing the single-partite couplings. For such tasks, a more subtle interplay of Zeno and anti-Zeno dynamics may be optimal. We have therefore constructed a general framework for optimizing the way a system interacts with its environment to achieve a desired task. This optimization consists in adjusting a given “score” that quantifies the success of the task, such as the targeted fidelity, purity, entropy, entanglement, or energy by dynamical modification of the system-bath coupling spectrum on demand.
An efficient optimal-control theory based on the Krotov method is introduced for a non-Markovian open quantum system with a time-nonlocal master equation in which the control parameter and the bath correlation function are correlated. This optimal-control method is developed via a quantum dissipation formulation that transforms the time-nonlocal master equation to a set of coupled linear time-local equations of motion in an extended auxiliary Liouville space. As an illustration, the optimal-control method is applied to find the control sequences for high-fidelity Z gates and identity gates of a qubit embedded in a non-Markovian bath. Z gates and identity gates with errors less than ${10}^{\ensuremath{-}5}$ for a wide range of bath decoherence parameters can be achieved for the non-Markovian open qubit system with control over only the ${\ensuremath{\sigma}}_{z}$ term. The control-dissipation correlation and the memory effect of the bath are crucial in achieving the high-fidelity gates.
Existing optimal control methods of open quantum systems rely on extensive numerical simulations of the dynamics in the presence of a bath, or alternatively ignore the exact bath dynamics. If the bath effects are to be treated properly on both Markovian and non-Markovian timescales using numerical simulations, the number of bath modes cannot be large. This may affect the ability to simulate realistic scenarios. Even if realistic, such simulations are hard to interpret physically. An alternative approach advocated here is to resort to a perturbative analysis provided the system–bath coupling is weak. This analysis would allow for the effects of any given bath (finite or infinite, Markovian or non-Markovian) and any control at our disposal. This poses the challenge of constructing a method for the optimization of various operations requiring proper manipulation of the system, based on a general perturbative treatment to second order in the system–bath coupling. This proposed treatment yields a universal tool for optimizing the fidelity of a given operation. It involves a fidelity-control matrix: a construct that allows us to prioritize the use of available control resources so as to maximize the operation fidelity in any given bath. As an analytically solvable example of this general method, we analyse quantum state-transfer optimization, from a ‘noisy’ (write-in) qubit to its ‘quiet’ counterpart (storage qubit). Intriguing interplay is revealed between our ability to avoid bath-induced errors that profoundly depend on the bath-memory time and the limitations imposed by leakage out of the operational subspace. Counterintuitively, under no circumstances is the fastest transfer optimal (for a given transfer energy).
This article provides a review of recent developments in the formulation and execution of optimal control strategies for the dynamics of quantum systems. A brief introduction to the concept of optimal control, the dynamics of of open quantum systems, and quantum information processing is followed by a presentation of recent developments regarding the two main tasks in this context: state-specific and state-independent optimal control. For the former, we present an extension of conventional theory (Pontryagin's principle) to quantum systems which undergo a non-Markovian time-evolution. Owing to its importance for the realization of quantum information processing, the main body of the review, however, is devoted to state-independent optimal control. Here, we address three different approaches: an approach which treats dissipative effects from the environment in lowest-order perturbation theory, a general method based on the time--evolution superoperator concept, as well as one based on the Kraus representation of the time-evolution superoperator. Applications which illustrate these new methods focus on single and double qubits (quantum gates) whereby the environment is modeled either within the Lindblad equation or a bath of bosons (spin-boson model). While these approaches are widely applicable, we shall focus our attention to solid-state based physical realizations, such as semiconductor- and superconductor-based systems. While an attempt is made to reference relevant and representative work throughout the community, the exposition will focus mainly on work which has emerged from our own group.
Coherence control was originally conceived by Shapiro and Brumer for closed quantum systems. In open quantum systems, the environment hampers or destroys coherence. Nevertheless, the Kurizki-Shapiro-Brumer coherent photocurrent control showed partial resilience to decoherence. Still, decoherence control is an essential prerequisite to our ability to fully exploit quantum coherence for any operational task. Yet decoherence control need not employ coherent fields: it may be incoherent. In operational tasks such as the preparation, transformation, transmission, and detection of quantumstates, environmental (bath) effects can be suppressed by dynamical decoupling, or by the more general incoherent dynamical control by modulation developed by our group. The resulting control dynamics must be Zeno-like in order to yield suppressed coupling to the bath in unitary operational tasks. There are however tasks which cannot be implemented by closed-system (unitary) evolution, in particular those involving a change of the system's entropy. Such tasks necessitate efficient coupling to a bath for their implementation. Examples are the use of measurements to cool (purify) a system, to equilibrate it, or harvest (and convert) energy from the environment. If the underlying dynamics is anti-Zeno like, enhancement of this coupling to the bath will occur and thereby facilitate the task, as discovered by us. A general task may also require state and energy transfer between non-interacting parties via shared modes of the bath. For such tasks, a more subtle interplay of Zeno and anti-Zeno dynamics may be optimal. We have therefore constructed a general framework for optimizing the way a system interacts with its environment to achieve a desired task. This optimization consists in adjusting a given “score” that quantifies the success of the task, such as the targeted fidelity, purity, entropy, energy or state transfer probability by dynamical modification of the system-bath coupling spectrum on demand.
Quantum Lyapunov control was developed in order to transform a quantum system from arbitrary initial states to a target state. The idea is to find control fields that steer the Lyapunov function to zero as $t\ensuremath{\rightarrow}\ensuremath{\infty}$, meanwhile the quantum system is driven to the target state. In order to shorten the time required to reach the target state, we propose two designs to optimize Lyapunov control in this paper. The first design makes the Lyapunov function decrease as fast as possible with a constraint on the total power of control fields, and the second design has the same purpose but with a constraint on each control field. Examples of a three-level system demonstrate that the evolution time for Lyapunov control can be significantly shortened, especially when high control fidelity is required. Besides, this optimal Lyapunov-based quantum control is robust against uncertainties in the free Hamiltonian and decoherence in the system compared to conventional Lyapunov control. We apply our optimal design to cool a nanomechanical resonator where a shorter cooling time is found with respect to the cooling time by the conventional Lyapunov design.