從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

巫盼 9年前 (2016-09-21)

本文是 Digital Trends 十周年慶 DT10 的系列文章的一篇,這個(gè)系列文章將描寫過(guò)去十年的科學(xué)技術(shù)對(duì)我們生活的改變以及展望。

【編者按】本文轉(zhuǎn)載自機(jī)器之心,來(lái)源:Digital Trends,譯者:吳攀、李亞洲、杜夏德

本文是 Digital Trends 十周年慶 DT10 的系列文章的一篇,這個(gè)系列文章將描寫過(guò)去十年的科學(xué)技術(shù)對(duì)我們生活的改變以及展望未來(lái)十年我們或?qū)?shí)現(xiàn)的技術(shù)。其涵蓋的領(lǐng)域包括了以及將包括人工智能、醫(yī)藥、太空旅行、社會(huì)結(jié)構(gòu)、可穿戴、人機(jī)結(jié)構(gòu)、虛擬現(xiàn)實(shí)、生物科技、語(yǔ)言等許多方面,其中本文關(guān)注的量子計(jì)算。

Winfried Hensinger 喜歡《星際迷航》。“那是從我讀小學(xué)開始的,”位于英格蘭的蘇塞克斯(Sussex)量子技術(shù)中心的這位主管說(shuō)道”,“我想要成為企業(yè)號(hào)上的科學(xué)官,所以在我上五年級(jí)的時(shí)候我就決定要學(xué)習(xí)物理學(xué)了。”

而今天,他在量子力學(xué)的抽象概念上的日常工作甚至足以讓史波克豎起耳朵。

“(量子計(jì)算)對(duì)年輕人有很大的吸引力,”Hensinger 說(shuō),“因?yàn)樗旧暇褪强茖W(xué)幻想。”當(dāng)他剛開始涉足這一領(lǐng)域時(shí),它還主要局限在理論研究階段。而今天,最有前景的項(xiàng)目已經(jīng)進(jìn)入到了生產(chǎn)通用量子計(jì)算機(jī)的領(lǐng)域內(nèi)——這種計(jì)算機(jī)在幾年前還和《星際迷航》一樣科幻。

“在計(jì)算機(jī)出現(xiàn)之前,我不得不學(xué)習(xí)在打字機(jī)上打字,”ensinger 笑著說(shuō),“當(dāng)計(jì)算機(jī)出現(xiàn)后,生活真正發(fā)生了改變。而量子計(jì)算將會(huì)是一個(gè)類似的革命。當(dāng)這個(gè)革命到來(lái)時(shí),專注的科學(xué)家、數(shù)學(xué)家和工程師已經(jīng)為此工作了數(shù)十年。但這到底是什么呢?啊,這里有一個(gè)故事。”

我們現(xiàn)在可以看到很多組織都在競(jìng)相實(shí)現(xiàn)世界第一臺(tái)大型的通用量子計(jì)算機(jī)。

時(shí)代周刊在其 2014 年的封面故事《The Infinity Machine》中對(duì)量子計(jì)算進(jìn)行了美麗的描繪:它有望解決人類一些最復(fù)雜的問(wèn)題。它得到了亞馬遜創(chuàng)始人兼 CEO Jeff Bezos、NASA 和 CIA 的支持。每一臺(tái)造價(jià)10,000,000 美元并且在零下 459 度下運(yùn)行。而且沒(méi)人知道它究竟是怎樣工作的。

隨著量子計(jì)算機(jī)從理論走向現(xiàn)實(shí),其相關(guān)的領(lǐng)域也即將迎來(lái)爆發(fā)。我們將看到一些之前從未有人預(yù)想過(guò)的應(yīng)用出現(xiàn):從只有專家理解的科學(xué)實(shí)驗(yàn)進(jìn)展到這項(xiàng)技術(shù)的怪異和奇妙的應(yīng)用方式,它將超乎所有人的想象力。

而這一切都要?dú)w功于一只非常著名的貓。

量子的科學(xué)

想想這個(gè):你正用來(lái)閱讀這篇文章的設(shè)備將信息存儲(chǔ)成了二進(jìn)制數(shù)字的形式,其被稱為比特(或位,bit),每一個(gè)比特的值要么是 1,要么就是 0。一個(gè)標(biāo)準(zhǔn)的拉丁字母字符由 8 個(gè)比特構(gòu)成,其也被稱為字節(jié)(byte)。帶有 8 個(gè)比特(每一個(gè)是 1 或 0)的字節(jié)可以整體用來(lái)指代任何字母數(shù)字符號(hào)。事實(shí)上,計(jì)算機(jī)所處理的一切,不管多么復(fù)雜,都可以對(duì)應(yīng)成相應(yīng)的比特串。

而量子計(jì)算機(jī)所處理的信息則是以量子位(qubit,也稱量子比特)的形式存儲(chǔ)的。一個(gè)量子位可以是 1 或 0 或這兩個(gè)狀態(tài)的任何量子疊加。這就有點(diǎn)復(fù)雜了。

量子疊加(quantum superposition)是科學(xué)家搏斗了幾十年的“量子怪誕性(quantum weirdness)”中的一個(gè)例子。簡(jiǎn)單來(lái)說(shuō),它的意思是一個(gè)量子物體在其被觀測(cè)之前可以同時(shí)占據(jù)不止一個(gè)狀態(tài)——就像“薛定諤的貓”這個(gè)著名的思想實(shí)驗(yàn)所指出的那樣。

量子計(jì)算機(jī)并不使用晶體管來(lái)追蹤二進(jìn)制數(shù)據(jù)值,而是使用的量子物體。這也導(dǎo)致量子計(jì)算機(jī)的計(jì)算能力可以輕松超越傳統(tǒng)計(jì)算機(jī)。任何給定的量子值集合都可以表示比傳統(tǒng)的二進(jìn)制數(shù)據(jù)遠(yuǎn)遠(yuǎn)更多的數(shù)據(jù),因?yàn)樗恍枰獙?shù)據(jù)表示成 0 和 1 構(gòu)成的數(shù)據(jù)串。

至少在理論上是這樣。盡管研究者在量子計(jì)算機(jī)可能的工作方式上已經(jīng)達(dá)成了一致,但事實(shí)證明制造有效的硬件仍然令人難以置信地艱難,這方面也出現(xiàn)了很多分歧。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

IBM 使用格型架構(gòu)(lattice architecture)的 5 量子位處理器,其可以擴(kuò)展成更大更強(qiáng)的量子計(jì)算機(jī)

現(xiàn)在,研究者已經(jīng)能夠造出使用了少量量子位的系統(tǒng)了。這些計(jì)算機(jī)可以很好地用來(lái)測(cè)試硬件配置,甚至運(yùn)行算法,但正如時(shí)代周刊所指出的那樣:它們貴得逆天(ungodly),而且只是研究者設(shè)想的最基本的版本。只有當(dāng)數(shù)百個(gè)、數(shù)千個(gè)量子位可以共存時(shí),量子系統(tǒng)才能實(shí)現(xiàn)其真正的潛力。

現(xiàn)在大家都在競(jìng)相實(shí)現(xiàn)世界上第一臺(tái)大尺度通用量子計(jì)算機(jī)。這方面有兩個(gè)強(qiáng)大的但不同的競(jìng)爭(zhēng)者,目前還不清楚其中哪種想法會(huì)首先成為現(xiàn)實(shí)。

從理論到實(shí)踐

當(dāng)被問(wèn)到量子計(jì)算的改變時(shí),Hensinger 說(shuō):“這曾經(jīng)是一個(gè)物理問(wèn)題。而現(xiàn)在,它是一個(gè)工程問(wèn)題。”盡管在量子計(jì)算機(jī)的可能工作方式上,我們已經(jīng)有了清楚的理論理解。但要把它造出來(lái)卻不是一件簡(jiǎn)單的事。

困難是多方面的,而且研究者在量子計(jì)算的基礎(chǔ)應(yīng)該是怎樣上還沒(méi)有達(dá)成一致。但是,這方面目前有兩種并列的可能性。

一被稱為“超導(dǎo)量子位(superconducting qubits)”。這種實(shí)現(xiàn)方式依賴于超冷的電路,而且當(dāng)芯片實(shí)現(xiàn)更大規(guī)模的生產(chǎn)時(shí)可以提供制造優(yōu)勢(shì)。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

被困于與中心的方形金芯片相隔 40 毫米遠(yuǎn)的 2 個(gè)鈹離子構(gòu)成了這個(gè)“囚禁離子”量子計(jì)算機(jī)的核心

另一種方法是“囚禁離子(trapped ions)”,這種方法對(duì)溫度等環(huán)境因素的要求較少,但卻存在其它挑戰(zhàn),比如控制真空內(nèi)許多單個(gè)的帶電原子。

“超導(dǎo)量子位和囚禁離子都是非常精華的方法,”Hensinger 說(shuō),“它們都是非常好的實(shí)現(xiàn),而且它們都能實(shí)現(xiàn)量子計(jì)算機(jī)。”他和他在蘇塞克斯大學(xué)的團(tuán)隊(duì)選擇了囚禁離子的方向——這是一個(gè)經(jīng)過(guò)了非常慎重的考慮的決定。

“我密切調(diào)查了所有不同的實(shí)現(xiàn)和它們的進(jìn)展,”Hensinger 解釋說(shuō),“我試圖了解它們的前景和它們的困難。”

他的調(diào)查表明囚禁離子的方法稍稍領(lǐng)先。囚禁離子與可能會(huì)摧毀量子效應(yīng)的環(huán)境噪聲很好地隔離,Hensinger 希望這個(gè)優(yōu)勢(shì)能讓這種技術(shù)更易于實(shí)現(xiàn),以及更易于被其他人理解。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

Winfried Hensinger(右側(cè))是位于英格蘭的蘇塞克斯量子技術(shù)中心的主管

由 Hensinger 及其蘇塞克斯的團(tuán)隊(duì)所發(fā)明的方法基于單獨(dú)受控的電壓,其被用于實(shí)現(xiàn)量子門(quantum gates),進(jìn)而構(gòu)成量子電路(quantum circuit)。這種方法和過(guò)去用囚禁離子實(shí)現(xiàn)量子門的方法(使用激光)有很大的差別,極大地簡(jiǎn)化了構(gòu)造大尺度量子計(jì)算機(jī)所需的工程。因此,這種方法仍然處在已經(jīng)經(jīng)過(guò)驗(yàn)證的方法的范圍內(nèi),是通過(guò)模仿已有幾十年歷史的傳統(tǒng)晶體管架構(gòu),而不是完全從頭開始。

“有了這個(gè)概念,打造量子計(jì)算機(jī)就變得簡(jiǎn)單多了,”Hensinger 說(shuō),“這也是我對(duì)囚禁離子非常樂(lè)觀的原因之一。”

蘇塞克斯量子技術(shù)中心的這個(gè)團(tuán)隊(duì)選擇囚禁離子還有另一個(gè)更為實(shí)際的原因:它可以在室溫下工作。而超導(dǎo)量子位不行。

另一條路徑

IBM 是在新興的量子計(jì)算機(jī)領(lǐng)域角逐的最大型的公司之一,而其公司的體量也為其提供了優(yōu)勢(shì)。首先也最重要的是資金問(wèn)題,對(duì)于一家價(jià)值上千億美元的公司來(lái)說(shuō),做成一件事會(huì)比一個(gè)資源有限的學(xué)術(shù)組織要容易得多。

但資金并不是 IBM 唯一的競(jìng)爭(zhēng)優(yōu)勢(shì)。在該公司存在的這 105 年中,許多偉大的頭腦都曾在這里留下過(guò)印記——而且在一些情況下,他們的專業(yè)知識(shí)仍在發(fā)揮效力。該公司的人才和資源的組合優(yōu)勢(shì)讓其選擇了超導(dǎo)量子位作為其研究的基礎(chǔ)。

IBM 的一個(gè)量子計(jì)算機(jī)的物理結(jié)構(gòu)由5個(gè)配置在印制電路板中的量子位處理器構(gòu)成。“它被安置在我們的稀釋制冷機(jī)(dilution refrigerators)的底部。”IBM 實(shí)驗(yàn)量子計(jì)算(Experimental Quantum Computing)團(tuán)隊(duì)經(jīng)理(Jerry Chow)說(shuō),“如果你看過(guò)它們的照片,你就知道它們看起來(lái)非常大,就像啤酒桶。”

在這個(gè)“大冰箱”中,控制線將微波信號(hào)傳遞到芯片上,并且引導(dǎo)輸出信號(hào)穿過(guò)一系列放大器和無(wú)源微波器件。這些信息可以通過(guò)經(jīng)典計(jì)算機(jī)進(jìn)行解讀,從而讓該團(tuán)隊(duì)可以在冰箱之外讀取該系統(tǒng)的量子位狀態(tài)。

“我認(rèn)為超導(dǎo)量子位真的非常吸引人,因?yàn)樗鼈兪强梢晕⑿突圃斓模╩icro-fabricatable)。”

IBM 的這套包含冰箱和所有的配套電子器件的設(shè)備占據(jù)了超過(guò) 100 多平方英尺的空間。這就是該技術(shù)的缺點(diǎn)。它需要非常非常冷,而制冷設(shè)備不易小型化。

但既然可以選擇囚禁離子,為什么還要這么麻煩?

“IBM 選擇超導(dǎo)量子位的原因或多或少是因?yàn)闅v史的原因,”Chow 說(shuō),“我們有一個(gè)可以在使用約瑟夫森結(jié)(Josephson junction)的低溫經(jīng)典計(jì)算上工作的程序。”具備必需的專業(yè)知識(shí)的研究者的興趣還在繼續(xù),而當(dāng)用于量子計(jì)算的超導(dǎo)電路的思路出現(xiàn)時(shí),該公司之前在低溫研究上的成果就能幫助它旗開得勝。

原因還有更多。IBM 選擇的技術(shù)與其在計(jì)算機(jī)芯片開發(fā)上的專業(yè)知識(shí)非常吻合。“我認(rèn)為超導(dǎo)量子位真的非常吸引人,因?yàn)樗鼈兪强梢晕⑿突圃斓模╩icro-fabricatable)。”Chow 解釋說(shuō),“你可以在硅晶圓的計(jì)算機(jī)芯片上制造它們,也可以使用晶體管工藝那種標(biāo)準(zhǔn)的光刻技術(shù)來(lái)制作它們的模式,因此在這個(gè)意義上存在一種簡(jiǎn)單的規(guī)?;姆椒?。”

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

Jerry Chow在IBM的T.J. Watson研究中心的量子計(jì)算研究實(shí)驗(yàn)室

這些相似之處并不代表著 IBM 的量子計(jì)算機(jī)和你的桌面計(jì)算機(jī)之間的相似之處——它們的技術(shù)是非常不同的。但其制造工藝中的特定元素與今天普遍使用的技術(shù)有些類似。

IBM 和蘇塞克斯大學(xué)只是競(jìng)相實(shí)現(xiàn)大型通用量子計(jì)算機(jī)的最終目標(biāo)的許多組織中的兩個(gè)。但參與到該研究中的個(gè)人并不是在尋找什么值得吹噓的資本。他們想要?jiǎng)?chuàng)造歷史。

健康的競(jìng)爭(zhēng)

對(duì)一個(gè)一直從事量子計(jì)算研究的科學(xué)家來(lái)說(shuō),最終的成品用的是囚禁離子還是超導(dǎo)量子位的問(wèn)題沒(méi)啥好討論的。

“因?yàn)檫@就好像回到了 50 年前,當(dāng)計(jì)算機(jī)大要占滿整棟房子時(shí),問(wèn)你想要一臺(tái) Windows 個(gè)人電腦還是一臺(tái) Mac,”Hensinger 說(shuō)到。“其實(shí)我只想要臺(tái)量子計(jì)算機(jī)。”

囚禁離子和超導(dǎo)量子位是其中兩個(gè)最為領(lǐng)先的概念。

該領(lǐng)域已經(jīng)見(jiàn)證了無(wú)數(shù)個(gè)研究團(tuán)隊(duì)盡管在早期看到了希望但最終還是碰了壁。既然囚禁離子和超導(dǎo)量子位已經(jīng)取得了領(lǐng)先,那么大尺度量子計(jì)算機(jī)的實(shí)現(xiàn)就能不必依賴一個(gè)特定的解決方案,這將對(duì)所有的相關(guān)研究團(tuán)隊(duì)都有好處。

Hensinger 指出,“不同的團(tuán)隊(duì)有不同的嘗試,這才是一個(gè)健康的氛圍。”雖然取得重大進(jìn)步會(huì)帶來(lái)成就感,但是所有的研究發(fā)現(xiàn)都將與廣泛的科學(xué)社群共享,這樣這整個(gè)領(lǐng)域才能前進(jìn)。

此時(shí),蘇塞克斯大學(xué)的團(tuán)隊(duì)正在將幾個(gè)不同的實(shí)驗(yàn)融進(jìn)一個(gè)功能齊全的系統(tǒng)中,這個(gè)系統(tǒng)能訪問(wèn)少數(shù)量子位。這個(gè)項(xiàng)目有望在未來(lái)三到五年內(nèi)完成。之后的目標(biāo)就是一臺(tái)使用許多量子位的大型量子計(jì)算機(jī),這可能需要15到20年,IBM在該項(xiàng)目上也有一個(gè)類似的時(shí)間計(jì)劃表。

這兩個(gè)研究團(tuán)隊(duì)會(huì)在此期間作出更多的進(jìn)步。“在接下來(lái)的這幾年,你將會(huì)看到相干時(shí)間提升,也會(huì)看到完全可控的量子位數(shù)量增加,”Chow 解釋道。

完美的量子計(jì)算還需要幾年,因此你無(wú)法知曉它能應(yīng)用的所有領(lǐng)域。但是全世界的專家都在研究量子算法來(lái)看看量子計(jì)算的硬件可能會(huì)是什么樣子,最終的結(jié)果之多可能堪比這個(gè)硬件帶來(lái)的影響。

量子“軟件”

Krysta Svore 跟著 Andrew Wiles 學(xué)習(xí)數(shù)學(xué)的時(shí)候第一次接觸了量子計(jì)算。Svore 說(shuō)道,“Wiles 說(shuō)這是計(jì)算的一種模型——一種有潛力的計(jì)算機(jī)——可以真正的打破 RSA 加密。我們稱之為因子分解問(wèn)題。”

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

Krysta Svore 管理著微軟的量子架構(gòu)與計(jì)算團(tuán)隊(duì)

她解釋說(shuō),“我主修數(shù)學(xué),所以我非常著迷有這樣一臺(tái)計(jì)算機(jī)解決我們認(rèn)為非常難得問(wèn)題。”Svore 一頭扎入其中,如今她在微軟研究院管理著微軟的量子架構(gòu)與計(jì)算團(tuán)隊(duì)。她的團(tuán)隊(duì)專注于軟件,但跨越了從特定量子算法的開發(fā)到軟件架構(gòu)與工具箱這樣的基礎(chǔ)設(shè)施。

但什么是量子算法?它是干嘛的?

“在最高層次上,量子算法類似于傳統(tǒng)算法,是解決問(wèn)題的一種處方(recipe),而這種處方的編寫總是依據(jù)數(shù)學(xué)。”

人的大腦能夠理解“尋找數(shù)字X的所有因子”這樣的問(wèn)題,但計(jì)算機(jī)不能。即使要求計(jì)算機(jī)解決最簡(jiǎn)單的等式也需要特定的二進(jìn)制輸入。然而二進(jìn)制編碼是低效的,所以在傳統(tǒng)計(jì)算機(jī)上程序員使用 Python 或 C 這樣的計(jì)算機(jī)語(yǔ)言縮減之間的差距。

代碼語(yǔ)言已經(jīng)取得了極大的進(jìn)步,讓大部分程序員能在不接觸原二進(jìn)制輸入與輸出的情況下工作。完整的算法經(jīng)常用代碼寫進(jìn)編程語(yǔ)言中,所以通過(guò)輸入適當(dāng)?shù)?reference 就可使用這些算法。

如今,所有的編程語(yǔ)言都會(huì)將指令轉(zhuǎn)譯成二進(jìn)制的機(jī)器代碼。因?yàn)檫@些代碼不是量子計(jì)算機(jī)能使用的,所以對(duì)編程一臺(tái)量子計(jì)算機(jī)而言它們是無(wú)用的。這也就是Svore和她的團(tuán)隊(duì)要做的事,開發(fā)出一種有效的新語(yǔ)言。

量子軟件得到關(guān)注是不可避免的,這樣該領(lǐng)域才不會(huì)在硬件問(wèn)題得到了解決之后碰壁。

Svore 說(shuō),“我們已經(jīng)為量子計(jì)算特意開發(fā)了一個(gè)編程語(yǔ)言,我們的語(yǔ)言和工具叫做 LIQUI|>,它能讓我們表達(dá)這些量子算法,然后進(jìn)行一系列的優(yōu)化、匯編,并將語(yǔ)言指令重新編寫進(jìn)特定設(shè)備的指令。”

微軟有自己的平臺(tái),但全球的研究團(tuán)隊(duì)都在使用類似的流程。Dorit Aharonov 是希伯來(lái)大學(xué)的教授,她對(duì)量子硬件上運(yùn)行的算法的描述類似于Svore的處方類比。

她解釋說(shuō),“算法是計(jì)算機(jī)運(yùn)行的一系列步驟,它要是高效的,需要盡可能用少的步驟完成這些任務(wù)。重點(diǎn)是量子算法要能比傳統(tǒng)算法更快的完成特定的運(yùn)算,因?yàn)樗鼈冇心芰σ灾笖?shù)的方式一次性探索眾多可能。”

所以,如果算法是被用于運(yùn)算的一系列步驟,量子算法就是專門設(shè)計(jì)的類似的一系列指令,用來(lái)掌握量子對(duì)象的計(jì)算能力。然而,在軟件與硬件之間的關(guān)系中有另外一種復(fù)雜性,沒(méi)有大規(guī)模的通用量子計(jì)算機(jī),對(duì)研究量子算法的研究員而言很難保證他們的研究方向是正確的。

如今,要關(guān)注量子軟件是一件非常緊急的事,這樣該領(lǐng)域才不會(huì)在硬件問(wèn)題得到了解決之后碰壁。在很多情況下,硬件和軟件研究項(xiàng)目是要同步的。

量子代碼

廣義上來(lái)講,量子算法是量子計(jì)算機(jī)硬件的軟件,但這一類比也就只到此為止,在硬件仍不穩(wěn)定的情況下,量子算法的開發(fā)可以鼓舞量子計(jì)算機(jī)的開發(fā),反之亦然。

微軟研究院在與哥本哈根大學(xué)、荷蘭的代爾夫特大學(xué)、悉尼大學(xué)這樣的世界級(jí)團(tuán)隊(duì)合作,所以它的硬件位于全世界多個(gè)學(xué)術(shù)實(shí)驗(yàn)室。Svore 說(shuō),“我們定期拜訪這些實(shí)驗(yàn)室,整體上我們像是一個(gè)虛擬的團(tuán)隊(duì),因?yàn)橐恍┳詈玫馁Y源是遍布全球的。”

和物理硬件一樣,量子結(jié)構(gòu)與計(jì)算團(tuán)隊(duì)有權(quán)限模擬傳統(tǒng)系統(tǒng)上運(yùn)行的量子計(jì)算。“這使得我們能夠調(diào)試量子算法,測(cè)試并設(shè)計(jì)新的量子算法、量子回路和子程序。”Svore 說(shuō),“在真正的運(yùn)行之前,我們想要在模擬中測(cè)試盡可能多的設(shè)備設(shè)計(jì)與算法設(shè)計(jì)。”

這種模擬測(cè)試為該團(tuán)隊(duì)提供了巨大的優(yōu)勢(shì)。Svore 和她的合作方在需要的時(shí)候能對(duì)算法進(jìn)行測(cè)試與迭代,從而使得硬件團(tuán)隊(duì)看到量子計(jì)算機(jī)如何在實(shí)踐中可被應(yīng)用。但如同你所想的那樣,在傳統(tǒng)計(jì)算機(jī)上模擬量子硬件有所缺陷,Svore的團(tuán)隊(duì)使用的虛擬設(shè)備大約為32 GB RAM 模擬30量子位,每增減一個(gè)量子位,內(nèi)存就要翻倍。

微軟并不是唯一一個(gè)通過(guò)應(yīng)用來(lái)測(cè)試其量子成果的大公司。今年早些時(shí)候,我們看到了IBM 的量子體驗(yàn)項(xiàng)目,這是一個(gè)允許學(xué)者和愛(ài)好者使用 5 量子位系統(tǒng)的在線接口。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

IBM 的量子體驗(yàn)讓用戶能夠從一個(gè)基于云的平臺(tái)那里運(yùn)行算法和實(shí)驗(yàn)

IBM 的 Chow 說(shuō),“我們想要建立一個(gè)社區(qū),進(jìn)一步發(fā)展該領(lǐng)域。我們認(rèn)為,隨著我們使得這些量子處理器變得更大更功能性,在某個(gè)時(shí)刻,每個(gè)人都會(huì)有能力在新的實(shí)驗(yàn)室中進(jìn)行量子體驗(yàn)。我們想要向人們展示這些處理器與系統(tǒng)的質(zhì)量,也使得人們能在上面進(jìn)行研究,加速量子計(jì)算研究領(lǐng)域的創(chuàng)新。”據(jù) Chow 而言,用戶已經(jīng)使用IBM量子體驗(yàn)進(jìn)行基礎(chǔ)的量子力學(xué)測(cè)試、簡(jiǎn)單的錯(cuò)誤檢測(cè)協(xié)議、相比于模擬實(shí)驗(yàn)觀察噪聲水平。該項(xiàng)目提供了通向有效硬件的前所未有的道路,對(duì)希望進(jìn)入該領(lǐng)域的學(xué)生而言這也是一個(gè)巨大的福利。

Chow 也說(shuō)道,“從教育角度來(lái)說(shuō),這是一件大事。我們能夠讓處于量子計(jì)算課程與量子力學(xué)課程之間的學(xué)生接觸量子體驗(yàn),讓他們進(jìn)行更多的思考,在一個(gè)在線系統(tǒng)上驗(yàn)證課程上學(xué)習(xí)到的內(nèi)容。”了解到該工具將服務(wù)各個(gè)水平的用戶,IBM 團(tuán)隊(duì)在盡可能的把該系統(tǒng)變得更受歡迎。

Chow 解釋說(shuō),“我們想要一個(gè)視覺(jué)上的吸引力,視覺(jué)震撼上的體驗(yàn)。這也是為什么我們做了一個(gè) Composer 工具,我們想與音樂(lè)有個(gè)類比。”該工具是用來(lái)創(chuàng)造量子樂(lè)譜文件,看起來(lái)就像一個(gè)音樂(lè)譜子。五線譜對(duì)應(yīng)計(jì)算機(jī)的五個(gè)量子位,用戶能拖放不同的門和運(yùn)算。

Chow 說(shuō),“在實(shí)際運(yùn)行之前,你可以視覺(jué)體驗(yàn)量子項(xiàng)目看起來(lái)怎么樣。”音樂(lè)演奏與量子計(jì)算機(jī)之間的對(duì)比在該領(lǐng)域是很普遍的,所以召喚更多的非專業(yè)人士進(jìn)入該流程這是非常合適的一種方式。“就時(shí)間意義而言,這是一個(gè)很好的類比,也很好的類比了量子運(yùn)算的順序。所以,從此看來(lái)它真的像是一個(gè)音樂(lè)譜。”

如果你覺(jué)得自己沒(méi)能力用到量子計(jì)算機(jī),不要覺(jué)得自己被排除在外了。到2016年,世界上也只有極少比例的人能接觸到量子計(jì)算機(jī)。如今用過(guò)這樣系統(tǒng)的大部分人可能都是心驚膽戰(zhàn)的。這也是Svore這樣的工程師想要改變的事。設(shè)計(jì)出的 LIQUI|> 平臺(tái)為該領(lǐng)域的人提供了與量子硬件更直接的交互方法;IBM 的量子體驗(yàn)向每個(gè)人開放硬件,無(wú)論用戶對(duì)底層概念很熟悉,還是只是對(duì)該技術(shù)感興趣。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

和 1950 年代早期的計(jì)算機(jī)一樣,今天的量子計(jì)算機(jī)要占據(jù)一整個(gè)實(shí)驗(yàn)室

在硬件向著大規(guī)模通用系統(tǒng)持續(xù)發(fā)展的同時(shí),這些工作也在幫助將更多天才的頭腦吸納到這個(gè)領(lǐng)域內(nèi)。這些早期的軟件開發(fā)工作希望構(gòu)建一個(gè)有興趣且有技能的程序員受眾,讓他們可以直接用上量子計(jì)算。

他們將會(huì)做出怎樣的應(yīng)用?這里有無(wú)窮的可能性。但為了了解這個(gè)領(lǐng)域目前的狀態(tài)和未來(lái)的趨勢(shì),我們需要了解一下最早引發(fā)對(duì)量子計(jì)算的興趣的算法。

匹茲堡卡耐基梅隆大學(xué)計(jì)算機(jī)科學(xué)學(xué)院的 Ryan O’Donnell 說(shuō),“Shor 的算法無(wú)疑是量子計(jì)算機(jī)中最有名、最驚人的應(yīng)用。真的,它是該領(lǐng)域的主要靈感。”

只要有計(jì)算機(jī),無(wú)論是人的還是電子的,都會(huì)要求找到給定數(shù)字的質(zhì)因數(shù)。數(shù)字較小、易管理時(shí)這還不難,但數(shù)值越大,求質(zhì)因數(shù)的過(guò)程越復(fù)雜。

“如果能建立一個(gè)全尺度的量子計(jì)算機(jī),就意味著能破譯所有的密碼。”

O'Donnell 說(shuō),“我說(shuō)的是極其大的數(shù)字,有著數(shù)千位的數(shù)字。計(jì)算機(jī)很容易算到兩位萬(wàn)位數(shù)字的乘積,只需要幾納秒。但我們還沒(méi)有高效的算法解決逆向難題,找到一個(gè)極大數(shù)字的因數(shù)。”

高效一詞很關(guān)鍵。有一個(gè)算法能夠求解大數(shù)字的因數(shù),但不幸的是它還不足以說(shuō)是高效。它求解 1 萬(wàn)位數(shù)值的因素所花費(fèi)的時(shí)間,宇宙能完全演化一個(gè)周期。計(jì)算機(jī)即使再快 10 倍、100 倍也毫無(wú)用處,所以我們需要全新的計(jì)算機(jī)。

O’Donnell 說(shuō),“199年,Shor 展示了一個(gè)量子計(jì)算機(jī)算法,能夠高效的求解大數(shù)字的因數(shù)。”從此之后,它就成為了該領(lǐng)域發(fā)展的一個(gè)標(biāo)尺。

2001 年,IBM 使用一臺(tái)7量子位的量子計(jì)算機(jī)求解了15的因子3和5。2012年,一個(gè)研究團(tuán)隊(duì)求解了21的因子。然后到了2014年,一種被稱為極小化算法(minimization algorithm)的前沿方法成功求解了56,153的因子。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

卡耐基梅隆的 Ryan O’Donnell 說(shuō)量子計(jì)算機(jī)能解決現(xiàn)有的每種密碼學(xué)

O’Donnell 還說(shuō)道,“除了現(xiàn)實(shí)意義,Shor的算法在數(shù)學(xué)上也很具美感。它啟發(fā)的許多人尋求超快的量子算法解決其他在常規(guī)計(jì)算機(jī)上無(wú)法解決的計(jì)算任務(wù)。”

如同你能想象的,尋找這樣的任務(wù)需要一定的抽象思維,以及對(duì)相關(guān)概念的極大掌握。為仍處于積極開發(fā)階段的計(jì)算形式尋求應(yīng)用不是一件小事。

O’Donnell 說(shuō),“在量子計(jì)算機(jī)建立起來(lái)之前,有人可能想知道做這些事的意義。這讓我想到了Ada Lovelace和Babbage的Analytical Engine的故事。”這是出現(xiàn)在19世紀(jì)50年代的通用物理計(jì)算機(jī)的假設(shè)。“Ada Lovelace 在 Babbage 的計(jì)算機(jī)上設(shè)計(jì)了解決特定數(shù)學(xué)難題的著名算法,那是在我們能造出這種計(jì)算機(jī)的 100 年前。”

應(yīng)用算法

很難明白過(guò)去一個(gè)量子算法的抽象性質(zhì)以及這些概念是如何被應(yīng)用來(lái)解決現(xiàn)實(shí)世界中的問(wèn)題的,尤其是如果你不懂?dāng)?shù)學(xué)。幸運(yùn)的是 Shor 的算法能展示量子計(jì)算機(jī)產(chǎn)生的結(jié)果,或者說(shuō)后果。

從硬件提升到算法迭代,正在發(fā)生的量子計(jì)算革命

NASA的512位Vesuvius處理器被冷卻到20 millikelvin

想像一下 Shor的算法正在一臺(tái)傳統(tǒng)計(jì)算機(jī)上運(yùn)行。就像前面提到過(guò)的,10000位數(shù)的因式分解,要花上幾千年才能算出來(lái)。“即便聽(tīng)上去有點(diǎn)入讓人失望,但是有一點(diǎn)還是令人安慰的,”O’Donnell 說(shuō)。“幾乎所有的網(wǎng)絡(luò)安全和密碼都依賴于計(jì)算機(jī)能在一個(gè)確切的時(shí)間內(nèi)做出 10000 位數(shù)的因式分解。”

如果真的能造出實(shí)體的量子計(jì)算機(jī),那真的很難猜測(cè)它對(duì)密碼安全意味著什么。“我們有可能造出一個(gè)全面的量子計(jì)算機(jī),這就意味著計(jì)算機(jī)幾乎能破解所有的密碼。”O'Donnell 補(bǔ)充道。

當(dāng)然,以目前該領(lǐng)域領(lǐng)先的研究來(lái)看,還遠(yuǎn)不能造出一個(gè)全面的量子計(jì)算機(jī),所以黑客集團(tuán)沒(méi)有攻克所有密碼不是因?yàn)樗麄儾幌?,而是沒(méi)那個(gè)能力。但是這也揭示了量子計(jì)算機(jī)出現(xiàn)后能產(chǎn)生的影響有多么深遠(yuǎn)。“目前還很安全,”O’Donnell 說(shuō)。“但是國(guó)家安全局已經(jīng)建議在不遠(yuǎn)的未來(lái)每個(gè)人都應(yīng)該放棄基于因式分解的加密技術(shù),正是因?yàn)榱孔佑?jì)算機(jī)很有可能真的出現(xiàn)。”

“大部分人正在從針對(duì)量子技術(shù)尋找一個(gè)經(jīng)典的加密技術(shù)來(lái)研究后量子密碼學(xué)(post-quantum cryptography),”Svore 說(shuō)道。“現(xiàn)在的研究焦點(diǎn)是找到比RSA更強(qiáng)大的東西。下一代會(huì)是什么?我們知道 RSA 在量子計(jì)算機(jī)面前不再有用——那其他的呢?”

它能完全模擬任何任意的系統(tǒng)。那才是最重要的事情。

量子硬件的另一個(gè)直接應(yīng)用是進(jìn)一步研究其他領(lǐng)域的科學(xué)。“它能夠完全模擬任何任意的系統(tǒng),”Winfried Hensinger 說(shuō)。“那才是最重要的事情。”

傳統(tǒng)系統(tǒng)的有限計(jì)算能力意味著一個(gè)模擬模型特定元素一定達(dá)不到它的最佳精確度。“它與量子計(jì)算機(jī)之間的差別是你不必再制造這些近似值了,”Hensinger 繼續(xù)說(shuō)到。“你只要模擬整個(gè)系統(tǒng)就好。”

這可以為那些依賴模擬來(lái)收集數(shù)據(jù)的研究項(xiàng)目帶來(lái)影響深遠(yuǎn)的優(yōu)勢(shì)。確實(shí)如此,我們?cè)谶@類使用上看到了富有意義的進(jìn)展。7月,谷歌宣布它的量子設(shè)備已成功地計(jì)算了氫分子的電子結(jié)構(gòu)。

最后,記得關(guān)注微信公眾號(hào):鎂客網(wǎng)(im2maker),更多干貨在等你!

鎂客網(wǎng)


科技 | 人文 | 行業(yè)

微信ID:im2maker
長(zhǎng)按識(shí)別二維碼關(guān)注

硬科技產(chǎn)業(yè)媒體

關(guān)注技術(shù)驅(qū)動(dòng)創(chuàng)新

分享到