[論文レビュー] A Cost Minimization Approach to Synthesis of Linear Reversible Circuits

Ben Schaeffer, Marek Perkowski|arXiv (Cornell University)|Jun 30, 2014

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

ひとこと要約

本論文は、CNOT ゲート数を最小化する線形可逆回路の合成のための2つのヒューリスティック手法—交替的削除によるコスト最小化（AECM）と複数 CNOT ゲート（MCG）—を提案する。MCG 法は24本の線路までで最低の平均 CNOT 数を達成するが、28〜60本の線路では AECM が最も優れた性能を示し、大規模な可逆論理合成における優れたコスト最小化を実証している。

ABSTRACT

This paper presents a heuristic cost minimization approach to synthesizing linear reversible circuits. Two bidirectional linear reversible circuit synthesis methods are introduced, the Alternating Elimination with Cost Minimization method (AECM) and the Multiple CNOT Gate method (MCG). Algorithms, example syntheses, and extensions to these methods are presented. An MCG variant which incorporates line reordering is introduced. Tests comparing the new cost minimization methods with the best known method for large circuits are presented. Results show that of the three methods MCG had the lowest average CNOT gate counts for linear reversible circuits up to 24 lines, and that AECM had the lowest counts between 28 and 60 lines.

研究の動機と目的

• 線形可逆回路合成における量子コストの最小化という挑戦に応えること、特に CNOT ゲート数の削減に焦点を当てる。
• 大規模な可逆回路において、既存の手法を上回るゲート数の効率的ヒューリスティックアルゴリズムを開発すること。
• 線路の再順序付けが回路最適化に与える影響を調査し、合成効率を向上させること。
• 新しい合成手法の性能を、大規模回路における最良の既知の手法と評価・比較すること。
• 最小限の量子リソースで線形可逆回路を合成可能なスケーラブルで実用的なアルゴリズムを提供すること。

提案手法

• 交替的削除によるコスト最小化（AECM）法は、コストを最小化しながら制御線の反復的削除を実行する。
• 複数 CNOT ゲート（MCG）法は、構造的な順序で複数の CNOT ゲートを適用することで、全体のゲート数を削減する。
• 強化された MCG の変種は、線路の再順序付けを組み込むことで、さらにゲート数と回路構造の最適化を図る。
• 両手法は、大規模な可逆回路におけるスケーラビリティと効率性を目的としたヒューリスティックアルゴリズムとして実装されている。
• アルゴリズムは最大60本の線路までをカバーするベンチマーク回路を用いて評価され、性能は平均 CNOT ゲート数で測定されている。
• 両手法は、可逆論理の線形代数的性質を活用することで、正しさを保証するとともに、量子コストを最小化する。

実験結果

リサーチクエスチョン

• RQ1 コスト最小化アプローチにより、線形可逆回路における CNOT ゲート数を顕著に削減できるか？
• RQ2 AECM および MCG の性能は、大規模な可逆回路における最良の既知の手法と比べてどの程度優れているか？
• RQ3 MCG 法における線路の再順序付けは、ゲート数の削減にどの程度効果をもたらすか？
• RQ4 異なる回路サイズにおいて、AECM と MCG のどちらが最も低い平均 CNOT ゲート数を達成するか？
• RQ5 ヒューリスティック合成手法は、24〜60本の線路を有する回路にスケーリングする際、低コストを維持できるか？

主な発見

• MCG 法は、24本の線路までの線形可逆回路において、最低の平均 CNOT ゲート数を達成した。
• 28〜60本の線路を有する回路では、AECM 法が最も低い平均 CNOT ゲート数を生成し、他の手法を上回った。
• 線路の再順序付けを組み込んだ MCG の変種は、基本的な MCG 法と比較して、最適化性能が向上した。
• 提案手法は、テストされたすべての回路サイズで一貫したコスト最小化を示し、既存手法と比較して顕著な改善を示した。
• 性能評価により、AECM および MCG が大規模な可逆回路合成に有効であることが確認された。手法の選択は回路サイズに依存する。
• 結果は、線形可逆回路における量子リソース要件の低減に向けたヒューリスティックコスト最小化の有効性を裏付けた。