[論文レビュー] Efficient Quantum Algorithm for Identifying Hidden Polynomials

Thomas Decker, Jan Draisma+1 more|ArXiv.org|Jun 8, 2007

Quantum Computing Algorithms and Architecture参考文献 19被引用数 4

ひとこと要約

本稿では、有限体上の有界次数の隠れた多変数多項式を、『よい測定』（pretty good measurement）フレームワークを用いて、体のサイズに関して多対数時間で定数確率で効率的に同定する量子アルゴリズムを提示する。古典的手法がΩ(√d)クエリを必要とするのに対し、本量子的手法は固定された次数および変数数に対して、log d の多項式時間で問題を解く。

ABSTRACT

We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem are not restricted to be linear but can also be m-variate polynomial functions of total degree n>=2. The problem of identifying hidden m-variate polynomials of degree less or equal to n for fixed n and m is hard on a classical computer since Omega(sqrt{d}) black-box queries are required to guarantee a constant success probability. In contrast, we present a quantum algorithm that correctly identifies such hidden polynomials for all but a finite number of values of d with constant probability and that has a running time that is only polylogarithmic in d.

研究の動機と目的

• 有限体上での次数≥2の隠れた多変数多項式の識別が古典的手法では計算的に困難であることを扱う。
• アーベル型隠れた部分群問題（HSP）を多項式関数に一般化することで、非線形構造への拡張を図る。
• 特定の体の制約下で、固定次数の多項式に対して効率的に隠れた多項式問題（HPP）を解く量子アルゴリズムを開発する。
• 量子状態識別と古典的代数幾何学的問題の間の関係を確立し、成功確率を分析する。
• アルゴリズムの成功確率が体のサイズdに依存しない定数で下から抑えられることを示し、効率的な実装を可能にする。

提案手法

• 多項式の情報を量子状態に符号化することで、隠れた多項式問題（HPP）を量子状態識別問題に還元する。
• 異なる隠れた多項式に対応する量子状態を区別するために「よい測定」（pretty good measurement）フレームワークを適用する。
• 代数幾何学的解析、特に多項式写像のファイバーとその逆像を用いて測定方式を設計する。
• シュワーツ＝ツィッペルの補題とヤコビアン行列式の性質を用い、測定が有効である「よい集合」に属する入力値の大部分が存在することを保証する。
• 量子コンピュータ上で効率的に実装可能な近似測定手順を実装し、成功確率が定数で下から抑えられることを保証する。
• 重要な多項式g(x)のヤコビアン行列式が消えないことと、像が非ゼロであることにより、十分な数のよい入力が存在することが保証される。

実験結果

リサーチクエスチョン

• RQ1 次数≥2の多変数多項式に対する隠れた多項式問題（HPP）は、量子コンピュータ上で効率的に解けるか？
• RQ2 有限体上での隠れた多項式の識別におけるクエリ複雑度は何か？ また、古典的手法の下界と比較するとどうなるか？
• RQ3 『よい測定』フレームワークは、非アーベル的または非線形な隠れた部分群問題の一般化に適応可能か？
• RQ4 有限体の特徴（特性）は、HPPに対する効率的量子アルゴリズムの構築可能性にどのような影響を及えるか？
• RQ5 量子状態識別の成功確率と、多項式系の古典的代数幾何学的性質との間に相関があるか？

主な発見

• 本量子アルゴリズムは、d 個の元をもつ有限体 F 上の m 変数多項式を、全次数 ≤n として、定数成功確率で同定できる。
• アルゴリズムの実行時間は d に関して多対数的であり、具体的には m と n に依存する定数 c に対して O((log d)^c) である。
• m と n が固定されている場合、アルゴリズムの成功確率は d に依存せず、正の定数で下から抑えられる。
• 古典的アルゴリズムは定数成功確率を得るためには Ω(√d) のクエリを必要とし、最悪ケースでは量子的高速化が指数的である。
• 成功確率の下界は代数幾何学的解析に基づき、特にヤコビアン行列式の非消滅性と、シュワーツ＝ツィッペルの補題によるよい入力の数の上限に基づく。
• 本アルゴリズムは量子コンピュータ上で効率的に実装可能であり、『よい集合』への属するかどうかの判定が古典的多項式時間で可能である。