[论文解读] The Precise Formula in a Sine Function Form of the norm of the Amplitude and the Necessary and Sufficient Phase Condition for Any Quantum Algorithm with Arbitrary Phase Rotations

Dafa Li|Jul 3, 2001

Quantum Computing Algorithms and Architecture参考文献 10被引用 7

一句话总结

本文推导出具有任意相位旋转的Grover型量子搜索算法中振幅范数的精确正弦函数公式，实现了成功态放大所需的充要相位条件。证明了相同旋转角度（θ = φ）足以实现完全成功概率，但非必要，解决了先前研究中的矛盾，并为更广泛的算法设计提供了支持。

ABSTRACT

In this paper we derived the precise formula in a sine function form of the norm of the amplitude in the desired state, and by means of he precise formula we presented the necessary and sufficient phase condition for any quantum algorithm with arbitrary phase rotations. We also showed that the phase condition: identical rotation angles, is a sufficient but not a necessary phase condition.

研究动机与目标

• 推导出具有任意相位旋转的广义量子搜索算法在k次迭代后目标态振幅范数的精确解析公式。
• 解决Grover提出的长期悬而未决的问题：确定任意相位旋转的量子算法中实现充要相位条件，即成功搜索的必要与充分条件。
• 通过证明θ=φ仅为充分条件而非必要条件，挑战并纠正先前认为θ=φ既是必要也是充分条件的主张。
• 为实现目标态的确定性制备，提供精确的最优迭代次数k₀，适用于任意酉操作和任意相位角。
• 建立振幅范数作为迭代次数k的函数所具有的普遍性质，如周期性与单调性。

提出的方法

• 推导出目标态振幅范数的闭式表达式，形式为|bₖ| = |sin(kΔ + ψ)| / √(1 + |β|²)，其中Δ和β是相位角θ、φ及重叠p = |⟨γ|τ⟩|的函数。
• 采用二维不变子空间分析方法，对广义Grover算子Q = -I_γ^(θ) U⁻¹ I_τ^(φ) U重复作用下量子态的演化进行建模。
• 应用复分析与三角恒等式，推导出相位条件|cos(θ - φ) - 2p² cosθ cosφ| ≤ 1，该条件可确保振幅范数有界且呈现振荡行为。
• 确立实现单位成功概率的充要条件为sinΔ ≤ |β|，其中Δ和β由相位与重叠参数导出。
• 利用递推关系与特征值分析，推导出最优迭代次数k₀ = ⌊π/(2Δ)⌋，以确保以确定性达到目标态。
• 分析特殊情况（如θ = φ），恢复已知结果并与先前近似方法比较，验证所推导公式的精确性。

实验结果

研究问题

• RQ1 对于具有任意相位旋转的广义量子搜索算法，目标态振幅范数的精确解析形式是什么？
• RQ2 在何种相位角θ与φ条件下，可保证算法以确定性找到目标态？
• RQ3 条件θ = φ是否既是成功搜索的必要条件也是充分条件？还是其他相位组合也能实现完全成功概率？
• RQ4 在任意相位旋转下，为以确定性达到目标态，所需的精确最优迭代次数k₀是多少？
• RQ5 振幅范数及其行为（如单调性、周期性）如何依赖于迭代次数k与相位参数？

主要发现

• 目标态中振幅的范数可精确表示为|bₖ| = |sin(kΔ + ψ)| / √(1 + |β|²)，其中Δ和β由相位角及重叠p = |⟨γ|τ⟩|导出。
• 实现单位成功概率的充要条件为sinΔ ≤ |β|，其中Δ和β是相位角与重叠参数的函数。
• 条件θ = φ足以实现完全成功概率，但非必要，这与文献[5]和[10]中的主张相矛盾，后者认为θ=φ既是必要也是充分条件。
• 为以确定性达到目标态，最优迭代次数k₀为k₀ = ⌊π/(2Δ)⌋，该结果由精确相位条件推导得出。
• 振幅范数|bₖ|在区间[0, k₀]内具有周期性且单调递增，且在k₀处达到最大值。
• 在特殊情形θ = φ下，公式退化为标准Grover形式，且k₀小于非相同相位旋转的情形，表明该情况下效率更高。