[論文レビュー] The Quantum Query Complexity of Algebraic Properties

Sebastian Doern, Thomas Thierauf|arXiv (Cornell University)|May 10, 2007

Quantum Computing Algorithms and Architecture参考文献 13被引用数 9

ひとこと要約

この論文は、量子ランダムウォークとアモニチュード増幅を用いて、半群、群、単位元、準群、ループといった基本的な代数的性質のテストにおける量子クエリ複雑度の境界を確立する。MNRS量子ランダムウォーク技法の最初の応用を提示し、|M| が定数のとき半群問題に対して $ O(n^{5/4}) $ のクエリ複雑度を達成し、群問題に対しては $ \widetilde{O}(n^{11/14}) $ を達成する。これは古典的境界を著しく改善する。

ABSTRACT

We present quantum query complexity bounds for testing algebraic properties. For a set S and a binary operation on S, we consider the decision problem whether $S$ is a semigroup or has an identity element. If S is a monoid, we want to decide whether S is a group. We present quantum algorithms for these problems that improve the best known classical complexity bounds. In particular, we give the first application of the new quantum random walk technique by Magniez, Nayak, Roland, and Santha that improves the previous bounds by Ambainis and Szegedy. We also present several lower bounds for testing algebraic properties.

研究の動機と目的

• 乗法表における結合的性質、単位元、群構造といった代数的性質のテストの量子クエリ複雑度を特定すること。
• 量子アルゴリズムを用いて、半群および群のテストにおける古典的クエリ複雑度境界を改善すること。
• Magniez らが提唱した新しい量子ランダムウォークフレームワークを応用し、Grover探索や以前の量子ウォーク手法よりも優れた性能を達成すること。
• 半群、単位元、準群、ループ問題のためのタイトな量子クエリ下界を確立し、$ \Omega(n) $ の複雑度を示すこと。
• 特に半群および準群問題に関して、代数的構造における量子クエリ複雑度の未解決問題を特定すること。

提案手法

• 入力が乗法表のエントリを返すオракルを介してアクセスされる量子クエリモデルを用いる。
• |M| が定数のとき、半群問題に MNRS 量子ランダムウォーク技法を適用し、$ O(n^{5/4}) $ のクエリ複雑度を達成する。
• アモニチュード増幅と量子探索を用いて、群のテストのクエリ複雑度を低減し、$ \widetilde{O}(n^{11/14}) $ を達成する。
• 既知の難問（例：単位行列問題）からの還元を用いて、準群およびループ問題の下界を証明する。
• 0-1行列から乗法表への変換を構築し、単位行列問題をループ問題に還元する。
• 要素の同一性アルゴリズムと量子探索を組み合わせ、準群およびループにおける置換行／列のテストに用いる。

実験結果

リサーチクエスチョン

• RQ1 Magniez らの量子ランダムウォーク技法は、Grover探索を上回るクエリ複雑度の改善を、代数的性質テストに有効に適用できるか？
• RQ2 特に |M| が大きい場合に、半群問題の正確な量子クエリ複雑度は何か？
• RQ3 群のテストにおける古典的 $ O(n^{3/2}) $ のクエリ境界は、量子的に改善可能か？もし可能なら、どの程度改善できるか？
• RQ4 単位元、準群、ループ問題に対する $ \Omega(n) $ の下界はタイトか？
• RQ5 群問題に対して非自明な量子クエリ下界は存在するか？また、$ \widetilde{O}(n^{11/14}) $ の上界と $ \Omega(n) $ の下界のギャップは埋められるか？

主な発見

• |M| が定数のとき、半群問題の量子クエリ複雑度は $ O(n^{5/4}) $ であり、MNRS 量子ランダムウォークによって達成され、Grover の $ O(n^{3/2}) $ の境界を改善する。
• 群問題の量子クエリ複雑度は $ \widetilde{O}(n^{11/14}) $ であり、古典的 $ O(n^{3/2}) $ の境界を著しく改善する。
• 単位元問題の量子クエリ複雑度は $ \Theta(n) $ であり、上界と下界が一致しており、タイトであることを示す。
• 準群およびループ問題の両方とも、量子クエリ数が $ \Omega(n) $ 必要であり、上界は $ O(n^{7/6}) $ であるため、ギャップを埋める余地がある。
• 半群、単位元、準群、ループ問題に対して、$ \Omega(n) $ の線形下界が証明され、これらの問題はサブ線形の量子クエリでは解けないことが示される。
• 本論文は、単位元問題が $ O(n) $ の量子クエリで解けることを確立し、これと $ \Omega(n) $ の下界が一致することを示し、最適性を証明する。