Valid Verification of Termination for Some Quantum Programs
几种量子程序终止的有效验证

基于文献巨18口提出的量子程序验证方法，讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等 信道刻画的量子程序的验证，通过选取不同的可观测算子对程序终止的情况进行了详细的讨论。研究表明，由这些量 子信道所描述的量子程序的终止情况不仅依赖于输入态的选取，还依赖于可观测算子的选取。