閾值定理（threshold theorem）

真實的量子位元是有雜訊的。你施加的每一個閘、量子位元空等的每一刻，都會帶來一點點誤差。於是有一個顯而易見的擔憂：如果你造一臺更大的計算機，用更多的量子位元、跑更長的程式，誤差難道不會越積越多，直到答案變成一堆亂碼嗎？閾值定理就是回答「不一定會」的那個數學結論。它證明：只要你那些基本物理操作的錯誤率低於某個臨界值（這個臨界值就叫閾值），你就能用量子糾錯把整個計算的有效錯誤率壓到任意低。可以把它想像成通話時的降噪：只要背景雜訊低於某個水平，系統清理雜訊的速度就能始終快過雜訊滲入的速度，於是一通長電話也能一直保持清晰。

關鍵就在「低於」這個詞上。糾錯要花費額外的物理量子位元和額外的操作，去保護少量真正的資訊（一個受保護的、即邏輯量子位元）。如果你的硬體本就比閾值更乾淨，那麼多加幾層保護就能讓情況穩步變好，而且當你要求更高的可靠性時，代價的增長只是溫和的。可如果你的硬體比閾值更髒，加保護反而會讓情況變糟，因為糾錯機制引入的錯誤比它消除的還要多。對於研究最多的表面碼（surface code）方案，閾值大約在每次操作 1% 的錯誤率上下，而當今最好的硬體也才剛剛開始觸及這個水平。

所以閾值定理正是多數研究者相信大型、可靠的量子計算機原則上是可能的、而非被雜訊徹底否決的根本原因。但它說的是「能做到什麼」，並不是天上掉餡餅。維持在閾值之下很難，而且哪怕只保護一個邏輯量子位元，代價往往是成百上千個物理量子位元。正是這種開銷，讓我們如今仍停留在 NISQ 時代，還沒有造出大規模的容錯機器。