[論文レビュー] Efficient algorithms for the Deutsch-Jozsa and Simon's problems that only use classical resources

Niklas Johansson, Jan-Åke Larsson|arXiv (Cornell University)|Aug 20, 2015

Quantum Computing Algorithms and Architecture被引用数 1

ひとこと要約

本稿では、デュイチ＝ジョーズァおよびシモンの問題の量子アルゴリズムの動作を、古典的リソースのみを用いて効率的に再現する古典的シミュレーションフレームワークを提示する。デュイチ＝ジョーズァ問題に対しては1回のオракルクエリで正確な解を得られ、シモンの問題に対しては線形クエリで解を得られる。これは、これらの問題が本質的な量子優位性を必要としないことを示しており、この場合における固有の量子高速化の仮定に疑問を呈する。

ABSTRACT

A long-standing aim of quantum information research is to understand what gives quantum computers their advantage. This requires separating problems that need genuinely quantum resources from those for which classical resources are enough. Two examples of quantum speed-up are the Deutsch-Jozsa and Simon's problem, both efficiently solvable on a quantum Turing machine, and both believed to lack efficient classical solutions. Here we present a framework that can simulate both quantum algorithms efficiently, solving the Deutsch-Jozsa problem with probability 1 using only one oracle query, and Simon's problem using linearly many oracle queries, just as expected of an ideal quantum computer. The presented simulation framework is in turn efficiently simulatable in a classical probabilistic Turing machine. This shows that the Deutsch-Jozsa and Simon's problem do not require any genuinely quantum resources, and that the quantum algorithms show no speed-up when compared with their corresponding classical simulation. Finally, this gives insight into what properties are needed in the two algorithms, and calls for further study of oracle separation between quantum and classical computation.

研究の動機と目的

• デュイチ＝ジョーズァおよびシモンの問題における量子高速化が、本当に量子リソースを必要としているのか、それとも古典的に再現可能であるのかを調査すること。
• これらの量子アルゴリズムの結果を同等の効率で再現する古典的シミュレーションフレームワークを構築すること。
• これらの問題が古典的計算に対して量子計算に根本的な優位性を示すという広く受け入れられている信念に挑戦すること。
• これらの問題を解くために必要な最小限のリソースを明確にし、効率的な解法を可能にする構造的特徴を同定すること。

提案手法

• 量子アルゴリズムのオラクルクエリと論理をエミュレートする古典的確率的チューリングマシンのフレームワークを設計すること。
• デュイチ＝ジョーズァアルゴリズムで観察される量子干渉および振幅キャンセル効果を、決定的古典戦略によってシミュレートすること。
• シモンの問題における量子重ね合わせおよびエンタングルメントの振る舞いを模倣する古典的クエリ戦略を実装すること。
• シミュレーションが元の量子アルゴリズムと同一のクエリ複雑度を維持することを保証すること—デュイチ＝ジョーズァ問題では1クエリ、シモンの問題では線形クエリ。
• 古典的フレームワークが、デュイチ＝ジョーズァ問題では確実に、シモンの問題では高い確率で量子アルゴリズムと同一の結果を出力することを検証すること。
• シミュレーション全体が古典的確率的チューリングマシン上で効率的に計算可能であることを確立し、その古典的実行可能性を確認すること。

実験結果

リサーチクエスチョン

• RQ1 デュイチ＝ジョーズァ問題は、量子重ね合わせを必要とせず、古典的リソースのみで効率的に解けるか？
• RQ2 シモンの問題には真の量子優位性があるのか、それとも同程度のクエリ複雑度で古典的にシミュレート可能か？
• RQ3 オラクル関数のどのような構造的性質が、これらの量子アルゴリズムの効率的古典的シミュレーションを可能にしているか？
• RQ4 これらの問題における量子アルゴリズムは、エンタングルメントや干渉といった非古典的特徴にどれほど依存しているか？

主な発見

• デュイチ＝ジョーズァ問題は、1回の古典的オラクルクエリのみで、量子アルゴリズムと同等の性能で確実に解ける。
• シモンの問題は、線形数の古典的オラクルクエリを用いて解くことができ、量子アルゴリズムのクエリ複雑度を再現する。
• 提示された古典的シミュレーションフレームワークは、確率的古典的チューリングマシン上で効率的に実装可能であり、その古典的実行可能性が確認された。
• 結果として、デュイチ＝ジョーズァおよびシモンの問題が本質的に量子リソースを必要としないことが示され、この場合における量子高速化の概念に疑問を呈する。
• 本研究は、効率的解法の鍵が、量子コherーエンスやエンタングルメントではなく、オラクル関数の特定の構造にあることを明らかにした。