[論文レビュー] Sharp Quantum vs. Classical Query Complexity Separations

J. Niel de Beaudrap, Richard Cleve+1 more|ArXiv.org|Nov 15, 2000

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

ひとこと要約

この論文は、有限体 GF(2ⁿ) 上のブラックボックス問題を提示しており、量子アルゴリズムが、有限体構造に適合した量子フーリエ変換（QFT）を用いて1回のクエリで正確に解ける一方、任意の古典的有界誤差アルゴリズムは Ω(2ⁿ/²) 回のクエリを必要とする。これにより、現在までに得られた最も強い量子 vs. 古典的クエリ複雑度の分離が確立される。

ABSTRACT

We obtain the strongest separation between quantum and classical query complexity known to date -- specifically, we define a black-box problem that requires exponentially many queries in the classical bounded-error case, but can be solved exactly in the quantum case with a single query (and a polynomial number of auxiliary operations). The problem is simple to define and the quantum algorithm solving it is also simple when described in terms of certain quantum Fourier transforms (QFTs) that have natural properties with respect to the algebraic structures of finite fields. These QFTs may be of independent interest, and we also investigate generalizations of them to noncommutative finite rings.

研究の動機と目的

• ブラックボックスモデルにおける量子的・古典的クエリ複雑度の間で、最も強い分離を確立すること。
• 1回のクエリで正確に解けるが、古典的有界誤差アルゴリズムにとっては指数的困難であるような問題を定義すること。
• 有限体上の量子フーリエ変換を活用して、最小限のクエリコストでシンプルかつ効率的な量子アルゴリズムを構築すること。
• 非体の環、特に零因子が少ない環においても、このような指数的分離が成立するかどうかを調査すること。
• 代数的構造、特に有限体の性質が、クエリモデルにおける最大の量子高速化を可能にする役割を明確にすること。

提案手法

• 未知の s ∈ GF(2ⁿ) に対して、ブラックボックスが B(x,y) = (x, π(y + s x)) を計算する有限体 GF(2ⁿ) 上の隠れた線形構造問題を定義する。
• O(n) 個のハダマードゲートと O(n²) 個の古典的演算を用いた量子アルゴリズムを構築し、その後にブラックボックスへの1回のクエリを実行する。
• GF(2ⁿ) 上で定義された特別な量子フーリエ変換（QFT）を用い、自然な双対性およびコントロール/ターゲットの反転特性を示す。
• 入力レジスタおよび出力レジスタに QFT を適用し、問題を変換して隠れたパrameter s を測定によって抽出できる形に変換する。
• QFT の代数的双対性を活用して、制御加算ゲートにおけるコントロールとターゲットの役割を反転させ、線形結合の効率的計算を可能にする。
• 構成を有限体上の行列環へ一般化し、ℤ_{2ⁿ} や GF(pⁿ)×GF(pⁿ) などの非体の環における挙動を調査する。

実験結果

リサーチクエスチョン

• RQ1 量子アルゴリズムが1回のクエリで全関数を正確に解ける一方、古典的アルゴリズムが指数的多数のクエリを要する可能性はあるか？
• RQ2 QFT の性質に着目した場合、どのような代数的構造がクエリモデルにおける最大の量子高速化を可能にするか？
• RQ3 問題が有限体から有限環へ一般化された場合、古典的下界 Ω(2ⁿ/²) が依然として成立するか？
• RQ4 QFT におけるコントロール/ターゲット反転対称性は、構造的代数上での効率的量子計算をどのように可能にするか？
• RQ5 零因子が少ない環において、体の構造がなくても指数的量子-古典的分離が成立する可能性はあるか？

主な発見

• GF(2ⁿ) 上の2nビットのクエリ問題は、1回のクエリで正確に解ける量子アルゴリズムが存在するが、任意の古典的有界誤差アルゴリズムは Ω(2ⁿ/²) 回のクエリを必要とする。
• 量子アルゴリズムは O(n) 個のハダマードゲートと O(n²) 個の古典的演算を用い、コア計算は GF(2ⁿ) 上の QFT に依存しており、これによりコントロール/ターゲットの反転が可能になる。
• 使用された QFT は有限体に特化しており、双対性の性質を示し、干渉を用いて隠れた線形パrameter s を抽出できる。
• 古典的下界 Ω(2ⁿ/²) は、体の構造に強く依存しており、ℤ_{2ⁿ} のような環では下界が成立しない。
• 構成は GF(pⁿ) 上の行列代数へ一般化可能であり、GF(pⁿ)×GF(pⁿ) のような零因子が少ない環に対しても指数的分離を示せる。
• GF(2ⁿ) 上の量子フーリエ変換により、位相キックバックと干渉を介して隠れたパrameter s が明らかになる形に問題が変換され、1回のクエリで解が得られる。