[论文解读] Quantum Walks and Electric Networks

Aleksandrs Belovs|arXiv (Cornell University)|Feb 13, 2013

Quantum Computing Algorithms and Architecture参考文献 29被引用 25

一句话总结

本文通过引入电路网络理论和有效谱间隙引理，将Szegedy的量子行走算法推广至任意初始概率分布（而不仅限于平稳分布）的情形。该方法实现了检测标记顶点的查询复杂度为$O(\sqrt{WR})$，其中$W$为总边权，$R$为有效电阻，并基于此构建了时间高效的3-不同值问题量子算法，复杂度为$\tilde{O}(n^{5/7})$。

ABSTRACT

We prove that a quantum walk can detect the presence of a marked element in a graph in $O(\sqrt{WR})$ steps for any initial probability distribution on vertices. Here, $W$ is the total weight of the graph, and $R$ is the effective resistance. This generalizes the result by Szegedy that is only applicable if the initial distribution is stationary. We describe a time-efficient quantum algorithm for 3-distinctness based on these ideas.

研究动机与目标

• 克服现有量子行走算法仅能初始化于平稳分布的局限性。
• 利用电路网络理论，将Szegedy型量子行走推广至任意初始分布。
• 基于广义的量子行走框架，构建时间高效的3-不同值问题量子算法。
• 展示电路网络概念与有效谱间隙引理在量子行走分析中的适用性。

提出的方法

• 引入有效电阻$R_{\sigma,M}$作为任意初始分布$\sigma$下首次 hitting 时间的度量，推广了经典随机行走的结果。
• 应用有效谱间隙引理分析量子行走中酉变换的谱性质。
• 利用电路网络类比——其中边权代表电导，流量代表概率流——来建模量子行走动力学。
• 构建在顶点上叠加演化之上的量子行走，其振幅演化由图的有效电阻导出的转移矩阵所决定。
• 采用Grover搜索与振幅放大技术，高效扩展子集并检测3-不同值算法中的碰撞。
• 利用对称性与等价态之间的振幅均匀性，实现辅助寄存器的解 entanglement，从而实现高效的态制备。

实验结果

研究问题

• RQ1 量子行走算法是否可在任意初始分布下检测标记顶点，而不仅限于平稳分布？
• RQ2 有效电阻$R_{\sigma,M}$与量子行走检测标记元素的查询复杂度之间有何关系？
• RQ3 电路网络理论是否可用于分析和改进量子行走算法，超越谱方法？
• RQ4 当初始化于非平稳分布时，基于量子行走的3-不同值问题算法的时间复杂度是多少？
• RQ5 广义量子行走框架是否可用于实现学习图及其他基于随机行走的量子算法？

主要发现

• 本文证明，对于任意初始分布$\sigma$，量子行走可在$O(\sqrt{WR})$步内检测到标记顶点，其中$W$为总边权，$R$为有效电阻。
• 该结果推广了Szegedy的结果，后者要求初始分布为平稳分布，现扩展至任意初始分布。
• 有效电阻$R_{\sigma,M}$被证明是将$\sigma$流向$M$的最小能量流，从而将经典电路网络理论与量子行走分析相联系。
• 有效谱间隙引理被扩展并应用于分析量子行走算符的谱性质，从而实现复杂度上界。
• 构建了一个时间高效的3-不同值问题量子算法，复杂度为$\tilde{O}(n^{5/7})$，在多对数因子意义下为最优。
• 该算法结合了Grover搜索、振幅放大以及基于对称性的态解 entanglement 技术，以保持均匀叠加并实现最优标度。