[論文レビュー] Quantum versus Classical Online Algorithms with Advice and Logarithmic Space.

Kamil Khadiev, Aliya Khadieva+2 more|arXiv (Cornell University)|Oct 26, 2017

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、古典的決定的および確率的アルゴリズムですら、アドバイスビットが提供されても依然として困難であるが、対数的空間で効率的に解けるオンライン問題を構築するための Black Hats 法を提案する。これは、厳密なメモリ制限下でのオンライン設定において、量子計算に明確な優位性を示すものである。

ABSTRACT

In this paper, we consider online algorithms. Typically the model is investigated with respect to competitive ratio. We consider algorithms with restricted memory (space) and explore their power. We focus on quantum and classical online algorithms. We show that there are problems that can be better solved by quantum algorithms than classical ones in a case of logarithmic memory. Additionally, we show that quantum algorithm has an advantage, even if deterministic algorithm gets advice bits. We propose Black Hats Method. This method allows us to construct problems that can be effectively solved by quantum algorithms. At the same time, these problems are hard for classical algorithms. The separation between probabilistic and deterministic algorithms can be shown with a similar method.

研究の動機と目的

• 対数的空間制約下における量子オンラインアルゴリズムの能力を調査すること。
• 制限されたメモリ下のオンライン設定において、量子アルゴリズムと古典的決定的および確率的アルゴリズムを比較すること。
• 古典的アルゴリズムにアドバイスビットが与えられても、量子と古典の計算の間に分離を示すこと。
• 古典的アルゴリズムに対しては困難だが、量子アルゴリズムに対しては解ける問題を体系的に構築する方法を開発すること。

提案手法

• 古典的アルゴリズムに対して特定の難易度特性を持つオンライン問題を生成するための Black Hats 法を提唱する。
• 量子オンラインアルゴリズムが対数的空間のみを用いても効率的に解けるように問題を設計する。
• 古典的決定的アルゴリズムにアドバイスビットを追加して、量子優位性の堅牢性をテストするフレームワークを構築する。
• 対数的空間に制限された状況下で、オンライン設定における競合比を分析する。
• 量子クエリ複雑性とオンライン計算の技術を適用して、分離を確立する。
• 同じ手法が、確率的と決定的古典的オンラインアルゴリズムの間の分離を示すことも示している。

実験結果

リサーチクエスチョン

• RQ1 対数的空間制限下で、量子オンラインアルゴリズムは古典的アルゴリズムに対して顕著な優位性を発揮できるか？
• RQ2 アドバイスビットの導入により、制限されたメモリ下のオンラインアルゴリズムにおける量子優位性が消失するか？
• RQ3 Black Hats 法を用いて、古典的オンラインアルゴリズムに対しては困難だが、量子アルゴリズムによって解ける問題を体系的に構築できるか？
• RQ4 対数的空間とアドバイスビットの下で、確率的と決定的古典的オンラインアルゴリズムの間の分離は何か？
• RQ5 厳密に制限されたメモリ下で、オンライン計算における量子優位性はどのように現れるか？

主な発見

• アドバイスビットが与えられても、量子オンラインアルゴリズムは特定の問題を古典的決定的アルゴリズムよりも効率的に解ける。
• Black Hats 法は、古典的アルゴリズムに対しては困難だが、量子オンラインアルゴリズムが対数的空間で解ける問題を効果的に生成した。
• 対数的メモリ制約下で、量子と古典のオンラインアルゴリズムの間に明確な分離が存在することが示された。
• この手法は、同じ設定下で確率的と決定的古典的オンラインアルゴリズムの間の分離も示している。
• 古典的アルゴリズムにアドバイスビットが与えられても、量子アルゴリズムは対比する古典的アルゴリズムに対して優位性を維持する。
• 結果は、量子計算が厳密な空間制限下のオンライン計算において、真の優位性を提供することを確認している。