[论文解读] Adversary lower bounds in the Hamiltonian oracle model

David L. Yonge-Mallo|arXiv (Cornell University)|Aug 11, 2011

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

一句话总结

本文证明了使用敌对方法（包括标准版本与带负权重的广义版本）推导出的量子查询下界在哈密顿量预言机模型中依然成立，该模型是一种连续时间的量子查询框架。研究证明，在哈密顿量模型中，进度度量的变化速率与离散查询模型中的界限相似，从而确保敌对下界在具有时变哈密顿量的连续时间演化中依然有效。

ABSTRACT

In this note, we show that quantum lower bounds obtained using the adversary method hold in the Hamiltonian oracle model.

研究动机与目标

• 将量子敌对方法的适用范围扩展至哈密顿量预言机模型，即量子查询模型的连续时间推广。
• 证明标准敌对方法与广义敌对方法（包括带负权重者）在哈密顿量设置下仍能产生有效的下界。
• 通过证明敌对方法的进度度量在两种模型中行为一致，形式化离散查询模型与连续时间哈密顿演化之间的联系。
• 独立于驱动哈密顿量，严格推导哈密顿量模型中进度度量变化速率的上界。
• 利用敌对方法框架，将此前关于奇偶性等函数的下界结果推广至连续时间领域。

提出的方法

• 将哈密顿量预言机模型形式化为一种连续时间的量子查询模型，其中哈密顿量根据含时驱动项与预言机项的薛定谔方程演化。
• 定义进度度量 $ w^t = ig| igra{ ilde{ ho}^t } ig| $，其中 $ ilde{ ho}^t $ 是由输出不同的输入对导出的密度矩阵。
• 推导内积幅度 $ ig| ra{ ilde{ ho}^t } ig| $ 的时间导数，证明其有界于 $ 2 ig( ext{max}_j ext{eigenvalue}( ilde{ ho}_j) ig) $。
• 利用差分算符 $ igra{ ilde{ ho}_j } $ 的谱范数（定义为 $ igra{ ilde{ ho}_j } = ext{Re} ig( ext{Tr}[ ho_j ho_j^ op ] ig) $）来界定变化速率。
• 通过允许谱敌对矩阵 $ ilde{ ho} $ 中出现负权重，应用广义敌对方法，证明该界依然成立。
• 将导数的上界进行积分，推导出总演化时间 $ T $ 的下界，证明 $ T imes ext{max}_j ext{eigenvalue}( ilde{ ho}_j) imes ext{某些因子} imes ext{初始进度} $ 必须足够大，才能实现成功。

实验结果

研究问题

• RQ1 能否将敌对方法在量子查询复杂度中推导出的下界扩展至哈密顿量预言机模型？
• RQ2 允许负权重的广义敌对方法在连续时间哈密顿量模型中是否依然有效？
• RQ3 哈密顿量模型中进度度量的变化速率与离散查询模型相比如何？
• RQ4 驱动哈密顿量 $ H_D(t) $ 是否与哈密顿量预言机模型中的敌对下界无关？
• RQ5 能否将离散查询中使用的同一敌对框架适配至具有时变哈密顿量的连续时间量子算法？

主要发现

• 包括使用广义版本（含负权重）推导出的敌对方法下界，均在哈密顿量预言机模型中成立。
• 哈密顿量模型中进度度量 $ |w^t| $ 的变化速率被有界于 $ 2 imes ext{max}_j ext{eigenvalue}( ilde{ ho}_j) $，且与驱动哈密顿量 $ H_D(t) $ 无关。
• 通过差分算符 $ igra{ ilde{ ho}_j } $ 的谱范数推导出不同输入对应态之间内积导数的上界，且 $ ||igra{ ilde{ ho}_j }|| o 2 $。
• 进度度量的时间演化是可积的，从而导出总演化时间 $ T $ 的下界，确保仅在足够长时间后 $ w^T o ext{小} $。
• 该结果推广了此前在哈密顿量模型中关于奇偶性与Grover搜索的研究，表明FGG证明技术是连续时间中敌对方法的一个特例。
• 该证明技术确认了敌对方法的核心逻辑——通过信息增益区分输入对——可直接迁移至连续时间量子算法。