托马斯·舒尔特·赫尔布吕根;Steffen J.格拉泽。;Gunther主任;乌韦·赫尔姆克 用于量子信息和量子动力学优化的梯度流:基础和应用。 (英语) Zbl 1208.49001号 数学复习。物理学。 22,第6期,597-667(2010). 当问题的复杂性从经典变为量子时,控制量子系统为执行计算任务或模拟其他量子系统或经典系统的行为提供了巨大的潜力。在量子模拟和量子技术进步所需的通用工具中,量子控制起着重要作用。量子信息和量子控制从有限维量子系统上的约束优化问题开始。这些约束来自这样一个事实,即量子动态状态空间是自然光滑的流形,或者各个量子系统的动力学可能被限制为整个状态空间的适当子集。在数学上,任何一种情况都可以通过对底层控制系统的可达集进行约束优化来处理。因此,无论何时可达集形成光滑流形,黎曼优化方法都适用。在这篇综述中,作者全面介绍了黎曼流形上梯度流的基础,包括在量子信息和量子动力学中的新应用。作者在一个通用的框架中处理量子动力学系统的各种优化任务,即通过光滑流形上的梯度流。设\(M\)表示光滑流形,例如,与初始态\(X_0\)相关的所有量子态的酉轨道。对于所有状态(M\中的X\)和时间(mathbb R\中的t,tau\),连续时间动力系统或流是一个光滑映射(Phi:mathbb R乘以M\到M\),即(Phi(0,X)=X\),(Phi,tau,Phi(t,X))=Phi(t+tau,X)。由于\(Phi_\tau\circ\Phi_t=\Phi_{\tau+t}\),流充当一个单参数群,对于正时间\(t,\tau\geq0\)作为\(M\)上微分同态的单参数半群。现在,用动力系统优化光滑流形(M)上标量质量函数的一般思想是:对于光滑质量函数(f:M\ to mathbb R\),(f \)的微分是(M \)到其余切丛的映射(Df:M\to T^*M\),而梯度向量场是映射(\text{grad}\,f:M\\to TM\)到其切线束。\(M\)中的标量乘积或\(M\)中的黎曼度量允许确定\(\text{grad}\,f(X)\),并用\(TM\)识别\(T^*M\)。由常微分方程(dot X=text{grad},f(X))确定的流量(Phi:mathbb R乘以M到M)称为梯度流。作者提供了基于梯度流的算法的流形设置,如最速下降、共轭梯度、Jacobi型、牛顿方法、可达性和可控性。虽然基础的主要部分可以在其他文献中找到,但在这里作者添加了黎曼几何、李群和约化齐次空间之间相互作用的综合概述。给出了紧致李群及其闭子群上梯度流的例子。鉴于进一步的发展,作者讨论了可约化齐次空间上的梯度流,包括对Cartan-like情形以及自然可约化均匀空间的特化。特别是,双括号流在自然约化均匀空间上表现为梯度流。本文的一部分专门讨论量子信息和量子控制的具体应用。作者证明了量子比特中局部单位(SU_{text{loc}}(2^n))子群上的梯度流不仅在见证优化中提供了有价值的工具,而且与广义奇异值分解(即张量奇异值分解)有关。梯度流为高阶张量的最佳秩(1)近似提供了一种通用算法的替代方法。(SU_{text{loc}}(2^n))上的流也可以作为一个方便的工具来决定哈密顿相互作用是否可以通过局部幺正操作完全时间反转。具有附加外部约束的优化任务通过在各自子群上定制梯度流或通过辅助惩罚方法来处理。通过包括实际应用和工作示例,作者说明了流形上的梯度流可以提供有价值的解决方案的大量问题。审核人:安德鲁·巴基(爱德蒙) 引用于16文件 MSC公司: 49-02 关于变分法和最优控制的研究说明(专著、调查文章) 49卢比 算子特征值的变分方法 20年第49季度 几何测量理论环境中的变分问题 53-02 与微分几何有关的研究博览会(专著、调查文章) 53C20美元 全球黎曼几何,包括收缩 65K10码 数值优化和变分技术 81V70型 多体理论;量子霍尔效应 90立方 非线性规划 15甲18 特征值、奇异值和特征向量 15A69号 多线性代数,张量演算 81问题93 量子控制 关键词:量子系统中的约束优化;黎曼优化;黎曼梯度流及其算法;双支架流量;量子控制;张量的低阶逼近;张量SVD 软件:L-BFGS公司 PDF格式BibTeX公司 XML格式引用 \textit{T.Schulte-Herbrüggen}等人,《数学评论》。物理学。22,第6号,597--667(2010;Zbl 1208.49001) 全文: 内政部 arXiv公司 参考文献: [1] DOI:10.1007/BF02650179·doi:10.1007/BF02601079文件 [2] 费曼R.P.,费曼计算讲座(1996) [3] 数字对象标识码:10.1090/gsm/047·doi:10.1090/gsm/047 [4] 内政部:10.1137/S009753979529393172·Zbl 1005.11065号 ·doi:10.1137/S009753979529393172 [5] DOI:10.1098/rspa.1998.0163·Zbl 0915.68049号 ·doi:10.1098/rspa.1998.0163 [6] DOI:10.1098/rspa.1998.0164·Zbl 0915.68050号 ·doi:10.1098/rspa.1998.0164 [7] DOI:10.1016/j.ipl.2004.01.024·Zbl 1178.68268号 ·doi:10.1016/j.ipl.2004.01.024 [8] DOI:10.1103/PhysRevLett.79.325·doi:10.1103/PhysRevLett.79.325 [9] Papadimitriou C.H.,计算复杂性(1995)·Zbl 0557.68033号 [10] Sachdev S.,《量子相变》(1999)·Zbl 1233.82003年 [11] JanéE.,Quant(数量)。信息计算3第15页- [12] 内政部:10.1103/PhysRevLett.922.7901·doi:10.1103/PhysRevLett.92.207901 [13] 内政部:10.1098/rsta.2003.1227·doi:10.1098/rsta.2003.1227 [14] DOI:10.1017/CBO9780511813948·Zbl 1350.81004号 ·doi:10.1017/CBO9780511813948 [15] 布洛克·R.W.,林·阿尔法。申请。122页761– [16] S.T.Smith,《哈密尔顿和梯度流,算法和控制》,菲尔德研究所通信(美国数学学会,普罗维登斯,1994年)pp。113–136. [17] 内政部:10.1007/978-1-4471-3467-1·doi:10.1007/978-1-4471-3467-1 [18] Bloch A.,Fields Institute Communications,in:哈密顿和梯度流,算法和控制(1994) [19] 内政部:10.1137/0727062·兹比尔0704.65025 ·doi:10.1137/0727062 [20] 内政部:10.1515/9781400830244·数字对象标识代码:10.1515/9781400830244 [21] 内政部:10.1007/978-3-540-75914-0·doi:10.1007/978-3-540-75914-0 [22] 数字对象标识码:10.1126/science.280.5362.421·doi:10.1126/science.280.5362.421 [23] 内政部:10.1016/j.jmr.2004.11.004·doi:10.1016/j.jmr.2004.11.004 [24] DOI:10.1103/PhysRevA.72.042331·doi:10.1103/PhysRevA.72.042331 [25] DOI:10.1103/PhysRevA.75.012302·doi:10.1103/PhysRevA.75.012302 [26] DOI:10.1103/PhysRevLett.102.090401·doi:10.1103/PhysRevLett.102.090401 [27] 内政部:10.1088/0953-4075/40/9/S06·doi:10.1088/0953-4075/40/9/S06 [28] DOI:10.1103/PhysRevLett.100.130501·Zbl 1228.82080号 ·doi:10.10103/PhysRevLett.10130501 [29] DOI:10.1103/物理版次94.060503·doi:10.1103/PhysRevLett.94.060503 [30] DOI:10.1103/PhysRevA.73.012309·doi:10.1103/PhysRevA.73.012309 [31] DOI:10.1103/PhysRevLett.100.070502·Zbl 1228.81112号 ·doi:10.1103/PhysRevLett.100.070502 [32] DOI:10.1007/BF00406552·Zbl 0779.46047号 ·doi:10.1007/BF00406552 [33] DOI:10.1007/BF02099178·Zbl 0755.46039号 ·doi:10.1007/BF02099178 [34] DOI:10.1007/BFb0106062·doi:10.1007/BFb0106062 [35] DOI:10.1103/RevModPhys.77.259·Zbl 1205.82073号 ·doi:10.1103/RevModPhys.77.259 [36] DOI:10.1103/PhysRevLett.93.227205·doi:10.1103/PhysRevLett.93.227205 [37] DOI:10.1103/PhysRevLett.97.107206·doi:10.1103/PhysRevLett.97.107206 [38] DOI:10.1103/PhysRevLett.99.220405·doi:10.1103/PhysRevLett.99.220405 [39] DOI:10.1103/PhysRevLett.100.040501·doi:10.1103/PhysRevLett.100.040501 [40] DOI:10.1103/PhysRevA.79.022317·doi:10.1103/PhysRevA.79.022317 [41] Wegner F.,Ann.Phys.公司。(莱比锡)3第77页- [42] Kehrein S.,Springer Tracts in Physics 217,in:多粒子系统的流动方程方法(2006) [43] Plenio M.B.,数量。公司。Inf.7第1页– [44] 内政部:10.1103/RevModPhys.81.865·Zbl 1205.81012号 ·doi:10.1103/RevModPhys.81.865 [45] DOI:10.1103/PhysRevA.70.062317·doi:10.1103/PhysRevA.70.062317 [46] DOI:10.1103/PhysRevLett.97.260502·Zbl 1228.81071号 ·doi:10.1103/PhysRevLett.97.260502 [47] 奥斯特洛·A·物理学。版次A 77 pp 032210–·Zbl 1305.81029号 [48] DOI:10.1088/1367-2630/10/4/43014·doi:10.1088/1367-2630/10/4/043014 [49] DOI:10.1016/S0034-4877(09)90022-2·Zbl 1204.81086号 ·doi:10.1016/S0034-4877(09)90022-2 [50] 内政部:10.1007/s00220-008-0411-y·Zbl 1149.81007号 ·doi:10.1007/s00220-008-0411-y [51] 内政部:10.1007/978-94-015-8390-9·doi:10.1007/978-94-015-8390-9 [52] 内政部:10.1007/BF00934767·Zbl 0458.90060号 ·doi:10.1007/BF00934767 [53] 内政部:10.1090/S0025-5718-1980-0572855-7·doi:10.1090/S0025-5718-1980-0572855-7 [54] 内政部:10.1007/BF01582063·兹比尔0809.90116 ·doi:10.1007/BF01582063 [55] Nocedal J.,数值优化(2006) [56] Jurdjevic V.,几何控制理论(1997)·Zbl 0940.93005号 [57] 内政部:10.1007/s10958-000-0002-8·Zbl 1073.93511号 ·doi:10.1007/s10958-000-0002-8 [58] 数字对象标识码:10.1002/gamm.200890003·Zbl 1197.81199号 ·doi:10.1002/gamm.200890003 [59] D'Alessandro D.,量子控制与动力学导论(2008) [60] Krotov V.F.,最优控制中的全局方法(1996)·Zbl 1075.49500号 [61] DOI:10.1103/PhysRevA.37.4950·doi:10.1103/PhysRevA.37.4950 [62] Teo K.L.,最优控制问题的统一计算方法(1991)·兹比尔07474.49005 [63] 内政部:10.1063/1.1564043·数字对象标识代码:10.1063/1.1564043 [64] 内政部:10.1016/0022-0396(72)90007-1·Zbl 0242.49040号 ·doi:10.1016/0022-0396(72)90007-1 [65] 内政部:10.1016/0022-0396(72)90035-6·Zbl 0237.93027号 ·doi:10.1016/0022-0396(72)90035-6 [66] DOI:10.1051/cocv:2006007·Zbl 1106.93006号 ·doi:10.1051/cocv:2006007 [67] 内政部:10.1137/0310021·Zbl 0238.93001号 ·doi:10.1137/0310021 [68] 内政部:10.1137/0125025·Zbl 0272.93003号 ·数字对象标识代码:10.1137/0125025 [69] 内政部:10.1137/0317016·Zbl 0406.93037号 ·doi:10.1137/0317016 [70] DOI:10.10109/工作日.2003.815027·Zbl 1364.93059号 ·doi:10.1109/TAC.2003.815027 [71] Hirsch M.W.,微分方程、动力系统和线性代数(1974)·Zbl 0309.34001号 [72] Irwin M.C.,光滑动力系统(1980)·Zbl 0465.58001号 [73] Fletcher R.,实用优化方法(1987)·Zbl 0905.65002号 [74] Luenberger D.G.,线性和非线性规划(2008)·Zbl 1207.90003号 [75] Boothby W.,微分流形和黎曼几何导论(1975)·兹比尔0333.53001 [76] 内政部:10.1007/978-3-642-18855-8·doi:10.1007/978-3642-18855-8 [77] Spivak M.,《微分几何综合导论》(1999)·Zbl 1213.53001号 [78] O'Neill B.,《半黎曼几何》(1983) [79] 内政部:10.1007/978-1-4612-1029-0·doi:10.1007/978-1-4612-1029-0 [80] 内政部:10.1007/978-1-4612-5703-5·doi:10.1007/978-1-4612-5703-5 [81] 内政部:10.5802/aif.1638·Zbl 0934.32009 ·doi:10.5802/aif.1638 [82] 小林石S.,《微分几何基础》(1996) [83] 内政部:10.1007/BFb0068623·doi:10.1007/BFb0068623 [84] Helgason S.,微分几何,李群和对称空间(1978) [85] 内政部:10.1007/978-0-387-21554-9·数字对象标识代码:10.1007/978-0-387-21554-9 [86] 内政部:10.1007/978-3-642-56936-4·doi:10.1007/978-3-642-56936-4 [87] DOI:10.1090/stml/022·doi:10.1090/stml/022 [88] Knapp A.W.,《引言之外的谎言组》(2002年)·Zbl 1075.22501号 [89] 内政部:10.1016/S0001-8708(76)80002-3·兹伯利0341.53030 ·doi:10.1016/S0001-8708(76)80002-3 [90] Cheeger J.,黎曼几何中的比较定理(1975)·Zbl 0309.53035号 [91] 内政部:10.1007/978-3-662-12918-0·doi:10.1007/978-3-662-12918-0 [92] DOI:10.1023/A:1005287907806·Zbl 0980.53061号 ·doi:10.1023/A:1005287907806 [93] Besse A.,爱因斯坦流形(1986) [94] Kostant B.,事务处理。阿默尔。数学。Soc.80第520页 [95] 内政部:10.1016/0024-3795(77)90075-1·Zbl 0358.15005号 ·doi:10.1016/0024-3795(77)90075-1 [96] 内政部:10.1080/03081089408818312·Zbl 0814.15022号 ·数字对象标识代码:10.1080/0308108940818312 [97] 内政部:10.1080/03081080701544114·Zbl 1134.81018号 ·网址:10.1080/03081080701544114 [98] 内政部:10.1080/03081080701535898·Zbl 1134.81012号 ·网址:10.1080/03081080701535898 [99] Li C.-K.,程序。阿默尔。数学。Soc.111第19页 [100] DOI:10.1023/A:1016582714251·Zbl 1016.65026号 ·doi:10.1023/A:1016582714251 [101] 内政部:10.1002/pamm.200610336·doi:10.1002/pamm.200610336 [102] 布洛克·A,公牛。美国数学。Soc.56第447页- [103] 内政部:10.1007/BF02099528·Zbl 0766.58027号 ·doi:10.1007/BF02099528 [104] DOI:10.1103/PhysRevA.66.032319·doi:10.1103/PhysRevA.66.032319 [105] 尼尔森M.A.,量子计算与量子信息(2000)·Zbl 1049.81015号 [106] 内政部:10.1002/pamm.200700706·doi:10.1002/上午.200700706 [107] 内政部:10.1016/0079-6565(89)80006-8·doi:10.1016/0079-6565(89)80006-8 [108] DOI:10.1103/PhysRevA.77.042111·doi:10.1103/PhysRevA.77.042111 [109] 内政部:10.1103/PhysRevLett.742.2921·doi:10.1103/PhysRevLett.74.2921 [110] 内政部:10.1137/S0895479800368354·Zbl 1005.15020号 ·doi:10.1137/S0895479800368354 [111] 内政部:10.1137/S0895479899352045·Zbl 1001.65036号 ·doi:10.1137/S0895479899352045 [112] 内政部:10.1137/S0895479896305696·Zbl 0962.15005号 ·doi:10.1137/S0895479896305696 [113] 内政部:10.1137/S0895479898346995·Zbl 0958.15026号 ·doi:10.1137/S0895479898346995 [114] 内政部:10.1137/070688316·Zbl 1205.65161号 ·数字对象标识代码:10.1137/070688316 [115] Savas B.,《在线优化》2009年第2362页—— [116] 内政部:10.1007/s11075-008-9251-2·Zbl 1166.65334号 ·doi:10.1007/s11075-008-9251-2 [117] Wei T.,物理学。版次A 68 pp 022307– [118] J.L.Brylinski,量子计算数学,计算数学系列(Chapman&Hall/CRC,Boca Raton,2002)pp。3–23. [119] B.G.Englert和N.Metwally,量子计算数学,计算数学系列(Chapman&Hall/CRC,Boca Raton,2002)pp。24–75. [120] Mezzadri F.,通知美国。数学。Soc.54第592页- [121] 李长凯,数学。公司。 [122] M.Grassl,量子信息讲座(Wiley-VCH,Weinheim,2007),pp。105–120. [123] DOI:10.109/18.681315·Zbl 0982.94029号 ·数字对象标识代码:10.1109/18.681315 [124] Calderbank A.R.,物理。版次A 54第1089页- [125] Tibken B.,用于确定C数值范围上限的半定规划松弛(2004) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。