[论文解读] Quantum Circuit for Calculating Symmetrized Functions Via Grover-like Algorithm

Robert R. Tucci|arXiv (Cornell University)|Mar 26, 2014

Quantum Computing Algorithms and Architecture参考文献 8被引用 3

一句话总结

本论文提出了一种用于计算对称函数的量子线路，采用增强型自适应固定点 Grover 算法（AFGA），并引入两项新技术：'同时定位两个假设'与'盲定位'。该方法通过迭代优化 |a₁|/|a₀| 的比值估计，实现对叠加态中振幅的高效估计，最终可计算出 4 量子比特系统中 |⟨c₄|π_{Sym₄}|ψ⟩|² 的值，且已知初始态分量。

ABSTRACT

In this paper, we give a quantum circuit that calculates symmetrized functions. Our algorithm applies the original Grover's algorithm or a variant thereof such as AFGA (adaptive fixed point Grover's algorithm). Our algorithm uses AFGA in conjunction with two new techniques we call "targeting two hypotheses" and "blind targeting". Suppose AFGA drives the starting state $|s angle$ to the target state $|t angle$. When targeting two hypotheses, $|t angle$ is a superposition $a_0|0 angle + a_1|1 angle$ of two orthonormal states or hypotheses $|0 angle$ and $|1 angle$. When targeting blindly, the value of $\langle t| s angle$ is not known a priori.

研究动机与目标

• 开发一种可扩展的量子算法，用于在量子信息理论中计算对称函数。
• 通过整合 Grover 类搜索与振幅估计技术，克服先前方法的局限性。
• 即使初始重叠 ⟨t|s⟩ 未知（即盲定位），也能实现 |⟨c₄|π_{Sym₄}|ψ⟩|² 的计算。
• 提供一种实用的量子线路框架，利用 AFGA 实现多量子比特系统中稳健的振幅推断。
• 通过采用自适应振幅估计与受控态制备，推广 Barenco 等人先前的工作。

提出的方法

• 以自适应固定点 Grover 算法（AFGA）为核心搜索机制，推动初始态 |s⟩ 逼近目标态 |t⟩。
• 引入'同时定位两个假设'，通过将 |t⟩ 表示为正交态的叠加 a₀|0⟩ + a₁|1⟩，来估计振幅比值 |a₁|/|a₀|。
• 应用'盲定位'处理初始重叠 ⟨t|s⟩ 事先未知的情况，提升鲁棒性。
• 使用受控酉操作与投影算符（如 P₀(β₂;2)）在态演化过程中条件性操控量子比特寄存器。
• 构建迭代线路（如图 6、图 8），生成中间态 |s⟩(k)，其中 k = 4,3,2，以实现递归振幅估计。
• 采用张量积符号与竖直 ket 表示法，实现对线路描述与算符复合的紧凑表达。

实验结果

研究问题

• RQ1 能否使用基于 Grover 的振幅估计高效计算量子系统中的对称函数？
• RQ2 当初始重叠 ⟨t|s⟩ 未知时（即盲定位），如何实现振幅推断？
• RQ3 同时定位两个假设在估计振幅比值 |a₁|/|a₀| 时起到什么作用？
• RQ4 AFGA 变体如何被调整以计算 4 量子比特系统中的 |⟨c₄|π_{Sym₄}|ψ⟩|²？
• RQ5 能否通过受控酉操作与基于投影的态制备，将该算法推广至任意 d-维量子比特系统？

主要发现

• 该算法通过递归应用 TTH 与盲定位计算 |⟨c₄|π_{Sym₄}|ψ⟩|²，最终结果表示为 k=4,3,2 的乘积：√Q(4)(c₄) = (2/4)(2/3)(2/2)√Q(1)(c₄) × ∏_{k=4,3,2} [1 + σ(k)√P(k)(0)/P(k)(1)]。
• 该方法确保 z₁ = √Q(4)(c₄) ≥ 0，并将 z₀ 与 Q(3)(c₄) 关联，从而实现将问题递归简化为已知分量。
• z₀ 的符号由 P(+) 与 P(−) 的相对大小决定，若 P(+) > P(−)，则 σ(k) = +1，否则为 −1。
• 图 6 中的线路在不使用 γ 量子比特的情况下生成 |s⟩(4)，转而依赖排除 P₀(β₂;2) 的修改投影算符 π′(β)。
• 即使 |ψ⟩ 未归一化或含有复数分量，该方法依然有效，如附录 C 所示，通过归一化及实部/虚部分解得以证明。
• 该算法通过整合 AFGA 与新颖的振幅估计技术，推广了 Barenco 等人先前的工作，实现了稳健且可扩展的对称函数评估。