几种确定型量子程序的可达和终止验证

J4 ›› 2015, Vol. 37 ›› Issue (10): 1811-1916.

几种确定型量子程序的可达和终止验证

雷红轩1,2,傅丽3

(1.内江师范学院数学与信息科学学院,四川内江 641112;2.四川省高等学校数值仿真重点实验室,四川内江 641112;3.青海民族大学数学与统计学院,青海西宁 810007)

收稿日期:2015-07-28 修回日期:2015-09-16 出版日期:2015-10-25 发布日期:2015-10-25
基金资助:
四川省教育厅重点科研资助项目(14ZA0242);青海省自然科学基金资助项目(2013Z920);内江师范学院专业核心课程资助项目(hk07010201);教育部数学与应用数学专业综合改革资助项目(ZG0464);四川省数学与应用数学专业综合改革资助项目(01249)

Reachability and termination verification of some
deterministic quantum programs

LEI Hongxuan 1,2 ,FU Li3

(1.School of Mathematics and Information Science,Neijiang Normal University,Neijiang 641112;2.Key Laboratory of Numerical Simulation of Sichuan Province,Neijiang 641112;3.School of Mathematics and Statistics,Qinghai Nationalities University,Xining 810007,China)

Received:2015-07-28 Revised:2015-09-16 Online:2015-10-25 Published:2015-10-25

摘要/Abstract

摘要：

讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序—确定型量子程序,从计算基态运行时程序的可达集合和它们终止及发散的情况。研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系。

关键词: 非确定型量子程序, 确定型量子程序, 可达集合, 终止

Abstract:

In the single qubit system, the reachable set, the termination and the diverging conditions of deterministic quantum programs, which are a special kind of nondeterministic quantum programs, are investigated. They are described by bit flip channel, phase flip channel, depolarizing channel, amplitude damping channel and phase damping channel starting in computation basis states. The investigation shows that the termination and the diverging conditions of some quantum programs described by quantum channels starting in computation basis states relate closely with the parameters represented by quantum channels, while others do not.

Key words: nondeterministic quantum programs;deterministic quantum program;reachable set;termination

雷红轩1,2,傅丽3. 几种确定型量子程序的可达和终止验证[J]. J4, 2015, 37(10): 1811-1916.

LEI Hongxuan 1,2 ,FU Li3. Reachability and termination verification of some
deterministic quantum programs [J]. J4, 2015, 37(10): 1811-1916.

[1]	熊中敏，赵梦露，黄冬梅. 基于增强条件公式的主动规则集可终止性判定[J]. J4, 2014, 36(01): 163-168.
[2]	陆惠玲,周涛 . 基于自依赖规则分析的主动规则终止性研究[J]. J4, 2013, 35(8): 135-143.