[論文レビュー] A new quantum ripple-carry addition circuit

Steven A. Cuccaro, Thomas G. Draper+2 more|ArXiv.org|Oct 22, 2004

Quantum Computing Algorithms and Architecture参考文献 1被引用数 326

ひとこと要約

この論文では、従来の設計と比べてリソースのオーバーヘッドを顕著に低減する、唯一のアーキテクチャ用補助量子ビットを用いる新しい線形深さの量子リップルキャリー加算器を提示する。インプレースのメジャリティゲートと可逆な「アンメジャリティおよび加算」操作を導入することで、ゲート数と深さを低減し、2n+O(1) のToffoliゲートと5n+O(1) のCNOTゲートを実現した。これにより、量子回路における効率的な可逆加算が可能になる。

ABSTRACT

We present a new linear-depth ripple-carry quantum addition circuit. Previous addition circuits required linearly many ancillary qubits; our new adder uses only a single ancillary qubit. Also, our circuit has lower depth and fewer gates than previous ripple-carry adders.

研究の動機と目的

• 最小限の補助量子ビットを用いて、リソースコストの高い従来のリップルキャリー加算器の問題を解決する可逆量子加算回路の設計。
• 量子ビット数の線形スケーリングを維持しつつ、回路の深さとゲート数を低減すること。
• 可逆加算におけるリソースオーバーヘッドを最小限に抑えることで、実用的な量子算術を実現すること。
• 量子加算器設計における補助量子ビットの使用、回路の深さ、ゲート複雑性のトレードオフを調査すること。

提案手法

• 2つのCNOTゲートと1つのToffoliゲートを用いて、3量子ビットのメジャリティを計算する新しいインプレースメジャリティゲート（MAJ）を導入。
• 入力量子ビットと出力和ビットを復元し、キャリー情報を伝搬する可逆な「アンメジャリティおよび加算」（UMA）ゲートを提案。
• MAJおよびUMAゲートを量子ビットペアに連鎖的に接続し、LSBからMSBへ順にリップルキャリー方式で処理する。
• 初期キャリーを0に初期化した唯一の補助量子ビットを用い、最終的なキャリーは別個の量子ビットに出力する。
• モジュラーなバージョンを可能とする設計で、2^nで法とする加算、入力キャリー付き加算、比較器用の上位ビットのみの計算が可能。
• 最適化されたバージョンではToffoliゲートとCNOTゲートの数を削減し、制御回転に基づく実装では深さ6n−2を達成。これにより、Toffoliゲートが1つあたり5回の回転を要するが、効果的なゲートオーバーラップが実現された。

実験結果

リサーチクエスチョン

• RQ1 1つの補助量子ビットのみを用いながらも線形深さを維持できる可逆量子リップルキャリー加算器を構築可能か？
• RQ2 定数の補助量子ビットオーバーヘッドを伴う可逆量子加算器で達成可能な最小のゲート数と回路深さは何か？
• RQ3 インプレースのメジャリティおよびアンメジャリティ操作をどのように用いることで、量子加算における量子ビットおよびゲートリソースを最小限に抑えることができるか？
• RQ4 量子算術回路における補助量子ビットの使用と回路深さのトレードオフを定量化・最適化できるか？

主な発見

• 提案された加算器は、従来の設計がn−O(1)の補助量子ビットを必要としていたのに対し、唯一の補助量子ビットのみを用いる。
• 回路の深さは2n+O(1)であり、従来のリップルキャリー加算器よりも低い。Toffoliゲートは2n+O(1)、CNOTゲートは5n+O(1)を用いる。
• 最適化されたバージョンでは、Toffoliゲートを2n−1個、CNOTゲートを4n+1個に削減し、深さは2n+5に。
• 回路は、和の上位ビットのみを計算するように変更可能であり、これにより比較器回路を構築できる。
• 制御回転に基づく実装では深さ6n−2を達成し、Toffoliゲートが1つあたり5回の回転を要するが、効果的なゲートオーバーラップが実現された。
• ビット単位の補数を用いることで、加算器を簡単に減算器に変換可能であり、上位ビットバージョンは2つの数の比較に使用可能な比較器を実現できる。