Some Properties of Generalized Quantum Loop Program

LEI Hong-xuan; XI Zheng-jun; LI Yong-ming

doi:10.3969/j.issn.0372-2112.2013.04.017

您当前的位置：

首页 >

文章列表页 >

Some Properties of Generalized Quantum Loop Program

更新时间：2025-07-16

- Some Properties of Generalized Quantum Loop Program
- Acta Electronica Sinica Vol. 41, Issue 4, Pages: 727-732(2013)
- 作者机构：
  
  1. 陕西师范大学计算机科学学院,陕西,西安,710062
  2. 内江师范学院数学与信息科学学院,四川,内江,641112
  3. 陕西师范大学计算机科学学院陕西西安,710062
  4. 内江师范学院数学与信息科学学院四川内江,641112
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.11271237, No.61228305)
- DOI：10.3969/j.issn.0372-2112.2013.04.017
  CLC： TP301.6
- Published：2013
- 稿件说明：
移动端阅览
LEI Hong-xuan, XI Zheng-jun, LI Yong-ming. Some Properties of Generalized Quantum Loop Program[J]. Acta Electronica Sinica, 2013, 41(4): 727-732.
DOI：

LEI Hong-xuan, XI Zheng-jun, LI Yong-ming. Some Properties of Generalized Quantum Loop Program[J]. Acta Electronica Sinica, 2013, 41(4): 727-732. DOI： 10.3969/j.issn.0372-2112.2013.04.017.

摘要

本文首先就广义量子loop程序(简记为GQLoop)的主体由比特翻转、去极化、幅值阻尼、相位阻尼等信道描述时

对它的终止(几乎终止)问题进行了研究.其次

讨论了两类GQLoop程序相互嵌套时loop程序的终止(几乎终止)的问题.研究表明:以量子运算的嵌套为主体的GQLoop程序终止(几乎终止)的条件依赖于刻画量子信道的参数.最后

当开放量子系统与其环境在酉运算下做为loop程序的主体时

讨论了在酉运算后去掉环境时的主系统上量子程序的执行过程.

Abstract

In this paper

the termination(almost termination)of generalized quantum loop program(for short GQLoop)is firstly 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 processing of the quantum program is discussed by performing a partial trace over the environment.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Model Checking of Safety Property over Quantum Markov Chain

Related Author

LIN Yun-guo

LEI Hong-xuan

Related Institution

College of Computer and Information Sciences, Fujian Agriculture and Forestry University

School of Computer Science Shaanxi Normal University Xi'an Shaanxi China

College of Computer and Information Sciences Fujian Agriculture and Forestry University Fuzhou Fujian China

School of Mathematics and Information Science Neijiang Normal University Neijiang Sichuan China

⁰