先备导航：你需要 014（门与配比表）和 016（概率守恒）。
下一篇预告：019《全局相位不重要》。

可逆的必要性：幺正性与"信息不丢"

想象两张桌上的两段影片。

第一张是台球桌：白球撞散一堆彩球，四散滚开。把影片倒放——四散的球汇聚、碰撞、白球回到起点——没有任何一帧违反物理。桌上的每次碰撞都可逆：现在的局面里藏着全部过去的信息，只是很难读。

第二张桌是咖啡杯：一滴牛奶滴进黑咖啡，搅开，杯中一片均匀的浅褐。倒放影片——浅褐退成一颗白点从漩涡里钻出来——每一帧都眼熟，连起来却荒谬透顶。混合不可逆：过去的信息被均匀地抹进了现在，再也读不出来。

经典计算的世界是咖啡杯的天下。量子计算的世界，法律要求它是台球桌的天下。这一篇讲清这条法律的原文、动机和后果。

先看经典计算怎么"倒牛奶"

经典电脑里有个不起眼的零件叫与门：输入两个比特，输出一个比特——两个都为 1 才出 1，否则出 0。

倒放它的影片试试：看到输出是 0，请问输入是什么？可能是 00，可能是 01，也可能是 10。三种过去对应同一个现在——信息在门里被抹掉了，与门把两比特的账合并成一比特的账，顺手扔掉了两比特的区分。

这不叫设计缺陷，这叫逻辑压缩——经典计算大量的效率恰恰来自这种"丢弃"：你不需要保留中间过程，只要结果。烧掉过程，留下灰烬。

量子世界为什么禁烧

量子力学不接受这条效率。原因可以一路追到 016 篇立下的总账：所有结果的概率之和永远等于 1。

配比表（014 篇）如果敢做"压缩"——把两个不同的输入态映到同一个输出态——账立刻爆：想从输出倒推，两个输入的概率命运被合并；想保持每支箭头的长度不缩水，表格就得既"装得下所有输入"又"不撞车"。数学查下来，同时满足"长度全部保住"和"输入输出一一对应"的表格，恰好就是可逆的表格——它的行与列构成一组互相垂直的新坐标轴（017 篇的"基"），转个方向而已，绝不折纸。

这类"只旋转、不折纸"的表格有个学名：幺正。术语而已，本专栏沿用一句白话翻译：幺正 = 只旋转不折纸 = 账本不丢行。

为什么宇宙在底层这么小气？一种深刻的直觉：量子态是连续的东西（球面上的一支箭头），连续的东西没有"扔掉一半"的合法操作——每一分振幅都连着别处的概率账，压缩意味着某处的账变负或超收，而 016 篇的总账管理员不容许。你在 013 篇见过一次这位管理员（交叉项一分不差）；这里再遇一次（总概率一分不丢）。

三个后果，一个比一个深远

后果一：所有经典电路要重写。 与门不合法，那经典的逻辑怎么搬到量子计算机上？答案朴素得可爱：把丢掉的信息留着——与门升级成三输出的可逆版（两个原输入 + 一个"与"结果一起输出），什么都没扔，只是多了一列"垃圾比特"。垃圾不垃圾的，账平就行（第三批电路篇会实操这套翻译）。顺带一个漂亮的副产品：正因为所有计算可逆，计算本身在原理上可以不耗能量——耗能的从来不是计算，是"擦除"（这是热力学与信息论交界处的一块美玉，076 篇软件栈篇再展开）。

后果二：测量凭什么合法？ 有轴的读者会立刻反问：002 篇的测量明明抹掉了信息（坍缩不可逆），它怎么不违法？回答是：账没丢，只是转到别人名下了。坍缩那一刻，被抹掉的叠加信息进入了与你发生相互作用的仪器和环境（002 篇的光子、006 篇的耳语）——宇宙的总账永远平衡，只是你再也读不到那个分册。幺正律约束的是封闭系统；"你+仪器+环境"一起看，一切守恒。这也是退相干的精确身份：信息从你的账本分流到了环境的账本——没销毁，只是你没了权限。

后果三：纠错的可行性藏在里面。 006 篇说过"不能直接检查量子比特的错误"（查岗即坍缩）。幺正律反过来送了一份大礼：既然任何合法操作都保信息，那么把一个比特的信息可逆地摊到几个陪跑比特上（015 篇的搭配展开正是这种操作）在数学上完全合法——信息还在，只是换了住址。第五十三篇的三比特纠错码，本质上就是一次"信息搬家+异地验伤"。没有幺正律，纠错这门学科根本无从谈起。

把类比拆掉

台球桌类比借了哪里：

• 不像之一：台球"可逆"是理论性的——倒放物理上允许，实际上你永远凑不齐那一次完美的逆碰撞；量子的幺正操作是精确可执行的，每个门转过去就转得回来（H 门转两次即回原位，014 篇实测过）。
• 不像之二：台球的可逆依赖于"理想桌无摩擦"；量子的不丢信息不依赖工艺，它是结构性的——哪怕有噪声（006 篇），噪声也只是"账转到环境名下"（后果二），总量依然分毫不差。

带走的行李

1. 量子门的资格线：只旋转、不折纸（幺正）——输入输出一一对应、长度全保；与门那类"合并+丢弃"的经典逻辑在量子世界不合法。
2. 经典逻辑上量子机的正规姿势：加垃圾比特、重写成可逆电路；计算本身不必然耗能，耗能的是擦除。
3. 测量与噪声都不违反这条法律：总账永远平衡，丢的只是"你"的分册（信息分流给仪器与环境）——这既是退相干的真身，也是纠错码"信息搬家"的合法性来源。

下一站的钩子：Z 门把 |1⟩ 的振幅乘上 -1，测量概率纹丝不动——那这个门到底干了什么？答案是量子世界最微妙的一笔账：一个箭头自己朝哪没人管得了，两支箭头的夹角却决定生死。019《全局相位不重要》。

#量子计算 #从硬币到纠错 #幺正性 #可逆计算