[論文レビュー] Quantum Arithmetic on Galois Fields

Stéphane Beauregard, Gilles Brassard+1 more|ArXiv.org|Jan 29, 2003

Quantum Computing Algorithms and Architecture被引用数 19

ひとこと要約

本稿では、Galois体 GF(p)、GF(2^k)、GF(p^k) 上での制御乗算の明示的量子回路設計を、キャリー・サム法とQFTに基づく（phiアダー法）の両方を用いて提示する。これらの操作における正確なリソースバウンド（キュービット数、ゲート数、回路深度）を導出し、有限体上のショアのアルゴリズムを実装する上での基盤を提供するとともに、離散対数問題を量子コンピュータで解く際の正確なリソース推定を可能にする。

ABSTRACT

In this paper we discuss the problem of performing elementary finite field arithmetic on a quantum computer. Of particular interest, is the controlled-multiplication operation, which is the only group-specific operation in Shor's algorithms for factoring and solving the Discrete Log Problem. We describe how to build quantum circuits for performing this operation on the generic Galois fields GF($p^k$), as well as the boundary cases GF($p$) and GF($2^k$). We give the detailed size, width and depth complexity of such circuits, which ultimately will allow us to obtain detailed upper bounds on the amount of quantum resources needed to solve instances of the DLP on such fields.

研究の動機と目的

• 有限体上での制御乗算の詳細な量子回路実装を提供すること。これはショアのアルゴリズムに不可欠である。
• Galois体 GF(p)、GF(2^k)、GF(p^k) における算術処理の量子リソース要件（キュービット、ゲート、深度）を分析・定量すること。
• これらの体上で量子アルゴリズムを用いて離散対数問題を解く際のコストの正確な上限を提供すること。
• キャリー・サムアダー（キュービット効率的）とphiアダー（QFTを介したゲート効率的）の2つのアプローチを比較すること。

提案手法

• GF(p)およびGF(p^k)におけるモジュラ加算にキャリー・サムアダーを用い、補助キュービットを再利用することでキュービット数を最小限に抑える。
• 量子フーリエ変換（QFT）に基づくphiアダーを用いて、余分なキャリー・キュービットを必要とせずにモジュラ加算を実行するが、制御位相ゲートとアダマールゲートを追加で使用する。
• 2つの制御キュービットを用いた制御モジュラ加算を繰り返すことで、制御乗算回路を構築する。
• 制御乗算を完了させるために、加算・乗算の逆操作を適用し、3段階のシーケンス（加算・乗算、スワップ、逆加算・乗算）を形成する。
• GF(p^k)への拡張は、GF(p)上でk個の並列アダーを用い、多項式基底表現における各係数に対してモジュラ還元を適用することで実現する。
• C^kN、CP、P、H、N のゲートタイプの記号的解析を用いて、各回路バージョンの複雑さ指標（キュービット数、ゲート数、深度）を導出する。

実験結果

リサーチクエスチョン

• RQ1 GF(p)における制御乗算の正確な量子リソースコスト（キュービット、ゲート、深度）は何か？
• RQ2 GF(2^k)およびGF(p^k)において、キャリー・サム法とphiアダー法は、キュービット効率とゲート数の観点でどのように比較できるか？
• RQ3 k > 1 かつ p > 2 の場合、GF(p^k)における制御乗算のスケーラブルなリソースバウンドは何か？
• RQ4 Galois体上のモジュラ算術は、ショアのアルゴリズム用に再利用可能な量子サブルーチンにどのように分解できるか？
• RQ5 制御乗算回路を用いてショアのアルゴリズムにおけるモジュラ指数関数ブラックボックスを実装する際に、最小限のオーバーヘッドは何か？

主な発見

• GF(2^k)では、制御乗算回路は 2k+1 個のキュービット、(k² + k) 個の C²N ゲート、2k 個の CN ゲートを用い、深度は k² + k + 2 である。
• p が素数である GF(p) では、制御乗算回路は 2n+1 個のキュービット、(n²/2) 個の C²N ゲートを必要とし、深度は n²/2 である。ここで n は p のビット長である。
• キャリー・サムアダーを用いた GF(p^k) では、制御乗算回路は 2n + k + ⌈lg(p)⌉ + 1 個のキュービットを用い、ゲート数は 6nk 個の C⁴N ゲートが支配的であり、深度は 55n² - 57nk + n + 2 である。
• phiアダーを用いた GF(p^k) では、制御乗算回路はたった 2n+3 個のキュービットで実現可能だが、6n² 個の C²P ゲートを必要とし、深度は 32n² + 22nk + n + 2 である。これはゲートコストの増加を反映している。
• phiアダー法はキャリー・キュービットを排除することでキュービット使用量を削減するが、QFTおよび逆QFTのオーバーヘッドによりゲート数が増加する。
• 本稿では、Galois体上での離散対数問題に対するショアのアルゴリズムのリソースコストが、制御乗算回路の複雑さに直接依存しており、今やその複雑さが正確に定量化されていることを確立した。