In this paper we consider the minimum time population transfer problem for a two level quantum system driven by two external fields with bounded amplitude. After projection on the so-called Bloch sphere, we tackle the problem with well-developed techniques of optimal synthesis on 2-D manifolds. Based on the Pontryagin Maximum Principle, we characterize a restricted set of candidate optimal trajectories. Properties on this set, crucial for a complete optimal synthesis, are illustrated by numerical simulations.
In this paper we consider the minimum time population transfer problem for a two level quantum system driven by two external fields with bounded amplitude. After projection on the so-called Bloch sphere, we tackle the problem with well-developed techniques of optimal synthesis on 2-D manifolds. Based on the Pontryagin Maximum Principle, we characterize a restricted set of candidate optimal trajectories. Properties on this set, crucial for a complete optimal synthesis, are illustrated by numerical simulations.
On a two-level quantum system driven by an external field, we consider the population transfer problem from the first to the second level, minimizing the time of transfer, with bounded field amplitude. On the Bloch sphere (i.e. after a suitable Hopf projection), this problem can be attacked with techniques of optimal syntheses on 2-D manifolds. Let (−E,E) be the two energy levels, and [equacion] the bound on the field amplitude. For each values of E and M, we provide the explicit expression of the time optimal trajectory steering the state one to the state two in terms of a parameter that should be computed numerically. For MR= 2E. On the other side, for M > E the time optimal trajectory steering the state one to the state two is bang-bang with exactly one switching. Fixed E we also prove that for M →∞ the time needed to reach the state two tends to zero. Finally we compare these results with some known results of Khaneja, Brockett and Glaser and with those obtained in the Rotating Wave Approximation.
For the time optimal problem of an invariant system on SU(2), with two independent controls and a bound on the norm of the control, the extremals of the Pontryagin maximum principle are explicit functions of time. We use this fact here to perform the optimal synthesis for these systems, i.e., to find all time optimal trajectories. Although the Lie group SU(2) is three dimensional, time optimal trajectories can be described in the unit disk of the complex plane. We find that a circular trajectory separates optimal trajectories that reach the boundary of the unit disk from the others. Inside this separatrix circle, another trajectory (the critical trajectory) plays an important role in that all optimal trajectories end at an intersection with this curve. The results allow us to find the minimum time needed to achieve a given evolution of a two level quantum system.
In this paper we consider the minimum time population transfer problem for the z component of the spin of a (spin 1/2) particle, driven by a magnetic field, that is constant along the z axis and controlled along the x axis, with bounded amplitude. On the Bloch sphere (i.e., after a suitable Hopf projection), this problem can be attacked with techniques of optimal syntheses on two-dimensional (2-D) manifolds. Let (−E,E) be the two energy levels, and ∣Ω(t)∣≤M the bound on the field amplitude. For each couple of values E and M, we determine the time optimal synthesis starting from the level −E, and we provide the explicit expression of the time optimal trajectories, steering the state one to the state two, in terms of a parameter that can be computed solving numerically a suitable equation. For M∕E≪1, every time optimal trajectory is bang-bang and, in particular, the corresponding control is periodic with frequency of the order of the resonance frequency ωR=2E. On the other side, for M∕E>1, the time optimal trajectory steering the state one to the state two is bang-bang with exactly one switching. For fixed E, we also prove that for M→∞ the time needed to reach the state two tends to zero. In the case M∕E>1 there are time optimal trajectories containing a singular arc. Finally, we compare these results with some known results of Khaneja, Brockett, and Glaser and with those obtained by controlling the magnetic field both on the x and y directions (or with one external field, but in the rotating wave approximation). As a byproduct we prove that the qualitative shape of the time optimal synthesis presents different patterns that cyclically alternate as M∕E→0, giving a partial proof of a conjecture formulated in a previous paper.
We study the time-optimal robust control of a two-level quantum system subjected to field inhomogeneities. We apply the Pontryagin maximum principle and we introduce a reduced space onto which the optimal dynamics is projected down. This reduction leads to a complete analytical derivation of the optimal solution in terms of elliptic functions and elliptic integrals. Necessary optimality conditions are then obtained for the original system. These conditions are verified numerically and lead to the optimal control protocol. Various examples, ranging from state-to-state transfer to the generation of a NOT gate, illustrate this study. The connection with other geometric optimization approaches that have been used to solve this problem is also discussed. Finally, we show how this method can be combined with numerical optimization algorithms to design robust control for higher-dimensional quantum systems, as illustrated by a Bose-Einstein condensate in an optical lattice.
We study time-minimum optimal control for a class of quantum two-dimensional dissipative systems whose dynamics are governed by the Lindblad equation and where control inputs acts only in the Hamiltonian. The dynamics of the control system are analyzed as a bi-linear control system on the Bloch ball after a decoupling of such dynamics into intra- and inter-unitary orbits. The (singular) control problem consists of finding a trajectory of the state variables solving a radial equation in the minimum amount of time, starting at the completely mixed state and ending at the state with the maximum achievable purity.The boundary value problem determined by the time-minimum singular optimal control problem is studied numerically. If controls are unbounded, simulations show that multiple local minimal solutions might exist. To find the unique globally minimal solution, we must repeat the algorithm for various initial conditions and find the best solution out of all of the candidates. If controls are bounded, optimal controls are given by bang-bang controls using the Pontryagin minimum principle. Using a switching map we construct optimal solutions consisting of singular arcs. If controls are bounded, the analysis of our model also implies classical analysis done previously for this problem.
Abstract In this paper we solve two equivalent time optimal control problems. On one hand, we design the control field to implement in minimum time the SWAP (or equivalent) operator on a two-level system, assuming that it interacts with an additional, uncontrollable, two-level system. On the other hand, we synthesize the SWAP operator simultaneously, in minimum time, on a pair of two-level systems subject to opposite drifts. We assume that it is possible to perform three independent control actions, and that the total control strength is bounded. These controls either affect the dynamics of the target system, under the first perspective, or, simultaneously, the dynamics of both systems, in the second view. We obtain our results by using techniques of geometric control theory on Lie groups. In particular, we apply the Pontryagin maximum principle, and provide a complete characterization of singular and nonsingular extremals. Our analysis shows that the problem can be formulated as the motion of a material point in a central force, a well known system in classical mechanics. Although we focus on obtaining the SWAP operator, many of the ideas and techniques developed in this work apply to the time optimal implementation of an arbitrary unitary operator.