广义量子Loop程序的若干性质.pdfVIP

第 4 期 电子学报 Vo1. 41 No .4 Apr. 2013 2013 年 4 月 ACfA ELECffiONICA SINICA 广义量子 Loop 程序的若干性质 雷红轩l ， 2 ，席政军 l ，李永明 1 (1陕西师范大学计算机科学学院，陕西西安 71α阻:2. 内江师范学院数学与信息科学学院，四川内江 641112) 摘 要: 本文酋先就广义量子 loop 程序(简记为 GQLoop) 的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信 道描述时，对它的终止(几乎终止)问题进行了研究.其次，讨论了两类 GQLoop 程序相互嵌套时 loop 程序的终止(几乎 终止)的问题.研究表明:以量子运算的嵌套为主体的 GQLoop 程序终止(几乎终止)的条件依赖于刻画量子信道的参 数.最后，当开放量子系统与其环境在西运算下做为 loop 程序的主体时，讨论了在酋运算后去掉环境时的主系统上量 子程序的执行过程. 关键词: 广义量子 l∞p 程序;量子运算;终止;几乎终止;复合量子系统 中固分类号: 1凹01.6 文献标识码: A 文章编号: 0372-2112 (却13)04-臼27-俑 电子学报 URL: http://www.ej咄咄1. org. cn 001: 10. 3969/j. ìssn.0372-2112. 2013 .04.017 Some Prope此ies of Generalized Quantum LI∞p program LEI Hong-xuan 1 . 2 , XI Zheng-jun 1 ，口 Yong-ming1 (1.业加，[ of Computer Sc.阳阻 .51归田lXi Normnl Uni?rs町，后， aJl. 孰刷刷i 71伽，2. China: 2. school of Mathematics 田u11r庐T71ILllion Sc町F凹 .Ne胆略 Normnl Uni?rsity. Neijiang ? Sichωn 641112. China) A民tract: In由is pa阳，由e tennination(础nost terrnination)of generalized quantum 1∞ppro阴m(for short GQLoop)is first- ly investi段时. where the loop bodies of GQLoop are descri民d by bit flip channel. depolarizing channel , amplitude 也mping channel and phωe damping channel , res严记tively. Secondly , when the 1∞plx地ies are 由eemlx对ding of two kinds of GQLoop ，由e conditions of the tennination (汕nost tennination) of GQLoop are addre岱ed. It shows that the conditions of the terrnination (almost termination) ofGQL∞p depend on 配阳rameters ∞curing in the qωntum channels. Finally , when the 1∞p bodies are an unitary 0严ration on the 阳lCiple system and 趾 environment under 趾 open qωntum sys也m ， after implernenting unitary oJ:后ration ， the compu也d pro- ∞ssing of the quantum pro，伊m is disc山路d by perforrning a 阳ial trace over 由.e envrronment. Key words: generalized qωntum 1∞p program; quantum operation; 也口nination; almost tem由Jauon;com严Slteq国ntum sys- tem 1 引言 1994 年， Shot 1 ] 提出了著名的量子因子分解算法， 1996 年 Grovet2 ]给出了量子搜索算法，它们显示出量子 计算在某些计算领域比经典计算更有效[3] 当前，量子 算法还处在较低水平的量子线路的探索阶段.最近一些 学者开始研究量子程序语言的设计和语义忏 14] 比如， KniU[4]最先提出了设计量子程序语言，