[论文解读] How Much Structure Is Needed for Huge Quantum Speedups?

Scott Aaronson|arXiv (Cornell University)|Sep 14, 2022

Quantum Computing Algorithms and Architecture被引用 14

一句话总结

本文研究了实现指数级量子加速的结构要求，认为此类加速需要高度非典型的問題特性——如周期性或隐藏子群结构——以使量子干涉能將振幅集中於正確答案。文章挑戰了「普遍量子優勢」的觀念，表明指數級加速極為罕見，且依賴於深刻的數學結構；近期如Yamakawa與Zhandry的工作揭示，即使這些加速也需超越標準判斷問題的特定問題類型。

ABSTRACT

I survey, for a general scientific audience, three decades of research into which sorts of problems admit exponential speedups via quantum computers -- from the classics (like the algorithms of Simon and Shor), to the breakthrough of Yamakawa and Zhandry from April 2022. I discuss both the quantum circuit model, which is what we ultimately care about in practice but where our knowledge is radically incomplete, and the so-called oracle or black-box or query complexity model, where we've managed to achieve a much more thorough understanding that then informs our conjectures about the circuit model. I discuss the strengths and weaknesses of switching attention to sampling tasks, as was done in the recent quantum supremacy experiments. I make some skeptical remarks about widely-repeated claims of exponential quantum speedups for practical machine learning and optimization problems. Through many examples, I try to convey the "law of conservation of weirdness," according to which every problem admitting an exponential quantum speedup must have some unusual property to allow the amplitude to be concentrated on the unknown right answer(s).

研究动机与目标

• 理解何種問題結構能實現量子計算對經典計算的指數級加速。
• 評估關於機器學習與優化等實際應用中量子優勢的廣泛聲稱之有效性。
• 釐清Oracle與查詢複雜度在區分多項式與指數級加速中的角色。
• 評估近期進展（如Yamakawa與Zhandry的成果）是否否證或避開了關於量子加速極限的先前猜想。
• 探討利用偽隨機尖峰量子電路實現可驗證量子優勢的可行性。

提出的方法

• 分析Oracle（黑箱）查詢模型中的量子加速，與更具實用性的量子電路模型進行對比。
• 應用有界誤差量子多項式時間（BQP）框架，並與P與NP等古典複雜度類進行比較。
• 探討構造性與破壞性干涉在集中正確答案振幅中的角色，特別是在具有週期性或隱藏子群結構的問題中。
• 評估Aaronson-Ambainis猜想，該猜想主張在隨機Oracle下，總Boolean函數不可能存在超多項式加速。
• 探討判斷問題與NP搜尋問題之間的差異，表明即使在隨機Oracle下，指數級加速仍可能出現在後者中。
• 提出一種新的可驗證量子優勢範式，利用偽隨機量子電路，使其以高機率輸出特定基態。

实验结果

研究问题

• RQ1 問題中何種結構特性是實現指數級量子加速所必需的？
• RQ2 為何大多數已知的量子加速仍停留在多項式級？為何指數級加速如此稀少？
• RQ3 即使在隨機Oracle下，指數級量子加速是否可能出現在NP搜尋問題中？這如何挑戰先前的猜想？
• RQ4 是否存在一種『怪異性守恆法則』，使得每一種指數級量子加速都利用了問題某種非尋常的性質？
• RQ5 能否構造出偽隨機量子電路，使其輸出態的尋找在經典計算下難以處理，從而實現可驗證的量子優勢？

主要发现

• 指數級量子加速需要極其非典型的問題結構，如週期性或隱藏子群對稱性，以透過干涉實現振幅集中。
• Aaronson-Ambainis猜想——即在隨機Oracle下，總Boolean函數不可能存在超多項式加速——尚未被證明，但有強有力的證據支持，且與多項式影響理論有深刻聯繫。
• Yamakawa與Zhandry在2022年的成果在隨機Oracle下實現了NP搜尋問題的指數級加速，透過將焦點從判斷問題轉向搜尋問題，避開了Aaronson-Ambainis猜想。
• 基於取樣任務的量子優勢實驗具有前景，但面臨驗證困難與與經典模擬區分的挑戰。
• 以高機率輸出特定基態的偽隨機量子電路，可能成為可驗證近期量子優勢的基礎，但其存在性與計算難度仍為開放問題。
• 本文結論提出一個猜想：每一種指數級量子加速都必須利用問題結構中的某種『怪異性』，本文將此原則稱為『怪異性守恆法則』。