论文二·思想二：Johnson 图量子行走

• 主信息：总成本 S+O(1/√(δε))·(U+C)；ε=Θ(r²/N²)、δ=Θ(1/r) → r=N^{2/3}
• 命题框：量子行走搜索总成本 S + O(1/√(δε))·(U+C)；Johnson 图 J(N,r)：顶点 = [N] 的 r 元子集 S，行走态 |S⟩|D(S)⟩，D(S)={(i,f(i)):i∈S}；标记 = D(S) 内含重复输出
• 推导步骤：

1. 两个平方根的来源：1/√ε 来自振幅放大（把 √ε 的标记振幅推到常数）；1/√δ 来自特征相位 arccos(1−δ)≈√(2δ)——特征相位是转移矩阵特征值的反余弦

2. 三项成本：S=r（均匀子集叠加免费、加载 D(S) 查 r 次）；U=O(1)（相邻子集只差 1 个元素，每步 1 次新查询）；C=0（查重读哈希表，不问 oracle）

3. ε 精确计数：ε=C(N−2,r−2)/C(N,r)=r(r−1)/(N(N−1))=Θ(r²/N²)（约去公共因子 (N−r)!）

4. 演算（教材手算例）：N=10、r=4：C(8,2)=28、C(10,4)=210 → ε=28/210=2/15；公式验证 r(r−1)/(N(N−1))=4·3/(10·9)=12/90=2/15 ✓

5. δ 推导：Johnson 图特征值 λ₁=[(r−1)(N−r−1)−1]/(r(N−r))=1−N/(r(N−r)) → δ=N/(r(N−r))=Θ(1/r)（每步只换 1 个元素 → 混合时间 Θ(r)）

6. 合成与平衡：1/√(δε)=1/√(r/N²)=N/√r；令 r=N/√r → r^{3/2}=N → r=N^{2/3}。一行思路：谱隙的 1/r 恰好消掉 ε 中 r²/N² 的一个 r

7. 代数值：N=10⁶ → r=10⁴：setup 10⁴ + 行走 10⁶/10²=10⁴ = 合计 ≈2×10⁴ 次，比经典 10⁶ 少约 50 倍 ✓

• 结果框：ED 查询 Θ(N^{2/3})，多项式法/对抗法下界 Ω(N^{2/3}) 匹配最优——"成对证据比单点证据贵 N^{1/6}"；查询 ≠ 时间（朴素数组 O(N^{4/3}) 反慢于经典排序，需可逆数据结构+QRAM 压到 polylog）；推广：k-distinctness O(N^{k/(k+1)})，learning graph 改进到 N^{3/4−1/(4(2^k−1))}（k=3：5/7≈0.714 优于 3/4）