[論文レビュー] 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で成立することを意味する。
• この結果により、シモンとブラッサール＝フイアーの「無限に多く」の指数的スピードアップを、「ほぼ至る所」のスピードアップへと強化した。これははるかに強い主張である。
• 証明は、ほぼすべての入力長で量子マシンの優位性が維持されるように保証する、新規な対角化技術に依存している。
• 構成は相対化されているため、オラクルの世界において条件付きで分離が成立する。
• 本研究は、量子優位性が一時的・局所的ではなく、入力空間全体にわたり広がっていることを示す、新たな基準を確立した。