未初始化时序量子机的代数性质  

Algebraic Properties of Uninitialized Sequential Quantum Machines

作　　者：黄飞丹 谢正卫[2,3] 邓泽喜[2,4] 杨京开[2,5] 

机构地区：[1]贵州工程应用技术学院理学院,毕节551700 [2]中山大学数据科学与计算机学院,广州510006 [3]江苏理工学院数理学院,常州213001 [4]广西混杂计算与集成电路设计分析重点实验室,南宁530006 [5]玉林师范学院数学与统计学院,玉林537000

出　　处：《工程数学学报》2017年第3期262-282,共21页Chinese Journal of Engineering Mathematics

基　　金：国家自然科学基金(61472452;61602532);贵州省科技合作计划项目(LH字[2016]7062);贵州省科技厅联合基金(J字LKB[2012]10;J字LKB[2012]17);广西自然科学基金(2014GXNSFBA118018);广西混杂计算与集成电路设计分析重点实验室开放基金(HCIC201404)~~

摘　　要：量子计算以其独有的内在可并行性和物理可实现性引起了人们的广泛关注.量子计算模型是量子计算领域最重要的问题之一.时序量子机和量子时序机是重要的量子计算模型,这两种计算模型本质上是等价的.本文利用代数的方法研究未初始化时序量子机的性质,这些性质为研究时序量子机提供了理论基础.首先,我们给出未初始化时序量子机同态的定义,得到了一些同态性质,并证明了同态定理;其次,我们研究未初始化时序量子机输入输出对的集合上的同余性质,以及未初始化时序量子机矩阵代数的性质,给出了可交换未初始化时序量子机的定义,并对可交换未初始化时序量子机的性质进行了讨论;最后,我们探讨未初始化时序量子机的等价性,讨论了一个可交换未初始化时序量子机的两个初始向量的等价性,所得结果改进了已有的一些结论.Quantum computing has attracted extensive attention due to its intrinsic parallel computation and physical realization. Quantum computing model is one of the most impor- tant problems in the field of quantum computing. Sequential quantum machine and quantum sequential machine are two important quantum computing models, and they are essentially equivalent. In this paper, we study the properties of uninitialized sequential quantum machine by utilizing algebraic methods, which provide a theoretical basis for the study of sequential quantum machine. Firstly, we introduce the definition of homomorphism of uninitialized sequ- ential quantum machines. Some homomorphic properties of uninitialized sequential quantum machines are obtained, and the homomorphism theorem of uninitialized sequential quantum machines is proved. Secondly, we study the congruence properties on the set of input-output pairs of uninitialized sequential quantum machine and the matrix algebra properties of uninitialized sequential quantum machines. Moreover, a commutative uninitialized sequential quantum machine is defined, and its properties are discussed. Finally, the equivalence of uninitialized sequential quantum machines is established, and the equivalence of two initial vectors of a com- mutative uninitialized sequential quantum machine is discussed. The obtained results improve some existing results.

关 键 词：时序量子机 量子时序机 同态 同余 等价 交换性 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]