- 命题框：交换测试（H → 受控 SWAP → H → 测辅助比特）给出 $\Pr(0) = (1 + |\langle\phi|\psi\rangle|^2)/2$
- 推导步骤（逐行）：
- 第一个 H：$(1/\sqrt{2})(|0\rangle+|1\rangle)|\phi\rangle|\psi\rangle$
- 受控 SWAP：$(1/\sqrt{2})(|0\rangle|\phi\rangle|\psi\rangle + |1\rangle|\psi\rangle|\phi\rangle)$
- 第二个 H：$(1/2)[|0\rangle(|\phi\rangle|\psi\rangle+|\psi\rangle|\phi\rangle) + |1\rangle(|\phi\rangle|\psi\rangle-|\psi\rangle|\phi\rangle)]$
- $\Pr(0)$ = 对称分支范数平方 $= (1/4)(2 + \langle\phi|\psi\rangle\langle\psi|\phi\rangle + \langle\psi|\phi\rangle\langle\phi|\psi\rangle) = (1+|\langle\phi|\psi\rangle|^2)/2$
- 演算：全同 $|\langle\phi|\psi\rangle|^2 = 1$ → $\Pr(0) = 1$；正交 = 0 → $\Pr(0) = 1/2$；$|\langle\phi|\psi\rangle|^2 = 0.8$ → $\Pr(0) = 0.9$；单次伯努利方差 $\le 1/4$ → 精度 $\varepsilon$ 需 $O(1/\varepsilon^2)$ 次重复
- 配合行：QRAM 加载态 $|\psi_D\rangle$ 与参考态做交换测试，重叠 $\langle\phi|\psi_D\rangle = (1/N)\cdot\sum_j \beta_j^*\cdot\langle\mathrm{ref}|D_j\rangle$ 化为频率估计——推荐系统与量子 PCA 需要的内积型统计量，每次重复仅一次 $O(\log N)$ 深度查询
- 下界卡：Troyansky–Tishby（1996）——读出 $k$ 项需 $\Omega(k)$ 次查询：输出 $k$ 项要 $\Omega(k)$ 比特经典输出，单次查询的可访问信息不足；读出全部 $N$ 项 = $\Omega(N)$，与经典相同
- 结果框：批量读出被 $\Omega(k)$ 堵死；优势三场景 = 相干叠加查询 / 结构化数据操作 / 内积与范数估计 $O(\mathrm{poly}(n)\cdot1/\varepsilon)$——输出是统计量而非原始数据
类型definition-derivation