[論文レビュー] Quantum Computing Discrete Logarithms with the Help of a Preprocessed State

Wim van Dam|ArXiv.org|Nov 20, 2003

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

ひとこと要約

この論文は、巡回群 G 上の特別な重ね合わせ状態「χ状態」を事前処理して用いる決定的量子アルゴリズムを提示している。2つの量子レジスタ、2回のフーリエ変換、および制御除法演算を介した位相キックバック機構を活用することで、多項式時間で誤差ゼロで離散対数問題を解く。χ状態を複数回のクエリにわたって再利用できる場合、Shorのアルゴリズムに比べて量子ビット数とゲート数を削減できる。

ABSTRACT

An alternative quantum algorithm for the discrete logarithm problem is presented. The algorithm uses two quantum registers and two Fourier transforms whereas Shor's algorithm requires three registers and four Fourier transforms. A crucial ingredient of the algorithm is a quantum state that needs to be constructed before we can perform the computation. After one copy of this state is created, the algorithm can be executed arbitrarily many times.

研究の動機と目的

• Shorのアルゴリズムよりも効率的な離散対数問題の量子アルゴリズムの開発。
• 正確な離散対数計算に必要な量子レジスタ数とフーリエ変換回数の削減。
• 再利用可能な特別な量子状態（「χ状態」として知られる）を事前計算することで、決定的計算を実現。
• 通常のShorのアルゴリズムの正確版で必要とされるアンプリチュードアンプリフィケーションを回避することで、アルゴリズムの簡素化。
• χ状態が効率的に準備可能であり、複数の計算で共有可能であることを示すこと。

提案手法

• 確率的だが効率的な準備手順を用いて、|χ⟩ = 1/√m ∑_{r=0}^{m-1} ζ_m^r |g^r⟩（ζ_m = e^{2πi/m}）としてχ状態を事前計算。
• 制御除法演算子 D_x を用いて乗法的位相キックバックを実装：D_x |α⟩|χ⟩ ↦ ζ_m^{αp} |α⟩|χ⟩（p = log_g(x)）。
• 第一レジスタに ℤ/mℤ 上の量子フーリエ変換（QFT）を適用し、離散対数を計算基底に符号化。
• 第一レジスタに逆QFTを適用して、状態を |log_g(x)⟩ に収束させ、離散対数を確実に特定。
• χ状態が保存され、D^1 を用いて無償で複製可能であることに着目し、複数の離散対数クエリにわたって再利用可能。
• 半古典的フーリエ変換を用いることで、第一レジスタを1キュービットに削減し、追加の測定を伴うコストを増加させることで、量子ビットのオーバーヘッドを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 特別な量子状態を事前計算することで、Shorのアルゴリズムに比べてより少ない量子リソースで離散対数問題を解くことは可能か？
• RQ2 アンプリチュードアンプリフィケーションに依存せずに、決定的解を得ることは可能か？
• RQ3 量子アルゴリズムにおいて、加法的群構造から乗法的群構造への位相キックバック機構の適応はどのように可能か？
• RQ4 複数の離散対数インスタンスにわたって「χ状態」を準備・再利用する際の計算コストは何か？
• RQ5 群の構造とχ状態の性質を活用することで、フーリエ変換回数と量子ビット数を削減することは可能か？

主な発見

• アルゴリズムは、Shorのアルゴリズムの3レジスタ・4回のフーリエ変換設計に比べ、2つの量子レジスタと2回のℤ/mℤ 上のフーリエ変換で十分であり、リソースのオーバーヘッドを削減できる。
• χ状態 |χ⟩ は、期待時間 poly(log m) で誤差確率ゼロで準備可能であり、追加コストなしに複製可能である。
• QFT と χ状態が正確に実装されている場合、離散対数 p = log_g(x) は確実に（確率1で）計算可能である。
• D_x を介した位相キックバックにより、位相 ζ_m^{αp} が発生し、これがフーリエ変換された状態に離散対数 p を符号化する。
• χ状態は無期限に再利用可能であり、同じ群 G に対して多数の離散対数インスタンスを解く場合に特に効率的である。
• 半古典的フーリエ変換を用いることで、第一レジスタを1キュービットに縮小でき、測定回数は log m 回にまで減少する。これは、標準的な半古典的アプローチの 2 log m 回に比べて少ない。