Reverse engineering protocols for controlling spin dynamics

Abstract

We put forward reverse engineering protocols to shape in time the components of the magnetic field to manipulate a single spin, two independent spins with different gyromagnetic factors, and two interacting spins in short amount of times. We also use these techniques to setup protocols robust against the exact knowledge of the gyromagnetic factors for the one spin problem, or to generate entangled states for two or more spins coupled by dipole-dipole interactions.

Introduction

The implementation of quantum computing and quantum information processing require a careful preparation of the initial quantum state and accurate control of its further evolution in time. There is a large body of literature dealing with coherent control in quantum systems. A widely known technique relies on resonant π (or π/2) pulses¹. It has the advantage of being fast but turns out to be very sensitive to the pulse duration and peak intensity. Alternatively, the composite pulses approach provide a much more robust quantum manipulation but at the expense of a relatively slow process. It requires a precise control of the relative phase of the successive pulses and on the intensity of each pulse^2–5. Another fast and efficient technique is the optimal control theory^6–11. However, the optimization may be complicated since it can require a huge number of parameters. On a more analytical and geometric side, the development of the quantum brachistochrone formalism, formulated by using the Pontryagin Maximum Principle (PMP), belongs to the same class of solutions¹². Otherwise, purely numerical techniques have been setup for quantum manipulation using for instance genetic algorithm¹³. Nevertheless, the purely numerical algorithm for optimization works as a black box without understanding the dynamics or knowing the structure of control fields.

Adiabatic processes have been also successful, and in particular the RAP (rapid adiabatic passage)¹⁴ for two-states systems, or the STIRAP technique in three-state systems^15–17. In essence, such techniques are developed so to ensure the adiabatic condition. This means in practice long pulse duration combined with high peak intensity. Interestingly, they can be stated so to generate smooth variations of the parameters in time.

In this article, we setup another strategy inspired by the recent development of “Shortcuts to Adiabaticity” (STA)^18,19. In contrast with adiabatic processes, non-adiabatic coupling are canceled out using well-tailored supplementary fields²⁰. Here we will concentrate on a subclass of such solutions usually referred to as reverse engineering protocols²¹. Such techniques have been recently applied to the fast transport or manipulation of wave functions^22–25, or in tailored transformations in statistical physics^26–28. The reverse engineering protocol consists in imposing the desired evolution of the dynamical quantity of interest and inferring from it the time evolution of the parameters. Remarkably, reverse engineering protocols can be worked out analytically, see also refs^29,30, Its performance when combined with a given constraint has been compared with optimal control in ref.²⁷. They provide an efficient way to drive spin-1/2 system^31,32, or, equivalently, a generic two-level system with cold atoms^33–35.

The shaping of the three components of the time-dependent magnetic field that one shall apply to induce an arbitrary trajectory on the Bloch sphere of a single spin 1/2 has been explicitly worked out in ref.³⁶. Interestingly, the equation of motion of the mean value of the spin cannot be reversed in an unique manner. It means in practice that there is a lot of freedom to reach a given target state and to fulfill also some extra requirements. We will take advantage of this feature in the following. In this article, we setup (i) a few general procedures for reverse engineering, (ii) an algorithm to build up the smooth variations in time of the magnetic field components that one should apply to spin flip a spin 1/2 (or connect two points on the Bloch sphere) in an arbitrary short amount of time, (iii) expand the parameter space of those solutions to fulfill extra requirements such as the robustness of the operation or the application of the transformation to two spins with different coupling strength to the magnetic field. We then discuss how those protocols shall be modified to take into account interactions between spins, and generate in an optimal amount of time entangled states of two or more spins.

Results

Reverse engineering protocols for a single spin

In the reverse engineering approach, the magnetic field components as a function of time are inferred from the equations of evolution of the system once the desired quantum state change, suitably parametrized, is imposed. In practice, it can be useful to have different formulations of the same problem since the inversion³⁷ or the generalization to higher dimension can be easier for one of them. Those ideas have a wide range of possible applications in various systems, including spin system^38–40, Bose-Einstein condensates (BECs)^41,42, and other many-body systems^43–45.

Hereafter, we propose to work out such an inversion with three different formulations of a spin 1/2 in a time-dependent magnetic field: (i) the direct reversing of the time evolution operator, (ii) the inversion of Madelung representation formulation of the problem and (iii) the inversion of the precession equations. This is a non exhaustive list. For instance, another common method for reverse engineering relies on dynamical invariant³³, and will be used in last subsection before discussion.

Inverting the time evolution operator

We consider a spin 1/2 in an initial state $|\psi \mathrm{(0)}\rangle$. Its time evolution is encapsulated in the evolution operator U(t): $|\psi (t)\rangle =U(t)|\psi \mathrm{(0)}\rangle$. The most general form for U is a 2 × 2 complex matrix whose coefficients are partially related to ensure its unitary property. Denoting $u_{ij}={\rho }_{ij}{e}^{i{\varphi }_{ij}}$, the coefficients of U shall fulfill the following relations ${\varphi }_{12}={\varphi }_{21}\equiv \varphi$, ${\rho }_{12}={\rho }_{21}\equiv \rho$, ${\rho }_{11}={\rho }_{22}\equiv r$ and ${\varphi }_{11}+{\varphi }_{22}=2\varphi +\pi$. The most general form of U therefore reads

$$U(t)=\left(\begin{array}{ll}r{e}^{i{\varphi }_{11}}\hfill & \sqrt{1-r^2}{e}^{i\varphi }\hfill \\ \sqrt{1-r^2}{e}^{i\varphi }\hfill & r{e}^{i\mathrm{(2}\varphi +\pi -{\varphi }_{11})}\hfill \end{array}\right),$$ 1

where the variables r, ${\varphi }_{11}$ and φ are time-dependent. The reverse engineering protocol consists in shaping in time the three variables r, ${\varphi }_{11}$ and φ to ensure the transformation $|\psi \mathrm{(0)}\rangle \to |\psi (t_f)\rangle =|{\psi }_{\mathrm{target}}\rangle$. The Schrödinger equation $i\hslash {\partial }_t|\psi (t)\rangle =H|\psi (t)\rangle$ implies that $H=i\hslash \dot{U}{U}^{†}$. The expansion of H on the Pauli matrices ${\sigma }_i$ ($i=x,y,z$) gives the time-dependent magnetic field components that should be implemented in order to follow the desired trajectory: $H=-{\gamma }_1{\mathbf{s}}_1\cdot \mathbf{B}(t)=-{\gamma }_1\hslash \sigma \cdot \mathbf{B}(t)/2$ with

$$\begin{array}{l}{B}_x(t)=-\frac{2}{{\gamma }_1}\frac{r\mathrm{(1}-r^2)\dot{\mathrm{\Phi }}\cos \mathrm{\Phi }+\dot{r}\sin \mathrm{\Phi }}{\sqrt{1-r^2}},\\ B_y(t)=-\frac{2}{{\gamma }_1}\frac{r\mathrm{(1}-r^2)\dot{\mathrm{\Phi }}\sin \mathrm{\Phi }-\dot{r}\cos \mathrm{\Phi }}{\sqrt{1-r^2}},\\ B_z(t)=-\frac{2}{{\gamma }_1}\dot{\mathrm{\Phi }}{r}^2,\end{array}$$

where γ ₁ is the gyromagnetic factor and $\mathrm{\Phi }=\varphi -{\varphi }_{11}$ the relative phase. We conclude that only two parameters are relevant in this case r(t) and Φ(t). This form generally contains the particular results deduced from other methods such as the tracking transitionless algorithm and the dynamical invariant approach¹⁸, see also refs^29,30.

As a simple example, let’s work out the simplest form of the magnetic field components to ensure the spin flip of the spin. The wave function reads $|\psi (t)\rangle =r(t)e^{i{\varphi }_{11}(t)}|+\rangle +\sqrt{1-r^2(t)}{e}^{i\varphi (t)}|-\rangle$, where |+〉 are the eigenstates of σ _z with eigenvalues ±1, corresponding to the spin up and down. To ensure the spin flip from |+〉 to |−〉 in an amount of time t _f, we need to fulfill the following boundary conditions, $r\mathrm{(0)}=1$ and $r(t_f)=0$. To avoid the divergence of denominators, we choose Φ = 0 and $r(t)=\cos (\theta (t))$ with $\theta \mathrm{(0)}=0$ and $\theta (t_f)=\pi /2$. We find $B_x=0$ and $B_z=0$, and a solution that contains the famous π-pulse solution with a constant magnetic field $B_y^0=\pi /({\gamma }_1{t}_f)$. The general method that we have worked out enables one to have any type of final state, including superposition of states.

Inverting the Madelung representation formulation

Another strategy consists in using an exact semiclassical approach based on the phase-modulus equations, commonly referred to as the Madelung representation. To derive the corresponding set of coupled equations we start by introducing the general form $|\psi (t)\rangle =a(t)|+\rangle +b(t)|-\rangle$ into the Schrödinger equation in the presence of a time-dependent magnetic field:

$$i\hslash \dot{a}=-\frac{{\gamma }_1}{2}\hslash (a{B}_z+b{B}_x-ib{B}_y),$$ 2

$$i\hslash \dot{b}=-\frac{{\gamma }_1}{2}\hslash (a{B}_x-b{B}_z+ia{B}_y)\mathrm{.}$$ 3

Let’s rewrite the coefficients a and b in modulus-phase representation $a(t)=\sqrt{n_a(t)}{e}^{i{\varphi }_a(t)}$, $b(t)=\sqrt{n_a(t)}{e}^{i{\varphi }_b(t)}$. The two previous complex equations can be recast as a Hamiltonian problem for the conjugate variables $(n_a,{\varphi }_a)$ and $(n_b,{\varphi }_b)$: ${\dot{n}}_i=-{\partial }_{{\varphi }_i}H$, ${\dot{\varphi }}_i={\partial }_{n_i}H$ with ($i=a,b$). It is convenient to introduce the relative variables ${\mathrm{\Delta }}_n(t)=n_a(t)-n_b(t)$ and $\theta (t)={\varphi }_a(t)-{\varphi }_b(t)$. The expression of the Hamiltonian now reads

$$H={\gamma }_1{B}_z{\mathrm{\Delta }}_n\mathrm{/2}+\sqrt{1-{\mathrm{\Delta }}_n^2}(B_x\cos \theta -B_y\sin \theta ),$$ 4

and the dynamics is given by the two scalar equations

$${\dot{\mathrm{\Delta }}}_n={\gamma }_1\sqrt{1-{\mathrm{\Delta }}_n^2}(B_x\sin \theta +B_y\cos \theta ),$$ 5

$$\dot{\theta }={\gamma }_1\left[B_z-\frac{{\mathrm{\Delta }}_n}{\sqrt{1-{\mathrm{\Delta }}_n^2}}(B_x\cos \theta -B_y\sin \theta )\right]\mathrm{. }$$ 6

From the evolution of ${\mathrm{\Delta }}_n$ and $\theta$, we can infer the components of the magnetic field. For instance,

$$\begin{array}{l}{B}_x(t)=\frac{{\dot{\mathrm{\Delta }}}_n}{{\gamma }_1\sqrt{1-{\mathrm{\Delta }}_n^2}\sin \theta },\\ B_y(t)=\mathrm{0,}\\ B_z(t)=\frac{1}{{\gamma }_1}\left(\dot{\theta }+\frac{{\dot{\mathrm{\Delta }}}_n{\mathrm{\Delta }}_n}{1-{\mathrm{\Delta }}_n^2}\frac{\cos \theta }{\sin \theta }\right)\mathrm{.}\end{array}$$

Inverting the precession equation

Alternatively, we can work out the equations of motion for the mean value of the spin

$$\frac{\mathrm{d}\langle {\mathrm{s}}_1\rangle }{\mathrm{d}t}=\frac{1}{i\hslash }\langle [{\mathrm{s}}_1,H]\rangle ={\gamma }_1\langle {\mathrm{s}}_1\rangle \times \mathrm{B}(t\mathrm{).}$$ 7

In the following, we note ${\mathrm{S}}_1=2\langle {\mathrm{s}}_1\rangle /\hslash$ and use the spherical coordinates to describe the motion of the spin on the Bloch sphere: ${\mathrm{S}}_1(\sin \theta (t)\cos \varphi (t),\sin \theta (t)\sin \varphi (t),\cos \theta (t))$. To work out our reverse protocol, we calculate the left-hand side of precession equations (7)

$${\dot{S}}_{1x}=\dot{\theta }\cos \theta \cos \varphi -\dot{\varphi }\sin \theta \sin \varphi ,$$ 8

$${\dot{S}}_{1y}=\dot{\theta }\cos \theta \sin \varphi +\dot{\varphi }\sin \theta \cos \varphi ,$$ 9

$${\dot{S}}_{1z}=-\dot{\theta }\sin \theta \mathrm{.}$$ 10

Combining Eqs (8)–(10), we get

$$\dot{\theta }={\gamma }_1(B_y\cos \varphi -B_x\sin \varphi ),$$ 11

$$\dot{\varphi }={\gamma }_1[B_z-\cot \theta (B_x\cos \varphi +B_y\sin \varphi )],$$ 12

from which we infer the expression of the transverse magnetic field components. With this set of equations we already obtain a class of solution by setting $B_x=B_z=0$ and φ = 0, we find $\dot{\theta }={\gamma }_1{B}_y$. The reverse engineering protocol consists here in choosing for θ(t) a function that obeys the boundary conditions $\theta \mathrm{(0)}=0$ and $\theta (t_f)=\pi$, and to infer from it the expression for B _y(t). We can readily recover here also the π-pulse solution.

It is interesting to let the possibility to shape any curve on the Bloch sphere³⁶. For this purpose, we need non trivial dependence of both θ(t) and φ(t). However, as suggested by Eqs (11) and (12), we can engineer only transverse magnetic field components and impose the variation of the longitudinal magnetic field component. This choice amounts to using explicitly the non uniqueness of the solution. The solution is then quite simple, we set the evolution of θ(t), φ(t) and $B_z(t)$ according to our boundary conditions. We have to be careful since we need to avoid divergences. This means that we have to take care of the terms having a tanθ. This latter terms diverge for $\theta =\pi \mathrm{/2}$, at time $t=t^{⁎}$ for which $\theta (t^{⁎})=\pi \mathrm{/2}$. To compensate for this divergence, we have to cancel also $\dot{\varphi }(t^{⁎}\mathrm{)=0}$ and $B_{1z}(t^{⁎})=0$. A way out for the last term consists in choosing $B_{1z}(t)=B_0\cos (\theta (t))$. The set of equations (11) and (12) then reads

$$B_x=-\frac{\dot{\theta }}{{\gamma }_1}\sin \varphi -\frac{\dot{\varphi }}{{\gamma }_1}\tan \theta \cos \varphi +B_0\sin \theta \cos \varphi ,$$ 13

$$B_y=\frac{\dot{\theta }}{{\gamma }_1}\cos \varphi -\frac{\dot{\varphi }}{{\gamma }_1}\tan \theta \sin \varphi +B_0\sin \theta \sin \varphi \mathrm{.}$$ 14

Consider the following example, we want to spin flip the spin from |+〉 to |−〉 in an amount of time $t=t_f$. For convenience, we use in the following the dimensionless time $s=t/t_f$. We use the boundary conditions $\theta \mathrm{(0)}=0$ and $\theta \mathrm{(1)}=\pi$. The simplest polynomial interpolation between those two boundary conditions is $\theta (s)=\pi s$. In this case, $s^{⁎}=\mathrm{1/2}$. The boundary conditions for φ are therefore $\varphi \mathrm{(0)}=0$, $\varphi \mathrm{(1)}=0$ and $\dot{\varphi }\mathrm{(1/2)}=0$. We choose here a polynomial ansatz $\varphi (s)=s-s^2$ to fulfill those conditions. Equations (13) and (14) take then the simple form

$$B_x=-\frac{\pi }{{\gamma }_1{t}_f}\sin \left(s-s^2\right)-\frac{1-2s}{{\gamma }_1{t}_f}\tan (\pi s)\cos (s-s^2)+B_0\sin (\pi s)\cos \left(s-s^2\right),$$ 15

$$B_y=\frac{\pi }{{\gamma }_1{t}_f}\cos \left(s-s^2\right)-\frac{1-2s}{{\gamma }_1{t}_f}\tan (\pi s)\sin \left(s-s^2\right)+B_0\sin (\pi s)\sin \left(s-s^2\right)\mathrm{.}$$ 16

Figure (1a and b) provide respectively the evolution of the components of the magnetic field and of the spin. The choice of smooth polynomial ansatz for the reverse engineering protocol generates a smooth solution. As intuitively expected, the shorter t _f, the larger the variation. This feature can be seen directly on Eqs (15) and (16) through the 1/t _f, factors.

Figure 1.

(a) Evolution of the magnetic field components $B_z/B_0$ (solid line), $B_y/B_0$ (dashed line) and $B_x/B_0$ (dotted line) as a function of time. The shaping of the magnetic field components is obtained self-consistently from a reverse engineering protocol in which we impose the variations of the spin components according to the target state (spin flip in this case) and the time duration of the transformation. (b) Spin components S _1z (solid line), S _1y (dashed line) and S _1x (dotted line) as a function of time. Parameters: ${\tilde{\gamma }}_1(\equiv {\gamma }_1{t}_f)=2$, $B_0=1$.

In conclusion of this subsection, we have shown that different formulations of the same problem yield different class of solutions. Within a given formulation, there is an infinitely large number of solutions for given boundary conditions. Those observations are useful to setup protocols for which we can add more constraints.

In the following, we discuss the simultaneous spin flip of two spin having different gyromagnetic factors with the same time-dependent magnetic field, and the design of magnetic field trajectories that ensure an optimal spin flip fidelity robust against the value of the exact value of the gyromagnetic factor. We will focus on the precession equations which presents the advantage of a direct possible visualization of the spin trajectory on the Bloch sphere.

Simultaneous control of two different spins

Spin flip of different spins

We now consider a second spin S ₂ having a different gyromagnetic factor γ ₂ (we assume that there is no interactions between the two spins). We want to setup a protocol allowing to control both spins with the same time-dependent magnetic field. Such a situation is common in NMR⁴⁶ and in quantum dots⁴⁷. To setup the reverse engineering protocol, we proceed in the following manner: we enlarge the space of functions that flip the first spin, and search for the subset of parameters that also ensure the spin flip of the second spin. We shall use the same variation as previously for θ (=πs) but a more involved φ(s) ansatz with two free parameters, κ and $\eta$: $\varphi (s)=\kappa \left[s+(\eta -\mathrm{1)}{s}^2-2\eta s^3+\eta s^4\right]$. This interpolating function fulfills the required boundary conditions $\varphi \mathrm{(0)}=0$, $\varphi \mathrm{(1)}=0$ and $\dot{\varphi }\mathrm{(1/2)}=0$. Using Eqs (13) and (14), we can readily infer the time-dependent components of the magnetic field that one should apply.

In Fig. 2, we plot $\mathrm{\Delta }=1-|\langle -|\psi (t_f)\rangle {|}^2=\mathrm{(1}+S_{2z}\mathrm{)/2}$ as a function of the two parameters ${\gamma }_2/{\gamma }_1$ and η, and this for different values of κ. Δ provides a direct measurement of the projection of the spin on the z axis at the end of the transformation. The blue zone are those for which we approach the target of a perfect reversing of spin two. This calculation shows (i) that whatever is the ratio ${\gamma }_2/{\gamma }_1$ there exists a couple of $(\eta ,\kappa )$ parameters that will ensure a perfect rotation of the two spins despite the fact that their coupling strength to the magnetic field is different and (ii) the existence of dense blue zones (for ${\gamma }_2\sim {\gamma }_1$) for which the rotation for both spin can be very good, this feature is the one required for robustness against dispersion of the values of γ ₂ (see below). Actually, the existence of many curves with minimum values of Δ in Fig. 2 means that we can simultaneously spin flip many spins having different gyromagnetic factors with the appropriate magnetic field. An example is depicted in Fig. 3 for three different spins where we have represented on the Bloch sphere the time-evolution of each spin. Interestingly, our protocol generates loops on the Bloch sphere to ensure that all spin trajectories end up at the opposite pole at the same time. The one loop trajectory is reminiscent of the spin echo technique but is here generated automatically by our protocol.

Figure 2.

We design the magnetic field $\mathrm{B}(\eta ,\kappa ,t)$ components as a function of time to ensure the exact spin flip of spin 1 (of gyromagnetic factor γ ₁) in an amount of time t _f. The parameter space of such solutions has two free extra parameters η and κ. We then calculate the evolution of spin 2 in the time interval $\mathrm{[0},t_f]$ in the presence of $\mathbf{B}(\eta ,\kappa ,t)$. We plot the probability, Δ, that spin 2 remains in its initial state as a function of ${\gamma }_2/{\gamma }_1$ and η parameter for different values of the κ parameter: (a) $\kappa =0.5$, (b) $\kappa =2.5$, (c) $\kappa =3.1$ and (d) $\kappa =4.5$.

Figure 3.

Example for which the same $\mathbf{B}(t)$ spin flips perfectly 3 different spin having different gyromagnetic factor: (a) ${\gamma }_1=2$, (b) ${\gamma }_2=5.34$ and (c) ${\gamma }_3=8.94$. Parameters: $\kappa =0.5$ and $\eta =5$.

Magnetic field shaping to ensure the robustness of the spin flip protocol

The reverse engineering protocol is well adapted to add further constraints. An important issue is to design spin flip protocols that are robust against the dispersion in the parameters governing the time evolution of the system. A standard example is provided by the dispersion of Larmor frequencies of an ensemble of two-level systems in liquid and solid NMR experiments³. This question is important for the implementation of quantum computing algorithm⁴⁸.

In this subsection, we propose to optimize the spin flip of a population independent spins whose gyromagnetic factors belongs to the interval $[\overline{\gamma }\mathrm{(1}-\epsilon );\overline{\gamma }\mathrm{(1}+\epsilon )]$. For this purpose, we optimize the spin flip fidelity using the free parameters κ and η of our ansatz for the azimuthal angle $\varphi (t)$. We introduce the function $\mathrm{\Lambda }(\epsilon )$ that measures the average distance towards the exact spin flip by averaging the different probabilities of remaining in the initial state in an interval of size $2\overline{\gamma }\epsilon$ about the mean gyromagnetic factor $\overline{\gamma }$ under consideration:

$$\mathrm{\Lambda }(\epsilon )=\frac{1}{2\overline{\gamma }\epsilon }{\int }_{\overline{\gamma }\mathrm{(1}-\epsilon )}^{\overline{\gamma }\mathrm{(1}+\epsilon )}\mathrm{\Delta }({\gamma }_2)d{\gamma }_2\mathrm{.}$$ 17

Figure 4 shows the decimal logarithm of the robustness function Λ as a function of κ where $\epsilon =0.01$ and $\eta =20$ is fixed. We observe the existence of a set of discrete “magic” values for κ that ensures an optimal spin flips. The quality of the spin flips increases with the value of the magic κ value. For instance, we get ${\log }_{10}[\mathrm{\Lambda }(\epsilon =\mathrm{0.01)]}=-7.8816$ for the first magic value $\kappa =2.0564$, ${\log }_{10}[\mathrm{\Lambda }(\epsilon =\mathrm{0.01)]}=-8.7127$ for $\kappa =3.262$. We have also represented the evolution of the second spin on the Bloch sphere in the inset of Fig. 4 for $\kappa =9.1892$, which corresponds to ${\log }_{10}[\mathrm{\Lambda }(\epsilon =\mathrm{0.01)]}=-9.4297$.

Figure 4.

Robustness function ${\log }_{10}[\mathrm{\Lambda }(\epsilon =\mathrm{0.01)]}$, as a function of κ for $\eta =20$. Inset: Spin flip trajectory of the second spin on the Bloch sphere with ${\gamma }_2=1.01{\gamma }_1$, $\eta =20$ and $\kappa =9.18918$. For this large magic value of κ, we get ${\log }_{10}[\mathrm{\Lambda }(\epsilon =\mathrm{0.01)]}=-9.4297$.

For a given time duration t _f of the process, the robustness increases at the expense of an increasingly large transient magnetic field amplitude. The use of high optimal values of magic κ generates many rotations of the spin on the Bloch sphere (see the inset of Fig. 4). This is not surprising since it simply generalizes somehow the spin echo technique.

Figure 5 summarizes the robustness functions of different spin flip protocols for gyromagnetic factors spanning the interval $2\overline{\gamma }\epsilon$ about the mean value $\overline{\gamma }$. It compares the performance of (i) the simple π-pulse designed for the mean value $\overline{\gamma }$ and whose explicit expression is derived in Appendix, (ii) the spin echo technique (see Appendix) and different reverse engineering protocols. We include those latter protocols for a non magic value of the κ parameter and for three magic values. The first magic value is already competitive with the spin echo technique (nearly superposition of the two corresponding robustness function). The larger magic values clearly improve efficiently the fidelity of the spin flip operation on the whole interval investigated here (up to 5% difference of the gyromagnetic factor).

Figure 5.

Robustness function of ${\log }_{10}[\mathrm{\Lambda }(\epsilon )]$ as a function of ε for different spin flip protocols: π-pulse (upper solid line), spin echo technique (lower solid line), reverse engineering protocol for the non magic value $\kappa =0.5$ (dotted line), reverse engineering protocols for the magic values $\kappa =2.0564$, $\kappa =3.262$, and $\kappa =9.1892$ (and dashed lines). The larger the magic value the lower the robustness function.

Simultaneous perfect spin flip and superposition state generation

The method presented in the previous subsections can be readily generalized for other requirements. One could flip spin 1 and require for the spin 2 to end up in the horizontal plane of the Bloch sphere (superposition of state up and down with the same weight).

To confirm such possibilities offered by our extended space of parameter, we fix the ratio ${\gamma }_2/{\gamma }_1$, and plot the new Δ ($=S_{2z}$) function as a function of both parameters η and κ. An example is provided in Fig. 6a for ${\gamma }_2/{\gamma }_1=0.5$. The two cut of the 2D plot (Fig. 6b) taken for two values of the η parameter shows explicitly the existence of two values of κ that ensures an optimal spin flip of spin 1 and that rotate spin 2 in the equatorial plane of the Bloch sphere. For instance, the optimal parameters are here: for $\eta =2$, $\kappa =4.6936$ with ${\log }_{10}(S_{2z})=-12.5451$ and for $\eta =3$, $\kappa =3.799$ with ${\log }_{10}(S_{2z})=-12.8491$.

Figure 6.

(a) Mean value of the z component of the second spin at t _f (in decimal logarithmic scale) as a function of η and κ with ${\gamma }_1=2$ and ${\gamma }_2=1$. (b) Cut section of Fig. 6(a) as a function of κ for $\eta =2$ (solid line) and $\eta =3$ (dashed line).

Our method is generic. For instance with ${\gamma }_1=3$ and ${\gamma }_2=1$, our protocol also provides an optimal solution for the same target states. As an example, we find for $\eta =8$, $\kappa =5.429$ with ${\log }_{10}(S_{2z})=-12.6294$.

Control of the spin trajectory in the presence of interactions

In this subsection, we extend the results presented in the previous subsections to the situation for which there is an isotropic mutual interactions between the two spins. Interestingly, the solution can be readily obtained from that without interactions. We then discuss a more involved strategy for the case of exchange interaction $V_{\mathrm{int}}^{(dd)}=4\xi s_{1z}\mathrm{.}{s}_{2z}$ also referred to as the Ising interaction^49–51.

Isotropic interactions

Consider a magnetic field function ${\mathrm{B}}_0(t)$ that solves simultaneously the equations (7) for spin 1 of gyromagnetic factor γ ₁ and spin 2 of gyromagnetic factor γ ₂ for the desired target states. It obeys (with the same notations as in Sec. Inverting the precession equation)

$$\begin{array}{l}{\partial }_t{\mathbf{S}}_1^0={\gamma }_1{\mathbf{B}}_0(t)\times {\mathbf{S}}_1^0,\\ {\partial }_t{\mathbf{S}}_2^0={\gamma }_2{\mathbf{B}}_0(t)\times {\mathbf{S}}_2^0\mathrm{.}\end{array}$$ 18

In the presence of isotropic interactions ($V_{\mathrm{i}nt}^{(is)}=\mu s_1\cdot s_2$), we search the magnetic field function $B(t)$ that one should apply to reach the same target states. We therefore have to solve

$$\begin{array}{l}{\partial }_t{\mathbf{S}}_1={\gamma }_1\mathbf{B}(t)\times {\mathbf{S}}_1+\mu {\mathbf{S}}_2\times {\mathbf{S}}_1,\\ {\partial }_t{\mathbf{S}}_2={\gamma }_2\mathbf{B}(t)\times {\mathbf{S}}_2+\mu {\mathbf{S}}_1\times {\mathbf{S}}_2\mathrm{.}\end{array}$$ 19

Let’s search for a solution of the form $\mathbf{B}(t)={\mathbf{B}}_0(t)+\alpha {\mathbf{S}}_1+\beta {\mathbf{S}}_2$, where α and β are two constant parameters that need to be determined. We have

$$\begin{array}{l}{\partial }_t{\mathbf{S}}_1={\gamma }_1{\mathbf{B}}_0(t)\times {\mathbf{S}}_1+(\mu -\beta {\gamma }_1){\mathbf{S}}_2\times {\mathbf{S}}_1,\\ {\partial }_t{\mathbf{S}}_2={\gamma }_2{\mathbf{B}}_0(t)\times {\mathbf{S}}_2+(\mu -\alpha {\gamma }_2){\mathbf{S}}_1\times {\mathbf{S}}_2\mathrm{.}\end{array}$$ 20

Choosing $\beta =\mu /{\gamma }_1$ and $\alpha =\mu /{\gamma }_2$, we now have to solve the set of equations

$$\begin{array}{l}{\partial }_t{\mathbf{S}}_1={\gamma }_1{\mathbf{B}}_0(t)\times {\mathbf{S}}_1,\\ {\partial }_t{\mathbf{S}}_2={\gamma }_2{\mathbf{B}}_0(t)\times {\mathbf{S}}_2\mathrm{.}\end{array}$$ 21

and we know the solution ${\mathbf{S}}_1={\mathbf{S}}_1^0$ and ${\mathbf{S}}_2={\mathbf{S}}_2^0$. We conclude that the system (19) admits the solution ${\mathbf{S}}_1={\mathbf{S}}_1^0$ and ${\mathbf{S}}_2={\mathbf{S}}_2^0$ with a magnetic field that varies as

$$\mathbf{B}(t)={\mathbf{B}}_0(t)+\frac{\mu }{{\gamma }_2}{\mathbf{S}}_1^0+\frac{\mu }{{\gamma }_1}{\mathbf{S}}_2^0\mathrm{.}$$ 22

In other words, once we have a solution for two independent spins (including in the case of two different gyromagnetic factors) we have also the solution for two spins that interact through an isotropic interaction potential of the form $V_{\mathrm{int}}^{(is)}=\mu {\mathbf{s}}_1\cdot {\mathbf{s}}_2$ whatever is the strength of interaction between the two spins. However, one can never rich the Bell state $|\mathrm{Bell}\rangle =(|+-\rangle +|-+\rangle )/\sqrt{2}$ with isotropic interactions.

Ising interactions

To reach such a state, one needs anisotropic interactions. The Hamiltonian of two identical spins 1/2 therefore reads

$$H=-\gamma {\mathbf{S}}_{\mathrm{1}}\cdot \mathbf{B}(t)-\gamma {\mathbf{S}}_2\cdot \mathbf{B}(t)+V_{\mathrm{int}}^{(dd)}\mathrm{.}$$ 23

It is block diagonal in the basis that classifies the states by their angular momentum |++〉, $|\mathrm{Bell}\rangle$ and $|A\rangle =(|+-\rangle -|-+\rangle )/\sqrt{2}$.

As we are interested in the simultaneous spin flip of the two interacting spins or in the generation of the Bell state, we search for a solution in the subspace of angular momentum J = 1: $|\psi (t)\rangle =a(t)|++\rangle +b(t)|\mathrm{Bell}\rangle +c(t)|--\rangle$. The time dependent complex coefficients a(t), b(t) and c(t) obey the set of linearly coupled equations

$$i\hslash \dot{a}=a(\gamma B_z+\xi )+b{B}_{-}\gamma /\sqrt{2},$$ 24

$$i\hslash \dot{b}=a{B}_{+}\gamma /\sqrt{2}-b\xi +c{B}_{-}\gamma /\sqrt{2},$$ 25

$$i\hslash \dot{c}=b{B}_{+}\gamma /\sqrt{2}+c(-\gamma B_z+\xi ),$$ 26

where γ is the gyromagnetic factor and $B_{\pm }=B_x\pm i{B}_y$.

The adiabatic passage techniques shows that the dynamics is amenable to a 2 × 2 submatrix involving only a and b variables⁴⁹. The adiabaticity requires a transformation on a typical time scale of $30\hslash /\xi$. The shortcuts to adiabaticity techniques can be used in this subspace to accelerate the transition from the fully polarized state |++〉 to the Bell state $|\mathrm{Bell}\rangle$ ⁵².

For this purpose, we search for a solution that corresponds to a transverse rotating magnetic field whose amplitude varies as a function of time: $\gamma B_x(t)=B(t)\cos (\omega t)$ and $\gamma B_y(t)=B(t)\sin (\omega t)$. The sub matrix on a and b variables can be recast in a symmetric form within the interaction picture

$$H_I(t)=\left(\begin{array}{cc}\mathrm{\Delta }(t\mathrm{)/2}& B(t)/\sqrt{2}\\ B(t)/\sqrt{2}& -\mathrm{\Delta }(t\mathrm{)/2}\end{array}\right),$$ 27

where the diagonal time dependent coefficient is related to the longitudinal magnetic field component: $\mathrm{\Delta }(t)=\gamma B_z(t)-\omega +2\xi$. A convenient and classical method to implement reverse engineering in this context relies on the use of dynamical invariants. This method simply consists in determining a matrix I(t) that fulfills the following relation

$$\frac{dI(t)}{dt}=\frac{\partial I(t)}{\partial t}-\frac{i}{\hslash }[I(t),H_I(t)]=\mathrm{0,}$$ 28

with the boundary conditions $[H_I\mathrm{(0),}I\mathrm{(0)]}=[H_I(t_f),I(t_f)]=0$. To find this matrix I(t), we use the Lie algebra operators and expand I(t) on the Pauli matrices: $I(t)=\mathrm{u}\cdot \mathrm{\sigma }$ where u is a unit vector of spherical angles $(\theta ,\varphi )$. The eigenstate of I(t), $|{\phi }_{+}(t)\rangle =\cos (\theta \mathrm{/2)}{e}^{i\varphi }|++\rangle +\sin (\theta \mathrm{/2)|}\mathrm{Bell}\rangle$, is also the eigenstate of $H_I(t)$ for initial and final time according to the commutation relations for boundary conditions. The reverse engineering method amounts to fixing the evolution of the vector u in order to interpolated the evolution between the initial state $|{\phi }_{+}\mathrm{(0)}\rangle \propto |++\rangle$ and the desired final state $|{\phi }_{+}(t_f)\rangle \propto |\mathrm{Bell}\rangle$. To this end, the commutation relations shall be transposed as boundary conditions for the time dependent variables θ(t) and φ(t): $\theta \mathrm{(0)}=0$, $\theta (t_f)=-\pi$, $\dot{\theta }\mathrm{(0)}=0$, $\dot{\theta }(t_f)=0$, $\varphi \mathrm{(0)}=-\pi \mathrm{/2}$, $\varphi (t_f)=-\pi \mathrm{/2}$, $\varphi (t_f\mathrm{/2)}=-\pi \mathrm{/2}$, $\dot{\varphi }\mathrm{(0)}=-\pi /t_f$, and $\dot{\varphi }(t_f)=\pi /t_f$. From Eq. (28), we obtain the relation between the Hamiltonian variables and the angles of u, namely,

$$\dot{\theta }=\sqrt{2}B(t)\sin \varphi ,$$ 29

$$\dot{\varphi }=-\mathrm{\Delta }(t)+\frac{\dot{\theta }}{\tan \theta \tan \varphi }\mathrm{.}$$ 30

We infer the value of $B(t)$ and $B_z(t)$, using the polynomial interpolation of minimum order according to the boundary conditions for the θ(t) and φ(t) variables.

In Fig. 7, we plot the fidelity towards the desired Bell state at final time by solving the set of Eqs (24)–(26) with the magnetic field derived from the preceding approach. We find an improvement of at least one order of magnitude on the time required to reach the Bell state with high fidelity compared to the adiabatic evolution. As intuitively expected, it is impossible to accelerate to arbitrary short time. This is due to the finite value of the coupling (the ζ parameter) that we kept fixed and which imposes a timescale $\hslash /\xi$.

Figure 7.

Fidelity to reach the Bell state from a doubly polarized initial state |++〉 (i.e. $|\langle \mathrm{Bell}|\psi (t_f)\rangle {|}^2$) as a function of the time duration of the transformation in the case of dipole-dipole interaction (solid line). Similar plot (i.e. $|\langle \mathrm{W}|\psi (t_f)\rangle {|}^2$) to reach the W entangled state with three spins at the vertex of an equilateral triangle (dashed line).

Interestingly, this method can be readily generalized to more spins in a symmetric configuration. For instance, with three spins at the vertex of an equilateral triangle the same approach enables one to design in time the required fast evolution of the magnetic field components to drive the system from the fully polarized state |+++〉 to the W entangled state $=(|-++\rangle +|+-+\rangle +|++-\rangle )/\sqrt{3}$ (see dashed line in Fig. 7). The method developed here can be readily generalized to larger number of coupled spins. An interesting perspective is the possibility to generate reliably states pertaining to different equivalent classes through stochastic local operations with classical communications^53,54.

Discussion

In this paper, we have proposed a reverse engineering approach to shape a time-dependent magnetic field to manipulate a single spin, two spins with different gyromagnetic factors, and two or more interacting spins in short amount of times. These techniques, as extension of previous STA techniques for atomic transport^22–24, provide robust protocols against the exact knowledge of the gyromagnetic factors for the one spin problem, or can be used to generate entangled states of two or more coupled spins. The analytical and smooth magnetic fields derived from reverse engineering are experimentally implementable, and the further optimization does not requires time-dependent perturbation theory or numerical iteration, as compared to the previous results in refs^6,33. Such fully analytical protocols with good understanding on the spin dynamics and the structure of magnetic fields may also provide an efficient initial guess for numerical iteration used in optimization, see the example in refs^37,45. The large space of parameters available in reverse engineering enables one to handle extra constraints. For instance, our technique can be readily adapted to the use of only two control fields (for instance in the xy- plane) as usually done in NMR. We have investigated several state to state transfer. Actually, the reverse engineering formalism presented for the evolution operator also provides the appropriate framework to generate universal rotation or unitary gates⁵⁵.

Finally, we emphasize that the reverse engineering for spin dynamics provides powerful and effective language to implement the possible coherent control for spin qubits by shaping time-dependent magnetic field. Since the spin 1/2 systems, and equivalent two-level systems, are ubiquitous in the areas of quantum optics, the results, including fast and robust spin flip and entanglement generation, are applicable to quantum commutating and quantum information transfer, encompassing rather different quantum systems. An important extension of this work is the design of reverse engineering protocols in the presence of dissipation, a topic that has been extensively studied in the framework of optimal control theory^56,57, with possible applications in the used of quantum dots⁵⁸, nitrogen-vacancy centre in diamond⁵⁹, control of nonlinear excitations in ferromagnet^60–62, superconducting circuits^63,64, and optomechanical systems⁶⁵, to name a few recent examples.

Author Contributions

X.C. and D.G.O. devised the research. Q.Z., X.C. and D.G.O. performed the calculations and wrote the paper.

Competing Interests

The authors declare that they have no competing interests.