[论文解读] Multidimensional Quantum Walks, with Application to $k$-Distinctness

Stacey Jeffery, Sebastian Zur|arXiv (Cornell University)|Aug 29, 2022

Quantum Computing Algorithms and Architecture被引用 4

一句话总结

本文提出了一种新颖的多维量子行走框架，通过扩展电路网络框架，实现了与已知最优查询复杂度 $k$-distinctness 相匹配的时间复杂度 $\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$。该工作解决了长达十年的开放问题，构建了 $k$-distinctness 的高效时间最优量子算法，并在焊接树问题上实现了指数级加速。

ABSTRACT

While the quantum query complexity of $k$-distinctness is known to be $O\left(n^{3/4-1/4(2^k-1)} ight)$ for any constant $k \geq 4$, the best previous upper bound on the time complexity was $\widetilde{O}\left(n^{1-1/k} ight)$. We give a new upper bound of $\widetilde{O}\left(n^{3/4-1/4(2^k-1)} ight)$ on the time complexity, matching the query complexity up to polylogarithmic factors. In order to achieve this upper bound, we give a new technique for designing quantum walk search algorithms, which is an extension of the electric network framework. We also show how to solve the welded trees problem in $O(n)$ queries and $O(n^2)$ time using this new technique, showing that the new quantum walk framework can achieve exponential speedups.

研究动机与目标

• 为 $k$-distinctness 问题填补查询复杂度与时间复杂度之间的差距，该问题尽管已知最优查询界，但长达十年未解。
• 开发一种新型量子行走框架，能够实现指数级加速，而不同于以往局限于二次加速的框架。
• 提供一种构造性、时间高效的 $k$-distinctness 量子算法，实现 Belovs 的查询复杂度上界。
• 通过在焊接树问题上以 $O(n)$ 次查询和 $O(n^2)$ 时间求解，展示新框架的强大能力，实现指数级加速。

提出的方法

• 提出一种多维量子行走框架，作为电路网络框架的扩展，支持更复杂且高效的量子行走构造。
• 利用相位估计算法与结构化图分解，模拟多维空间中的量子行走，同时严格控制时间和误差界限。
• 采用分层图结构 $G$，包含 $k$ 个层级，其中每一层 $\ell$ 对应候选 $k$-元组的一个阶段，并定义层间转移映射。
• 引入一种转移子程序，其误差 $\epsilon_{u,v} = O(n^{-\kappa})$（$\kappa > 2$），确保误差累积可忽略。
• 应用定理 3.10，通过加权行走代价 $\mathcal{W}^T$ 和电阻 $\mathcal{R}^T$ 限制总时间复杂度，实现 $\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$ 的时间复杂度。
• 对各层级的参数 $t_\ell$ 进行优化，以平衡查询与时间成本，其中 $t_\ell = n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}-\sum_{\ell'=2}^{\ell}\frac{2^{k-1-\ell'}}{2^{k}-1}}$。

实验结果

研究问题

• RQ1 能否使 $k$-distinctness 的时间复杂度与已知最优查询复杂度 $O(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$ 匹配？
• RQ2 能否设计一种量子行走框架，实现超越以往框架二次加速限制的指数级加速？
• RQ3 能否构造一种时间高效的 $k$-distinctness 量子算法，实现 Belovs 基于对偶对偶论证的查询复杂度上界？
• RQ4 新提出的多维量子行走框架能否高效求解经典难题如焊接树问题？

主要发现

• $k$-distinctness 的时间复杂度被限制在 $\widetilde{O}(n^{\frac{3}{4}-\frac{1}{4}\frac{1}{2^{k}-1}})$，与已知最优查询复杂度在多对数因子内一致。
• 新提出的多维量子行走框架在焊接树问题上实现了指数级加速，以 $O(n)$ 次查询和 $O(n^2)$ 时间求解。
• 该框架通过将电路网络框架扩展为支持多层级、多维行走结构，实现可控误差与电阻，从而达成此目标。
• 该算法构建了一个分层图，其中每一层对应 $k$-元组候选生成的一个阶段，通过优化参数 $t_\ell$ 最小化总时间。
• 该框架通过允许非局域、多维的转移，突破了以往量子行走模型的二次加速限制，从而捕捉复杂依赖关系。
• 该构造是完全构造性的，提供了具有高效态制备与转移子程序的显式量子线路，解决了 $k$-distinctness 问题中长期存在的时间效率开放问题。