The Scientific World Journal

Volume 2013 (2013), Article ID 545091, 8 pages

http://dx.doi.org/10.1155/2013/545091

Research Article

Hybrid Impulsive Control for Closed Quantum Systems

Shouwei Zhao,1,2 Jitao Sun,² and Hai Lin³

¹College of Fundamental Studies, Shanghai University of Engineering Science, Shanghai 201620, China

²Department of Mathematics, Tongji University, Shanghai 200092, China

³Department of Electrical Engineering, University of Notre Dame, Notre Dame, IN 46556, USA

Received 23 March 2013; Accepted 25 April 2013

Academic Editors: C. Chen, D. Dong, M. Jiang, and L.-C. Wang

Copyright © 2013 Shouwei Zhao et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The state transfer problem of a class of nonideal quantum systems is investigated. It is known that traditional Lyapunov methods may fail to guarantee convergence for the nonideal case. Hence, a hybrid impulsive control is proposed to accomplish a more accurate convergence. In particular, the largest invariant sets are explicitly characterized, and the convergence of quantum impulsive control systems is analyzed accordingly. Numerical simulation is also presented to demonstrate the improvement of the control performance.

1. Introduction

One of major concerns in quantum control is how to steer quantum states to a desired target state precisely and efficiently. A solution to this quantum state transfer problem will help us to advance some promising applications such as quantum computation and quantum chemistry. The main difficulty in quantum control is due to the limitations on the application of observation and feedback in quantum systems. Open-loop control has therefore been a commonly adopted approach in quantum control, where recorded control signals obtained from numerical simulations are implemented to real quantum systems. Among existing open-loop control design methods, the Lyapunov method could be the most popular one and has been tested in real applications [1–6]. Despite great advances have been made in Lyapunov methods, they may fail to achieve the control goal if the internal Hamiltonian is not strong regular [7]. This nonideal case means that distances between the eigenvalues of the internal Hamiltonian are not distinct. It is worth pointing out that this nonideal case does exist in many practical quantum systems such as coupled spin systems and harmonic oscillator systems [3, 4].

In particular, this paper will study the state transfer for closed quantum systems modeled as the following Schrödinger equation:

where is the internal Hamiltonian. For quantum systems, the control is implemented to the system through electromagnetic fields. Our basic problem is to transfer a quantum state from an initial state to a desired target state. The difficulty for the Lyapunov control of nonideal quantum system mainly comes from the fact that the system could be driven to undesired limit points in the invariant set. There exist a few results in the recent literature handling such a nonideal case. In [7], the complete controllability of the quantum systems with twofold degeneracy was investigated, and the basic idea is to apply a weak constant field to eliminate the degeneracy. In [4], the implicit Lyapunov method was used to deal with such a nonideal case. However, it is difficult to characterize invariant sets which are critical for the following convergence analysis. Therefore, we propose a new hybrid impulsive control strategy for closed quantum systems under the nonideal case. Nowadays, the impulsive control has proved to be an effective method to accomplish good performance for classical systems [8–12]. This motivates us to apply such a control idea to quantum systems.

The basic idea of the hybrid impulsive control is to divide the control into a piecewise continuous open-loop coherent control and an impulsive control . design is similar to the traditional Lyapunov control which drives states to invariant sets. Specifically, the system under the piecewise continuous control can be described by

where is the control Hamiltonian and is real-valued control function (). The continuous-time coherent control is implemented through the control Hamiltonians when . Due to the nonideal quantum system, this control cannot guarantee the convergence to the desired target state. After a certain instant , the controlled state would sufficiently approach an undesired limit point. Hence, the control could fail to drive the system state. Then we need to “kick” the state out of undesired limit points and drive it re-converge to new, hopefully desired, state. At , the piecewise continuous control is switched off, and the “kicking” effect is accomplished by the impulsive control , by which the controlled system at the instant becomes

where the introduced Hermitian operator is the impulsive control Hamiltonian to be designed, is the Dirac impulse function with , , and is the impulsive instant at which the impulsive control is implemented, satisfying . With the impulsive control , the state satisfies , for sufficiently small . As , we have and define . In the control process, in order to keep the coherence of the controlled state, the proposed control strategy is the open-loop coherent control.

In practical implementations, the function in the impulsive control can be substituted with pulses of finite duration if the duration is sufficiently short compared with the time scale of quantum systems [13]. In recent years, the impulsive control idea has been used in the control of open quantum systems to suppress decoherence, for example, bang-bang pulses [13–18], and the minimal time control of spin systems [19, 20]. It is realized by a sequence of unitary operations, characteristic of instantaneous pulses. The feasibility of this impulsive control was supported by physical experiments; see [14–17] and the references therein. The so called hard pulses in NMR are analogous to this picture.

With this understanding, this paper will focus on the development of hybrid impulsive control design itself to achieve more accurate convergence under the nonideal cases. Moreover, the invariant set of the controlled system is characterized explicitly, which is shown to be strictly smaller than that obtained using classical Lyapunov methods. The convergence analysis is then obtained via an extending LaSalle invariance principle for impulsive systems in [21]. Simulation studies show improved control performance.

The rest of this paper is organized as follows. In Section 2, we design the hybrid impulsive control for nonideal systems by the Lyapunov function based on the state distance. Properties of the controlled system are discussed, and the convergence is analyzed by explicit characterization of the LaSalle invariant set. In Section 3, using the Lyapunov function based on the state error, the hybrid impulsive control of quantum systems is investigated. Section 4 includes numerical simulation to demonstrate the effectiveness and advantage of the proposed methods. Finally, some conclusions are drawn in Section 5.

2. Hybrid Impulsive Control Based on the State Distance

In practice, we do not have much freedom to choose the control Hamiltonian due to the structure limitations of the control fields [3, 4]. The impulsive control Hamiltonian cannot be chosen arbitrarily to achieve the state transfer instantaneously. Thus in this paper, is fixed and assumed to be known beforehand. Denote , which is unitary. With the hybrid impulsive control fields , system (1) becomes a closed quantum impulsive control system as follows:

In the following, we denote .

2.1. Hybrid Impulsive Control Design and Dynamical Properties of Controlled Systems

In quantum control, the goal state is usually chosen to be an eigenstate of , that is, . We select a Lyapunov function based on the Hilbert-Schmidt distance between and , that is, . When , the time derivative of is given by

where and denote the imaginary part and real part of a complex number, respectively. When , the Dini derivative of is given by . The difference of is described as .

In order that the designed control can work in the case of the initial state being orthogonal to the goal state, we rewrite (5) as . We need to design the control law such that , and . Choose the piecewise continuous control law as follows:

where is the control gain and the function passes through the origin of plane monotonically satisfying with . To avoid the confusion, we define if . In addition, the impulsive control matrix should be chosen to satisfy ; that is,

where is the density matrix of target state . Inequality (7) holds at least for the unitary matrix which commutes with . The control law satisfying (6) and (7) is the designed control law. In the following, the properties of system (4) will be studied to show that can make the system leave the initial state even if is an eigenstate of .

Lemma 1. For control law (6) and (7), if the initial state is an eigenstate of with and , then the following conclusions hold:

(i)if there exists such that , then ; (ii)if , for all , and there exists such that and , then , , where is sufficiently small; otherwise, the designed control fields cannot achieve the state steering of the closed-loop system.

Proof. (i) For a sufficiently small , as , we have ; that is, as , . Since , the inequality is equivalent to . By (6), we have , for all . It follows from the assumption in case (i) that there exists such that , and consequently, . Since , we obtain that , . By (7) we have . Hence, we obtain that , .

(ii) Initially, the system evolves freely because , . For a sufficiently small , one can obtain that . Moreover, as , we have . Noticing that there exists such that , we have . Similar to the discussion in case (i), we obtain that , and then , . This completes the proof.

For the characterization of invariant sets, properties of the states such that are studied. Since the proof is similar to that of Proposition 4 in [1], we omit it here.

Lemma 2. If and the conditions (i) or (ii) in Lemma 1 hold, the following conclusions are equivalent:

(i), ,(ii), ,(iii)there exists such that , , .

Lemma 2 only characterizes the states guaranteeing that at specific instants. We need to characterize the states from which the system trajectories stay in the set and . We first present the extensive LaSalle invariance principle for impulsive systems in [21].

Lemma 3. Consider the following differential impulsive system on an open set :

If there exists a continuous function such that and , then as , where is the largest invariant set contained in .

2.2. Convergence Analysis

The following theorem presents the characterization of the invariant set for the nonideal systems under the hybrid impulsive control, by which the invariant set is smaller compared with that obtained by the conventional Lyapunov method. In the following, the unitary matrix is designed such that it commutes with , .

Theorem 4. Consider system (4) with the hybrid impulsive control satisfying (6) and (7). The largest invariant set is given by with , , and

where constitute the basis of the set , . Hence, system (4) converges to under the hybrid impulsive control.

Proof. When , from (6), we obtain that

The main idea of the proof is sketched as follows. The interval is divided into sufficiently small intervals with duration . We apply the Taylor expansion on the system state and omit the high order terms of . By Lemma 2, the requirements and for the whole system trajectory will be transformed to the conditions on the initial state. By the Taylor expansion and commutativity between and , it yields that

At , the free evolution of is given by

Similar to the previous deduction, it follows from (11) and (12) that

Consequently, it can be obtained that

where . Noticing that the set , has finite dimension, we denote its basis to be , . Since the division of the interval is random, (14) can be rewritten as

For convenience, the set of the states satisfying (15) is denoted as in (9), , .

In the following, we will discuss the conditions on the initial states from which the trajectories stay in the set :

Applying the similar technique, it follows that

We denote the set of the states guaranteeing (17) to be in (9).

In conclusion, all the states which stay in the intersection constitute the largest invariant set of system (4). By Lemma 3, we complete the proof.

It should be noticed that the basis of the set can be obtained in finite steps, . If the first elements in the set are linearly independent, then they constitute the basis. If can be represented by the first elements, it is easy to obtain that can be represented by the linear combination of , for all .

Corollary 5. Consider system (4) with control field (6) without the impulsive control, that is, , . The largest invariant set is , where , , , and .

Remark 6. If is strong regular, then the result in Corollary 5 reduces to Theorem 2 in [1]. For the nonideal case, it is clear that . From the viewpoint of physics, this implies that the proposed hybrid impulsive control can achieve more accurate convergence under the nonideal case. In general, the matrix can be chosen to guarantee that and contain finite sets and . It can be found that the invariant set depends on the choice of impulsive control matrix . The optimal determination of and impulsive instants to minimize the invariant set are under study.

3. Hybrid Impulsive Control Based on the State Error

It is known that different Lyapunov functions may have different control effects. The relations among them were studied in our previous work [4]. In this section, we consider the hybrid impulsive control of quantum systems based on the state error between the controlled state and the goal state. Let . Similar to the hybrid control design in Section 1, we consider the following quantum impulsive control system which is different from (4):

where is a new real scalar control field. For the convenience of the computation, the introduced may be used to adjust the global phase without changing the physical quantities regarding . While in practical implementation, it is not necessary to be implemented to the system. Similar conclusion can be drawn if there exists more than one control Hamiltonian , . The time derivative of is

Let . We design the following control to ensure , :

where , and the function is defined as that in (6).

Theorem 7. Consider system (18) with control fields (7) and (20). The largest invariant set is given by , where , , and ,

where are the basis of the set . Therefore, system (18) converges to with the hybrid impulsive control satisfying (7) and (20).

Proof. Let . When the system satisfies , that is, , the evolution of system (18) becomes

It follows from (22) that

From (20), we obtain the following relation:

Similarly, we divide the interval into sufficiently small intervals. From (22)–(24), we have . According to the similar method in the proof of Theorem 4, when , it yields that

where . Denote the basis of the set to be . Equation (25) can be rewritten as . This equality is denoted as in (21).

Next, we characterize the initial states from which the system trajectories stay in . From the definition of , we have . The following relations can be obtained:

By similar deduction, it yields that , which can be denoted as in (21).

In conclusion, all the states which remain in the intersection constitute the largest invariant set of controlled system (18). By Lemma 3, the proof is completed.

Similar to the discussion in Corollary 5, Theorem 7 can be reduced to Theorem 8 in [1] if there is no impulsive control, and is strong regular. We can see that our result reduces the invariant set for the nonideal case. This implies that the proposed hybrid impulsive control scheme can accomplish more accurate state transfer.

4. Numerical Simulation

Example 1. Consider the five-level system with the internal Hamiltonian and impulsive control Hamiltonian given by and , respectively. The unitary operation can be realized by performing the planar rotation on system states. It can be found that the system is a nonideal system. The control Hamiltonians are given by , . Let the target state be , let the initial state be , and let the controlled state be . Take the control function to be . Choose the impulsive instant to be and . Using the hybrid impulsive control based on the state distance, simple computation yields that the invariant set (without regard to the global phase), which implies that under the hybrid impulsive control the system converges to . The populations of the controlled system are illustrated in Figure 1.

Now we compare performance of the hybrid impulsive control with that of classical Lyapunov control. If the impulsive control is not applied to the system, then the hybrid impulsive control is reduced to the classical Lyapunov control, by which the performance of the controlled system is shown in Figure 2. Hence, the proposed hybrid impulsive control improves the control performance.

Figure 1: The population of the system state by the hybrid impulsive control based on the state distance.

Figure 2: The population of the system state by the Lyapunov control without impulsive control.

Example 2. Consider the five-level system with the same internal Hamiltonian as the previous example. Let the target state and the initial state be and , respectively, and the impulsive control Hamiltonian ,. The unitary operation is chosen as . The system is a nonideal system. The control Hamiltonian is given by . Let the control function be , and , . Choose the impulsive instant as , . Using the hybrid impulsive control based on the state error, simple computation yields that the invariant set (without regard to the global phase), which implies that under the hybrid impulsive control the system converges to . Simulation results are illustrated in Figure 3.

When the hybrid impulsive control is reduced to the classical Lyapunov control, the trajectory of the controlled system is plotted in Figure 4. Moreover, if the implicit Lyapunov control strategy in [4] is employed with the same parameters, it fails to drive the system, as illustrated in Figure 5. Therefore, the proposed hybrid impulsive control improves the control performance.

Figure 3: The population of the system state by the hybrid impulsive control based on the state error.

Figure 4: The population of the system state by the Lyapunov control without impulsive control.

Figure 5: The population of the system state by the implicit Lyapunov control in [4].

5. Conclusion

In this paper, the coherent hybrid impulsive control for closed quantum systems has been investigated for the nonideal case that is not strong regular. The dynamical properties of the resulted quantum impulsive control system have been discussed to facilitate the convergence analysis. Based on two kinds of Lyapunov functions, the largest invariant sets have been characterized explicitly. Consequently, more accurate convergence of the controlled system has been achieved by the extensive LaSalle invariance principle. Compared with some existing results, the improved control performance has been shown for the nonideal case. Since the practical implementation of impulsive control has been studied in known literature, we believe that it is feasible. The optimal determination of the impulsive control Hamiltonian and impulsive instants is worth to be explored in the future work.

Acknowledgment

This work is supported by the NNSF of China under Grant nos. 61174039, 61203128, the Connotative Construction Project of Shanghai University of Engineering Science (nhky-2012-13), the Fundamental Research Funds for the Central Universities of China, the “Chen Guang” Project supported by Shanghai Municipal Education Commission and Shanghai Education Development Foundation (no. 12CG65), and the Research Funds of Shanghai University of Engineering Science no. 2012td19.

References

S. Kuang and S. Cong, “Lyapunov control methods of closed quantum systems,” Automatica, vol. 44, no. 1, pp. 98–108, 2008.

C. Altafini, P. Cappellaro, and D. Cory, “Feedback schemes for radiation damping suppression in NMR: a control-theoretical perspective,” Systems & Control Letters, vol. 59, no. 12, pp. 782–786, 2010.

X. Wang and S. G. Schirmer, “Analysis of effectiveness of lyapunov control for non-generic quantum states,” IEEE Transactions on Automatic Control, vol. 55, no. 6, pp. 1406–1411, 2010.

S. Zhao, H. Lin, J. Sun, and Z. Xue, “An implicit Lyapunov control for finite-dimensional closed quantum systems,” International Journal of Robust and Nonlinear Control, vol. 22, no. 11, pp. 1212–1228, 2012.

K. Beauchard, J. M. Coron, M. Mirrahimi, and P. Rouchon, “Implicit Lyapunov control of finite dimensional Schrödinger equations,” Systems & Control Letters, vol. 56, no. 5, pp. 388–395, 2007.

S. Zhao, H. Lin, and Z. Xue, “Switching control of closed quantum systems via the Lyapunov method,” Automatica, vol. 48, no. 8, pp. 1833–1838, 2012.

Z. Zhang and H. C. Fu, “Complete controllability of finite quantum systems with twofold energy level degeneracy,” Journal of Physics A, vol. 43, no. 21, Article ID 215301, 2010.

X. Wan and J. Sun, “Adaptive-impulsive synchronization of chaotic systems,” Mathematics and Computers in Simulation, vol. 81, no. 8, pp. 1609–1617, 2011.

L. Chen and J. Sun, “Nonlinear boundary value problem of first order impulsive functional differential equations,” Journal of Mathematical Analysis and Applications, vol. 318, no. 2, pp. 726–741, 2006.

C. Li, J. Shi, and J. Sun, “Stability of impulsive stochastic differential delay systems and its application to impulsive stochastic neural networks,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 10, pp. 3099–3111, 2011.

C. Li, J. Sun, and R. Sun, “Stability analysis of a class of stochastic differential delay equations with nonlinear impulsive effects,” Journal of the Franklin Institute, vol. 347, no. 7, pp. 1186–1198, 2010.

L. Shen, J. Shi, and J. Sun, “Complete controllability of impulsive stochastic integro-differential systems,” Automatica, vol. 46, no. 6, pp. 1068–1073, 2010.

G. S. Uhrig and S. Pasini, “Efficient coherent control by sequences of pulses of finite duration,” New Journal of Physics, vol. 12, Article ID 045001, 2010.

M. J. Biercuk, H. Uys, A. P. VanDevender, N. Shiga, W. M. Itano, and J. J. Bollinger, “Optimized dynamical decoupling in a model quantum memory,” Nature, vol. 458, no. 7241, pp. 996–1000, 2009.

S. Damodarakurup, M. Lucamarini, G. Di Giuseppe, D. Vitali, and P. Tombesi, “Experimental inhibition of decoherence on flying qubits via “bang-bang” control,” Physical Review Letters, vol. 103, no. 4, Article ID 040502, 2009.

G. De Lange, Z. H. Wang, D. Ristè, V. V. Dobrovitski, and R. Hanson, “Universal dynamical decoupling of a single solid-state spin from a spin bath,” Science, vol. 330, no. 6000, pp. 60–63, 2010.

J. Du, X. Rong, N. Zhao, Y. Wang, J. Yang, and R. B. Liu, “Preserving electron spin coherence in solids by optimal dynamical decoupling,” Nature, vol. 461, no. 7268, pp. 1265–1268, 2009.

F. Ticozzi and A. Ferrante, “Dynamical decoupling in quantum control: a system theoretic approach,” Systems & Control Letters, vol. 55, no. 7, pp. 578–584, 2006.

S. Sridharan and M. R. James, “Minimum time control of spin systems via dynamic programming,” in Proceedings of the 47th IEEE Conference on Decision and Control (CDC '08), pp. 4558–4563, Cancun, Mexico, December 2008.

S. Sridharan and M. James, “Dynamic programming and viscosity solutions for the optimal control of quantum spin systems,” Systems & Control Letters, vol. 60, no. 9, pp. 726–733, 2011.

S. Kaul, “Stability and asymptotic stability in impulsive semidynamical systems,” Journal of Applied Mathematics and Stochastic Analysis, vol. 7, no. 4, pp. 509–523, 1994.