[论文解读] Improved Algorithm and Lower Bound for Variable Time Quantum Search

Andris Ambainis, Martins Kokainis+1 more|arXiv (Cornell University)|Jan 1, 2023

Advanced Decision-Making Techniques被引用 1

一句话总结

该论文提出了一种简化版的变时间搜索量子算法，复杂度为 O(√T log n)，其中 T 是查询时间平方和的上界。与以往需要迭代振幅估计算法的方法不同，新算法仅基于 T 使用固定的 Grover 风格放大调度，避免了迭代振幅估计，相比之前算法实现了 √log T 的改进，同时显著降低了复杂度和实现开销。

ABSTRACT

We study variable time search, a form of quantum search where queries to different items take different time. Our first result is a new quantum algorithm that performs variable time search with complexity $O(\sqrt{T}\log n)$ where $T=\sum_{i=1}^n t_i^2$ with $t_i$ denoting the time to check the $i$-th item. Our second result is a quantum lower bound of $Ω(\sqrt{T\log T})$. Both the algorithm and the lower bound improve over previously known results by a factor of $\sqrt{\log T}$ but the algorithm is also substantially simpler than the previously known quantum algorithms.

研究动机与目标

• 设计一种在‘未知时间’设置下更简单的变时间搜索量子算法，其中查询时间在事前未知。
• 在先前 O(√T log^1.5 T) 边界的基础上，进一步改进变时间量子搜索的查询复杂度。
• 在未知时间模型中建立更紧致的量子下界。
• 证明未知时间模型本质上比已知时间模型更复杂，后者可实现 Θ(√T) 复杂度。

提出的方法

• 设计一种仅使用固定调度振幅放大、避免迭代振幅估计算法步骤的量子算法。
• 使用一系列查询电路 CTi，对应递增的时间边界 Ti = 2^i，与 Grover 扩散操作交错进行。
• 利用倍增策略探索时间区间，而无需事先知晓各个 ti 的值。
• 基于上界估计 T ≥ ∑t²i 使用单一振幅放大调度，而非针对每个 ti 进行调整。
• 使用量子对抗方法，通过构造具有受控 ti 分布的困难输入分布，证明下界。
• 通过加权索引对与块敏感性分析对抗界限，推导出 Ω(√T log T) 的下界。

实验结果

研究问题

• RQ1 能否在不使用迭代振幅估计的情况下，为未知时间模型中的变时间搜索设计更简单的量子算法？
• RQ2 在未知时间模型中可实现的最优查询复杂度是多少？与已知时间模型相比如何？
• RQ3 变时间搜索中上下界之间的复杂度差距能否缩小至多对数因子？
• RQ4 未知时间模型是否本质上比已知时间模型更复杂？若是，复杂度差距有多大？
• RQ5 该算法能否自适应于实际的 T = ∑t²i，而无需依赖预设的上界 T？

主要发现

• 所提出的算法实现了 O(√T log n) 的查询复杂度，相比先前最优的 O(√T log^1.5 T) 复杂度，提升了 √log T 因子。
• 该算法相比先前方法显著更简单，避免了递归振幅估计，仅依赖标准 Grover 扩散和时间受限的查询电路。
• 建立了新的量子下界 Ω(√T log T)，证明在未知时间模型中 Θ(√T) 复杂度不可实现。
• 该下界表明，未知时间模型本质上比已知时间模型更复杂，后者可实现 Θ(√T) 复杂度。
• 上下界之间的差距现已缩小至 √log T 因子，表明进一步改进可能需要新方法或更强假设。