先备导航：你需要 014（Z 门）、016（交叉项）和 017（基与换轴）。
下一篇预告：020《X/Y/Z 三件套》。

全局相位不重要：相对相位就是一切

先重开一桩悬案。

014 篇介绍 Z 门时留了个尾巴：它把 |1⟩ 成分的振幅乘上 -1，可任何测量概率纹丝不动——|0⟩ 还是 |0⟩，对半叠加还是对半。于是问题悬在那儿：这个门什么都没干吗？

答案是：它干了大事，而理解它干了什么，需要本篇唯一的新概念——相位的"全局"与"相对"之分。这是整个第二批最精微的一篇，也是从"会算"到"会设计"的分水岭：后面所有算法篇的干涉编排，全部站在这一篇的概念上。

先看一件测不出的东西

把一个态的所有振幅同时乘上同一个复数箭头（比如全体乘 -1，或全体转 37 度），会发生什么？

016 篇的账本给答案：概率=振幅长度的平方，全体乘同一个数不改变任何长度；多路径的交叉项只依赖振幅之间的夹角——全体一起转，夹角原地不动。所有账目纹丝不动。

结论：全体统一的旋转，物理上不存在。 "态乘以全局相位"前后的两个态，不是相似，是同一个态——012 篇的状态球给过它几何身份：球面上同一个点。北极 |0⟩ 没有东西经之分，"朝东的北极"不是新地点。

这也是为什么合唱团全体起调不算改编歌曲：整团从 C 调升到 D 调，每一个声部都挪了，但声部之间的音程一个没动——旋律的"内容"住在音程里，不住在绝对音高里。量子态的内容住在振幅间的相对关系里，不住在绝对相位里。

再看一件决定生死的东西

全局无所谓，相对就是一切。

016 篇的交叉项公式里，真正的话事人是两支箭头的夹角：0 度，相长，概率翻两番；180 度，相消，概率归零；90 度，不增不减。夹角转几度，干涉的成败就变几分——相对相位是干涉的琴弦，松紧之间直接决定哪个答案活下来。

一个锋利的对比例子（017 篇已经见过它们，现在换个眼光再看）：

• |+⟩ = 对半 |0⟩ 加对半 |1⟩（相对相位 0 度）
• |−⟩ = 对半 |0⟩ 减对半 |1⟩（相对相位 180 度）

用上下基问：两个态一模一样——都是 50/50 纯随机。用左右基问：一个 100% 是 +，一个 100% 是 −——判若两态。它们差的东西（相对相位 180 度）是真实、可区分、可操作的物理，只是换对了基才显形。

相位由此获得它的正确画像：隐形墨水——在错的基下完全隐形（概率全部一样），换对基、用干涉一照，字迹纤毫毕现。量子算法的无数桥段，就是"把想读的信息写进相对相位，再用合适的基显影"——035 篇的 Simon 算法、041 篇的相位估计，名字里就写着这回事。

现在给 Z 门结案

回到开头那桩悬案，Z 门干了什么，终于能说清了：

对纯态 |1⟩：全局乘 -1，毫无物理后果——Z 门对它确实是"什么都没干"。

对叠加态 |+⟩：Z 门把其中的 |1⟩ 成分单独乘 -1——注意，这次不是全局：|0⟩ 成分没动，|1⟩ 成分反了相。两支箭头的夹角被掰动了 180 度，|+⟩ 当场变成 |−⟩。对上下基，看不出区别（还是 50/50）；对左右基，天翻地覆。

所以 Z 门的准确身份：单比特的"相对相位调节器"——把态沿状态球的经线转半圈（012 篇的经度=相对相位，今天补全这条坐标的物理意义）。它对某些态是无效操作、对另一些态是致命改写——一个门两种命运，判据就是态里有没有"可以被掰动的相对相位"。

顺带立一条工程军规（后文会多次用到）：既然全局相位无意义，算法设计者永远只需要操心相对相位；两个电路若只差全局相位，是完全等价的方案——验算干涉时，盯住箭头两两夹角即可，全体共同旋转一律忽略。这条"偷懒规则"每年替量子工程师省下无数白头发。

把类比拆掉

合唱类比借了哪里：

• 不像之一：音高是物理频率，起调真的换了声波；量子全局相位连声波都不换——它不是"换了但听不出"，是物理上未发生。类比只在"内容住在相对关系里"这一点上成立。
• 不像之二：合唱的音程错误人耳可查；相对相位没有"直接耳朵"——它只在特定基的干涉里显影（017 篇的换轴），你以为的"隐形"与"显形"取决于你用什么问，这比任何听觉经验都反直觉。

带走的行李

1. 全局相位不存在：所有振幅乘同一个复数 = 同一个态（球上同一个点）；合唱可以起调，量子不可以。
2. 相对相位是全部：振幅间的夹角通过交叉项直接改写概率——0 度相长、180 度相消；|+⟩ 与 |−⟩ 只差这个夹角，在左右基下是两个完全不同的确定态。
3. Z 门=相对相位调节器（经线半圈）；相位是隐形墨水——写进相位的信息要在对的基下用干涉显影，这是后面一切相位型算法的母题。

下一站的钩子：X（开关）、Z（反相）已经到手，还差一件凑齐单比特操控的"三件套"——Y。三个门各自绕状态球的哪根轴转、为什么恰恰是三根、它们凑在一起怎么拼出球面上任何旋转——020，批二的收官之作《X/Y/Z 三件套》。

#量子计算 #从硬币到纠错 #相位 #干涉