Generalized Shortcuts to Adiabaticity

Generalized Shortcuts to Adiabaticity and Enhanced Robustness Against Decoherence

Alan C. Santos & Marcelo S. Sarandy Instituto de Física, Universidade Federal Fluminense, Av. Gal. Milton Tavares de Souza s/n, Gragoatá, 24210-346 Niterói, Rio de Janeiro, Brazil msarandy@id.uff.br
Abstract

Shortcuts to adiabaticity provide a general approach to mimic adiabatic quantum processes via arbitrarily fast evolutions in Hilbert space. For these counter-diabatic evolutions, higher speed comes at higher energy cost. Here, the counter-diabatic theory is employed as a minimal energy demanding scheme for speeding up adiabatic tasks. As a by-product, we show that this approach can be used to obtain infinite classes of transitionless models, including time-independent Hamiltonians under certain conditions over the eigenstates of the original Hamiltonian. We apply these results to investigate shortcuts to adiabaticity in decohering environments by introducing the requirement of a fixed energy resource. In this scenario, we show that generalized transitionless evolutions can be more robust against decoherence than their adiabatic counterparts. We illustrate this enhanced robustness both for the Landau-Zener model and for quantum gate Hamiltonians.

  • August 2017

1 Introduction

The adiabatic theorem [1, 2, 3, 4] constitutes a successful strategy for eigenstate tracking in quantum information and quantum control (see, e.g., Ref. [5]). It states that a system initially prepared in an eigenstate of a time-dependent Hamiltonian will evolve to the corresponding instantaneous eigenstate at a later time , provided that varies smoothly and that is much larger than a power of the relevant minimal inverse energy gap. It is worth highlighting that the validity conditions of the adiabatic approximation have been revisited (see, e.g. Refs [6, 7, 8, 9, 10, 11]), which has implied in enhanced formulations of the adiabatic theorem [12, 13] (see also Ref. [14] for a recent review). In a real open-system scenario, the performance of the adiabatic dynamics is upper bounded by the competition between the adiabatic time scale, which is favored by a slow evolution, and the typically short decoherence time scales. This interplay provides an optimal time scale for adiabatic processes in decohering environments [15, 16].

The adiabatic dynamics can be reproduced by generalized transitionless evolutions obtained via shortcuts to adiabaticity [17, 18, 19]. Such accelerated processes allow us to derive an exact adiabatic evolution at an arbitrary finite time. Shortcuts to adiabaticity have been used to speed up adiabatic processes in a number of applications, e.g. tracking of many-body systems across quantum phase transitions [20, 21, 22], quantum gate Hamiltonians [23, 24, 25], heat engines in quantum thermodynamics [26], among others (e.g., Refs. [27, 28, 29, 30, 31]). The robustness of such transitionless evolutions has recently been studied through different experimental architectures, as nitrogen-vacancy setups [32], trapped ions [33], atoms in cavities [34, 35], nuclear magnetic resonance (NMR) [36], and optomechanics [37]. Naturally, the speed of the evolution is constrained by the energy cost of the implementation, with faster evolutions being more energy demanding [23]. By providing identical energy resources at a finite evolution time , a fundamental problem is then whether shortcuts to adiabaticity can provide a more efficient performance in terms of fidelity than their adiabatic counterparts by adjusting its pace within the decoherence time scales. We address this question by considering a general counter-diabatic theory [38], which is here optimized for a minimum energy consumption. As a by-product, we apply this general approach to obtain infinite classes of transitionless models, including time-independent Hamiltonians under certain conditions over the eigenstates of the original (adiabatic) Hamiltonian. Concerning robustness against decoherence, we consider Markovian open systems and impose fixed energy resources. This is a key point, since unlimited energy provides arbitrarily fast dynamics already for adiabatic evolution, through an arbitrarily large gap between the ground and first excited states. It is then shown that a supremacy of the counter-diabatic dynamics can always be achieved by adjusting the evolution rate. This is illustrated in the Landau-Zener model and in quantum gate Hamiltonians.

2 Generalized transitionless dynamics theory and energy cost

The starting point for the counter-diabatic theory is the evolution operator , which can be defined as (see, e.g., Ref. [38])

(1)

where is a set of arbitrary real phases [39, 40] and is the set of eigenstates of the original (adiabatic) Hamiltonian . Let us assume that the quantum system is initially prepared in an specific eigenstate of , namely, . Then, the Hamiltonian , which denotes the shortcut to the adiabatic Hamiltonian , evolves the system to its instantaneous eigenlevel . Explicitly, we write as ()

(2)

The functions have originally been identified with the adiabatic phase   [41], which exactly mimics an adiabatic evolution. In this particular case, we can write as , where is the Hamiltonian that drives the adiabatic dynamics and is the counter-diabatic Hamiltonian.

2.1 Quantum phases in optimal transitionless quantum driving

There is a number of situations for which we need not exactly mimic an adiabatic process, but only assure that the system is kept in an instantaneous eigenstate (independently of its associated quantum phase) [23, 24, 25, 26, 27, 28, 29, 32, 33, 34, 37, 42, 43]. This generalized dynamics in terms of arbitrary phases will be denoted as a transitionless evolution. Now, we will show that can be nontrivially optimized in transitionless evolutions both in terms of energy cost and robustness against decoherence effects. In this direction, we adopt as a measure of energy cost the average Hilbert-Schmidt norm of the Hamiltonian throughout the evolution, which is given by [44, 23, 45, 46]

(3)

where denotes the total evolution time. The energy cost aims at identifying changes in the energy coupling constants and gap structure, which typically account for the effort of speeding up adiabatic processes. It is a well-defined measure for finite-dimensional Hamiltonians exhibiting non-degeneracies in their energy spectra. Such Hamiltonians describe the quantum systems within the scope of this work. Therefore, Eq. (3) is applicable, e.g., for generic systems composed of a finite number of quantum bits (qubits) under magnetic or electric fields (see Refs. [46, 44] for similar cost measures). Note that Eq. (3) is non-invariant with respect to a change of the zero energy offset. However, by adopting a fixed reference frame, it can be used to quantify the energy cost involved in attempts of accelerating the adiabatic path, either via an increasing of the energy gap in the adiabatic approach or via a reduction of by adjusting the relevant energy couplings in the counter-diabatic theory. In addition, as can be set by the quantum speed limit [47], Eq. (3) allows us to establish a trade-off between speed and energy cost for an arbitrary dynamics [23, 45]. For instance, in NMR experimental setups, the quantity represents how intense a magnetic field is expected to be in order to control the speed of such a dynamics.

Now, let us discuss how, for a fixed time , the energy cost in a transitionless evolution can be minimized by a suitable choice of the arbitrary parameters . Remarkably, this optimization can be analytically derived, which is established by Theorem 1 below. Its derivation is provided in A.

Theorem 1.

Consider a closed quantum system under adiabatic evolution governed by a Hamiltonian . The energy cost to implement its generalized transitionless counterpart, driven by the Hamiltonian , can be minimized by setting

(4)

In particular, for any evolution such that the quantum parallel-transport condition is verified [41], the energy cost to implement a transitionless evolutions is always optimized by choosing . This approach is useful for providing both realistic and energetically optimal Hamiltonians in several physical scenarios. For example, by considering nuclear spins driven by a magnetic field in a nuclear magnetic resonance setup, the energy cost can be optimized by adjusting such that the magnitude of the magnetic field is reduced, since .

As a by-product, the generalized counter-diabatic theory can be used as a tool to yield time-independent Hamiltonians for transitionless evolutions. In general, the Hamiltonian has its form constrained both by the choice of the phases and by eigenstates of the adiabatic Hamiltonian . Thus, we can delineate under what conditions we can choose the set in order to obtain a time-independent Hamiltonian for a transitionless evolution. To answer this question, we impose considering arbitrary phases . This leads to Theorem 2 below. Its derivation is provided in B.

Theorem 2.

Let be a discrete quantum Hamiltonian, with denoting its set of instantaneous eigenstates. If satisfies , with complex constants , then a family of time-independent Hamiltonians for generalized transitionless evolutions can be defined by setting , with a single arbitrary real constant .

2.2 Transitionless dynamics under decoherence

Theorems 1 and 2 ensure both an energetically optimal counter-diabatic evolution and families of possible time-independent transitionless Hamiltonians. A rather important point for the generalized counter-diabatic theory is whether it is robust against decoherence. The robustness of the counter-diabatic dynamics and inverse engineering schemes has recently been considered in the literature [48, 49, 50, 51]. Here, in order to provide a comparison between adiabatic and generalized counter-diabatic dynamics, we will require identical energy resources for each implementation. More specifically, we will consider the performance of transitionless evolutions in open systems described by convolutionless master equations given by

(5)

where describes the decohering contribution to the quantum dynamics, which is parametrized by the normalized time , with the total time of evolution and . For Markovian evolution [52, 53], we have , with denoting Lindblad operators and (positive) decoherence rates. Here, we will consider, as an illustration, Lindblad operators for generalized amplitude damping (GAD) in the eigenbasis of the Hamiltonian, which reads

(6)

where is the unitary operator that diagonalizes the Hamiltonian and , with denoting Pauli matrices. The GAD channel describes dissipation to an environment at finite temperature. Its decoherence rates and are given by [54, 55] and , where is the spontaneous emission rate and is the Planck distribution that gives the number of thermal photons at a fixed frequency. For simplicity, we adjust the temperature such that and define , with a dimensionless parameter and some relevant frequency associated with the quantum system. Then, we obtain and . In addition to GAD, we will also consider dephasing in the instantaneous Hamiltonian eigenbasis, whose Lindblad operator reads

(7)

with decoherence rate given by . Both GAD and dephasing are common decohering processes in a number of physical realizations [53]. They will be used here as probes to the counter-diabatic robustness in the open-system realm.

In this paper we consider that any systematic error due to experimental deviations of fields used to implement the Hamiltonian is negligible. In general, finding an optimal transitionless scheme against arbitrary systematic errors is not a trivial task [56]. In particular, given a fixed class of error, we can obtain an optimal transitionless dynamics for such a class, but the associated dynamics may be not robust against other classes of systematic errors  [56, 57, 58].

3 Transitionless dynamics in the Landau-Zener model

As a first application, let us consider the dynamics of a two-level quantum system, i.e., a qubit, evolving under the Landau-Zener Hamiltonian

(8)

with a dimensionless time-dependent parameter associated with Rabi frequency. This Hamiltonian describes transitions in two-level systems exhibiting anti-crossings in its energy spectrum [59]. In particular, it can be applied, e.g., to perform adiabatic population transfer in a two-level system driven by a chirped field [17] and to investigate molecular collision processes [60]. The instantaneous ground and first excited states of are

(9)
(10)

The system is initialized in the ground state of . By considering a unitary dynamics and a sufficiently large total evolution time (adiabatic time), the qubit evolves to the instantaneous ground state of .

3.1 Optimal transitionless evolution in Landau-Zener model

In this section we will discuss the generalized transitionless dynamics theory for the Landau-Zener model. For optimal energy cost, Eq. (4) establishes for the states in Eqs. (9) and (10). Therefore, the optimal Hamiltonian is given by , with

(11)

From Eq. (11), we can see that satisfies the hypotheses of Theorem 2 if, and only if, we choose the linear interpolation . Thus, we adopt this choice for simplicity and, consequently, we have . We observe that a complete (avoided) level crossing picture for the Landau-Zener model is described by varying the parameter from to . Here, we are taking a narrower range for , which simplifies the description of the transitionless dynamics for the model.

3.2 Energy cost for the Landau-Zener model

Now we will be interested in the performance of the transitionless evolution with optimal energy resource so that we impose as in the Theorem 1. Thus, by considering adiabatic evolution through the Hamiltonian , Theorem 1 establishes that the optimal energy resource is performed by setting . Considering the energy cost as provided by Eq. (3), we get

(12)
(13)

where and are the energy costs for the adiabatic and optimal shortcut Hamiltonians, respectively. Remarkably, from Eqs. (12) and (13), it follows that the energy cost for the counter-diabatic Landau-Zener model is independent of the path followed by the system on the Bloch sphere, while its adiabatic counterpart depends on it. In particular, for obtaining , we have used and, therefore, . Note that there is a range of values for for which the energy cost of the generalized transitionless dynamics is less than its adiabatic version. Indeed, by evaluating the relation between and we get

(14)

By imposing identical energy cost, i.e. , we obtain

(15)

Therefore, identical energy cost can be obtained by adjusting according to the total evolution time , as in Eq. (14).

(a)
(b)
(c)
(d)
Figure 1: (Color online) Fidelity under decoherence in the eigenstate basis for both adiabatic (solid curves) and optimal transitionless dynamics (dashed curves) in the Landau-Zener model. Left column: Fidelity under GAD for ((a)a) identical and ((c)c) different energy resources. Right column: Fidelity under dephasing for ((b)b) identical and ((d)d) different energy resources. The vertical dashed line in ((c)c) and ((d)d) represents the boundary line between and . We set .

3.3 Robustness against decoherence in the Landau-Zener model

We are now ready to compare the behavior under decoherence of both transitionless and adiabatic models. The system is prepared in the ground state of the Landau-Zener Hamiltonian at . Then, we let the system evolve aiming at the target state . We adopt the fidelity as a success measure of each protocol, with denoting the solution of Eq. (5) at . To settle the problem in a fair scenario, we shall submit both models to the same requirements of energy cost and total evolution time . The robustness of adiabatic and optimal transitionless evolutions under GAD and dephasing, for the same and different energetic resources, are shown in Fig. 1. To both situations the decoherence rate strength is controlled by the dimensionless parameter . For equal energy resource provided for adiabatic and generalized transitionless evolutions, will be taken as follows. We consider a set of total evolution times. The total time fixes the energy of the generalized transitionless evolution, with faster evolutions related to shorter times. For a given , we adjust the corresponding frequency of the Hamiltonian that drives the adiabatic evolution so that , with denoting the energy cost of the adiabatic model. The relevant frequency that sets the decoherence rates will then be defined by the average of for the values of considered. More specifically, , with in our numerical treatment.

By considering the situation of identical energy cost [see Figs. ((a)a) and ((b)b)], the fidelity for unitary dynamics () in the adiabatic model is constant and smaller than one. This is because of the requirement of fixed energy given by Eq. (15), which imposes a fixed relationship between and . The relation between and keeps the adiabatic condition unchanged as we increase , since we will have to decrease at the same pace. On the other hand, transitionless evolutions have fidelity close to , since they are not ruled by the adiabatic constraint. For non-unitary evolutions (), generalized transitionless evolutions are more robust than their adiabatic counterparts for any value of within a range of values for . Note also that, for the GAD channel in Fig. ((a)a), fidelity decreases for intermediate times due to the population of excited states in a thermal environment and then is favored for long times due to the spontaneous emission effect in the energy eigenbasis. In particular, it approximates to the adiabatic fidelity for closed systems for . Remarkably, the fidelity of the adiabatic curves increases under dephasing in the eigenstate basis, as shown in Fig. ((b)b). For this specific case, this occurs due to the fact that the ground eigenprojection is an eigenstate of the Lindblad superoperator, which governs the adiabatic approximation in open quantum systems [15, 16]. Since adiabaticity is governed by the eigenvalue scale of the Lindblad superoperator instead of the Hamiltonian eigenvalue scale, Eq. (15) does not prevent the increase of the adiabatic fidelity as it happens in the closed case. Indeed, decoherence enhances adiabaticity in this situation.

Similar results are also shown in Figs. (1c) and (1d), where we allow for different resource contents. For this case, the relevant frequency is simply adopted as . Observe that the behavior of the fidelity curve on the right and left hand side of the vertical line shows that, even for more energy provided for the adiabatic model, the transitionless dynamics can be more robust than the adiabatic dynamics for a fixed . Therefore, generalized transitionless evolutions can be more robust in a real open-system scenario even in situations for which the adiabatic implementation has more energy resource available. For all situations considered in Fig. 1, the crossing points delimit the supremacy region of the optimal transitionless dynamics. This region depends of the coupling strength between the qubit and its reservoir (as measured by the parameter ). Therefore, in general, the advantage of the optimal transitionless evolution is a non-trivial problem, which depends on both the decoherence channel and the coupling strength with the reservoir.

We observe that the generalized counter-diabatic theory can be shown to be more robust than its adiabatic counterpart for different values of temperature, with the the choice just accounting for a simple numerical instance. In particular, the plots for each value of the parameter in Fig. 1 already indicate that the advantage holds for distinct temperature regimes. More specifically, provided the expression for the parameters and in terms both of the decoherence rate and the temperature (which is implicit in ), we can think of the different values for the parameter either as a change in the decoherence rate (keeping fixed) or as a change in the temperature parameter (keeping fixed). Therefore, different values of can be taken as yielded by a change in the temperature of the bath.

4 Transitionless dynamics in the counter-diabatic gate model

Shortcuts to adiabaticity can be used to speed up adiabatic quantum gates. More specifically, they have been applied to perform universal quantum computation (QC) via either counter-diabatic controlled evolutions [23] or counter-diabatic quantum teleportation [24]. As hybrid models, these approaches provide a convenient digital architecture for physical realizations while potentially keeping both the generality and some inherently robustness of analog implementations. Experimentally, digitized implementations of quantum annealing processes have been recently provided [61], with controlled quantum gates adiabatically realized with high fidelity via superconducting qubits [62]. In this Section, by focusing on controlled evolutions, we will now show that counter-diabatic QC can be more robust against decoherence than its adiabatic counterpart as long as the gate runtime is suitably determined within a range of evolution times.

4.1 Adiabatic and counter-diabatic controlled quantum dynamics

Consider a bipartite system composed by a target subsystem and an auxiliary subsystem , whose individual Hilbert spaces and have dimensions and , respectively. The auxiliary subsystem will be driven by a family of time-dependent Hamiltonians , with . The target subsystem will be evolved by a complete set of orthogonal projectors over , which satisfy and . In a controlled adiabatic dynamics, the composite system will be governed by a Hamiltonian in the form [63]

(16)

with , where is the beginning Hamiltonian, is the contribution to the final Hamiltonian, and the time-dependent functions and satisfy the boundary conditions and .

Suppose now we prepare in the initial state , where is an arbitrary state of and is the (non-degenerate) ground state of . Then is the ground state of the initial Hamiltonian . By applying the adiabatic theorem [3, 7] , a sufficiently slowing-varying evolution of will drive the system (up to a phase) to the final state

(17)

where is the ground state of  [63]. Note that an arbitrary projection over the unknown state can be yielded by performing a convenient measurement over . In particular, as will be shown in Subsection 4.2, by suitably designing the auxiliary Hamiltonians , such a dynamics can be used to adiabatically implement individual quantum gates.

The counter-diabatic version of this controlled evolution has been built in Ref. [23], where it is shown that the transitionless Hamiltonian for the composite system reads

(18)

where is the piecewise Hamiltonian implementing the shortcut to adiabaticity for the controlled dynamics.

4.2 Quantum computation via adiabatic controlled evolutions

Universal sets of quantum gates can be implemented through a bipartite system composed by a target subsystem and a single-qubit auxiliary system . In our protocol, the target system works as our quantum processor, with any computation performed on it. In others words, both the input and output state, as well as any intermediate stage of the computation, should be encoded in the target system. For example, the target system for a two-qubit gate is composed by the target qubit and the control qubit. On the other hand, the auxiliary qubit works as an ancilla qubit. Any result of measurements over such a qubit is not relevant for the computation result, but it is important for determining whether or not the computation has been successfully realized. Differently from the target system, any information encoded in the auxiliary system may be deleted after the measure. Therefore, quantum gates will be applied to the target subsystem, as a result of a measurement performed on the auxiliary qubit.

Let us begin by considering as a single qubit and a single-qubit gate as an arbitrary rotation of angle around a direction over the Bloch sphere. Under this consideration, the Hamiltonian that adiabatically implements such a single-qubit gate for an arbitrary input state , with , is given by [63]

(19)

where is a complete set of orthogonal projectors over the Hilbert space of the target qubit. The projectors can be parametrized as , with associated with the direction of the target qubit on the Bloch sphere. In Eq. (19), each Hamiltonian () acts on , and is given by [63]

(20)

with denoting an arbitrary parameter that sets the success probability of obtaining the desired state at the end of the evolution. This parameter plays a role in the energy performance of counter-diabatic QC, with probabilistic counter-diabatic QC () being energetically more favorable than its deterministic () counterpart [25].

Figure 2: (Color online) Geometric representation of an arbitrary single qubit gate implemented through an adiabatic controlled evolution. Information about the quantum gate to be implemented is encoded in the angles and that set the vector and in the angle that sets the Hamiltonian in Eq. (20).

The projectors may be written in terms of two basis vectors in the Bloch sphere as , where

(21)
(22)

Thus, a quantum gate is encoded as a rotation of around the vector , as shown in the Fig. 2. Now, by expressing the state in the basis , we write , with being a state in the direction and . We then prepare the system in the initial state . Then, assuming an adiabatic dynamics, the evolved state is given by the superposition

(23)

with being the rotated desired state and the ground and first excited states of given by

(24)
(25)

We observe that, due to the dynamics of the auxiliary qubit through two adiabatic paths, there are quantum phases and accompanying the evolutions associated with and , respectively. Then, relative phases should in principle be considered in Eq. (23). However, as shown in the Ref. [63], such phases satisfy . Thus, they factorize as a global phase of the state . At the end of the evolution, a measurement on the auxiliary qubit yields the rotated state with probability and the input state with probability . The computation process is therefore probabilistic, which succeeds if the auxiliary qubit ends up in the state . Otherwise, the target system automatically returns to the input state and we simply restart the protocol. In the adiabatic scenario, the parameter can then be adjusted in order to obtain the optimal fidelity by taking the limit , implying in a deterministic computation.

Figure 3: (Color online) Protocol for a probabilistic implementation of a controlled evolution in a two-qubit state. Before the quantum evolution (either adiabatic or nonadiabatic) the input state is encoded in the target system. After the evolution, a measurement (in computational basis) is performed on the auxiliary qubit. A successful measurement corresponds to . If the result is , the system returns to its initial state and a repetition of the process is required (until is obtained as a result of the measurement).

This model can be easily adapted to implement controlled single-qubit gates. To this end, the target system has to be increased from one qubit to two qubits, as shown in the scheme provided in Fig. 3. Here, we adopt that the single-qubit gate acts on the target register if the state of the control register is . With this convention, the Hamiltonian that implements a controlled single-qubit gate is given by

(26)

where now the set the orthogonal projectors is given by , where denotes the computational basis. The input state of the target system is now written as , with and denoting the control and target register, respectively. By rewriting in terms of the basis , we have , with . Therefore, by assuming adiabatic evolution, the system evolves from the state , to the instantaneous state

(27)

with being the rotated desired state. We then see that the final state allows for a probabilistic interpretation for the evolution and, consequently, the computation protocol can again be taken as probabilistic () or deterministic ().

4.3 Quantum computation via counter-diabatic controlled evolutions

Let us now provide energetically optimal shortcuts to the adiabatic controlled dynamics previously introduced. The transitionless evolution for the quantum gate Hamiltonian is based on the Hamiltonian as in Eq. (20), such that for single-qubit and controlled single-qubit gates we have [23]

(28)
(29)

respectively. Remarkably, each Hamiltonian satisfies the conditions required by Theorems 1 and 2, so that we can obtain an optimal time-independent Hamiltonian. Thus, the generalized Hamiltonians associated with for transitionless dynamics can be directly derived from Eq. (2). Notice that, from Eq. (24) and (25), it is possible show that Theorem 2 holds, which implies in

(30)

where we have used that , with . The Hamiltonian in Eq. (30) improves the gate Hamiltonian derived in Ref. [23]. More specifically, Eq. (30) is energetically optimal and given by a time-independent operator.

(a)
(b)
Figure 4: (Color online) Fidelity for the implementation of ((a)a) a CNOT gate to the state and ((b)b) single qubit gates, provided by (top) a Hadamard gate to the state , (bottom left) a phase gate to the state , and (bottom right) a -gate to the state . The gates are implemented via deterministic () adiabatic QC (solid curves) and probabilistic () counter-diabatic QC (dashed curves), for unitary and non-unitary evolutions under dephasing for identical energy resources.

4.4 Energy cost for the quantum gate Hamiltonian

For a transitionless evolution, it is possible to show that a probabilistic process, with , is energetically better than the deterministic approach  [25]. For this reason, we will consider here the probabilistic model for the generalized counter-diabatic quantum gates. In this scenario, given a fixed amount of energy resource available, our aim is to compare the best adiabatic protocol to implement quantum gates with its best generalized transitionless counterpart. From Eq. (28), we can write the energy cost of a single evolution to implement single-qubit gates

(31)

where corresponds to the adiabatic energy cost and is the free angle parameter. The energy cost of probabilistic optimal transitionless evolutions can be obtained by defining the quantity

(32)

which is the average number of evolutions for a successful computation. Thus, the average energy cost to implement a probabilistic evolution is [25]

(33)

Hence, an optimal scheme requires that the choice of is such that is minimized. In particular, this minimization is obtained for . It is important mention that the energy cost in Eq. (33) is obtained by two processes: i) energy minimization through the quantum phase that accompanies the transitionless evolution and ii) application of the probabilistic model of quantum gates.

By considering the energy rate for adiabatic and generalized transitionless protocols [similarly as in Eq. (14)], we have

(34)

By imposing identical energy resource, i.e. , we obtain

(35)

Remarkably, the energy cost for the implementation of a controlled single-qubit gate by the transitionless Hamiltonian in Eq. (29) is simply [23, 25]. The factor also propagates to the adiabatic model, which implies exactly in the same ratio and therefore in the same constraint over provided by Eq. (35).

4.5 Robustness against decoherence in the quantum gate Hamiltonian

From Eq. (34), the optimal transitionless quantum gate model will be more efficient from the energy point of view than its adiabatic counterpart for . Even though this condition solves the problem for closed quantum systems, it is a nontrivial problem the energy efficiency of the generalized transitionless quantum gate Hamiltonian in comparison with its adiabatic version when decoherence effects are not negligible in the physical system. In this section we will study the robustness of counter-diabatic QC by controlled evolutions against decoherence by considering the case of single-qubit gates in addition to the CNOT gate, which constitute a universal set of quantum gates [64]. The success of the protocol is measured by the fidelity , with denoting the density operator for the target subsystem, obtained from Eq. (5).

(a)
(b)
Figure 5: (Color online) Fidelity for the implementation of ((a)a) a CNOT gate to the state and ((b)b) single qubit gates, provided by (top) a Hadamard gate to the state , (bottom left) a phase gate to the state , and (bottom right) a -gate to the state .The gates are implemented via deterministic () adiabatic QC (solid curves) and probabilistic () counter-diabatic QC (dashed curves), for unitary and non-unitary evolutions under dephasing for different energy resources.
(a)
(b)
Figure 6: (Color online) Fidelity for the implementation of ((a)a) a CNOT gate to the state and ((b)b) single qubit gates, provided by (top) a Hadamard gate to the state , (bottom left) a phase gate to the state , and (bottom right) a -gate to the state . The gates are implemented via deterministic () adiabatic QC (solid curves) and probabilistic () counter-diabatic QC (dashed curves), for unitary and non-unitary evolutions under GAD for identical energy resources.

The Hadamard gate is a rotation of around direction in the Bloch sphere, so that we set and in Eqs. (21) and (22). For the case of phase and gates, we take them as rotations around the direction of an angle and , respectively, so that we take , , and . Concerning the CNOT gate, it is a controlled implementation of the operation (flip gate), which can be viewed as a rotation of around the direction. Thus we set , , and . Therefore, from Eq. (30), we have the following counter-diabatic Hamiltonians

(36)
(37)
(38)
(39)

for Hadamard, phase, , and CNOT gates, respectively. In order to study the robustness of single qubit gates we have considered the input stats for Hadamard operation and for phase and -gate. On the other hand, for the CNOT gate, we consider the initial state and apply the gate Hamiltonian to create a Bell state . Fidelity is then obtained from the explicit solution of the Lindblad equation for . For instance, for CNOT, we have .

(a)
(b)
Figure 7: (Color online) Fidelity for the implementation of ((a)a) a CNOT gate to the state and ((b)b) single qubit gates, provided by (top) a Hadamard gate to the state , (bottom left) a phase gate to the state , and (bottom right) a -gate to the state . The gates are implemented via deterministic () adiabatic QC (solid curves) and probabilistic () counter-diabatic QC (dashed curves), for unitary and non-unitary evolutions under GAD for different energy resources.

The robustness of the universal set of quantum gate under dephasing is illustrated in Figs. 4 and 5 for identical and different resources imposed, respectively. In these plots, we compare the optimal adiabatic (deterministic) implementation with its optimal transitionless version (probabilistic computation and optimal quantum phases). Note that the generalized transitionless approach shows a higher fidelity for fast dynamics, but there are regimes for which the adiabatic approach shows a better fidelity for a fixed . Energy optimization in the optimal transitionless model is achieved for  [25]. Figs. 6 and 7 show similar results result for non-unitary evolution under GAD, with equivalent and different resources provided to the adiabatic and optimal transitionless model, respectively. In any case of decoherence and energetic resource, there always exist dynamical regimes for which the optimal transitionless evolutions are more robust and therefore a preferred approach in a decohering physical environment.

5 Conclusion

In summary, we have developed a generalized minimal energy demanding counter-diabatic theory, which is able to yield efficient shortcuts to adiabaticity via fast transitionless evolutions. Moreover, we have investigated the robustness of adiabatic and counter-diabatic dynamics under decoherence by introducing the requirement of fixed energy resources, so that a comparison is settled down in a fair scenario. Then, we have shown both for the Landau-Zener model and for quantum gate Hamiltonians that there always exist dynamical regimes for which generalized transitionless evolutions are more robust and therefore a preferred approach in a decohering setup. This has been shown both for the dephasing and GAD channels acting on the eigenstate bases. It is also possible to show the advantage in other bases, such as the computational basis. The general picture is that the gain will typically occur during some finite time range, disappearing in the limit of long evolution times. These results are encouraging for the generalized transitionless approach in the open-system realm as long as local Hamiltonians are possible to be designed. In the specific case of quantum gate Hamiltonians, this approach can be applied, e.g. to derive robust local building blocks for analog implementations of quantum circuits (see, e.g., Refs. [62, 61]). Experimental realizations, extensions for dealing with systematic errors, and generalized shortcuts via reservoir engineering are further directions left for future research.

Acknowledgments

We acknowledge Gonzalo Muga and Tameem Albash for useful discussions. A.C.S. is supported by CNPq-Brazil. M.S.S. acknowledges support from CNPq-Brazil (No. 303070/2016-1), FAPERJ (No. 203036/2016), and the Brazilian National Institute for Science and Technology of Quantum Information (INCT-IQ).

Appendix A Proof of Theorem 1

Theorem 1.

Consider a closed quantum system under adiabatic evolution governed by a Hamiltonian . The energy cost to implement its generalized transitionless counterpart, driven by the Hamiltonian , can be minimized by setting .

Proof.

We adopt as a measure of energy cost the Hamiltonian Hilbert-Schmidt norm, which reads

(40)

Then, we obtain

(41)

By taking the trace of in Eq. (41), we have

(42)

Then

(43)

where we have .

We can now find out the functions that minimize the energy cost in transitionless evolutions. For this end, we minimize the quantity for the Hamiltonian with respect to parameters , where we will adopt it being independents. By evaluating , we obtain

(44)

We then impose Tr for all time , which ensures . Thus, by using Eq. (42), we write

(45)

This implies

(46)

From the second derivative analysis, it follows that the choice for as in Eq. (46) necessarily minimizes the energy cost, namely, , which concludes the proof.

Appendix B Proof of Theorem 2

Theorem 2.

Let be a discrete quantum Hamiltonian, with denoting its set of instantaneous eigenstates. If satisfies , with complex constants , then a family of time-independent Hamiltonians for generalized transitionless evolutions can be defined by setting , with a single arbitrary real constant .

Proof.

By taking the time derivative of the Hamiltonian , we obtain

(47)

Then, the matrix elements of in the eigenbasis of the Hamiltonian read

Now, by using , we write