[論文レビュー] Exact quantum query complexity of EXACT and THRESHOLD

Andris Ambainis, Jānis Iraids+1 more|arXiv (Cornell University)|Feb 6, 2013

Quantum Computing Algorithms and Architecture参考文献 17被引用数 16

ひとこと要約

この論文は、対称的総称ブール関数である EXACTₖⁿ および THRESHOLDₖⁿ に対する正確な量子クエリアルゴリズムを提示し、それらの正確な量子クエリ複雑度がそれぞれ正確に max{k, n−k} および max{k, n−k+1} であることを証明している。アルゴリズムは、量子状態準備と制御位相回転に基づく新しい再帰的構成を用い、XORのテクニックに依存せずに、古典的決定的アルゴリズムよりも2倍の高速化を達成している。

ABSTRACT

A quantum algorithm is exact if it always produces the correct answer, on any input. Coming up with exact quantum algorithms that substantially outperform the best classical algorithm has been a quite challenging task. In this paper, we present two new exact quantum algorithms for natural problems: 1) for the problem EXACT_k^n in which we have to determine whether the sequence of input bits x_1, ..., x_n contains exactly k values x_i=1; 2) for the problem THRESHOLD_k^n in which we have to determine if at least k of n input bits are equal to 1.

研究の動機と目的

• 対称的総称ブール関数に対する正確な量子クエリ複雑度の理解のギャップを埋めること。
• 先行研究で用いられたXORのテクニックに依存しない、EXACTₖⁿおよびTHRESHOLDₖⁿの新しい正確な量子アルゴリズムを構築すること。
• これらの関数の予想された正確な量子クエリ複雑度を証明し、先行研究における未解決の問いを解消すること。
• 正確な量子アルゴリズムを設計するための技術ツールキットを拡張すること。これは、現在のところ範囲が限定されている。

提案手法

• EXACTₖ²ₖ に対するアルゴリズムは、単一キュービットおよびBell状態に似たエンタングルドペアの重ね合わせを準備するユニタリ変換を用いた再帰的構造を持つ。その後にクエリと制御位相回転が続く。
• 状態の進化は、測定結果が単一キュービット状態またはベルに似たエンタングルドペアに収束するように設計されており、これにより入力サイズが2ビット分再帰的に削減可能である。
• THRESHOLDₖⁿ に対しては、1を付加することでより大きな入力に対するメジャリティ関数の計算に問題を還元し、メジャリティ関数の既知の正確な量子クエリ複雑度を活用している。
• 再帰的構造は測定の遅延の原則に依存しており、これによりアルゴリズムが逐次クエリを持つ標準クエリモデルに変換可能である。
• 主要なユニタリ操作は、対称的な振幅と位相差を用いて構築され、すべての入力構成に対して正しく動作することを保証している。
• 解析では、入力ビットの置換に対する不変性とXOR関数の性質を用いて正しさの検証とクエリ複雑度の境界の導出がなされている。

実験結果

リサーチクエスチョン

• RQ1 EXACTₖⁿ 関数の正確な量子クエリ複雑度は何か？ そして、XORのテクニックに依存せずに達成可能か？
• RQ2 THRESHOLDₖⁿ 関数の量子クエリ複雑度は正確に束縛可能か？ また、予想された値と一致するか？
• RQ3 XORに基づくアプローチを越えて、正確な量子アルゴリズムを設計するための新しいアルゴリズム的技術は存在するか？
• RQ4 対称関数、特に複数の出力条件を持つ関数に対して、正確な量子クエリ複雑度を体系的に特徴づけることは可能か？

主な発見

• EXACTₖⁿ の正確な量子クエリ複雑度は正確に max{k, n−k} であり、先行研究の予想を確認した。
• THRESHOLDₖⁿ の正確な量子クエリ複雑度は正確に max{k, n−k+1} であり、予想と一致し、メジャリティ関数に関する既知の結果を拡張した。
• 提案されたアルゴリズムは、古典的決定的アルゴリズムよりも2倍の高速化を達成しており、正確な設定における全関数で達成可能な最良の高速化と一致する。
• 提案されたアルゴリズムは、XORのテクニックに依存しない新しい再帰的量子構成を用いており、正確な量子アルゴリズムの既知の技術セットを拡張した。
• 結果として、EXACTₖⁿ や THRESHOLDₖⁿ のような対称関数は、最適な正確な量子クエリ複雑度を達成できることを示しており、広範な応用の可能性を示唆している。
• 本論文は、OR関数への還元を用いた下界の証明フレームワークを提供しており、THRESHOLDₖⁿ に対しては max{k, n−k+1} より少ないクエリを用いたアルゴリズムは存在しないことを確立している。