基于文献[18]提出的量子程序验证方法,讨论了单量子比特系统上比特翻转、去极化、幅值阻尼、相位阻尼等信道刻画的量子程序的验证,通过选取不同的可观测算子对程序终止的情况进行了详细的讨论.研究表明,由这些量子信道所描述的量子程序的终止情况不仅依赖于输入态的选取,还依赖于可观测算子的选取.%Using the verification method for quantum programs proposed in [18],the verification of quantum programs on the single qubit system described by bit flip channel, depolarizing channel, amplitude damping channel and phase damping channel was investigated,and the termination conditions of a quantum program were discussed in detail by selecting the different observable operators. It shows that the termination conditions of the quantum program described by quantum channel not only depends on the selection of input state, but also depends on the selection of observable operators.
展开▼