[论文解读] Notes on nonlinear quantum algorithms

Marek Czachor|ArXiv.org|Feb 19, 1998

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

一句话总结

本文研究了 Abrams 和 Lloyd 提出的非线性量子算法，证明其快速性能并不依赖于非物理的超光速信号传递。通过采用一种局域的、非 Weinberg 型的非线性动力学，该动力学保持因果性，作者表明该算法能够在搜索问题中区分解的个数为零与非零的情况，实现快速检测而不违反相对论约束。

ABSTRACT

Recenty Abrams and Lloyd have proposed a fast algorithm that is based on a nonlinear evolution of a state of a quantum computer. They have explicitly used the fact that nonlinear evolutions in Hilbert spaces do not conserve scalar products of states, and applied a description of separated systems taken from Weinberg's nonlinear quantum mechanics. On the other hand it is known that violation of orthogonality combined with the Weinberg-type description generates unphysical, arbitrarily fast influences between noninteracting systems. It was not therefore clear whether the algorithm is fast because arbitrarily fast unphysical effects are involved. In these notes I show that this is not the case. I analyze both algorithms proposed by Abrams and Lloyd on concrete, simple models of nonlinear evolution. The description I choose is known to be free of the unphysical influences (therefore it is not the Weinberg one). I show, in particular, that the correct local formalism allows even to simplify the algorithm.

研究动机与目标

• 为解决人们担忧非线性量子算法可能依赖于非相互作用系统之间的非物理、超光速影响的问题。
• 检验 Abrams 和 Lloyd 的非线性算法中的加速效果是否源于此类非物理效应，或源于有效的非线性动力学。
• 证明一种因果一致的非线性形式体系仍可实现快速的量子算法。
• 通过采用局域的、非 Weinberg 型的非线性演化模型，简化并澄清该算法。
• 表明非线性动力学即使在 s 很小时，也能有效区分搜索问题中的 s=0 和 s>0。

提出的方法

• 采用一种保持归一化且避免 Weinberg 形式体系非局域性的非线性薛定谔型演化方程。
• 仅将非线性动力学应用于标志量子比特，确保局域性和因果性。
• 使用一种类似迁移率的演化方式，使靠近 |0⟩ 的态保持稳定，而叠加态则被驱动向 |1⟩，从而实现对非零解个数的检测。
• 采用含小耦合参数 ε 和控制有效频率 ωε,α ≈ ε 的参数 α 的时变哈密顿量模型。
• 分析标志量子比特的 ⟨σ₃⟩ 期望值的时间演化，表明仅当 s > 0 时才会出现振荡行为。
• 推导出在标志量子比特中测量到 |1⟩ 的概率为 P(f=1) = s / 2ⁿ，确认了小 s 情况下的正确缩放关系。

实验结果

研究问题

• RQ1 非线性量子算法是否能在不引入非物理的超光速信号影响的前提下实现快速性能？
• RQ2 Abrams 和 Lloyd 算法中的非线性演化是否依赖于 Weinberg 非线性量子力学的非局域特性？
• RQ3 因果一致的非线性形式体系是否仍能实现对量子搜索中非零解个数的快速检测？
• RQ4 非线性动力学是否仅在局部应用（如单个标志量子比特）时才有效？
• RQ5 非线性演化如何以对小参数波动具有鲁棒性的方式区分 s=0 和 s>0？

主要发现

• 该算法所采用的非线性演化不会在非相互作用系统之间产生非物理影响，因为它避开了 Weinberg 形式体系。
• 该算法成功区分了 s=0 和 s>0 的情况，其中标志量子比特的期望值 ⟨σ₃⟩ 在 s=0 时保持恒定为 1，而在 s>0 时发生振荡。
• 当 s>0 且 η 很小时，标志量子比特的状态以频率 ωε,α ≈ ε 演化，使得检测时间与 1/ε 成正比。
• 在标志量子比特中测量到 |1⟩ 的概率恰好为 s / 2ⁿ，确认了正确的缩放关系，验证了非线性方法的有效性。
• 即使仅局部应用于单个量子比特（即标志量子比特），非线性动力学依然有效，从而简化了算法并保持了因果性。
• 该算法的速度并非源于非局域效应，而是源于非线性演化对 s=0 与 s>0 之间差异的放大能力。