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

来源：计算机工程与科学杂志2015年第10期北京时间：

作者：雷红轩1,2,傅丽3

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

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

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

基金资助：四川省教育厅重点科研资助项目(14ZA0242);青海省自然科学基金资助项目(2013Z920);内江师范学院专业核心课程资助项目(hk07010201);教育部数学与应用数学专业综合改革资助项目(ZG0464);四川省数学与应用数学专业综合改革资助项目(01249)