[论文解读] An Analog Analogue of a Digital Quantum Computation

Edward Farhi, Sam Gutmann|ArXiv.org|Dec 6, 1996

Quantum Computing Algorithms and Architecture被引用 15

一句话总结

本文提出了一种模拟量子计算模型，通过在由目标哈密顿量 E|w⟩⟨w| 和驱动哈密顿量 E|s⟩⟨s| 组成的时间依赖哈密顿量下演化，在 N 维希尔伯特空间中发现标记量子态 |w⟩，在时间上与 N^{1/2}/E 成正比，实现了与格罗弗数字量子算法相同的二次加速，在连续时间、模拟框架中实现最优态识别。

ABSTRACT

We solve a problem, which while not fitting into the usual paradigm, can be viewed as a quantum computation. Suppose we are given a quantum system described by an N dimensional Hilbert space with a Hamiltonian of the form $E |w >< w|$ where $| w>$ is an unknown (normalized) state. We show how to discover $| w >$ by adding a Hamiltonian (independent of $| w >$) and evolving for a time proportional to $N^{1/2}/E$. We show that this time is optimally short. This process is an analog analogue to Grover's algorithm, a computation on a conventional (!) quantum computer which locates a marked item from an unsorted list of N items in a number of steps proportional to $N^{1/2}$.

研究动机与目标

• 证明一种连续时间、模拟量子计算方法，可在不依赖离散量子门的情况下解决无结构搜索问题——即在 N 维希尔伯特空间中识别标记态 |w⟩。
• 证明通过联合哈密顿量时间演化识别 |w⟩ 所需的时间是最优的，与格罗弗数字算法的 N^{1/2} 缩放一致。
• 通过构建一个由薛定谔方程控制的物理系统，实现从已知初始态 |s⟩ 到 |w⟩ 的最小时间演化，建立格罗弗算法的模拟对应物。
• 利用基于时间-能量不确定性的下界，证明在给定约束下不存在更快的演化方式。

提出的方法

• 系统初始化为一个已知态 |s⟩，该态不一定是与未知标记态 |w⟩ 正交的，其内积为 ⟨s|w⟩ = x。
• 构建总哈密顿量 H = H_w + H_D，其中 H_w = E|w⟩⟨w| 标记目标态，H_D = E|s⟩⟨s| 作为与 |w⟩ 无关的驱动场。
• 在由 |s⟩ 和 |w⟩ 张成的二维子空间中分析 H 的时间演化，得到时间依赖态 |ψ_w,t⟩ = e^{-iHt}|s⟩。
• 在时间 t 测量 |w⟩ 的概率为 P(t) = sin²(Ext) + x²cos²(Ext)，在 t_m = π/(2Ex) 处达到峰值，由于 E[x²] ≈ 1/N，其缩放为 N^{1/2}/E。
• 通过变分论证推导最优时间界限：不同 |w⟩ 对应的演化态之间距离的变化率受 2EN^{1/2} 限制，从而导出下界 t ≥ εN^{1/2}/(2E)。
• 证明依赖于时间-能量不确定原理，并对所有可能的 |w⟩ 态求和，表明不存在更快的演化方式能以高保真度区分所有 |w⟩ 态。

实验结果

研究问题

• RQ1 连续时间量子系统能否在时间复杂度与格罗弗数字算法匹配的前提下，识别 N 维希尔伯特空间中的标记态 |w⟩？
• RQ2 通过模拟哈密顿量演化识别态所需的时间是否是最优的，且能否严格证明？
• RQ3 初始态 |s⟩ 的选择及其重叠 x = ⟨s|w⟩ 如何影响实现高保真度态制备的时间？
• RQ4 该模拟模型能否在不使用离散酉门的情况下，实现与格罗弗算法相同的 N^{1/2} 缩放？
• RQ5 使用单个驱动哈密顿量区分所有可能的标记态 |w⟩ 所需时间的根本下限是什么？

主要发现

• 通过连续时间演化识别标记态 |w⟩ 所需的时间为 O(N^{1/2}/E)，与格罗弗数字量子算法的最优缩放一致。
• 最优时间 t_m = π/(2Ex) 可实现测量 |w⟩ 的单位概率，且由于 E[x²] ≈ 1/N，期望时间缩放为 O(N^{1/2}/E)。
• 在 |w⟩, |r⟩ 基底下，有效哈密顿量的本征值间隙为 2xE，其量级为 O(E/N^{1/2})，与时间-能量不确定原理一致。
• 推导出严格的下界 t ≥ εN^{1/2}/(2E)，证明在给定条件下不存在更快的演化方式能以高保真度区分所有可能的 |w⟩ 态，从而确认了最优性。
• 该模拟模型实现了与格罗弗算法相同的二次加速，但通过连续时间演化而非离散酉步骤实现。
• 只要平均重叠 x 的量级为 N^{-1/2}，该结果对 |s⟩ 的选择不敏感，这在高维空间中对随机态是典型的。