前沿與後摩爾時代

量子運算架構(quantum computing architecture)

一般電腦把資訊存在位元裡,每個確定是 0 或 1。量子電腦用的是量子位元,或稱 qubit,它利用量子物理兩條奇異的規則。疊加讓一個 qubit 在被測量之前能同時處於 0 與 1 的混合,糾纏則讓 qubit 彼此關聯,使它們必須被一起、而非分開地描述。有 n 個 qubit,這台機器在精確的數學意義上能同時操作一個 2^n 種可能性的狀態空間。這聽起來像魔法,而魔法是真的,但很狹窄——誠實描述的首要任務,是把它「不是什麼」圈出來。

這裡是謹慎的邊界,因為炒作從不停歇。量子電腦不是更快的古典電腦——它不會讓你的試算表、瀏覽器或一般程式碼跑得更快,而且對大多數日常任務,古典機器更好。它不是一個「同時試遍所有答案」再把最好的讀出來的魔法盒:你無法直接觀測那 2^n 個振幅;測量一個 qubit 會讓它塌縮成單一的 0 或 1,而量子演算法的藝術,是在你測量之前安排干涉,讓正確答案彼此增強、錯誤答案互相抵消。它也不是 NP 完全問題的通用解算器——目前沒有已知的量子演算法能在一般情況下有效率地解它們。已證明的加速是特定的:分解大數(Shor 演算法,它威脅某些現行密碼學),以及對無結構搜尋的二次方——只是平方根、而非指數——加速(Grover 演算法),外加對模擬量子化學與物理的真正前景。

作為架構,這份工程極其艱難,這也是為什麼它是前沿、而非產品。qubit 嬌貴至極:最微小的雜散熱、振動或電磁雜訊都會擾動它們,這效應叫做退相干,所以它們必須被隔離、常常得冷卻到接近絕對零度。它們不斷出錯,所以一台能運作的機器需要量子糾錯,而那可能得用上數百或數千個物理 qubit,才造得出一個可靠的邏輯 qubit。今天的裝置又小又吵——所謂的 NISQ 時代(有雜訊的中等規模量子)——對研究有用,但還不能用於大型實務問題。一個務實的看法:量子運算是一個深刻的長期賭注,倘若成熟,會改變少數幾個特定領域,同時讓絕大部分的運算原封不動地留在原地。

Grover 搜尋是誠實量子加速的教科書範例——以及它的極限。在一個無結構的 N 項清單裡,古典搜尋約需 N 步;Grover 演算法約需 N 的平方根步。對一兆項而言,那是一百萬步而非一兆步——是真實、有用的增益,但是二次方加速,而非新聞標題暗示的指數級「瞬間答案」。而且它仍需要一台大型、已糾錯的量子機器,這種機器目前尚未有規模化的存在。

即便是量子明確的勝利也有界——Grover 給的是平方根、而非指數級的加速,而且需要我們還沒有的硬體。

量子電腦不是更快的古典電腦、不會同時試遍所有答案再把最好的讀出來,也不是 NP 完全問題的通用解算器。它已證明的加速很狹窄(分解、二次方搜尋、量子模擬),而今天的機器又小又吵(NISQ 時代)。

又称
quantum computer architecturequantum hardware量子運算架構量子計算架構量子電腦架構