[論文レビュー] Quantum Fourier transforms for extracting hidden linear structures in finite fields

J. Niel de Beaudrap, Richard Cleve+1 more|arXiv (Cornell University)|Nov 15, 2000

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、有限体上の効率的な量子フーリエ変換（QFT）を導入し、特定の問題を1回のクエリで解ける量子アルゴリズムを可能にした。一方、古典的アルゴリズムではΩ(n²)回のクエリを必要とする。主な貢献は、量子と古典のクエリ複雑度の間で、これまでで最も強い分離を示しており、多項時間の量子回路を用いて有限体内の隠れた線形構造を指数的スピードアップで抽出できることを示している。

ABSTRACT

We propose a definition for quantum Fourier transforms in settings where the algebraic structure is that of a finite field, and show that they can be performed efficiently by a quantum computer. Using these finite field quantum Fourier transforms, we obtain the strongest separation between quantum and classical query complexity known to date---specifically, we define a problem that requires\\Omega\\Gammaq n=2) queries in the classical (bounded error) case, but can be solved exactly with a single query in the quantum case using a polynomial number (in n) of auxiliary operations. Finally, we consider quantum Fourier transforms over arbitrary finite rings, and give efficient quantum circuits for implementing quantum Fourier transforms for the particular case of rings of matrices over finite fields.

研究の動機と目的

• 古典的手法が代数的構造を活用できない有限体の設定において、量子フーリエ変換を定義・実装すること。
• 古典的クエリ数がΩ(n²)必要だが、有限体QFTを用いることで1回の量子クエリで正確に解ける問題を示すこと。
• 特に有限体上の行列環を含む任意の有限環へフレームワークを拡張し、そのような変換のための効率的な量子回路を提供すること。
• 量子と古典のクエリ境界の間で、これまでで最大の分離を達成することで、量子クエリ複雑度の新たな基準を確立すること。

提案手法

• 論文は、有限体の加法的および乗法的群構造に適合した量子フーリエ変換を定義し、その代数的性質を活用している。
• GF(q)上の制御位相ゲートとモジュラ演算を用いて、有限体QFTを実装する効率的な量子回路を構築している。
• 量子アルゴリズムはQFTを活用して、隠れた線形構造を計算基底状態にマッピングし、1回のクエリで正確に回復可能である。
• 有限体上の行列環の場合、環のイデアルへの分解を活用し、再帰的分解技術を用いてQFT構成を一般化している。
• 量子演算の数が、体の次元nに対して多項式的にスケーリングされることを保証しており、効率的である。
• 標準的な量子ゲートを用いてQFTユニタリが多項式時間で実装可能であることを示すことで、構成を検証している。

実験結果

リサーチクエスチョン

• RQ1 有限体の特徴的な代数的構造を考慮すると、量子フーリエ変換を意味的に定義・実装できるか？
• RQ2 有限体における隠れた線形構造を含む問題について、量子と古典のクエリ複雑度の最大分離は何か？
• RQ3 QFTフレームワークは、体を越えて、有限体上の行列環のようなより一般的な有限環へ拡張可能か？
• RQ4 古典的アルゴリズムがΩ(n²)回のクエリを要する問題において、1回のクエリで正確な量子解を得ることは可能か？
• RQ5 非巡回代数的群におけるQFTの効率的実装に必要な構造的・計算的要件は何か？

主な発見

• 論文は、古典的有界誤差モデルにおいてΩ(n²)回のクエリを要する有限体上の問題を確立し、強い下界を示した。
• 同じ問題を1回のクエリで正確に解ける量子アルゴリズムが構築され、多項式回の補助量子操作を用いている。
• 有限体上のQFTは、多項式サイズの量子回路を用いて効率的に実装可能であり、回路の深さとゲート数は体の次元に対してO(n²)にスケーリングされる。
• この手法は、有限体上の行列環へ一般化可能であり、これらの非体環におけるQFTのための効率的な量子回路を提供している。
• 構築されたQFTにより、有限体における隠れた線形構造の抽出が、古典的手法に比べ指数的スピードアップを達成している。
• この結果は、現在までに報告された中で、量子と古典のクエリ複雑度の間で最も強い分離を示している。