先备导航：你需要 052（三条暗道）、051（错误三件套）、022（CNOT）、017（换轴）。
下一篇预告：054《用测量守护量子态：稳定子与校验子》。

一条命分给三个：三比特码与九比特码

绑腿赛看过吗？三个人并排、相邻的腿绑在一起跑。一个人绊了一下，队形立刻乱——旁边两人马上察觉"谁乱了、往哪歪"，一把扶正。三人共一条命：单人摔倒不再致命，因为队形本身在报警。

上篇修好三条暗道：信息摊进纠缠、测量只问错误、错误强制归档。本篇把三暗道合体，装出第一批实物：三比特码——一条命分给三个比特，靠"队形"报警；然后直面它的致命盲区（相位错误全防不住），用"换基再码"补全成九比特码——1995 年问世的第一个全能量子纠错码（人名按专栏惯例隐去，编号之后见）。

三比特码：把 |0⟩ 摊成 |000⟩

编码只需两个 CNOT（022 篇流水线，052 篇暗道一的实物）：

• |0⟩ → |000⟩，|1⟩ → |111⟩；
• 一般态 (a|0⟩+b|1⟩) → (a|000⟩+b|111⟩)/√2——信息住进"三比特同进同退"的队形里。

**队形规则只有一条：三个必须相同。**这就是全部的码。

验伤与修复：两次"同步性"测量

派两个辅助比特当哨兵（052 篇暗道二：只问错误、不问内容）：

• 哨兵一号测"比特 1 与比特 2 是否同步"；
• 哨兵二号测"比特 2 与比特 3 是否同步"。

两位哨兵的回答组合起来（行话叫校验子），恰好锁定病灶：

逻辑朴素：队形里"断点"在哪，谁就是摔倒者——绊了一次的绑腿队，队形只乱在一处。对症来一个 X 门（020 篇三件套的救援任务），翻回原队形。全程没有一次测量碰过 a 和 b——信息完好，坍缩只坍在哨兵身上。

致命盲区：Z 错大摇大摆走进来

三比特码防 X 错（比特翻转）堪称完美。可是——051 篇的敌人名单里还有 Z 错（相位翻转）。

做个实验：给队形 (a|000⟩+b|111⟩)/√2 的某一个比特来一个 Z。展开算一下你会发现，结果恰好等于把逻辑态整个反相——(a|0⟩−b|1⟩) 摊开的样子。码不仅没发现 Z 错，还把它升格成了"逻辑信息的错误"——哨兵们（测的是比特异同）对相位一脸茫然。三比特码是个单腿防守：它防的只是三件套的之一。

补全：相位错换个基就是比特错

怎么防 Z？答案藏在本专栏最早的功夫里——017 篇的换轴：

在"左右基"下，Z 错就是 X 错。（017 篇的表格：|±⟩ 在 Z 作用下互换——翻转！）于是策略脱口而出：先换到左右基，再码一遍三比特码。两道防线嵌套：外层管"比特错"，内层在左右基里管"相位错"——总共 3×3 = 九个比特。

展开长这样（不必记，看结构）：

(|000⟩+|111⟩) 每个比特再各自摊成 (|0⟩+|1⟩) 与 (|0⟩−|1⟩) 的组合——九比特的态，外层三组、每组三比特，比特错与相位错各有各的哨兵体系。数学结论干净利落：九比特码能定位并修复任意单比特错误——X、Z、Y（=XZ）、任意小漂移归档后的三件套（051 篇），一个不漏。

1995 年它的问世意味着一件事：量子纠错从"原理上被禁止"变成了"工程上有配方"——三条暗道合体后，帝国有了第一座城。

城市的账单：开销浮出水面

先别急着庆功——算账。护一个逻辑比特，三比特码用 3 个物理比特，九比特码用 9 个；这只是防"单个错误"的裸账：真实机器的错误是持续发生的（051 篇：噪声每一微秒都在工作），哨兵要反复巡逻、修复要连轴转、哨兵自己也会错（谁来看守看守人？）——层层加码后，真实的账单是一个逻辑比特要成百上千个物理比特（058 篇专算）。九比特码是"能不能"的回答，058 篇才是"划不划算"的回答。

把类比拆掉

绑腿赛类比借了哪里：

• 不像之一：绑腿的三人各自有身体、各有各的意识；三个编码比特单独看谁都无信息（052 篇）——"队形"不是三人"约定"出来的，是纠缠的数学结构。
• 不像之二："扶正"是裁判看的；量子修复是哨兵测量+对症门的自动流程，且修复动作作用在离散归档的错误上（052 暗道三）——连续的踉跄要么没算，要么按整档修。

带走的行李

1. 三比特码：|0⟩→|000⟩、|1⟩→|111⟩，队形=三比特同进同退；两个哨兵测同步性，校验子锁定病灶，对症 X 修复——全程不碰信息。
2. 盲区与补全：Z 错对"测异同"的哨兵隐形、还会升格成逻辑错误；换基后 Z 错=X 错（017 的功夫）——外层防比特错、内层（左右基）防相位错，3×3=九比特码，任意单比特错误全能修复。
3. 账单意识：3~9 个物理比特只是"防单错"的裸账；持续噪声+哨兵自错会把真实开销推到成百上千——"能不能"已答，"划不划算"留给 058。

下一站的钩子：本篇的哨兵体系（"1、2 是否同步"）写起来太啰嗦——纠错码越多越大，需要一套"代数化的哨兵语言"。它有个学名：稳定子。学会它，表面码（055）那张著名的棋盘才读得懂。054《用测量守护量子态：稳定子与校验子》。

#量子计算 #从硬币到纠错 #量子纠错码 #九比特码