干涉：量子算法威力的真正来源
一句话定义
量子计算的加速机制可以概括为：通过酉运算操纵复振幅，让正确答案的振幅发生构造性干涉而增强、错误答案的振幅发生相消干涉而抵消，使测量以高概率给出正确结果。
为什么重要
这是"量子计算为什么快"的标准答案，也是区分内行与外行的分水岭。只知道"叠加=并行"的人无法解释为什么测一次只有一个结果；理解干涉的人则能预见哪些问题适合量子加速（存在可利用的对称结构）、哪些不适合（kp-033）。本知识点是 kp-015（Deutsch–Jozsa）与 kp-018（Grover）的直觉总纲。
前置知识
kp-002（叠加与相对相位）。需要接受"振幅是复数、概率是模平方"这条规则，暂不需要矩阵。
核心概念
- 振幅（amplitude）：每个计算基结果对应的复数；可正、可负、可为任意相位。
- 构造性干涉：同相振幅相加，概率增强。
- 相消干涉：反相振幅抵消，概率压低乃至归零。
- 量子算法的设计范式：编码问题 → 用门的序列操纵振幅 → 让不需要的解在振幅层互相抵消 → 测量。
- 信息流方向：信息从"振幅的相位"流向"测量的统计分布"，中间不可能被直接"偷看"。
直观类比
降噪耳机：喇叭发出与噪声反相的声波，叠加后安静——错误信号被"减掉"了。量子算法对错误答案做的就是这件事。另一个类比是光学相控阵雷达：通过精确控制每个阵元的相位，让波束在目标方向同相叠加、在其他方向相消——量子线路就是作用在 2n 维振幅空间上的"相控阵"。
原理与机制
概率的经典加法是 P(A 或 B) = P(A) + P(B)（互斥时），而量子规则是先加振幅再取模平方：P = |a₁ + a₂|²。若 a₁、a₂ 同相，得到 (|a₁|+|a₂|)²，超过经典和；若反相，得到 (|a₁|−|a₂|)²，可以小于经典和甚至为零。一切量子加速都建立在这个"先加后平方"上。算法设计的实质是：把问题结构翻译成一串酉变换，使解的振幅在经过若干轮后集中到少数基矢上。没有可利用的结构（例如完全无规律的随机函数），干涉就无从组织——这解释了量子加速为何总是"有条件"的。
公式或模型
P(x) = |Σᵢ aᵢ(x)|² ≥/≤ Σᵢ |aᵢ(x)|²（取决于相位关系）。
以 kp-018 的 Grover 算法为例：每轮迭代把目标态振幅增加约 2/√N，k 轮后成功概率约为 sin²((2k+1)θ)，其中 sin θ = 1/√N——干涉被定量地"调度"成 √N 缩放。
图示
实例或案例
双缝实验的单光子版本：光子逐个发射，屏幕上的落点起初看似随机，累计千次后浮现干涉条纹——每个光子的两条"路径振幅"在屏幕各点发生干涉。Deutsch–Jozsa 算法（kp-015）用同一个机制判断函数性质：把 f 的信息写入相位，再让错误答案的 n−1 位振幅全部相消，只留下能区分常值/平衡的那一个测量结果。
与其他知识点的关系
kp-002 提供叠加与相位基础；kp-015、kp-018 是干涉的两个完整演出；kp-019 的变分算法可视为"让经典优化器帮我们凑出干涉图案"的工程化版本；kp-033 用"无结构则无干涉"解释量子计算的能力边界。
常见误区
- "n 个量子比特同时计算 2n 个值，所以肯定快"：并行存在于振幅层，读出层只有一次采样；能不能快取决于能否设计出把答案筛出来的干涉。
- "干涉是微观才有的神秘现象"：干涉是波动的普遍性质，宏观声学、光学处处可见；量子计算的新意在于干涉发生在概率振幅上。
- "只要比特够多就能加速一切"：加速需要问题的代数/几何结构供干涉利用，随机黑箱问题没有已知的指数加速（kp-033）。
自测题
- 为什么把所有振幅取绝对值（丢掉相位）后就不再有量子加速？
- 两个互斥事件，各自概率 0.25，量子干涉后联合概率可能是多少？
- 用一句话向非技术者解释量子算法与暴力并行搜索的区别。
答案要点：相消干涉依赖相位符号/辐角；取绝对值后一切同号，退化为经典概率加法。
答案要点：介于 0 与 1 之间，取决于两振幅相位——|a±b|² 可取 0 到 (|a|+|b|)² 的一切值。
答案要点：它不是把所有答案都算一遍再看，而是让错误答案的"波"互相抵消、正确答案的"波"叠加放大。
延伸阅读
S. Aaronson《Quantum Computing Since Democritus》第 10 章；D. Deutsch、R. Jozsa (1992)，Proc. R. Soc. A（首个展示干涉调度收益的算法）。