[論文レビュー] Efficient Quantum Algorithms for Estimating Gauss Sums

Wim van Dam, G. Seroussi|ArXiv.org|Jul 23, 2002

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

ひとこと要約

この論文は、有限体および環上のガウス和の位相を推定する効率的な量子アルゴリズムを提示する。量子フーリエ変換とキャラクターの相互作用を活用し、誤差εにおける位相推定をO(1/ε · polylog |R|)時間で達成する。離散対数問題をそれへ還元することで、ガウス和推定が古典的に困難である証拠を提供する。

ABSTRACT

We present an efficient quantum algorithm for estimating Gauss sums over finite fields and finite rings. This is a natural problem as the description of a Gauss sum can be done without reference to a black box function. With a reduction from the discrete logarithm problem to Gauss sum estimation we also give evidence that this problem is hard for classical algorithms. The workings of the quantum algorithm rely on the interaction between the additive characters of the Fourier transform and the multiplicative characters of the Gauss sum.

研究の動機と目的

• ブラックボックス関数に依存しない、有限体および環上のガウス和の位相推定のための効率的量子アルゴリズムの開発。
• ガウス和推定が、隠れた部分群フレームワークとは異なる、量子計算における自然な問題であることを示すこと。
• 離散対数問題をそれへ還元することで、ガウス和推定が古典的に困難である証拠を提供すること。
• 因数分解や離散対数問題のような数論的問題を超えて、ガウス和推定を含む量子アルゴリズムの拡張。
• 特に原始的キャラクターについて、環Z/nZ上のガウス和の構造を分析し、構成的量子推定法を提供すること。

提案手法

• 有限環および体上の量子フーリエ変換を用いて、ガウス和の位相を重ね合わせ状態における相対位相にマッピングする。
• 位相γを相対位相として誘発する変換を実装する：|0⟩ + |1⟩ ↦ |0⟩ + e^{iγ}|1⟩ により、位相推定を可能にする。
• トレース関数による加法的キャラクターと、原始根による乗法的キャラクターの双対性を活用してガウス和を定義する。
• Shorの離散対数アルゴリズムを用いて、Z/nZ上での非自明なキャラクターについてχ(β⁻¹)を計算し、一般のガウス和をβ = 1の場合に還元する。
• 標準的な量子位相推定技術を適用し、G = |G|e^{iγ}における位相γを精度εで推定する。この場合、O(1/ε · polylog n)回の操作が必要となる。
• Z/p^rZ上の原始的キャラクターに対しては、既知の閉形式結果を活用し、可能であれば位相推定を簡略化する。

実験結果

リサーチクエスチョン

• RQ1 ブラックボックス関数を仮定せずに、量子コンピュータ上でガウス和推定を効率的に解けるか？
• RQ2 ガウス和推定は古典的に困難であり、離散対数や因数分解と同程度の複雑さクラスに属するか？
• RQ3 加法的キャラクターと乗法的キャラクターの相互作用をどのように活用して、ガウス和位相推定のための量子アルゴリズムを設計できるか？
• RQ4 有限環Z/nZ上のガウス和の位相推定の時間計算量は何か？精度にどのように依存するか？
• RQ5 ガウス和推定に還元可能な問題で、因数分解や離散対数に還元できないものは存在するか？

主な発見

• 量子アルゴリズムは、ガウス和G = |G|e^{iγ}の位相γを、期待誤差εでO(1/ε · polylog |R|)時間で推定する。ここで|R|は環または体のサイズである。
• ガウス和のノルム|G|は、特にZ/nZではO(polylog n)時間で計算可能である。
• Z/nZ上の原始的キャラクターに対しては、|G| = √nを満たし、G(β) = χ(β⁻¹)G(1)となるため、β = 1の場合に還元可能である。
• アルゴリズムは量子フーリエ変換と、χ²(y)による位相キックバック機構を用いて、位相γを全体的な位相シフトとして生成する。
• 論文は離散対数問題からガウス和推定への還元を提供し、ガウス和推定が古典的コンピュータにとって困難である可能性を示唆している。
• アルゴリズムは有限体F_{p^r}および環Z/nZの両方に対応可能であり、中国剰余定理とキャラクター分解を用いて合成モジュラスに対しても統一的な取り扱いが可能である。