[论文解读] Canonical Construction of Quantum Oracles

Austin Gilliam, Marco Pistoia+1 more|arXiv (Cornell University)|Jun 18, 2020

Quantum Computing Algorithms and Architecture参考文献 11被引用 4

一句话总结

本文提出了一种规范的、代数化的量子预言机构造方法，可从伊辛模型及其他代数表达式中构建量子预言机，从而通过广义Grover迭代高效编码目标量子态。该方法统一了振幅放大与估计算法中预言机的构建方式，在NP难问题（如零和子集问题）和斐波那契数计算中表现出优越性能，并在真实离子阱量子硬件（Honeywell System Model HØ，量子体积64）上完成实验验证。

ABSTRACT

Selecting a set of basis states is a common task in quantum computing, in order to increase and/or evaluate their probabilities. This is similar to designing WHERE clauses in classical database queries. Even though one can find heuristic methods to achieve this, it is desirable to automate the process. A common, but inefficient automation approach is to use oracles with classical evaluation of all the states at circuit design time. In this paper, we present a novel, canonical way to produce a quantum oracle from an algebraic expression (in particular, an Ising model), that maps a set of selected states to the same value, coupled with a simple oracle that matches that particular value. We also introduce a general form of the Grover iterate that standardizes this type of oracle. We then apply this new methodology to particular cases of Ising Hamiltonians that model the zero-sum subset problem and the computation of Fibonacci numbers. In addition, this paper presents experimental results obtained on real quantum hardware, the new Honeywell computer based on trapped-ion technology with quantum volume 64.

研究动机与目标

• 自动化并标准化基于代数约束选择与评估特定量子态的量子预言机构造。
• 通过提供一种量子原生的、规范化的编码方法，解决电路设计过程中经典预言机评估效率低下的问题。
• 推广Grover迭代，以确保在各类量子算法中振幅放大与估计算法中预言机使用的统一性与一致性。
• 利用真实量子硬件对方法在NP难问题与组合计算中的有效性进行验证。
• 建立振幅估计与广义玻恩法则之间的联系，将量子计算视为随机变量的概率空间。

提出的方法

• 提出一种从代数表达式（如伊辛模型）规范构造预言机的方法，将所有期望的基态映射到同一值，实现统一的相位标记。
• 引入广义Grover迭代，通过将预言机逻辑与振幅放大过程解耦，实现预言机使用的标准化。
• 采用量子字典模式将函数（如多项式、约束条件）编码为纠缠的键值寄存器，利用相位旋转与基于QFT的编码实现。
• 通过受控相位门（$R( heta)$）实现几何序列编码，以叠加态表示整数，实现高效的态制备。
• 应用逆QFT从相位编码态中提取编码的整数，利用旋转复合的模运算性质。
• 采用基于像素的可视化方法，将复振幅表示为色彩编码的强度与色调，辅助状态分析与验证。

实验结果

研究问题

• RQ1 如何从代数表达式（如伊辛哈密顿量）系统化且规范地构造量子预言机？
• RQ2 规范化的预言机构造对振幅放大与估计算法中效率与准确性的提升有何影响？
• RQ3 与启发式与朴素的预言机编码策略相比，该方法在电路深度、保真度与资源使用方面表现如何？
• RQ4 广义Grover迭代能否有效实现跨多种问题的预言机为基础的量子计算标准化？
• RQ5 该方法在真实量子硬件上，特别是NP难组合问题上，能否实现有效的实验验证？

主要发现

• 规范化的预言机构造方法可高效编码复杂代数约束（如零和子集问题），相比启发式或朴素方法显著降低电路深度。
• 在Honeywell System Model HØ（量子体积64）上的实验结果证实了该方法的可行性与鲁棒性，实现了高保真度的态制备与测量结果。
• 广义Grover迭代实现了不同类型预言机在振幅放大中的统一与标准化应用，提升了算法的可移植性与可靠性。
• 该方法利用规范预言机实现了斐波那契数的精确计算，在成功概率与电路效率方面优于启发式与朴素编码策略。
• 基于像素的可视化结果表明，量子态振幅与理论预测一致，相位与幅值模式与预期代数结构相符。
• 振幅估计与广义玻恩法则之间的联系得到验证，表明量子计算天然定义了一个概率空间，其结果可对应为随机变量。