×

量子lambda系统的时间最优控制KP公司配置。 (英语) Zbl 1443.81014号

摘要:我们考虑一个三能级量子系统的时间最优控制问题,其中一个能级由控制场耦合到最低的两个能级,而这两个能级之间没有相互耦合。每次都假设控制的范数有一个界。这样的问题属于KP公司次黎曼问题,我们可以对其进行对称约简,并将其约简为关联商空间上的黎曼问题。在我们的例子中,我们证明了这样一个商空间的几个性质,包括它是一个几乎是Kähler流形的例子,而它不是Káhler。我们给出了最低两层上任何酉变换的最优控制的显式形式,并讨论了该结果的几何意义和实际意义。
©2020美国物理研究所

MSC公司:

81页第45页 量子信息、通信、网络(量子理论方面)
81问题93 量子控制
2015年第35季度 偏微分方程背景下的Riemann-Hilbert问题
54号B15 商空间,一般拓扑中的分解
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

参考文献:

[1] D’Alessandro,D.,《量子控制与动力学导论》(2008),查普曼和霍尔/CRC泰勒和弗朗西斯小组:查普曼与霍尔/CRC Taylor和弗朗西斯集团,佛罗里达州博卡拉顿·Zbl 1139.81001号
[2] Glaser,S。;博斯卡因,美国。;卡拉科,T。;科赫,C。;科肯伯格,W。;Kosloff,R。;Kuprov等人。;路易,B。;Schirmer,S。;Schulte-Herbrüggen,T。;Sugny,D。;Wilhelm,F.,《训练薛定谔的猫:量子最优控制》,《欧洲物理学》。J.D,69,279(2015)·doi:10.1140/epjd/e2015-60464-1
[3] 夏皮罗,M。;Brumer,P.,《分子过程的量子控制原理》(2003),John Wiley&Sons:John Willey&Sons,新泽西州霍博肯
[4] 阿尔贝蒂尼,F。;D'Alessandro,D.,二能级量子系统的时间最优同步控制,Autom。国际会计师联合会杂志,74,55-62(2016)·兹比尔1348.81258 ·doi:10.1016/j.automatica.2016.07.014
[5] 博斯卡因,美国。;Grönberg,F。;朗·R。;Rabitz,H.,具有两个有界控制的二能级量子系统的时间最小轨迹,J.Math。物理。,55, 062106 (2014) ·Zbl 1305.81089号 ·doi:10.1063/1.4882158
[6] 博斯卡因,美国。;Mason,P.,《磁场中自旋1/2粒子的时间最小轨迹》,J.Math。物理。,47, 062101 (2006) ·Zbl 1112.81098号 ·doi:10.1063/1.2203236
[7] 加隆,A。;Glaser,S.J。;Sugny,D.,SU(2)量子操作的时间最优控制,物理学。版本A,88,043422(2013)·doi:10.1103/physreva.88.043422
[8] 阿尔贝蒂尼,F。;D’Alessandro,D。;Sheller,B.,SU(n)/S(U(n−1)×U(1))中的Sub-Riemannian测地线和三能级量子系统的最优控制,IEEE Trans。自动。控制,65,3,1176(2020)·Zbl 07256239号 ·doi:10.1109/tac.2019.2950559
[9] 博斯卡因,美国。;Chambrion,T。;Gauthier,J.-P.,《关于三能级量子系统的K+P问题:最优性意味着共振》,J.Dyn。控制系统。,8544-572(2002年)·兹比尔1022.53028 ·doi:10.1023/a:1020767419671
[10] 博斯卡因,美国。;Chambrion,T。;Charlot,G.,《非各向同性三能级量子系统:最小时间和最小能量的完整解》,离散Contin。动态。系统:B、 5、4、957-990(2005)·Zbl 1084.81083号 ·doi:10.3934/dcdsb.2005.5.957
[11] 尼尔森,硕士。;Chuang,I.L.,《量子计算与量子信息》(2000),剑桥大学出版社·Zbl 1049.81015号
[12] De Seze,F。;Louchet,A。;Crozatier,V.公司。;洛热,I。;Bretenaker,F。;勒古特,J.-L。;断头台编号O。;Goldner,P.,在Tm^3+:YAG,Phys中三能级lambda系统的实验剪裁。B版,73,085112(2006)·doi:10.1103/physrevb.73.085112
[13] 周,B.B。;Baksic,A。;里贝罗,H。;耶鲁,C.G。;Heremans,F.J。;Jerger,P.C。;奥尔,A。;Burkard,G。;书记员,A.A。;Awschalom,D.D.,在固态lambda系统中使用超绝热动力学进行加速量子控制,自然物理学。,13, 4, 330-334 (2017) ·doi:10.1038/nphys3967
[14] Boller,K.-J。;Imamolu,A。;Harris,S.E.,《电磁感应透明度的观测》,《物理学》。修订稿。,66, 2593 (1991) ·doi:10.1103/physrevlett.66.2593
[15] Erickson,W.,《电磁感应透明度》(2012),里德学院:俄勒冈州波特兰里德学院
[16] 伯格曼,K。;Theuer,H.等人。;肖尔,B.W.,原子和分子量子态之间的相干布居转移,修订版。物理。,70, 3, 1003 (1998) ·doi:10.1103/revmodphys.70.1003
[17] Jurdjevic,V.,非欧几里德几何和椭圆函数的哈密顿观点,系统。控制信函。,43, 25-41 (2001) ·Zbl 1032.37043号 ·doi:10.1016/s0167-6911(01)00093-7
[18] Helgason,S.,《微分几何、李群和对称空间》(2012),美国数学学会:美国数学学会,普罗维登斯,RI
[19] 回想一下,李代数(mathfrak{g})上的Killing形式定义如下:Fix\(X\in\mathfrack{g}\)和let\(\text{广告}X(_X):\mathfrak{g}\ to \mathfrak{g}\)是任意\(Y\in\mathfrak{g}\)的线性映射ad_X(Y)=[X,Y]。然后是杀戮形式K(X,Y)≔Tr(ad_X°ad_Y)。这个二次型具有Cartan半单性准则^18的性质,即它是非退化的当且仅当(mathfrak{g})是半单的。
[20] 阿格拉乔夫,A。;巴里拉里,D。;Boscain,U.,《亚黎曼几何综合导论》(2019),剑桥大学出版社·Zbl 1487.53001号
[21] Montgomery,R.,《次黎曼几何:测地线及其应用之旅》(2002),美国数学学会:美国数学学会,普罗维登斯,RI·Zbl 1044.53022号
[22] do Carmo,M.,黎曼几何(1992),伯克豪泽:伯克豪塞,波士顿·Zbl 0752.53001号
[23] 阿尔贝蒂尼,F。;D’Alessandro,D.,《关于时间最优控制中的对称性、次黎曼几何和K-P问题》,J.Dyn。控制系统。,24, 1, 13-38 (2018) ·Zbl 1387.93059号 ·doi:10.1007/s10883-016-9351-6
[24] 阿格拉乔夫,A.A。;Sachkov,Y.,《几何观点的控制理论》(2004),施普林格出版社·Zbl 1062.93001号
[25] Bredon,G.E.,《紧凑转型集团简介》(1972),学术出版社:纽约学术出版社·Zbl 0246.57017号
[26] Pflaum,M.J.,《分层空间的分析和几何研究》(2003),施普林格:施普林格,柏林,海德堡
[27] D’Alessandro,D。;Sheller,B.,关于K-P次黎曼问题及其割轨迹
[28] Sheller,B.,《K-P问题中的对称性减少》(2019年),爱荷华州大学数学系:爱荷华州立大学数学系,春季
[29] 为了看到这一点,在(4)中以U_F的形式写出一个一般矩阵F∈S(U(2)×U(1))。比较FU=UF的第一列(并使用|x|<1的事实),我们得到\(F=mathtt{d}\mathtt}\matghtt{i}\mathtt{a}\mathttp{g}\)。通过比较第二列,并利用|z|<1这一事实,我们得出F必须是标量矩阵。
[30] 小林,S。;Nomizu,K.,《微分几何基础》(1996),威利经典图书馆·Zbl 0175.48504号
[31] 不一定是真的(\hat{\alpha}=\alpha,\hat}l}=l,\hat{\beta}=\beta\),和\(hat{r}=r),因为−x可能是负数。因此,如果,例如\(\hat{\alpha}=\phi-x<0\),我们选择α=−x+1和\(l=hat{l}-1\)。
[32] Brooks,B.P.,根据n×n矩阵的特征值和元素的特征多项式的系数,Appl。数学。莱特。,19511-515(2006年)·Zbl 1173.15303号 ·doi:10.1016/j.aml.2005.07.007
[33] 为了翻译参考文献4中的结果,本文中的符号η对应于该文中的\(frac{\omega}{2}\)\参考文献4中的(frac{T}{2\pi})对我们来说是T;参考文献4中的γ必须等于2。然后,我们引用参考文献4中的公式(18)和(19),这些公式是为(|\omega|=\sqrt{\frac{4\pi^2}{T^2}-\gamma^2})计算的,即在曲线的端点处{F} _T(_T)\)参考文献4中定义,简化了公式。施加x+iy=e ^−i⁄,得到T上的条件,该条件给出了最小时间,并由此导出ω的值。
[34] 使用解(13)和(17)的表达式进行的计算表明,如果在正测度区间[0,ϵ]上,从状态[0,0,1]^T开始的最高水平的总体为零,则最优轨迹的那部分属于空间的奇异部分,而我们已经看到,完整的最优轨迹(除了端点)属于空间的规则部分。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。