几种确定型量子程序的可达和终止验证
讨论了单量子比特空间中,比特翻转、相位翻转、去极化、幅值阻尼和相位阻尼等量子信道作为特殊的非确定型量子程序确定型量子程序,从计算基态运行时程序的可达集合及它们终止及发散的情况.研究表明:这些量子信道从计算基态运行时,有的量子程序的终止和发散与刻画量子信道的参数有紧密的联系,而有的量子程序的终止和发散与刻画量子信道的参数没有联系.
量子程序 可达验证 终止验证 参数测量
雷红轩 傅丽
内江师范学院数学与信息科学学院,四川内江641112;四川省高等学校数值仿真重点实验室,四川内江641112 青海民族大学数学与统计学院,青海西宁810007
国内会议
金华
中文
1-10
2015-10-30（万方平台首次上网日期，不代表论文的发表时间）