先备导航：你需要 053（三比特码与校验子）、020（三件套的一轴两用）、052（验伤不验内容）。
下一篇预告：055《把比特铺成棋盘：表面码 I》。

用测量守护量子态：稳定子与校验子

高档小区的保安巡逻有个细节：夜里查房不进屋——在每户门上"打卡"，记录"门窗完好/异常"，一晚几百个打卡点，谁家异常一目了然。保安系统全程没看过屋里任何东西，却守住了整栋楼。

上篇的三比特码已经这么干了（两个哨兵测同步性、不碰内容）。本篇把这套"打卡"工艺升格成一门语言——稳定子。理由很实际：三比特码的哨兵写起来啰嗦，真实纠错码动辄几百上千个比特，没有一套紧凑语言，表面码（055 篇那张著名棋盘）根本无从谈起。

稳定子：把守恒律写进点名册

先看三比特码那两个哨兵的"学名"。"比特 1、2 是否同步"这个问题，用 020 篇的三件套写出来是一个算符：ZZI（Z 是"反相"操作，但这里当问题用——020 篇"一轴两用"的正式兑现：Z⊗Z 问的是"这两位是不是同步"）。同理"比特 2、3 同步"是 IZZ。

三比特码的全部队形规则，就是两行点名册：

• ZZI = +1（1、2 同步）
• IZZ = +1（2、3 同步）

凡是合法码字（|000⟩、|111⟩、它们的叠加），这两问永远答"是"（读数 +1）——这类"全体合法态都满足的守恒律"就叫稳定子。一个码=一叠点名册；态不必写 2^n 格振幅（015 篇的账本），写"满足哪些约束"就够了——这是稳定子语言的第一大利：态由约束定义。

错误现形：校验子=异常打卡记录

错误来了会发生什么？053 篇的表格现在有了代数读法：

• 1 号比特被 X 打翻 → 队形"1、2 不同步" → ZZI 读数变 −1；
• 3 号比特被 X 打翻 → IZZ 读数变 −1。

错误=某条守恒律被打破=某次打卡异常。异常的清单，行话叫校验子（syndrome）——体检报告的"异常项列表"。纠错的全部工作流由此标准化：

定时打卡（测稳定子）→ 对校验子 → 查表定位错误 → 对症修复。

九比特码有 8 条守恒律，任意单比特错误的校验子互不相同（8 条问答指纹能区分 9×2=18 种单比特错误——X 的、Z 的、各自位置）——码的设计艺术，就是设计一叠"指纹互不撞车"的守恒律。这门语言还自带算术：错误×错误=新错误、校验子可叠加（模 2 相加），解码头因此退化成一张查询表——工程友好到极点。

逻辑算符：信息真正的住址

点名册还有个盲区要单独看清：有没有哪个操作，把所有守恒律都满足（打卡全绿），却照样改变信息？

有——它叫逻辑算符。三比特码里，XXX（三比特齐翻）让 |000⟩↔|111⟩ 互换， ZZI 与 IZZ 却纹丝不动（全同步依旧）——它绕过了所有哨兵。这正是"信息住在哪"的准确答案：逻辑信息住在"与全部守恒律对易、又不属于守恒律"的算符上；而真正的错误，是那些打破守恒律的操作。

由此得到纠错码最重要的规格参数——码距 d：把"绕过哨兵的逻辑错误"造出来的最少单比特错误数。d=3 的九比特码：至少 3 处错误才能伪装成合法操作——于是至多 ⌊(d−1)/2⌋=1 个错误必被抓住（2 个错才会冒充 1 个错的路数）。码距与可纠错数的换算公式，是 055/056 篇表面码体检表的准星。

打卡体系的自举难题

保安体系的最后一个诚实问题：**打卡器自己坏了怎么办？**校验测量也会出错（051 篇名单第四项）——读出 −1 可能是"真有错"，也可能是"哨兵看走眼"。

解法朴素而漂亮：码上有码——每轮校验子不单独采信，而是连续多轮看趋势：某条守恒律突然异常、下一轮恢复正常？多半哨兵眼花；持续异常？真有错误。这份"跨时间的校验子日志"让纠错从"单次查表"升级成"配对追踪"（把异常点连成最可能的"错误链"）——055 篇表面码的解码器，干的正是这门手艺。

把类比拆掉

巡更打点借了哪里：

• 不像之一：保安"看不到屋里"是权限设计，理论可以进去看；量子体系"看不到内容"是物理禁令（002 篇），不是权限——但物理禁令反而送了礼：坍缩落在哨兵身上，内容天然免检。
• 不像之二：打卡器坏了可以换一个保安；量子哨兵（辅助比特）自己也是量子比特、也会错——看守人也要被看守，只能靠"码上有码"的自举与多轮日志，没有绝对可靠的看守人。

带走的行李

1. 稳定子=码的点名册：全体合法态满足的守恒律（三件套当问题问——020 一轴两用的兑现）；态由约束定义，不必写 2^n 账本。
2. 校验子=异常打卡清单：错误打破某条守恒律而现形；码的设计=守恒律指纹互不撞车；逻辑算符=绕过哨兵的操作，码距 d=伪装成合法操作所需的最少错误数（d 码纠 ⌊(d−1)/2⌋ 错）。
3. 看守人也要被看守：校验测量自身会错——多轮日志+码上有码，解码是"连异常点成链"的追踪手艺（055 的表面码解码器即此）。

下一站的钩子：语言备齐，该看主角了——把比特铺成一整张棋盘、哨兵排布成棋盘边上的网格、错误像棋盘上的"断链"被一路配对追踪：表面码，容错量子计算的现役主力（IBM、Google 的路线图都押它）。055《把比特铺成棋盘：表面码 I》。

#量子计算 #从硬币到纠错 #稳定子 #校验子