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