[論文レビュー] Efficient Quantum Modular Arithmetics for the ISQ Era

Parfait Atchade-Adelomou, Saúl González|arXiv (Cornell University)|Nov 14, 2023

Quantum Computing Algorithms and Architecture被引用数 4

ひとこと要約

この論文は、中規模量子（ISQ）デバイスに特化した、モジュラ加算、乗算、べき乗の最適化された量子回路を提示する。可逆的かつインプレースの演算を活用し、反復的量子位相推定（IQPE）を統合することで、モジュラべき乗演算子における量子ビット要件を3nから2n+2に削減し、現在のハードウェア制約内でショアのアルゴリズムの周期発見サブルーチンを効率的に実装可能にする。

ABSTRACT

As we venture into the Intermediate-Scale Quantum (ISQ) era, the proficiency of modular arithmetic operations becomes pivotal for advancing quantum cryptographic algorithms. This study presents an array of quantum circuits, each precision-engineered for modular arithmetic functions critical to cryptographic applications. Central to our exposition are quantum modular adders, multipliers, and exponential operators, whose designs are rigorously optimized for ISQ devices. We provide a theoretical framework and practical implementations in the PennyLane quantum software, bridging the gap between conceptual and applied quantum computing. Our simulations validate the efficacy of these methodologies, offering a strategic compass for developing quantum algorithms that align with the rapid progression of quantum technology.

研究の動機と目的

• ISQ時代の量子ハードウェアに特化した、包括的かつ効率的な量子モジュラ算術演算子の実装が不足しているという問題に対処する。
• 補助量子ビットレジスタを回避するため、インプレースで可逆的なモジュラ演算子を設計することで、量子回路における量子ビットのオーバーヘッドを低減する。
• 資源使用量を最小限に抑えつつ正しく保つように、ショアのアルゴリズムに使用するモジュラべき乗演算子を最適化する。
• PennyLaneで実行可能で、主要な量子コンputングフレームワークと互換性を持つ、実用的な量子回路を提供する。
• 理論的量子アルゴリズムと、近い将来の量子デバイスにおける実際の実装とのギャップを埋める。

提案手法

• 補助量子ビットレジスタを排除するために、制御モジュラ操作を用いた可逆的かつインプレースの量子モジュラ加算器と乗算器を設計する。
• スーパポジションを生成するハダマードゲートと位相推定を可能にする逆量子フーリエ変換（QFT⁻¹）を用いて、モジュラべき乗演算子を実装する。
• 量子ビット数を3nから2n+2に削減するため、反復的量子位相推定（IQPE）を適用し、リソース要件を顕著に低減する。
• ハダマードゲートとQFT⁻¹の操作を組み合わせることで、ショアのアルゴリズムの周期発見回路を構築する。
• PennyLaneで全回路を実装し、ビッグエンディアンの量子ビット符号化を採用することで、主要な量子コンピューティングフレームワークとの互換性を確保する。
• シミュレーションによる検証を通じて、設計の正しさと効率性を確認し、ISQに該当するハードウェア制約下での妥当性を裏付ける。

実験結果

リサーチクエスチョン

• RQ1 ISQ時代の量子コンピュータにおいて、量子モジュラ算術演算をどのように最適化すれば、量子ビット使用量を最小限に抑えられるか。
• RQ2 限られた量子ビット数の下で、ショアのアルゴリズムに使用するモジュラべき乗演算子を、最も効率的に実装する方法は何か。
• RQ3 反復的量子位相推定（IQPE）は、量子算術回路における量子ビットのオーバーヘッドをどの程度低減できるか。
• RQ4 反復的量子アルゴリズムにおいて、補助量子ビットレジスタを回避するため、インプレースで可逆的な量子操作を体系的に設計する方法は何か。
• RQ5 量子モジュラ算術において、可逆性、回路の深さ、量子ビット効率の間で、実用的なトレードオフはどのようなものか。

主な発見

• 提案されたモジュラべき乗演算子は、反復的量子位相推定（IQPE）を適用することで、量子ビット要件を3nから2n+2に削減し、リソース効率を顕著に向上させた。
• 設計により、べき乗演算子がハダマードゲートとQFT⁻¹を用いて、ショアのアルゴリズムのコアとなる周期発見サブルーチンに効果的に変換された。
• すべての量子回路はPennyLaneで実装され、ビッグエンディアン符号化が採用されており、主要な量子コンピューティングプラットフォームとのポータビリティと互換性が保証されている。
• シミュレーションにより、提案された回路の正しさと効率性が確認され、近い将来の量子ハードウェアに適したことが裏付けられた。
• 最適化されたモジュラ加算器と乗算器回路は完全に可逆的かつインプレースで動作し、反復的アルゴリズムにおける補助量子ビットレジスタの必要性を排除した。
• 本研究は、コミュニティが利用・拡張可能な、包括的かつ実行可能な量子モジュラ算術のツールキットを提供しており、公開されたGitHubリポジトリで入手可能である。