[论文解读] A Time-Efficient Quantum Walk for 3-Distinctness Using Nested Updates

Andrew M. Childs, Stacey Jeffery+2 more|arXiv (Cornell University)|Feb 28, 2013

Quantum Computing Algorithms and Architecture参考文献 13被引用 5

一句话总结

本文提出了一种时间高效的量子行走算法来解决3-不同性问题，通过将量子行走框架扩展为支持嵌套更新的新方法。通过在2-碰撞上使用量子行走，并递归地利用2-碰撞检测子程序检查3-碰撞，作者实现了时间复杂度为$ ilde{O}(n^{5/7})$，与目前已知的最佳查询复杂度一致，并优于先前的$ ilde{O}(n^{3/4})$时间界限。

ABSTRACT

We present an extension to the quantum walk search framework that facilitates quantum walks with nested updates. We apply it to give a quantum walk algorithm for 3-Distinctness with query complexity ~O(n^{5/7}), matching the best known upper bound (obtained via learning graphs) up to log factors. Furthermore, our algorithm has time complexity ~O(n^{5/7}), improving the previous ~O(n^{3/4}).

研究动机与目标

• 为解决3-不同性问题的量子算法中查询复杂度与时间复杂度之间的差距，此前的算法存在时间成本高于查询成本的问题。
• 开发一种新的量子行走搜索框架扩展，支持嵌套更新，从而实现带有垃圾态的递归量子行走子程序。
• 为3-不同性问题实现$ ilde{O}(n^{5/7})$的时间复杂度，与目前已知的最佳查询复杂度上界一致。
• 将该框架推广以支持在更新步骤中使用量子行走子程序，从而实现更高效的递归量子算法设计。

提出的方法

• 扩展了[MNRS11]的量子行走框架，允许数据函数依赖于顶点和币态，从而支持带有垃圾态的更新。
• 采用嵌套更新结构，其中更新步骤本身包含一个用于寻找2-碰撞的量子行走子程序。
• 使用跳表数据结构，以$ ilde{O}(m)$时间高效实现对索引集合的叠加，并完成插入/删除操作。
• 应用[JKM13]中的嵌套检查框架，通过在检查和更新阶段重用量子行走子程序，降低整体时间复杂度。
• 实现一种带有垃圾态的局部扩散操作，通过在跳表上执行$m$次插入和删除操作，支持在2-碰撞集合之间转移。
• 采用两层行走结构：外层行走作用于2-碰撞集合，内层行走作为更新过程的一部分检测2-碰撞。

实验结果

研究问题

• RQ1 能否将量子行走框架扩展以支持嵌套更新，其中更新步骤涉及带有垃圾态的量子行走子程序？
• RQ2 这样的嵌套更新框架是否能将3-不同性问题的时间复杂度降低至$ ilde{O}(n^{3/4})$以下，同时保持$ ilde{O}(n^{5/7})$的查询复杂度？
• RQ3 能否设计一种时间高效的3-不同性量子行走算法，使其时间复杂度与目前已知的最佳查询复杂度上界一致？
• RQ4 该框架能否推广以支持$k > 3$的$k$-不同性问题的高效时间复杂度界限？

主要发现

• 所提出的算法为3-不同性问题实现了$ ilde{O}(n^{5/7})$的时间复杂度，与目前已知的最佳查询复杂度上界一致。
• 该算法采用嵌套更新结构，其中更新步骤涉及用于2-碰撞检测的量子行走子程序，总成本为$ ilde{O}(m)$，其中$m = s_1^2/n$。
• 该框架扩展允许数据函数依赖于顶点和币态，从而支持在更新步骤中递归使用量子行走子程序。
• 带有垃圾态的局部扩散操作通过跳表和对索引集合的叠加访问，在$ ilde{O}(m)$时间内实现。
• 检查成本为$ ilde{O}(ar{n})$，通过查询索引并使用$Q(S_2)$在$ ilde{O}(1)$时间内每查询检查3-碰撞实现。
• 最优参数$s_1 = n^{5/7}$和$s_2 = n^{4/7}$得出了$ ilde{O}(n^{5/7})$的时间复杂度，证实了该渐近界边界的最优性。