[論文レビュー] Quantum implementation of elementary arithmetic operations

Giuseppe Florio, D. Picca|ArXiv.org|Mar 5, 2004

Quantum Computing Algorithms and Architecture参考文献 5被引用数 14

ひとこと要約

本論文は、可逆論理と制御量子ゲートを用いて、加算、減算、乗算、除算といった基本的な算術演算の明示的な量子回路設計を提示する。故障に強く、リソース効率の良い実装がなされ、量子アルゴリズムに適したものであり、実用的な量子計算応用のための詳細な回路図とゲート数が提供されている。

ABSTRACT

Quantum computation has received great attention in recent years for its possible application to difficult problem in classical calculation. Despite the experimental problems of implementing quantum devices, theoretical physicists have tried to conceive some implementations for quantum algorithms. We present here some explicit schemes for executing elementary arithmetic operations.

研究の動機と目的

• 加算、減算、乗算、除算といった基本的な算術演算のための実用的な量子回路を設計すること。
• ユニタリ量子計算に不可欠な、古典的算術を可逆な量子フレームワークに実装する課題に取り組むこと。
• スケーラブルな量子アルゴリズムに適した、qubitおよびゲートリソースを最小限に抑えた明示的でゲートレベルの回路構成を提供すること。
• 算術処理を必要とする量子アルゴリズムの開発を支援するため、基本的量子算術部品の基盤を提供すること。

提案手法

• ユニタリ量子回路フレームワーク内で古典的算術演算を実装するために、可逆論理合成を用いる。
• 条件付き演算を実行するために、制御ゲート（例：制御NOT、制御SWAP）を用いる。
• フェインマン＝バレンコ構成に基づく量子アダー回路を用い、複数のqubit入力状態に適応させる。
• 乗算と除算を、制御加算および制御減算のサブルーチンに分解するモジュラー分解を導入する。
• アンシラqubitの効率的管理とゲート分解を通じて、回路の深さとqubit使用量を最適化する。
• 標準的な量子回路表記を用いて設計を検証し、各演算ごとに視覚的な回路図を提供する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして古典的算術演算を可逆的でユニタリな量子回路形式に実装できるか？
• RQ2 qubitと制御ゲートを用いて加算および減算を実行するための最小限の量子回路アーキテクチャは何か？
• RQ3 乗算と除算を、管理可能なリソースオーバーヘッドで基本的量子操作に分解する方法は何か？
• RQ4 故障に強い量子計算モデルにおける基本的算術演算のゲート数と回路深さは何か？
• RQ5 これらの算術回路は、過剰なリソース消費を伴わずに、より大きな量子アルゴリズムに統合可能か？

主な発見

• 本論文は、可逆論理と制御量子ゲートを用いて、加算、減算、乗算、除算の量子回路を成功裏に設計し、提示している。
• 量子アダーおよびサブトラクタ回路は、フェインマン＝バレンコアプローチに基づいて構築されており、ユニタリティと可逆性が保証されている。
• 乗算は繰り返しの制御加算操作により実装され、回路の深さとqubit数が明確に分析されている。
• 除算は反復的逆算と制御減算技術を用いて実現され、明確なモジュラー構造を有している。
• 提案された回路はリソース最適化がなされており、各演算について詳細なゲート数とアンシラqubit使用量が提供されている。
• モularityと効率性のため、これらの設計は、ショアのアルゴリズムなどのより大きな量子アルゴリズムへの統合に適している。