本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时,对它的终止(几乎终止)问题进行了研究.其次,讨论了两类GQkoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQkoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后,当开放量子系统与其环境在酉运算下做为loop程序的主体时,讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程.
In this paper, the termination(almost termination)of generalized quantum loop program(for short GQLoop )is first- ly investigated, where the loop bodies of GQLoop are described by bit flip channel,depolarizing channel,amplitude damping channel and phase damping channel, respectively. Secondly, when the loop bodies are the embedding of two kinds of GQLoop, the conditions of the termination( almost termination)of GQLoop are addressed. It shows that the conditions of the termination(almost termination) of GQLoop depend on the parameters occuring in the quantum channels. Finally, when the loop bodies are an unitary operation on the principle system and the environment under the open quantum system, after implementing unitary operation, the computed pro- cessing of the quantum program is discussed by performing a partial trace over the environment.