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

• 学术论文 • 上一篇    下一篇

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

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

  1. 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-xuan1,2, XI Zheng-jun1, LI Yong-ming1   

  1. 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)

摘要: 本文首先就广义量子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

中图分类号: