量子计算机介绍(PPT)

, , , , , ,*, , , , , , ,*,量子计算机介绍,量子计算机是一类遵循量子力学规律进行高速数学和逻辑运算、储存及处理量子信息的物理装置。当某个装置处理和计算的是量子信息，运行的是量子算法时，它就是量子计算机。,量子计算机是基于量子比特，即,q-bit,为存储单元的,什么是量子计算机,从薛定谔猫谈起,薛定谔设想在一个封闭盒子里面有个放射源，它在每一秒时间内以,1,2,几率放射出一个粒子。按照量子力学的叠加性原理，一秒钟后体系处于无粒子态和一个粒子态的等几率幅叠加态。一旦粒子发射出来，它将通过一个传动机构将毒药瓶打开，毒气释放后会使盒子里面的猫立刻死亡。当然，如果无粒子的发射，这一切均不会发生，猫仍然活着,.,现在要问：一秒钟后盒子里的猫是死还是活？既然放射性粒子是处于和,1,的叠加态，那么这只猫理应处于死猫和活猫的叠加态。这是常理无法理解的,量子理论认为：如果没有揭开盖子，进行观察，我们永远也不知道雌猫是死是活，她将永远到处于半死不活的叠加态。这与我们的日常经验严重相违，要么死，要么活，怎么可能不死不活，半死半活？,然而,自然界是否确实按照量子理论的规律运行,?,量子力学的解释是否站得住脚,自,20,世纪,20,年代量子力学建立以来一直是颇有争议的。以爱因斯坦为代表的一批科学家始终认定量子力学不是完备的理论,而以玻尔为代表的哥本哈根学派则坚信量子理论的正确性。,爱因斯坦等人构思了一个由两个粒子组成的一维系统相互远离的思想实验,用反证法对量子力学的完备性提出质疑。,从,EPR,谈起,设由粒子,1,和粒子,2,组成的一维系统,对于共轭的力学变量,x1,和,p1, x2,和,p 2,根据不确定关系有,:,对于这四个变量,可以用,x1+ x2, p1+ p 2, x1- x2, p1 - p 2,来代替,其中两对共轭力学量,有,:,由于,(x1- x2),和,(p 1+ p 2),不是一对共轭的力学量,不受不确定关系的限制,它们可以有共同的本征态,可以同时准确测量。由此我们可以制备一个量子态使得,x1- x2,的本征值为,a, p1+ p 2,的本征值为,0,设想距离,a,非常之大,如粒子,1,在北京,粒子,2,在纽约,或者更远,可以认为对粒子,1,进行任何物理操作,不会立即对粒子,2,产生干扰。,那么如果在北京测量粒子,1,的位置为,x,就意味着粒子,2,的位置为,x- a,如果在北京测得粒子,1,的动量为,p ,就意味着粒子,2,的动量为,- p,。由对粒子,1,的测量而推知的粒子,2,的,x2,和,p2,是不对粒子,2,作任何干扰而获得的值。,爱因斯坦等人由此得出结论,:,与粒子,2,的,x2,和,p 2,相对应,存在两个独立的物理实在要素。但是量子力学理论的不确定关系,不能对,x1,和,p1,同时进行精确的测量,则在测量,x1,的同时,我们连,p 2,也不能精确测量了,而,x2,和,p2,不能同时确定,也就不可能具有与之相对应的两个独立的物理实在元素,只能有一个物理实在的元素。因此显然存在两个结论二者必居其一,: (1),存在着即时的超距作用,在测量粒子,1,的位置的同时,立即干扰了粒子,2,的动量,; (2) x2,和,p2,本来同时是有精确值的,只是量子力学的描述不完备。,量子力学,?,玻尔则持完全相反的看法,他认为粒子,1,和,2,之间存在着量子关联,不管它们在空间上分得多开,对其中一个粒子实行局域操作,(,如上述的测量,) ,必然会立刻导致另一个粒子状态的改变,这是量子力学的非局域性。,量子力学是完备的,!,EPR,论文发表后的两个月,玻尔在同一年的,物理评,论,中,以相同题目,能认为量子力学对物理实在的述是完备的吗,?,做了回答。玻尔正是针对这个前提进行反驳。他指出,:“,对粒子,1,的测量正是影响了对确定体系未来状态所作出的预言类型的条件。”这句话意味着,:,对粒子,1,作,x1,的测量,就确定下来对粒子,2,未来状态作出预言的类型,该状态为,x2,而不能为,p2,由于,x2,和,p 2,是不能同时确定的,因此只能确切预言这对共轭变量中的一个,当然不存在量子力学描述不完备的问题。,玻尔与爱因,斯坦在争论,玻尔指出,:,如果两个子系统,A,和,B,形成一个总体系,这个总体系是由它的波函数来描述的,那就没有理由说,分别加以考查的子系统,A,和,B,是什么互不相干的独立存在,(,实在的状态,),即使这两个子系统在被考查的特定时间在空间上是彼此分隔开的也不行。因此,认为在后一种情况下,B,的实在状况不会受到任何对,A,进行量度的,(,直接,),影响,这种论断在量子理论的框架里是没有根据的,而且,(,正如这个佯谬所表明的,),是不能接受的。,玻尔与海森伯在讨论,玻姆,(D. Bohm ),也是主张量子力学只给微观客体以统计性描述是不完备的。,1953,年他提出,有必要引入一附加变量对微观客体作进一步的描述。这就是隐变量,(h iddenvariable),理论。,1965,年,贝尔,(J. Bell),在局域隐变量理论的基础上推导出一个不等式,人称,Bell,不等式,并发现此式与量子力学的预言是不符的,因而我们有可能通过对此式的实验检验,来判断哥本哈根学派对量子力学的解释是否正确,.,为物理学界所普遍认同的第一个最具说服力的检验,Bell,不等式的实验是法国巴黎大学的,Aspect,和他的助手在,1982,年做出的,实验构思十分精巧,以理想的实验方案测量了钙原子级联辐射光子对的线偏振关联,达到从未有过的高精度,他们的实验不仅用静态装置实现了,EPR,和玻姆的思想实验,而且用动态装置实现了对爱因斯坦“可分离性”即定域性原则的直接检验。实验结果与量子力学预言极为一致,显示,Bell,不等式被违背,从而推翻了决定论的局域隐变量理论,肯定爱因斯坦的观点是错误的。,Aspect,实验的装置如下,:,之后,随着量子光学的发展,有更多的实验支持了这个结论。,1997,年瑞士学者更直截了当地在,10,公里光纤中测量到作为,EPR,对的两个光子之间的量子关联。,因此,现在我们可得出结论,: ,量子力学是正确的,(,起码迄今完全与实验事实相自洽,);,非局域性是量子力学的基本性质。现在这种由爱因斯坦等人在其佯谬中首先揭示的量子关联效应常被称为,EPR,效应,它是非局域性的体现。,反对者真的失败了吗,?,经典计算机是怎样工作的？,经典计算机是用晶体管来记录信息的，一个个晶体管可以看成是一个个开关，每个开关只有开和关两种状态。我们把“开”的状态记为“,1”,，“关”的状态记为“,0”,，这样，一个晶体管就记录了一个或为“,0”,或为“,1”,的信息，叫做一个比特（,bit,）的信息。此后通过编码（例如,ASCII,码）就可以将任何信息转化成由,0,和,1,排列的数字序列。利用晶体管的性质，计算机可以进行简单的逻辑运算，再配合完整的计算机语言，就可以完成数据的存储、读写、复制、计算等一系列操作。,这种用,0,和,1,两种符号构成的编码叫做二进制码。当然还可以采用更为复杂的编码方法。例如，生物的信息之源,DNA,就是采用四种基本碱基编码，从而构成了丰富多彩变化无穷的生物世界。,量子计算机是怎样工作的？,然而，量子计算机是建立在完全不同的存储元件上，它的逻辑运算和可以使用的算法都与现在的电子计算机存在观念上的不同。量子计算机的信息存储单位是量子比特（,qubit,），也叫量子位，可以用,原子基态,和,激发态,来表示。这里的,原子基态,和,激发态,可以是电子的上下两个自旋态、光子的两个偏振态，或者原子的两个超精细分裂能级等。与现代计算机的二进制不同的是，量子比特除了可以是,原子基态,和,激发态,，还可以处于“叠加态”。量子叠加态是一种很奇妙的状态，一个处于叠加态的量子比特可以既是,0,又是,1,（关于量子叠加态的奇妙性质属于基本量子力学的范畴，有兴趣的读者可以参看一些关于量子力学的科普读物）。具体的一个叠加态可以写成 其中,a,、,b,是满足 的复数。为了理解方便，可以直观的把叠加态想象成一个直角坐标系中的矢量，,a,、,b,分别是这个矢量在 和 两个轴上的投影值。这样一个量子比特就需要两个数据才能确定，而多个量子比特存储的数据量将远远大于同样数目的比特。,量子计算机概念的来源,量子计算机的概念源于对可逆计算机的研究，而研究可逆计算机是为了克服计算机中的能耗问题。早在六七十年代，人们就发现，能耗会导致计算机芯片的发热，影响芯片的集成度，从而限制了计算机的运行速度。,Landauer3,最早考虑了这个问题，他考察了能耗的来源，指出：能耗产生于计算过程中的不可逆操作。例如，对两比待的异或操作，因为只有一比特的输出，这一过程损失了一个自由度，因此是不可逆的，按照热力学，必然会产生一定的热量。但这种不可逆性是不是不可避免的呢？事实上，只要对异或门的操作如图,1,所示的简单改进，即保留一个无用的比特，该操作就变为可逆的。因此物理原理并没有限制能耗的下限，消除能耗的关键是将不可逆操作改造为可逆操作。,Bennett,后来更严格地考虑了此问题，并证明了，所有经典不可逆的计算机都可以改造为可逆计算机，而不影响其计算能力。,经典计算机的抽象数学模型,经典计算机实际上就是一个通用图灵机。通用图灵机是计算机的抽象数学模型，它由两部分构成：,1,具有无限多个存储单元的记录带，每个存储单元内容的变化是有限的，通常用二进制的“,O”,和“,1”,来表示；,2,一个具有有限内态的读写头，每步操作中读写头可以在记录带上左移或右移一格或不动。图灵机在操作中，读写头根据其内态和当前存储单元的内容，按既定的规则，改变其内态和存储单元的内容。并决定下一步读写头的移动方向。,上述图灵机的模型是不可逆的，例如，对如下图灵机操作“写存储单元,-,左移一格”，其逆就变成了“左移一格,-,写存储单元”，该逆操作不再是一个有效的图灵机操作。但,Bennett,证明了一个基本结果：对所有不可逆的通用图灵机，都可以找到一个对应的可逆图灵机，使得两者具有完全相同的计算能力和计算效率。,因为计算机中的每步操作都可以改造为可逆操作，在量子力学中，它就可以用一个么正变换来代表。,Benioff,最早用量子力学来描述可逆计算机。在量子可逆计算机中，比特的载体成为二能级的量子体系，体系处于,|0,和,|1,上，但不处于它们的叠加态。量子可逆计算机的研究，其核心任务为，对应于具体的计算，寻找合适的哈密顿量来描述。,量子计算机的构造及实验方案,正如经典计算机建立在通用图灵机基础之上，量子计算机亦可建立在量子图灵机基础上。量子图灵机可类比于经典计算机的概率运算。上面提到的通用图灵机的操作是完全确定性的，用,q,代表当前读写头的状态，,s,代表当前存储单元内容，,d,取值为,L,R,N,分别代表读写头左移、右移或不动，则在确定性算法中，当,q,s,给定时，下一步的状态,q,，,s,及读写头的运动,d,完全确定。我们也可以考虑概率算法，即当,q,s,给定时，图灵机以一定的概率 （,q,s,q,s,”,d,）变换到状态,q,s,及实行运动,d,。概率函数,(,q,s,q,s,d,）为取值,0,1,的实数，它完全决定了概率图灵机的性质。经典计算机理论证明，对解决某些问题，慨率算法比确定性算法更为有效。,量子图灵机非常类似于上面描述的经典概率图灵机，现在,q,s,q,s,相应地变成了量子态，而概率函数 （,q,s,q,s,d,）则变成了取值为复数的概率振幅函数,x,(,q,s,q,s,d,），量子图灵机的性质由概率振幅函数确定。正因为现在的运算结果不再按概率叠加，而是按概率振幅叠加，所以量子相干性在量子图灵机中起本质性的作用，这是实现量子并行计算的关键。,如何在物理上构造出量子计算机,量子计算机可以等效为一个量子图灵机。但量子图灵机是一个抽象的数学模型，如何在物理上构造出量子计算机呢？理论上已证明,9,，量子图灵机可以等价为一个量子逻辑电路，因此可以通过一些量子逻辑门的组合来构成量子计算机。量子逻辑门按其输入比特的个数可分为单比特、二比特、及三比特逻辑门等。,因为量子逻辑门是可逆的，所以其输入和输出比特数相等。量子逻辑门对输入比特进行一个确定的幺正变换，得到输出比特。,Deutsch10,最早考虑了用量子逻辑门来为造计算机的问题，他发现，几乎所有的三比特量子逻辑门都是通用逻辑门。通用逻辑门的含义是指，通过该逻辑门的级联，可以以任意精度逼近任何一个么正操作。后来不少人发展了,Deutsch,的结果，最后,Deutsch,和,Lloyd,各自独立地证明,11,，几乎所有的二比特量子逻辑门都是通用的，这里“几乎”是指，二比特通用量子逻辑门的集合是所有二比特逻辑门的集合的一个稠密子集。,实验上,用,具体的量子逻辑门来构造计算机,Barenco,等人,12,证明，一个二比特的异或门和对一比特进行任意操作的门可构成一个通用量子门集。相对来说，单比特逻辑门在实验上比较容易实现，现在的不少实验方案都集中干制造量子异或门。量子异或门和经典异或门非常类似，它有,2,个输入比待：控制比特和受控比特。当控制比特处于,|1,态，即在上能级时，受控比特态发生反转。用记号,C12,代表量子异或操作，其中,1,，,2,分别代表控制和受控比特，则有,其中,n,1,n,2,取值,0,或,1,， 表示模,2,加。已有的用来实现量子异或门的方案包括：利用原子和光腔的相互作用,13,；利用冷阱束缚离子,14,；或利用电子或核自旋共振,15,。在已实现的方案中，以冷阱束缚离子方案最为成功,量子存储器,我们把原子基态记为,|0,，把激发态记为,|1,从传统的电子信息的角度考虑，则一个粒子有,|0,和,|1,两个状态但是从量子理论出发，粒子除了处于以上两个状态外，还可以处于,|0,和,|1,的叠加态,|,=a|0+b|1,，其中,a,、,b,分别代表原子处于两种态的几率幅由此为基础的一个,q-bit,不仅可以表示单独的,|0,和,|1,，而且可以同时既表示,|0,，又表示,|1,直观的空间结构,于是，由三个比特构成的存储器可以像经典比特一样表示,000,001,010,011,100,101,110,111,这样八个二进制数,此外，若假设三个,q-bit,都是处于,(2),1/2,(|0+|1),态，则由此，该,q-bit,还可以有,|0|0|0+ |0|0|1+ |0|1|0+ |0|1|1+ |1|0|0+ |1|0|1+ |1|1|0+ |1|1|1,这样个状态的叠加也就是说，在某一时刻一个量子存储器可以表示,8,个数,推论结果,由上可知：,一个,q-bit,可以同时储存,0,和,1,两个数字，,三个,q-bit,可以同时储存,8,个数字，,个,q-bit,可以同时储存,2,N,个数字,则，一个,250,量子比特的存储器可存储的数达,2,250,比现有已知的宇宙中全部原子数目还要多。,集成了,16,个量子比特的计算机,量子信息的运算,量子算法,下来我们看看量子计算机如何对这些态进行运算。假设现在我们想求一个函数,f(n),，,(n,07),的值，采用经典计算的办法至少需要下面的步骤：存储器清零赋值运算保存结果再赋值运算再保存结果,对每一个,n,都必须经过存储器的赋值和函数,f(n),的运算等步骤，而且至少需要,8,个存储器来保存结果。如果是用量子计算机来做这个题目则在原理上要简洁的多，只需用,3,个量子存储器，把各,q-bit,制备到,( |0+ |1) / (2),态上就一次性完成了对,8,个数的赋值，此时存储器成为态,|,，然后对其进行相应的幺正变换以完成函数,f(n),的功能，变换后的存储器内就保存了所需的,8,个结果。这种能同时对多个态进行操纵，所谓“量子并行计算”的性质正是量子计算机巨大威力的奥秘所在。,量子存储器与传统存储器,量子,同时存储,2N,个数字,同时赋值,2N,个数字,同时对状态操纵,2N,个数字,函数计算通过幺正变换,对,1000,位的大数进行因数分解需几分之一秒,传统,同时存储,2N,个数字,同时赋值,2N,个数字,同时对状态操纵,2N,个数字,函数计算通过经典循环方法,对,1000,位的大数进行因数分解需,1025,年,量子计算机研究进展,量子算法,S.Hor,于,1994,年发现第一个量子算法，它可以有效地用来进行大数因子分解,Grover,于,1997,年发现了量子搜寻算法它适用于解决从,N,个未分类的客体中寻找出某个特定的客体。经典算法只能是一个接一个地搜寻，直到找到所要的客体为止，这种算法平均地讲要寻找,N/2,次，成功几率为,1/2,而采用,Grover,的量子算法需要的时间是以,1/k,幂次递减的,2000,年,8,月,15,日,IBM,公司宣布做出了,5,个原子做处理器和存储器的实验性量子计算机，这预示着在不远的将来实用性的量子计算机将可能走进我们的生活舞台。,2004,年,9,月,NTT,物性科学基础研究所试制出最有希望成为量子计算机基本组件的“超导磁束量子位”,在通过微波照射大幅度提高比特控制自由度的同时,组件的工作频率也成功地提高到了原来的,10,倍,100,倍。与其它基本单元相比,超导磁束量子位具有量子状态容易持续保持、易于集成等优势。这样一来,就有望实现利用多个组件同时处理多项信息的量子纠缠,进而实现构成与或等基本电路的控制非门。此次用于比特控制的是能量比光更低的微波,但仍能很好地控制能量跃迁的幅度,因此也为光控制的应用开辟了道路。即将光通信与此次开发的单元组合起来,如通过光纤网络就可以实现量子计算机间的协作。,在,2007,年,2,月,15,日加拿大公司,D-Wave Systems,揭开了“全球第一台商用实用型量子计算机”的神秘面纱，展示了这台新型计算机“,Orion”,如何运行商用程序，及其在解决特定问题上相比传统电子计算机的巨大优势。,承载,16,个量子位的硅芯片,硅芯片上,16,个量子位的光学照片,量子计算机的前景,量子计算机可以进行大数的因式分解和,Grover,搜索可以破译密码，同时也提供一一种新的保密方式,量子通信：将原物的信息分成经典信息和量子信息两部分，它们分别经由经典通道和量子通道传送给接收者,未来的计算机将是由光技术、分子技术、生物技术、量子技术等新技术综合运用而构成的这些技术将在如军事、金融各种领域，各尽其长,参考文献,1 S.Lloyd, Science 26l(1993), 1569; S.Lloyd, Science, 263(1994), 695.,2 D. DiVincenzo, Science, 270(1995), 255.,3 R.bouer, IBM J. Res. Dev.,5(1961), l83.,4 , IBM J. Res. Dev.,6(1973),525.,5 P.Benioff, Phys. Rev. Lett., 48(1982), 1581.,6 , Int. J. Theor. Phys., 21(1982),467.,7 D.Deutsch, R. Jozsa, Proc. R. Soc. London A. 439(1992), 553.,8 , in Procedeeings of the 35th Annual Symposium of Foundation of Computer Science. (IEEE Computer Society, Los Alamitos, CA) l994, 124.,9 A.Yao, in Procedings of the 34th Annual Symposium of Foundation of Computer Science. (IEEE Computer Society, os Alamitos, CA), l993, 352.,l0 D.Deutsch, Proc. R. Soc. London A, 425(l989), 73.,ll D.Deutsch, Proc. R. Soc. London A, 449 (1995),669,;S.Lloyd,Phys. Rev. Lett., 75(1995), 346.,12 A.Barenco et al., Phys. Rev. Lett., 74(1995), 4083.,13 T. Pallizari et al., Phys. Rev. Lett., 75(1995), 3788.,14 J. Cirac, P. Zoller, Phys. Rev. Lett., 74(l995), 4091.,15 , I. L. Chuang, Science, 275 (1997),350.,16 C.Monroe et al., Phys. Rev. Lett., 75(1995),47l4.,17 S.Lloyd, Science, 273(1996), 1073.,18 , Phys. Rev. A, 51(l995), 992.,19 , Phys. Rev. A, 52(1995), 2493.,20 , , Nature, 299 (1982 ),802,21,量子力学,曾谨言 科学出版社,22,从电脑信息论到量子计算机信息论 王德奎刘月生,绵阳日报,23,量子计算机 武强,三思科学,2002,年第,6,期,24,TOM,新闻网,25,26,27,http:/,谢谢!,