劉彥江
(鄭州市實(shí)驗(yàn)高級(jí)中學(xué),河南 鄭州 450045)
和經(jīng)典世界的許多性質(zhì)不一樣,量子世界中有諸如量子態(tài)的疊加和糾纏,不可克隆原理,測(cè)量導(dǎo)致量子態(tài)的坍塌等獨(dú)特性質(zhì)。這些獨(dú)特的性質(zhì)允許我們做出一些只有在量子世界才能實(shí)現(xiàn)的事情。其中量子計(jì)算和量子信息是其中最重要的成果。經(jīng)典計(jì)算機(jī)的計(jì)算能力正比于晶體管的數(shù)量和計(jì)算單元,但在量子計(jì)算機(jī)中,每增加一個(gè)量子計(jì)算比特,計(jì)算能力增加一倍,具有50個(gè)量子比特的量子計(jì)算機(jī)的計(jì)算能力將超越現(xiàn)有的任意一臺(tái)個(gè)人電腦。隨著量子計(jì)算的發(fā)展,目前基于各種數(shù)學(xué)復(fù)雜性的加密系統(tǒng)也受到了巨大挑戰(zhàn),為了應(yīng)對(duì)量子計(jì)算機(jī)的發(fā)展對(duì)目前保密系統(tǒng)的沖擊,人們提出了各種基于量子力學(xué)性質(zhì)保證安全性的量子保密通訊協(xié)議,這些協(xié)議是量子信息最主要的發(fā)展內(nèi)容。
1982年,費(fèi)曼首次提出或許在模擬量子力學(xué)系統(tǒng)這一方面,量子比經(jīng)典更有優(yōu)勢(shì)。1985年,D. Deutsch提出了量子通用邏輯門(mén)和量子電路模型,使量子計(jì)算具備了數(shù)學(xué)上的方便性。經(jīng)典比特0和1是經(jīng)典計(jì)算機(jī)中運(yùn)算的基本單元,且經(jīng)典比特只能在某一個(gè)時(shí)間處于0和1中的一個(gè)。但對(duì)于量子比特,若以代表比特0,代表比特1,量子比特可以處于疊加態(tài)。因?yàn)榀B加,量子計(jì)算機(jī)可一次性的計(jì)算這個(gè)狀態(tài)的所有結(jié)果。但是值得注意的是,由于測(cè)量會(huì)導(dǎo)致量子態(tài)的坍塌,雖然量子計(jì)算擁有如此巨大的隱形并行計(jì)算優(yōu)勢(shì),卻并不意味著我們可以讀取這個(gè)計(jì)算結(jié)果,一次計(jì)算只能得到一個(gè)結(jié)果。因此為了充分發(fā)揮量子計(jì)算的優(yōu)勢(shì),我們需要設(shè)計(jì)相應(yīng)的算法,將量子計(jì)算的這種隱形并行計(jì)算優(yōu)勢(shì)發(fā)揮出來(lái)。對(duì)量子比特進(jìn)行的操縱都可以視為對(duì)其采用了某種幺正變換,而這些幺正變換又都可以等價(jià)為由一些列量子邏輯門(mén)。D. Deutsch證明了如果我們有與、或、非三種量子邏輯門(mén),那么這些量子邏輯門(mén)可組成任何等價(jià)于經(jīng)典電路的量子電路,也就是量子電路可以完成任何一種經(jīng)典運(yùn)算。但并非所有的計(jì)算過(guò)程,量子計(jì)算都比經(jīng)典計(jì)算有優(yōu)勢(shì),比如普通的加減乘除運(yùn)算,量子計(jì)算機(jī)相對(duì)于經(jīng)典計(jì)算而言并沒(méi)有本質(zhì)差別。量子計(jì)算的優(yōu)勢(shì)只在某些問(wèn)題上有優(yōu)勢(shì)。
第一個(gè)被提出來(lái)的量子算法是Detusch算法,不久又出現(xiàn)了該算法的變種Detusch-Jozsa算法。該算法擬解決的問(wèn)題是Alice從中選取一系列的數(shù)據(jù)發(fā)送給Bob,通過(guò)Bob返回的計(jì)算結(jié)果判斷Bob端的計(jì)算函數(shù)是常數(shù)型(總是返回0或者返回1)還是平衡型(對(duì)于中一半的數(shù)返回0,另一半數(shù)返回1)。在最壞的情形下,確定性的經(jīng)典算法需要Alice向Bob發(fā)送個(gè)數(shù)據(jù)才能確定結(jié)果。在Detusch-Jozsa算法中,Alice向Bob發(fā)送量子態(tài),Bob利用量子計(jì)算機(jī)計(jì)算Alice發(fā)送的態(tài)經(jīng)量子電路計(jì)算后的結(jié)果,經(jīng)測(cè)量就可得到函數(shù)的函數(shù)類(lèi)型,也就是一次通訊即可完成。Detusch-Jozsa算法首次明確展示了量子計(jì)算的優(yōu)勢(shì),但是由于該問(wèn)題并沒(méi)有任何實(shí)際用處,因此該算法的科學(xué)性大于實(shí)用性。后來(lái)人們提出的具有實(shí)用性的算法主要分為2類(lèi),分別是質(zhì)因數(shù)分解類(lèi)算法和無(wú)序搜索類(lèi)算法,前者以Shor算法為代表,后者以Grover算法為代表,它們都是遠(yuǎn)快于經(jīng)典算法且具有實(shí)用性的量子算法。目前發(fā)展最好量子計(jì)算平臺(tái)有2類(lèi),它們的基礎(chǔ)分別是離子阱和超導(dǎo)量子電路。基于離子阱的量子計(jì)算的優(yōu)勢(shì)是系統(tǒng)干凈、測(cè)量精密,容易實(shí)現(xiàn)多體糾纏。同時(shí)缺點(diǎn)也很明顯,相互作用時(shí)間長(zhǎng)、實(shí)驗(yàn)手段復(fù)雜、難以集成。超導(dǎo)量子電路的最大優(yōu)勢(shì)是搭建一套人造的可在宏觀(guān)尺度上對(duì)光和‘原子’進(jìn)行控制和測(cè)量的系統(tǒng),參數(shù)可調(diào)、便于集成。
量子信息中發(fā)展最為成熟的內(nèi)容是量子直接通訊和量子密鑰分發(fā)。量子直接通訊中使用糾纏光子對(duì),通過(guò)將需要發(fā)送的信息加載到糾纏光子的其中一個(gè)光子上,進(jìn)而完成安全的通訊。量子密鑰分發(fā)利用單光子,可更安全的分發(fā)加密通訊所需的密鑰。量子直接通訊的協(xié)議中,兩個(gè)通信者假設(shè)分別是A和B,A首先制備大量處于態(tài)的糾纏光子對(duì),然后對(duì)每一對(duì)糾纏光子對(duì)做如下操作:將光子對(duì)分離,自己保留其中一個(gè),并將另外一個(gè)發(fā)送給B。操作完成后,A保留的光子組成一個(gè)光子序列,B收到的光子對(duì)組成相應(yīng)的光子序列。A和B隨機(jī)的抽取一些糾纏光子對(duì)做安全性檢驗(yàn),若安全性檢驗(yàn)通過(guò),則繼續(xù)進(jìn)行下一步的通訊,否則,放棄本次通訊過(guò)程。若已經(jīng)通過(guò)安全性檢驗(yàn),A根據(jù)需要傳遞的信息,每2位比特選擇4個(gè)幺正操作中的一個(gè),操作自己手中的光子,這4個(gè)幺正操作可將分別轉(zhuǎn)化為編碼操作,A將光子發(fā)送給B,B對(duì)光子對(duì)做聯(lián)合貝爾測(cè)量,一般的聯(lián)合貝爾測(cè)量只能辨別4個(gè)態(tài)中3個(gè),而有其中2個(gè)不能分辨,因此B不能完全還原A欲傳遞的信息,若要完全還原,B需要做完全貝爾測(cè)量,這一點(diǎn)在當(dāng)前實(shí)驗(yàn)條件下較難達(dá)到。在該過(guò)程中,由于任何單個(gè)光子均處于0和1的混合態(tài),因此單獨(dú)竊取Alice或者Bob的光子不能得到任何有效信息,從而保證了整個(gè)通訊過(guò)程的安全性。量子密鑰分發(fā)中最著名的協(xié)議是BB84協(xié)議。BB84協(xié)議中Alice隨機(jī)的從4個(gè)非正交量子態(tài)中選取一個(gè)發(fā)送給Bob,Bob對(duì)收到的光子做測(cè)量。發(fā)送、測(cè)量完一定數(shù)量的光子之后,Alice和Bob再經(jīng)過(guò)數(shù)據(jù)后處理過(guò)程如基矢比對(duì)、誤碼糾正、隱私放大等步驟,就可共享一串完全相同的密鑰。這個(gè)過(guò)程中由于隨機(jī)的選擇基矢,因此竊聽(tīng)者如果進(jìn)行一些竊聽(tīng)行為,那么一定會(huì)引起最終結(jié)果中的誤碼率異常,而通過(guò)后處理過(guò)程,可將竊聽(tīng)者可能竊聽(tīng)到的信息消除,從而保證密鑰分發(fā)過(guò)程的安全性。
量子計(jì)算在某些問(wèn)題如大數(shù)質(zhì)因子分解以及無(wú)序搜索等問(wèn)題上可以提供遠(yuǎn)快于經(jīng)典算法的量子算法,具有極大的優(yōu)勢(shì)。但量子計(jì)算的基本元素量子邏輯比特和量子邏輯門(mén),因物理實(shí)現(xiàn)極為困難,至今進(jìn)展緩慢,而且目前量子計(jì)算最大的問(wèn)題在于當(dāng)前量子計(jì)算系統(tǒng)的可擴(kuò)展性太差,增加一個(gè)量子比特會(huì)使實(shí)驗(yàn)難度成指數(shù)級(jí)增加,這是量子計(jì)算發(fā)展需要考慮的問(wèn)題。量子直接通訊中用到了糾纏光子對(duì),目前高效率的產(chǎn)生糾纏光子對(duì)尚未實(shí)現(xiàn),大大限制了量子直接通訊的應(yīng)用。量子密鑰分發(fā)具有理論無(wú)條件安全性,但在實(shí)際中這些假設(shè)不一定得到滿(mǎn)足,此時(shí)安全性就可能被破壞,這就需要進(jìn)一步研究以保證量子密鑰分發(fā)在現(xiàn)實(shí)條件下的安全性。