脉冲控制场下量子系统时变目标函数的有限时间跟踪控制
Finite-Time Time-Varying Target Function Tracking Control of Quantum Systems with Impulsive Control Fields
DOI: 10.12677/AAM.2022.1112937, PDF, HTML, XML, 下载: 167  浏览: 2,361  科研立项经费支持
作者: 钱学明:无锡科技职业学院物联网技术学院,江苏 无锡
关键词: 量子系统Schr?dinger方程目标函数跟踪有限时间控制脉冲控制Quantum Systems Schr?dinger Equation Target Function Tracking Finite-Time Control Impulsive Control
摘要: 研究一类脉冲控制场作用下封闭量子系统的有限时间跟踪问题。其目的是使量子系统的状态进入有界时变目标函数的轨迹。根据Lyapunov稳定性定理,设计改进的脉冲跟踪控制律,使得误差动态系统在有限时间内收敛到0。而有限时间跟踪意味着最优的收敛时间和更好的抗干扰能力。数值仿真验证了控制律在系统轨迹跟踪上的优越性。
Abstract: In this paper, a class of finite-time tracking issues for closed quantum systems under the action of impulsive control fields is addressed. The objective is to steer the state of quantum system into the trajectory of bounded time-variant target function. By using the Lyapunov stability theorem, modi-fied impulse tracking controllers are designed such that the error dynamical system convergence to zero in a finite time. While finite-time tracking means the optimality in convergence time and has better disturbance rejection. Numerical simulations are given to illustrate the effects of system’s trajectory tracking, and also given to demonstrate the superiority of the control laws which are proposed.
文章引用:钱学明. 脉冲控制场下量子系统时变目标函数的有限时间跟踪控制[J]. 应用数学进展, 2022, 11(12): 8892-8900. https://doi.org/10.12677/AAM.2022.1112937

1. 引言

近年来,量子系统的控制问题由于其在量子通信 [1],量子计算 [2],量子信息 [3] 以及其它众多量子技术领域中的广泛应用,得到了深入的研究。经典控制理论中的多种方法 [4] [5] 被引入用于处理微观系统的控制问题。目前,Lyapunov控制理论 [6] [7] 已经成为设计量子系统控制器的一种有效方法。

目前,量子控制的研究主要分为量子系统的调控 [8] [9] 和跟踪 [10] [11]。前者在本征态、叠加态和混合态的调控及其收敛性分析上受到了广泛地关注和研究。后者研究轨迹跟踪,主要涉及任意时变函数的跟踪 [11] 和自由演化量子系统的跟踪 [12]。对于动态目标函数的量子态跟踪问题, [10] [11] 研究了一些典型目标函数,如斜坡函数和指数函数的跟踪。本文拟研究一类系统的量子态输出到目标函数的跟踪问题,其目标轨迹为有界时变函数。

为了在量子控制系统中实现更快的状态转移,可以考虑使用有限时间控制 [13] 技术这一高效的方法。据笔者所知,对于目标函数为有界函数的量子系统,其脉冲控制场下有限时间跟踪控制的研究至今鲜见于相关文献。量子系统对动态目标函数的有限时间跟踪控制是封闭量子系统状态转移研究中的一个重要环节,是一个值得讨论的课题。

2. 系统模型描述

考虑一类脉冲控制场作用下的Hilbert空间上的n-级封闭量子系统:

i | ψ ˙ ( t ) = H | ψ ( t ) + k = 1 φ ( u ˜ ( t ) H ˜ | ψ ( t ) ) δ ( t τ k ) (1)

其中 | ψ ( t ) 是封闭量子系统的状态,且满足 | ψ ( t ) = i = 1 n c i | λ i , i = 1 , 2 , , n | λ i 表示第i个本征态,而 c i , i = 1 , 2 , , n 为复数,且满足 i = 1 n c i 2 = 1

系统初始状态为 ψ ( 0 ) = ψ 0 H = H 0 + u 1 ( t ) H 1 + u 2 ( t ) H 2 , H 0 为系统自由Hermitian量, H 1 H 2 为控制Hamiltonian量,它们均为 n × n Hermitian矩阵,且假设均独立于时间。 u 1 ( t ) u 2 ( t ) 为含时间的系统外加控制场。 φ ( u ˜ ( t ) H ˜ | ψ ( t ) ) 为非线性脉冲控制场,非线性项满足以下假设: φ ( s ) l s

H ˜ 为脉冲控制Hamiltonian量。为了方便分析和计算,约化Planck 常数可取为 = 1

考虑到Dirac函数的性质,非线性脉冲控制场下的封闭量子系统也可写为以下形式:

{ i | ψ ˙ ( t ) = H | ψ ( t ) , t τ k Δ | ψ ( t ) = φ ( u ˜ ( t ) H ˜ | ψ ( τ k ) ) , t = τ k (2)

在封闭量子系统中,系统输出函数 y ( t ) 可表示为

y ( t ) = ψ ( t ) | P | ψ ( t ) (3)

换言之,系统输出函数表示观测量P的期望值,其中P为Hermitian算符。可观测量可以表示为

P = i = 1 n p i | λ i λ i | (4)

其中 p i 为P的投影,满足 i = 1 n p i = 1 | λ i 表示自由Hamiltonian量 H 0 的第i个本征态。 p i 的取值决定系统对本征态 | λ i 的观测概率。P的不同取值可使系统有不同的测量输出。

因而, y ( t ) = c , P c ,即

y ( t ) = [ c 1 c n ] [ p 1 0 0 p n ] [ c 1 c n ]

进一步,系统输出可表示为

y ( t ) = i = 1 n p i c i 2

显然, 0 y ( t ) 1

本文主要研究在非线性脉冲控制场下封闭量子系统纯态轨迹的有限时间跟踪。

事实上,期望目标系统可以表示为随时间变化的函数。由于有界函数在工程中被广泛应用于控制系统的测试,考虑反正切函数作为目标函数,即

s ( t ) = arctan ( ω t + b ) (5)

此时,控制系统的跟踪控制问题及其控制任务的目标为:希望通过设计控制律使被控系统的输出 y ( t ) 能够跟踪上目标系统的输出 s ( t ) ,在有限时间内达到 y ( t ) = s ( t ) = 1 ,完成跟踪。

控制系统跟踪的性能指标可定义为目标系统输出 s ( t ) 和系统输出 y ( t ) 的差值,即跟踪误差可表示为

e ( t ) = s ( t ) y ( t ) (6)

于是,由(2)~(6)可得系统跟踪误差为:

{ e ( t ) = arctan ( ω t + b ) ψ ( t ) | P | ψ ( t ) , t τ k Δ e ( t ) = φ ( u ˜ ( t ) H ˜ | ψ ( τ k ) ) , P φ ( u ˜ ( t ) H ˜ | ψ ( τ k ) ) , t = τ k (7)

为了能够获得本文的主要结论,这里引入以下引理。

引理1 [13] 假设 V ( t ) 连续的正定函数,且满足以下不等式:

V ˙ ( t ) ρ V α ( t ) , t t 0 , V ( t 0 ) 0

其中 ρ > 0 , 0 < α < 1 为两个常数。于是,对于任意给定的 t 0 V ( t ) 满足以下不等式:

V 1 α ( t ) V 1 α ( t 0 ) ρ ( 1 α ) ( t t 0 ) , t 0 t t 1

V ( t ) = 0 , t t 1 ,其中 t 1 由下式给定:

t 1 = t 0 + V 1 α ( t 0 ) ρ ( 1 α )

引理2 [13] (Jesen不等式) 若 a 1 , a 2 , , a n 为正数,且 0 < p < q ,则

( i = 1 n a i q ) 1 q ( i = 1 n a i p ) 1 p

3. 跟踪控制律的设计

下面,利用Lyapunov方法设计有限时间跟踪控制律,使得误差控制系统在有限时间内收敛到0。

定理1考虑跟踪控制律(12)、(14)和(20),则跟踪误差系统(7)在有限时间 t 0 = V 1 0.5 ( 1 + β ) ( 0 ) 2 γ 0 ( 1 0.5 ( 1 + β ) ) 内稳定,并快速收敛到0,其中 V ( 0 ) = 1 2 e 2 ( 0 )

证明:对于跟踪误差系统(7),为了研究其有限时间收敛问题,考虑以下Lyapunov函数

V ( t ) = 1 2 e 2 ( t ) (8)

t τ k 时,针对系统(7),其Laypunov函数(8)对时间的一阶导数为

V ˙ ( t ) = e ( t ) e ˙ ( t ) = e ( t ) ( ω 1 + ( ω t + b ) 2 ψ ( t ) | i [ H , P ] | ψ ( t ) ) = e ( t ) ( ω 1 + ( ω t + b ) 2 2 Im ( ψ ( t ) | P H 0 | ψ ( t ) ) 2 u 1 ( t ) Im ( ψ ( t ) | P H 1 | ψ ( t ) ) 2 u 2 ( t ) Im ( ψ ( t ) | P H 2 | ψ ( t ) ) ) (9)

I 0 = ω 1 + ( ω t + b ) 2 2 Im ( ψ ( t ) | P H 0 | ψ ( t ) ) I 1 = Im ( ψ ( t ) | P H 1 | ψ ( t ) ) I 2 = Im ( ψ ( t ) | P H 2 | ψ ( t ) )

于是,(9)式可写成以下形式:

V ˙ ( t ) = e ( t ) ( I 0 2 u 1 ( t ) I 1 2 u 2 ( t ) I 2 ) (10)

首先,通过设计 u 1 ( t ) 控制 I 0 。可令

I 0 2 u 1 ( t ) I 1 = 0 (11)

于是,可得控制律 u 1 ( t )

u 1 ( t ) = I 0 2 I 1 (12)

其次,为了使(9)负定,可令

2 e ( t ) u 2 ( t ) I 2 0

则取控制律 u 2 ( t )

u 2 ( t ) = γ e ( t ) I 2 (13)

其中待定常数 γ > 0 为控制增益。

为了使误差动态系统达到有限时间稳定,可进一步将控制律 u 2 ( t ) 改进为以下形式:

u 2 ( t ) = γ sign ( e ( t ) I 2 ) | e ( t ) I 2 | β (14)

其中 γ 为可调正常数,实常数 β 满足 0 < β < 1

注1:对于控制律的设计而言, u 1 ( t ) 的作用是用来消除漂移项 I 0 ,误差系统的有限时间收敛完全由 u 2 ( t ) 来控制。但是,由于跟踪控制律 u 1 ( t ) 为分式,其分母随系统状态变化可能为0,导致控制律为无穷大出现奇异点。为此,我们给出了两个改进的跟踪控制律,可消除或避免奇异性给跟踪控制带来的一些困难。为了解决这个问题,在实际应用时,可以进一步修正控制律 u 1 ( t ) u 2 ( t ) 。改进的跟踪控制律可

以写成以下形式: u 1 ( t ) = I 0 2 I 1 + ε 1 u 2 ( t ) = γ sign ( e ( t ) ( I 2 + ε 2 ) ) | e ( t ) ( I 2 + ε 2 ) | β ,其中 ε 1 ε 2 为两个接近

于0的微小常数。

因此,考虑跟踪控制律(13)和 (14),则(10)可得

V ˙ ( t ) = 2 e ( t ) I 2 ( γ sign ( e ( t ) I 2 ) | e ( t ) I 2 | β ) 2 γ | e ( t ) | β + 1 (15)

利用引理2,可得

( | e ( t ) | β + 1 ) 1 β + 1 ( | e ( t ) | 2 ) 1 2

因此,

| e ( t ) | β + 1 ( e 2 ( t ) ) β + 1 2 (16)

将(16)代入(15),于是,

V ˙ ( t ) 2 γ ( e 2 ( t ) ) β + 1 2 = 2 γ ( 1 2 ) β + 1 2 ( 1 2 e 2 ( t ) ) β + 1 2 = γ 1 V β + 1 2 ( t )

其中 γ 1 = 2 β + 3 2 γ

t = τ k 时,由于系统状态 | ψ ( t ) 在脉冲位置右连续,于是可得

V ( τ k , e ( τ k ) ) = V ( τ k + , e ( τ k + ) ) = 1 2 ( e ( τ k ) + Δ e ( τ k + ) ) 2 = 1 2 ( e ( τ k ) + φ ( u ˜ ( t ) H ˜ | ψ ( τ k ) ) , P φ ( u ˜ ( t ) H ˜ | ψ ( τ k ) ) ) 2 V ( τ k , e ( τ k ) ) + e ( τ k ) l 2 u ˜ ( t ) ψ ( τ k ) | H ˜ T P H ˜ | ψ ( τ k ) + 1 2 l 4 u ˜ 2 ( t ) ( ψ ( τ k ) | H ˜ T P H ˜ | ψ ( τ k ) ) 2 (17)

其中

ψ ( τ k ) | H ˜ T P H ˜ | ψ ( τ k ) | ψ ( τ k ) 2 H ˜ T P H ˜ Tr ( P H ˜ 2 P H ˜ 2 ) (18)

将(18)代入(17),整理后可得

V ( τ k , e ( τ k ) ) V ( τ k , e ( τ k ) ) e ( τ k ) l 2 u ˜ ( t ) Tr ( P H ˜ 2 P H ˜ 2 ) + 1 2 l 4 u ˜ 2 ( t ) Tr ( P H ˜ 2 P H ˜ 2 ) (19)

κ = l 2 Tr ( P H ˜ 2 P H ˜ 2 ) ,且取

u ˜ ( t ) = e ( τ k ) e 2 ( τ k ) γ ˜ | e ( τ k ) | β + 1 κ (20)

其中满足条件 | e ( τ k ) | β 1 1 γ ˜ ,则

V ( τ k , e ( τ k ) ) V ( τ k , e ( τ k ) ) 1 2 γ ˜ | e ( τ k ) | β + 1 1 2 γ ˜ ( e 2 ( τ k ) ) β + 1 2 = γ 2 V ( τ k , e ( τ k ) ) β + 1 2

其中 γ 2 = 2 β 1 2 γ ˜

根据引理1,上述结果表明在跟踪控制律(12)和(14)的作用下,误差动态系统在有限时间内收敛到0,

而该有限时间可由 t 0 = V 1 0.5 ( 1 + β ) ( 0 ) 2 γ 0 ( 1 0.5 ( 1 + β ) ) 来估计,其中 γ 0 = max { γ 1 , γ 2 }

换言之,在非线性脉冲控制场作用下,封闭量子系统在有限时间 t 0 跟踪并到达目标函数 s ( t )

若仅考虑线性脉冲控制场,则封闭量子系统(2)可简化为如下形式:

{ i | ψ ˙ ( t ) = H | ψ ( t ) , t τ k Δ | ψ ( t ) = u ˜ ( t ) H ˜ | ψ ( τ k ) , t = τ k

不难由定理1导出以下结论。

推论1考虑跟踪控制律 u 1 ( t ) = I 0 2 I 1 + ε 1 u 2 ( t ) = γ e ( t ) ( I 2 + ε 2 ) 以及 u ˜ ( t ) = 2 e ( τ k ) κ ,则跟踪误差系统 (7)指数稳定,并快速收敛到0,其中 V ( 0 ) = 1 2 e 2 ( 0 )

证明过程与定理1类似,故省略。

4. 数值例子

下面,通过一个数值例子及其仿真来说明所得结论的有效性。

考虑一个四能级的量子系统,控制系统的自由Hamiltonian量为:

H 0 = diag ( 0.3174 , 1.6253 , 2.4136 , 3.8361 )

对于此四阶系统,我们假设任意两个能级之间都有相互作用。考虑到上述设计的控制律,假设三个外部控制Hamiltonian量为以下形式:

H 1 = [ 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 ] H 2 = [ 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 ] H ˜ = [ 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 ]

于是,系统的Hamiltonian量为:

H = H 0 + u 1 ( t ) H 1 + u 2 ( t ) H 2

自由Hamiltonian量 H 0 的本征值分别为 λ 1 = 0.3174 λ 2 = 1.6253 λ 3 = 2.4136 λ 4 = 3.8361 ,相应的本征态分别为: | λ 1 = [ 1 , 0 , 0 , 0 ] T | λ 2 = [ 0 , 1 , 0 , 0 ] T | λ 3 = [ 0 , 0 , 1 , 0 ] T | λ 4 = [ 0 , 0 , 0 , 1 ] T

仿真实验中,观测算符取为 P = | λ 1 λ 1 | = [ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] ,选取被控系统的初态为 | λ 1 , | λ 2 , | λ 3 | λ 4 的叠加态,可以表示为:

| ψ 0 = 1 2 | λ 1 + 1 2 | λ 2 + 1 2 | λ 3 + 1 2 | λ 4

初始输出为 y ( 0 ) = ψ 0 | P | ψ 0 = 0.35 。对于目标函数 s ( t ) = arctan ( 2 π t + 0.5 ) ,其初值为 s ( 0 ) = 0.4636 。于是,误差的初始值为 e ( 0 ) = s ( 0 ) y ( 0 ) = 0.1136 。取控制增益为 γ = 2 γ ˜ = 0.4 。选取 β 为0.6。于是, γ 1 = 6.9644 γ 2 = 0.3482 l = 2.5 。控制律的初始值为 u 1 ( 0 ) = u 2 ( 0 ) = 0.005 u 3 ( 0 ) = 0.5

图1刻画了跟踪误差系统的演化规律。不难看出,在控制律作用下,该动态误差系统能够在有限时间内快速收敛到0。图2图3分别表示外部控制律 u 1 ( t ) u 2 ( t ) 。其中图2中的控制律用于抵消误差系统中的漂移项,而图3中展示的是改进的有限时间控制律。图4则表示脉冲控制场中的外部控制律 u ˜ ( t )

Figure 1. Evolution of the error e ( t )

图1. 误差 e ( t ) 的演化

Figure 2. Control law u 1 ( t )

图2. 控制律 u 1 ( t )

Figure 3. Control law u 2 ( t )

图3. 控制律 u 2 ( t )

Figure 4. Control law u ˜ ( t )

图4. 控制律 u ˜ ( t )

图5展示了控制系统的误差与控制增益、控制边界之间的关系。从图5上可以看出,这种关系很复杂,没有简单的规律可循。不过,图5仍然可以在直观上反映控制参数对控制系统误差的影响。

Figure 5. The relations between the error of the control system and the control gain and control boundary

图5. 控制系统的误差与控制增益、控制边界之间的关系

5. 结论

本文研究了一类在脉冲控制场作用下封闭量子系统的轨迹跟踪问题。利用Lyapnov直接法,通过设计改进的消除漂移控制律、有限时间跟踪控制律以及非线性脉冲控制律,使得封闭量子系统的状态能够在外部控制律的作用下快速进入有界时变目标系统的轨迹。数值仿真以四阶量子系统为例,通过引入外部跟踪控制策略,进行仿真实验。实验结果表明,误差动态系统在任意初始状态下能够在有限时间内收敛到0,从而达到预期的跟踪精度,且具有更好的抗干扰能力。

基金项目

本研究得到了江苏省高等学校自然科学研究面上项目(编号:17KJB510051)、江苏高校“青蓝工程”(中青年学术带头人(2022)、优秀教学团队(2020))、无锡市科协软科学研究课题(编号:KX-22-B60)、江苏省高职院校教师专业带头人高端研修(个人访学研修) (编号:2021GRFX068)资助支持。

参考文献

[1] Smith, G. and Yard, J. (2008) Quantum Communication with Zero-Capacity Channels. Science, 321, 1812-1815.
https://doi.org/10.1126/science.1162242
[2] Knill, E. (2010) Quantum Computing. Nature, 463, 441-443.
https://doi.org/10.1038/463441a
[3] Bennett, C.H. and Di Vincenzo, D.P. (2000) Quantum Information and Computation. Nature, 404, 247-255.
https://doi.org/10.1038/35005001
[4] D’alessandro, D. and Dahleh, M. (2001) Optimal Control of Two-Level Quantum Systems. IEEE Transactions on Automatic Control, 46, 866-876.
https://doi.org/10.1109/9.928587
[5] Zhu, W. and Rabitz, H. (2003) Quantum Control Design via Adaptive Tracking. The Journal of Chemical Physics, 119, 3619-3625.
https://doi.org/10.1063/1.1582847
[6] Mirrahimi, M., Rouchon, P. and Turinici, G. (2005) Lyapunov Control of Bilinear Schrödinger Equations. Automatica, 41, 1987-1994.
https://doi.org/10.1016/j.automatica.2005.05.018
[7] Shuang, C. and Kuang, S. (2007) Quantum Control Strategy Based on State Distance. Acta Automatica Sinica, 33, 28-31.
https://doi.org/10.1360/aas-007-0028
[8] Sugawara, M. (2003) General Formulation of Locally Designed Coher-ent Control Theory for Quantum System. The Journal of Chemical Physics, 118, 6784-6800.
https://doi.org/10.1063/1.1559680
[9] Kuang, S. and Cong, S. (2010) Population Control of Equilibrium States of Quantum Systems via Lyapunov Method. Acta Automatica Sinica, 36, 1257-1263.
https://doi.org/10.3724/SP.J.1004.2010.01257
[10] Cong, S., Zhu, Y. and Liu, J. (2012) Dynamical Trajectory Tracking of Quantum Systems with Different Target Functions. Journal of Systems Science and Mathematical Sciences, 32, 719-730.
[11] Liu, J., Cong, S. and Zhu, Y. (2012) Adaptive Trajectory Tracking of Quantum Systems. 12th Inter-national Conference on Control, Automation and Systems, Jeju, 17-21 October 2012, 322-327.
[12] Cong, S. and Liu, J. (2014) Trajectory Tracking Theory of Quantum Systems. Journal of Systems Science and Complexity, 27, 679-693.
https://doi.org/10.1007/s11424-014-2013-4
[13] Yang, X. and Cao, J. (2010) Finite-Time Stochastic Synchroniza-tion of Complex Networks. Applied Mathematical Modelling, 34, 3631-3641.
https://doi.org/10.1016/j.apm.2010.03.012