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

doi:10.3969/j.issn.0372-2112.2013.04.017

电子学报 ›› 2013, Vol. 41 ›› Issue (4): 727-732.DOI: 10.3969/j.issn.0372-2112.2013.04.017

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

雷红轩^1,2, 席政军¹, 李永明¹

1. 陕西师范大学计算机科学学院,陕西西安 710062;
2. 内江师范学院数学与信息科学学院,四川内江 641112

收稿日期:2012-04-23 修回日期:2012-11-28 出版日期:2013-04-25
- 作者简介:
- 雷红轩 男,1967年出生于陕西洋县,博士研究生,副教授,主要研究领域为量子程序验证和量子模型检测. E-mail:leihx2004@yahoo.com.cn 席政军 男,1983年出生于甘肃会宁,博士,主要研究领域为量子信息论与量子程序语言. 李永明 男,1966年出生于陕西大荔,博士,教授,博士生导师,研究方向为计算智能、量子逻辑、量子计算、模型检测.
- 基金资助:
- 国家自然科学基金 (No.11271237,No.61228305)

Some Properties of Generalized Quantum Loop Program

LEI Hong-xuan^1,2, XI Zheng-jun¹, LI Yong-ming¹

1. School of Computer Science, Shaanxi Normal University, Xi'an, Shaanxi 710062, China;
2. School of Mathematics and Information Science, Neijiang Normal University, Neijiang, Sichuan 641112, China

Received:2012-04-23 Revised:2012-11-28 Online:2013-04-25 Published:2013-04-25
- Supported by:
- National Natural Science Foundation of China (No.11271237, No.61228305)

摘要/Abstract

摘要： 本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQLoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后,当开放量子系统与其环境在酉运算下做为loop程序的主体时,讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程.

关键词: 广义量子loop程序, 量子运算, 终止, 几乎终止, 复合量子系统

Abstract: In this paper,the termination(almost termination)of generalized quantum loop program(for short GQLoop)is firstly investigated,where the loop bodies of GQLoop are described by bit flip channel,depolarizing channel,amplitude damping channel and phase damping channel,respectively.Secondly,when the loop bodies are the embedding of two kinds of GQLoop,the conditions of the termination(almost termination)of GQLoop are addressed.It shows that the conditions of the termination(almost termination)of GQLoop depend on the parameters occuring in the quantum channels.Finally,when the loop bodies are an unitary operation on the principle system and the environment under the open quantum system,after implementing unitary operation,the computed processing of the quantum program is discussed by performing a partial trace over the environment.

Key words: generalized quantum loop program, quantum operation, termination, almost termination, composite quantum system

中图分类号:

TP301.6

雷红轩, 席政军, 李永明. 广义量子Loop程序的若干性质[J]. 电子学报, 2013, 41(4): 727-732.

LEI Hong-xuan, XI Zheng-jun, LI Yong-ming . Some Properties of Generalized Quantum Loop Program[J]. Acta Electronica Sinica, 2013, 41(4): 727-732.

参考文献

[1] P W Shor.Algorithms for quantum computation:Discrete logarithms and factoring[A].Proceedings of 35th Annual Symposium on Foundations of Computer Science[C]. Los Alamitos,CA:IEEE Press,1994.124-134.
[2] L Grover.A fast quantum mechanical algorithm for database search[A].Proceeding s of 28th Annual ACM Symposium on the Theory of Computing[C].New York:ACM Pres s,1996.212-219.
[3] M A Nielsen,Chuang I L.Quantum Computation and Quantum Information[M].Cambridg e:Cambridge University Press,2000.
[4] E H Knill.Conventions for quantum pseudocode[R].LAUR-96-2724,LANL Report,199 6.
[5] E D’Hondt,P Panangaden.Quantum weakest preconditions[J].Mathematical Structur es in Computer Science,2006,16:429-451.
[6] BÖmer.A procedural formalism for quantum computing[D].Vienna:Technical Unive rsity of Vienna,1998.
[7] BÖmer.Structured quantum programming[D].Vienna:Technical University of Vienn a,2003.
[8] J W Sanders,P Zuliani.Quantum programming[A].Proceedings of Mathematics of Pro gram Construction 2000[C].German:Springer,2000.80-99.
[9] P Zuliani.Quantum programming[D].UK:Oxford University,2001.
[10] P Zuliani.Compiling quantum program[J].Acta Informatica,2005,41:435-474.
[11] P Zuliani.Quantum programming with mixed states[J].Electronic Notes in Theoret ical Computer Science,2007,170:185-199.
[12] P Selinger.Towards a quantum programming language[J].Mathematics Structures in Computer Science,2004,14(4):527-586.
[13] 李志强,陈汉武,徐宝文,肖芳英,薛希玲.四量子可逆逻辑电路快速综合算法[J].电子学报, 2008,36(11):2081-2089. LI Zhi-qiang,CHEN Han-wu,XU Bao-wen,XIAO Fang-ying,XUE Xi-ling.Fast algorit hms for 4-qubit reversible logic circuits synthesis[J].Acta Electronica Sinic a,2008,36(11):2081-2089.(in Chinese)
[14] 薛希玲,陈汉武,刘志昊,李志强.量子线路仿真的分治算法[J].电子学报,2010,38(2):339 -342. XUE Xi-ling,CHEN Han-wu,LIU Zhi-hao,LI Zhi-qiang.Divide and conquer algorith ms for quantum circuit simulation[J].Acta Electronica Sinica,2010,38(2):339-34 2.(in Chinese)
[15] 杨忠明,陈汉武,王冬.基于二分法量子可逆逻辑电路综合[J].电子学报,2012,40(5):1045 -1049. YANG Zhong-ming,CHEN Han-wu,WANG Dong.Qubits reversible logic circuits synthes is based on bisection method[J].Acta Electronica Sinica,2012,40(5):1045-1049.( in Chinese)
[16] M S Ying.Floyd-Hoare Logic for quantum programs[J].ACT Transactions on Progra mming Languages and Systems,2011,33(6):19-49.
[17] M S Ying,Y Feng.Quantum loop programs[J].Acta Informatica,2010,47(4):221-250.
[18] M S Ying,N K Yu,Y Feng,R Y Duan.Verification of quantum programs[DB/OL].http:/ /arxiv.org/abs/Quant-ph/1106.4063v1,2011.
[19] 李小鹏.广义量子loop程序[D].西安:陕西师范大学,2011. X P Li.General quantum loop program[D].Xi'an:Shaanxi Normal University,2011.
[20] Y J Li,N K Yu,M S Ying.Termination of nodeterministic quantum programs[DB/OL]. http://arxiv.org/abs/Quant-ph/ 1201.0891v1,2012.
[21] N K Yu,M S Ying.Reachability and termination analysis of concurrent quantum prog rams[DB/OL].http://arxiv.org/abs/ Quant-ph/1206.1935v1,2012.
[22] M S Ying,N K Yu,Y Feng.Defining quantum control flow[DB/OL].http://arxiv.org/a bs/Quant-ph/1209.4379v1,2012.

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

Some Properties of Generalized Quantum Loop Program

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 3

编辑推荐

Metrics

[1]	陆戴, 王文杰, 王庆珍, 于平平, 姜岩峰. 1200V场终止型绝缘栅双极晶体管的ADE物理建模及参数提取[J]. 电子学报, 2019, 47(2): 434-439.
[2]	吴昭军, 张立民, 钟兆根, 刘杰. 基于离散PSO算法的RSC码识别[J]. 电子学报, 2018, 46(7): 1644-1651.
[3]	林运国, 雷红轩, 李永明. 量子马尔可夫链安全性模型检测[J]. 电子学报, 2014, 42(11): 2191-2197.