糾錯本身也會出錯
在上一階你認識了量子糾錯：把一個邏輯量子位元的資訊鋪展到許多實體量子位元上，測量精心挑選的宇稱（奇偶校驗），你就能偵測並修復錯誤，而*無需*直接測量（從而摧毀）被保護的量子態。這聽起來像是整個問題已經解決了。其實沒有——原因簡單得讓人不安。
這套糾錯機器，正是用它試圖保護的那些同樣帶雜訊的部件搭建起來的。用來偵測錯誤的額外量子位元本身就不完美。你為計算宇稱而施加的閘有可能失敗。就連讀出宇稱的測量也可能給出錯誤答案。於是，每跑一輪糾錯，你*同時*也在用這條本該消除錯誤的線路注入新的錯誤。
這就是錯誤級聯的危險：一處放錯位置的故障可能蔓延開來，一次性汙染許多量子位元；一條草率的糾錯線路會把一個錯誤變成好幾個。容錯正是防止這種情況發生的工程學問——把每一步操作都設計成：單個部件失效會被控制住，而這一輪總體上消除的錯誤多於它增添的錯誤。
閾值定理
下面這個結論，把量子計算從幻想變成了工程路線圖。[[threshold-theorem|閾值定理]]說：*只要*你的實體部件的錯誤率低於某個臨界值——即閾值——那麼透過增加更多層的糾錯，你就能把邏輯錯誤率壓到任意低，而為此付出的開銷只隨你想要的低到何種程度而溫和（多重對數式地）增長。
把它想成兩種效應之間的賽跑。給一個碼增添更多實體量子位元，會讓每一輪糾錯*更善於*抓住錯誤——但這同時也添進了*更多*可能自己出故障的有缺陷部件。閾值就是這場賽跑的盈虧平衡點。在閾值以下，更大的碼獲勝：碼規模每上一個台階，都為你換來邏輯錯誤的淨下降。在閾值以上，更大的碼落敗：你添加雜訊的速度快於你消除它的速度，堆更多量子位元只會讓情況更糟。
對於當前最主流的實用碼——表面碼——在現實的雜訊假設下，閾值大約落在每次操作 1% 的實體錯誤率附近。這個數字之所以出名，恰恰是因為它*搆得著*——如今最好的超導和離子阱硬體，已經把它們的雙量子位元閘保真度推到了大致這個區間。閾值不是一堵我們永遠翻不過的牆；它是一道我們才剛剛開始跨過的欄杆。
低於閾值 = 可規模化
低於閾值的妙處在於：改進會複利累積。假設在某個碼規模下，每一輪糾錯都把你的邏輯錯誤率乘上一個小於一的因子。把碼再做大一點，這個因子又會縮小。把它們串接起來，邏輯錯誤率會隨碼規模大致*指數*下降——儘管你花掉的實體量子位元數量只是多項式地增長。每一輪一點點穩定的優勢，反覆疊加，便匯成整體上巨大的優勢。
這就是為什麼人們有時會說，一台容錯機器可以想跑多久就跑多久，且邏輯錯誤想要多小就有多小。這種說法*僅當*你處於閾值以下、並且願意付出量子位元開銷時才成立。它不是關於速度的論斷，也不是說一次能算出許多答案——它純粹是關於可靠性的陳述：你可以讓邏輯量子位元表現得彷彿幾乎從不出錯。
為了把這件事講具體，下面給出一個小小的示意，說明冗餘為什麼能起作用。這裡我們並不做「容錯式」編碼——它只是個直覺：多數表決勝過單個脆弱的位元。真實的表面碼一輪遠比這精巧得多，但精神是一樣的：把資訊鋪展開，然後投票。
from qiskit import QuantumCircuit # A 3-qubit *bit-flip* code: protect one logical bit # against a single X (bit-flip) error. (Toy intuition, # NOT a fault-tolerant surface-code round.) qc = QuantumCircuit(3, 3) # Encode: copy the logical value across 3 qubits qc.cx(0, 1) qc.cx(0, 2) # ... time passes, noise may flip ONE qubit ... # Decode by majority vote: the two CNOTs + Toffoli # restore qubit 0 if at most one qubit was flipped qc.cx(0, 1) qc.cx(0, 2) qc.ccx(2, 1, 0) # Toffoli = the 'majority' correction qc.measure(range(3), range(3)) print(qc.draw())
實體量子位元的帳單
指數級的可靠性聽起來是免費的——直到你看見帳單。要跑一個真正有用的演算法——比如用Shor 演算法去分解一個有密碼學意義的 RSA 數——你需要錯誤率在十億分之一上下、甚至更好的邏輯量子位元。在約 1% 實體錯誤率下用表面碼達到這一點，意味著每個邏輯量子位元要用成千上萬個實體量子位元來編碼：碼的「距離」要足夠大，以至於要用成百上千個實體量子位元來頂替一個可靠的邏輯量子位元。
把這筆帳乘開來看。一次像樣的 Shor 規模計算，需要數千個邏輯量子位元，*外加*一長串操作——而其中許多操作還需要耗資源的輔助態（即所謂的「魔法態」），它們由專門的「工廠」用更多的量子位元源源不斷地生產出來。近期審慎的估算落在大約一百萬個實體量子位元這個量級，上下浮動，才能在一天左右破解 RSA-2048。更早的估算還要更高；更好的碼和協議在不斷把這個數字往下砍，但它依然龐大。
說白了：讓密碼學家憂心的那台容錯機器還不存在，而且短期內也不會存在。閾值定理保證它*有可能*；卻對它是否*便宜*或*很快*隻字未提。從「數學上可規模化」到「實體上造出來」之間的鴻溝，要用我們尚不具備的數百萬個高品質量子位元來衡量。
我們還有多遠
那麼 2026 年的我們身處何處？正正落在 [[nisq|NISQ 時代]]——含雜訊中等規模量子（Noisy Intermediate-Scale Quantum）。我們擁有數百到數千個實體量子位元的裝置，雙量子位元閘保真度徘徊在表面碼閾值附近，相干時間（量子位元忘掉自身狀態之前的 T1/T2 視窗）以微秒到毫秒計。這些機器是真實的、在不斷進步，但它們帶雜訊，且不容錯。
令人鼓舞的消息是，這個領域已經從理論跨進了實驗演示。已有若干團隊展示了*單個*邏輯量子位元，其錯誤率會隨著碼變大而下降——這是在閾值以下運行的首個實驗印記。這是一座貨真價實的里程碑：它證實了閾值定理不只是黑板上的數學。但從一個閾值以下的邏輯量子位元，走到 Shor 規模所需的數千個，是一次跨越許多年、許多工程突破的飛躍，而不是一個新聞週期的事。
請同時握住兩個真相。誠實的樂觀： 物理學允許造出任意可靠的量子計算機，而且我們第一次親眼看到糾錯在*幫忙*而非添亂。誠實的現實： 我們手上這數百到數千個帶雜訊的量子位元，離一台有用的容錯機器所需的數百萬個還差得遠，而且目前沒有已知的捷徑能繞過那筆開銷。任何承諾明年就能造出破解密碼學的量子計算機的人，賣的是炒作，而不是物理。