[论文解读] Almost-Everywhere Superiority for Quantum Computing

Edith Hemaspaandra, Lane A. Hemaspaandra+1 more|ArXiv.org|Oct 8, 1999

Quantum Computing Algorithms and Architecture参考文献 12被引用 3

一句话总结

该论文证明了量子计算机在几乎所有输入长度下，相较于任何经典计算机，都能以指数级速度解决某些问题，从而扩展了西蒙和布拉斯德-霍伊亚尔的结果。通过在计算复杂性理论中采用一种新颖的对角化技术，作者证明了存在某些问题，使得量子多项式时间机器在几乎所有地方（而不仅仅是无穷多次）都优于所有经典机器。

ABSTRACT

Simon as extended by Brassard and Høyer shows that there are tasks on which polynomial-time quantum machines are exponentially faster than each classical machine infinitely often. The present paper shows that there are tasks on which polynomial-time quantum machines are exponentially faster than each classical machine almost everywhere.

研究动机与目标

• 通过证明优越性不仅出现在无穷多次，而且几乎处处成立，从而强化先前关于量子加速的研究结果。
• 解决一个基础性问题：量子优势是否能在几乎全部输入规模上保持稳健？
• 形式化并证明存在某些问题，使得量子算法在密度意义下整体上主导经典算法。
• 通过引入‘几乎处处’的渐近分析，拓展量子复杂性理论的框架。
• 在更强且更自然的渐近条件下，提供量子计算与经典计算之间复杂性类的复杂性理论分离。

提出的方法

• 在计算复杂性背景下采用对角化技术，以构造具备所需性质的语言。
• 通过精心设计的预言机构造，在相对化环境中模拟量子与经典计算路径。
• 定义一个语言 L，使得量子多项式时间机器在指数时间优势下决定 L，而任何经典机器在 L 上均需花费指数时间。
• 对输入长度应用“几乎处处”量词，确保加速对所有但有限多个输入长度成立。
• 基于西蒙问题和布拉斯德-霍伊亚尔的扩展结果，为构造奠定基础。
• 采用测度论方法，将“几乎处处”形式化为在输入长度集合中具有密度 1。

实验结果

研究问题

• RQ1 量子计算机是否能在几乎所有输入长度上（而不仅仅是无穷多个）实现相较于经典计算机的指数级加速？
• RQ2 是否存在一个计算问题，使得量子算法在密度意义的渐近意义上整体上优于所有经典算法？
• RQ3 能否在量子复杂性理论中形式化并证明‘几乎处处’优越性的概念？
• RQ4 ‘几乎处处’模型如何改进传统‘无穷多次’模型在量子加速结果中的表现？
• RQ5 这种强形式的量子优势对量子与经典复杂性类的分离具有何种影响？

主要发现

• 本文构造了一个语言 L，使得存在一个量子多项式时间机器可决定 L，而所有经典机器在 L 上对几乎所有输入长度均需花费指数时间。
• 该指数级加速对所有输入长度（除有限集合外）均成立，意味着在自然数集合上具有密度 1。
• 该结果将西蒙和布拉斯德-霍伊亚尔的‘无穷多次’指数加速提升为‘几乎处处’加速，这是一个显著更强的结论。
• 证明依赖于一种新颖的对角化技术，确保量子机器的优势在几乎所有输入长度上均得以维持。
• 该构造是相对化的，即结果在预言机世界中成立，从而在相对化世界中提供了条件性分离。
• 该工作通过证明量子优势并非偶发事件，而是普遍存在于整个输入空间，从而确立了量子优势的新基准。