量子逻辑的光学模拟.doc

量子逻辑的光学模拟 N. J. Cerf (, C. Adami ((, and P. G. Kwiat ( (W. K. Kellogg Radiation Laboratory and (Computation and Neural Systems California Institute of Technology, Pasadena, California 91125 (Physics Division, P-23, Los Alamos National Laboratory, Los Alamos,New Mexico 87545 (March 1997) 摘要： 一种通过使用线性光学设备来模拟小规模量子电路的系统化方法已经被提出。这种方法依赖于以单个光子来表示几种量子比特以及通过使用简单的光学组件（例如分光镜、移相器）来实现通用的量子门电路。这表明在当今的量子光学方面的技术下，量子网络的光学实现是合理的，并且它在测试量子算法以及误差修正方案等方面也有用武之地。量子隐形传态的光学电路就是一个例子。 量子计算是将一个特定的幺正变换作用在一组量子比特上的方法，这种方法的结果就给出了量子计算的结果。这个幺正变换可以由一个有限数的2×2幺正矩阵构成；具体到光学实现上，这个2×2的幺正矩阵就相当于一个由一位和两位的量子逻辑门构成的量子电路（【1】【2】）。普遍的，我们可以通过一位和两位量子门来实现任意的量子计算，这种普遍性已经获得证明（【2】【3】）。最近又证明任意的N×N幺正矩阵都可以被光学实现（【4】），这其中包括著名的U（2）矩阵的实现即通过无损耗的分束器和移相器（【5】）。具体的，U（N）中的每一个元素都由复杂度为O（N^2)的分束器数组组成；这些分束器构成了有N个输出以及N个输入光线的光学多重端口。本文的侧重点在于通过使用简单的线性光学组件来模拟普遍的量子逻辑门，同时提出一个系统的方法来集合这些光学模拟的量子逻辑门来构建简单的量子逻辑电路。 接下来我们要讨论的是量子网络与线性光学设置之间的联系，我们以3位的量子计算为例。如何获得这种联系呢？我们会先介绍一种可以表征多种量子比特的单个光子，然后构建传统的线性光学器件（分束器和移相器）和一比特量子逻辑门之间的等效性（【6】）。比如，在量子电路术语里面，如果我们使用│01（│10）态代表比特里面的0（1），一个光学对称分束器就相当于量子领域里的非门。如果两个输入端分别是真空态│0和单光子态│1，那么输出端就是叠加态│0+i×│1.类似的，量子相位门可以通过使用一个移相器作用在某一种模式上的光子来获得。换句话说，单光子的干涉实验可以用量子电路的语言来解释，即“可能路径”的数目可以由量子比特来代替。尽管在参考文献【4】里面暗含了对任意量子电路的光学实现的存在性的证明，但是量子逻辑和单光子的光学实验之间这种简单的对偶性还没有得到充分利用。在这里，我们要用到这样一个事实，如果单个光子的干涉测量项设置为本质上包含2^n个路径，那么它可以表征n位量子字节；这样一来，特定条件的动力学过程可以很容易通过使用不同路径下的不同光学器件来实现。适当的串联分束器和其他光学设备使模拟一位和两位比特的量子门组成的网络成为可能，（见图1）从而大体上得出了n位比特的量子计算。 图1 基本的量子逻辑门光学模拟的例子 )阿达马门-特定位置的量子比特 利用一个对称且无损耗的分束器 ）可控非门 利用一个偏振旋转器 ）同b也是可控非门 但是通过使用偏振分束器对控制与目标量子比特进行了互换 这和传统的量子逻辑光学模型不同，那是利用n个光子借助非线性光学设备相互作用而表征n位量子比特（【6】）。这些模型运用了很典型的非线性克尔效应来产生一个强度相关的相位变换，这样一来，在某一路径上出现的光子就可以导致另外一个光子的相位发生变化（参考文献【7】里的文章 the optical realization of a Fredkin gate）。相反，这里提出的模型产生了一种直接将n位的量子电路转化为单个光子的光学设置情况的方法，只要在n不是很大的情况下这一方法都适用。这一方法的代价就是光学路径的指数增加，相应的导致所需要的光学设备也指数增加。这将很有可能限制这项技术在简单电路模拟上的适用性。举个例子来说，隐形传输的量子电路可能需要用到9个分束器来进行光学模拟（3量子比特，8个量子门）（见参考【8】）。 首先，我们举一个关于基本量子门光学模拟的例子，即利用马赫策德尔干涉仪的单光子实验（见图1）。一个量子比特就包含在和量子电路有关的干涉仪的描述里，相应的某一位置比特包含了光子的路径信息。我们将分束器的两个入射光的模式分别定义为│0态和│1态而不是将他们看成普遍意义上的粒子数表象。（模式