[论文解读] A Limit on the Speed of Quantum Computation for Insertion into an Ordered List

Edward Farhi, Jared V. Goldstone+2 more|ArXiv.org|Dec 18, 1998

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

一句话总结

本文確立了將一個新元素插入包含 N−1 個元素的有序列表所需量子比較次數的下界。透過量子查詢複雜度分析，作者證明對於較大的 N，沒有任何量子演算法能優於 Ω(log N / log log N) 次比較，從而顯示出在有序資料結構中，量子搜尋的基礎速度限制，超越經典的對數性能。

ABSTRACT

We consider the problem of inserting a new item into an ordered list of N-1 items. The length of an algorithm is measured by the number of comparisons it makes between the new item and items already on the list. Classically, determining the insertion point requires log N comparisons. We show that, for N large, no quantum algorithm can reduce the number of comparisons below log N/(2 loglog N).

研究动机与目标

• 確定插入一個新項目至包含 N−1 個元素的有序列表所需的最少量子比較次數。
• 為此插入問題的量子查詢複雜度建立下界。
• 將量子演算法的性能與經典演算法進行比較，後者需要 log N 次比較。
• 探討在有序列表插入問題中，是否可能實現超越經典對數邊界之量子加速。

提出的方法

• 作者將插入問題建模為一個量子查詢問題，目標是透過新項目與現有列表元素之間的比較，找出正確的插入位置。
• 他們應用量子查詢複雜度技術，特別是多項式方法與反對者界限，分析所需最少的查詢次數。
• 分析聚焦於由量子演算法產生的判斷樹結構，考慮可能的插入位置數量。
• 透過推導表示演算法成功機率的多項式之最低次數，建立比較次數的限制。
• 該界限是透過考慮函數對輸入變化的敏感度，並利用有序列表的結構來約束可能的量子加速。
• 結果對較大的 N 是漸近緊緻的，表示量子演算法無法比經典演算法快超過對數因子。

实验结果

研究问题

• RQ1 量子演算法能否在插入元素至有序列表時，實現少於對數次的比較？
• RQ2 解決有序列表插入問題所需的最少量子查詢次數為何？
• RQ3 此問題是否存在超越經典 log N 複雜度的根本性量子加速？
• RQ4 有序列表的結構如何約束量子搜尋演算法的效率？
• RQ5 當 N 變大時，量子插入演算法的比較次數的漸近下界為何？

主要发现

• 對於較大的 N，沒有任何量子演算法能以少於 Ω(log N / log log N) 次比較完成插入元素至有序列表的動作。
• 此下界雖漸近小於經典的 log N 界限，但仍對量子加速構成顯著限制。
• 此結果表示量子演算法無法為此問題實現超對數級加速。
• 該界限是透過量子查詢複雜度技術，特別是多項式方法與反對者界限推導而出。
• 分析顯示，有序列表的本質結構阻止了比較次數上更顯著的量子優勢。
• 此下界在常數因子內是緊緻的，表示量子演算法無法實現更佳的漸近性能。