[論文レビュー] Computing Boolean Functions: Exact Quantum Query Algorithms and Low Degree Polynomials

Alina Vasilieva, Taisija Mischenko-Slatenkova|arXiv (Cornell University)|Jul 4, 2006

Quantum Computing Algorithms and Architecture参考文献 6被引用数 5

ひとこと要約

本稿は、ブール関数を表す低次の多項式の次数と正確な量子クエリアルゴリズムの複雑さの関係を調査する。特定のブール関数に対する量子クエリアルゴリズムの新しい構成を提示し、低次の多項式表現を持つ関数は、古典的決定的手法よりも顕著に低い量子クエリ複雑性を達成できることを示し、代数的構造を通じて量子優位性が実現される具体的な例を提供する。

ABSTRACT

In this paper we study the complexity of quantum query algorithms computing the value of Boolean function and its relation to the degree of algebraic polynomial representing this function. We pay special attention to Boolean functions with quantum query algorithm complexity lower than the deterministic one. Relation between the degree of representing polynomial and potentially possible quantum algorithm complexity has been already described; unfortunately, there are few examples of quantum algorithms to illustrate theoretical evaluation of the complexity. Work in this direction was aimed (1) to construct effective quantum query algorithms for computing Boolean functions, (2) to design methods for Boolean function construction with a large gap between deterministic complexity and degree of representing polynomial. In this paper we present our results in both directions.

研究の動機と目的

• 低次の多項式表現を持つブール関数のための効果的な正確な量子クエリアルゴリズムを構築すること。
• 決定的クエリ複雑性とその関数の多項式の次数の間に大きなギャップを示すブール関数を設計すること。
• 量子クエリ複雑性の理論的上限を明示的なアルゴリズム的構成と結びつけること。
• 多項式の次数と量子クエリ効率の関係を具体的に示す例を提供すること。

提案手法

• 正確にブール関数を表す多重線形多項式の次数を分析すること。
• 代数的技術を用いて、低次の表現を持つブール関数を同定し、それらが効率的な量子クエリアルゴリズムを可能にするようにすること。
• 振幅増幅および位相推定に基づく明示的な量子クエリアルゴリズムを、低次の多項式を持つ関数のために構築すること。
• 代表多項式の次数と正確な量子アルゴリズムで必要な最小クエリ数との対応関係を確立すること。
• 既知の量子クエリ複雑性理論の結果を応用し、理論的に量子高速化が可能な関数を同定し、それをアルゴリズム的に実現すること。
• 明示的なアルゴリズム構築とクエリ回数の分析を通じて、理論的上限を検証すること。

実験結果

リサーチクエスチョン

• RQ1 低次の多項式表現を持つブール関数は、古典的手法よりも量子クエリアルゴリズムでより効率的に計算可能か？
• RQ2 与えられた多項式次数に対して達成可能な最小の量子クエリ複雑性は何か？
• RQ3 代表多項式の次数が小さい関数に対して、明示的な量子クエリアルゴリズムをどのように構築できるか？
• RQ4 どのような構造的性質が、決定的クエリ複雑性と量子クエリ複雑性の間の大きなギャップを可能にするか？

主な発見

• 本稿は、特定のブール関数に対して明示的な正確な量子クエリアルゴリズムを構築し、量子クエリ複雑性が古典的決定的複雑性よりも顕著に低いことを実証している。
• 低次の多項式表現（例：次数2または3）を持つ関数は、それらの決定的対象よりもはるかに小さい量子クエリ複雑性を達成できる。
• 代表多項式の次数は、ブール関数の正確な計算における量子クエリ複雑性のタイトな下界を示している。
• 著者らは、量子クエリ複雑性が決定的クエリ複雑性よりも厳密に小さいブール関数の新しい例を提示し、理論的予測の妥当性を確認している。
• 代数的次数と量子クエリ効率の間の構成的リンクを確立し、最大の量子優位性を実現する関数の設計法を提供している。