「同時嘗試所有答案」——錯
關於量子計算流傳最廣的一句話,就是它「同時嘗試每一個答案」。這個畫面很誘人,卻是錯的。處於疊加態的量子位元並不是偷偷藏著許多可供你讀取的數值。它持有的是一個由振幅描述的單一量子態——這些數字說明混合中有多少|0> 成分、又有多少|1> 成分。
|psi> = a|0> + b|1>, |a|^2 + |b|^2 = 1
這裡有一個被炒作略過的關鍵:你只能測量一次。當你讀取一個量子位元時,量子態會塌縮成單一的經典位元,要麼 0 要麼 1,機率由那些振幅決定。你無法窺見整個疊加態。所以,一台僅僅「同時持有所有答案」的量子電腦其實毫無用處——你只會隨機測到其中一個。
「在所有事情上都指數級更快」——錯
你會聽到量子電腦「指數級更快」。可是,在*什麼*上更快呢?這個限定詞才是關鍵。對於絕大多數任務——試算表、網頁瀏覽、影片,以及大多數日常計算——量子電腦根本沒有任何加速,事實上比你面前的筆記型電腦更慢、也脆弱得多。
誠實的圖景是:加速是特定的、隨問題而異的。Grover 演算法在無結構清單中搜尋大約只需 sqrt(N) 步,而不是 N 步——這是真實而有用的收益,但只是二次加速,不是指數級的。那些著名的指數級加速,比如用於大數分解的 Shor 演算法,只在具有演算法可利用的特殊數學結構的問題上才出現。
「它只是並行計算」——錯
另一個整齊的心理模型:量子電腦就像一台巨大的並行機器,同時並排運行許多次經典計算。這聽起來很接近真相,卻把你直接帶回到「同時得到所有答案」那個錯誤上。經典並行給你許多個可以各自讀取的獨立結果。而量子電腦在測量時只給你一個結果——所以優勢不可能來自讀取許多個輸出。
真正讓量子與眾不同的,是它的兩種要素沒有經典對應物:帶干涉的疊加,其中振幅可以是負數或複數並能相互抵消;以及糾纏,其中多個量子位元共享一個無法逐個量子位元描述的聯合態。一堆並行的經典處理器兩者都沒有。這就是為什麼量子電腦不只是「更多核心」——它是一種不同類型的機器,擅長的是一組不同且窄得多的任務。
「量子電腦已經到來」——算是吧(NISQ)
真實的量子硬體確實存在——你今天就能透過雲端在上面運行一條線路。但「它存在」和「它就緒了」是兩個非常不同的說法。我們正處於 [[nisq|NISQ]] 時代:含噪中等規模量子(Noisy Intermediate-Scale Quantum)。這些機器擁有幾十到幾百個物理量子位元,而且每一個都是含噪的——量子位元在微秒級時間內就會丟失自身的狀態,閘操作會產生小誤差,並在一次計算過程中不斷累積。
目前還沒有大規模、容錯的量子電腦。對付雜訊的辦法是量子糾錯——把一個可靠的邏輯量子位元分攤到許多物理量子位元上。但像表面碼這樣的方案需要錯誤率低於大約 1% 的閾值,*而且*要有沉重的開銷——往往每一個邏輯量子位元要用上數百到數千個物理量子位元。今天我們的機器規模遠遠達不到這個程度。
真正成立的事情
掃清這些迷思之後,剩下的並不是一無所有——而是某種真實且值得在意的東西。量子計算不是魔法,也不是萬能的,但它確實是一件全新的工具,在少數幾個物理學站在它這一邊的用途上表現突出。
- 少數幾種特定的加速是真實的。 如果存在一台足夠大的機器,Shor 演算法就能攻破今天的 RSA 和 ECC——這正是為什麼人們現在就在經典電腦上部署後量子密碼學,搶在威脅到來之前。
- 硬體是真實的,但仍處早期。 你今天可以運行小型線路,但它們是含噪的 NISQ 裝置,並不是那些搶佔頭條的演算法所需要的容錯機器。
- 最深層的潛力在於模擬自然。 用一個量子系統去模擬其他量子系統——分子、材料、化學反應——正是近期量子優勢看起來最有可能出現的地方,因為問題和機器說的是同一種物理語言。
請同時握住這兩半事實:大多數量子炒作都是錯的,*而且*在它底下確實正在建造一項真實、狹窄卻重要的技術。分清二者的區別,正是這一級台階的全部意義所在——它能讓你在讀下一條量子標題時不被它愚弄。