论文部分内容阅读
量子力学与计算机科学联合产生了一门新的交叉学科——量子计算与量子信息。因为在并行计算与量子模拟等方面,量子计算有着速度方面的巨大优势,所以量子计算具有非常诱人的应用前景。本文主要研究的是量子计算中的一类计算模型——基于测量的量子计算模型(MQC模型)。在MQC模型的运算过程中,通常先准备量子纠缠态,然后通过在选定的基上进行一系列的量子测量。测量过程中基的选择策略依据之前的测量结果和对运算效果的需求。两种主要的MQC模型分别是隐形传态量子计算模型(TQC模型)和单向量子计算模型(1WQC模型),TQC模型是利用量子隐形传态通过旋转Bell测量来实现量子计算,而1WQC模型的主要思想是通过在一种叫做Cluster态的纠缠态上作用单量子比特测量来实现量子计算。本文在前人的研究基础上,对TQC模型和1WQC模型进行了进一步的研究。给出了TQC模型和1WQC模型之间的异同点和联系,并用TQC模型和1WQC模型实现了通用的量子计算。主要的研究内容及成果如下:对于TQC模型,本文在给出实现通用单量子门的基础上,也提出了实现连续的单量子比特门的测量策略,并进行了详细的证明。本文还对TQC模型中Bell测量进行了拓展,并分析得出了拓展的Bell测量具有量子加密的功能。对于1WQC模型,本文首先给出了前人使用5量子比特和4次单量子比特测量实现通用单量子比特门的方法,并在此基础上进行研究分析,然后提出了一种4量子比特和3次单量子比特测量得到通用的单量子比特门的方法。同时本文也考虑了在1WQC模型中9)个单量子门串联的情况,并运用39)+1个量子比特和39)次单量子比特测量来实现连续的9)个量子门,以定理形式给出了测量策略和附加的Pauli矩阵,并用数学归纳法进行了详细的证明。本文还讨论了更加一般的纠缠情况,通过分析得知由于CZ门特有的对称性和厄米性质,使得1WQC模型中使用CZ门来使相邻的量子比特产生纠缠的必要性。最后本文还通过研究Shor算法和Grover算法,进一步给出了基于测量的Shor算法和Grover算法的实现。