[論文レビュー] Ancilla-free Reversible Logic Synthesis via Sorting

Anupam Chattopadhyay, Sharif Md Khairul Hossain|arXiv (Cornell University)|May 19, 2016

Quantum Computing Algorithms and Architecture参考文献 10被引用数 3

ひとこと要約

本稿では、基数整列にインspiredされた、アンシラを不要とする新しい可逆論理合成手法RevColを提案する。この手法は、可逆論理合成を整列問題に変換する。列単位の整列原理を活用することで、MMD手法と比較して論理的深さを54%改善し、ハイブリッドフレームワークによりベンチマーク関数における性能がさらに向上する。

ABSTRACT

Reversible logic synthesis is emerging as a major research component for post-CMOS computing devices, in particular Quantum computing. In this work, we link the reversible logic synthesis problem to sorting algorithms. Based on our analysis, an alternative derivation of the worst-case complexity of generated reversible circuits is provided. Furthermore, a novel column-wise reversible logic synthesis method, termed RevCol, is designed with inspiration from radix sort. Extending the principles of RevCol, we present a hybrid reversible logic synthesis framework. The theoretical and experimental results are presented. The results are extensively benchmarked with state-of-the-art ancilla-free reversible logic synthesis methods.

研究の動機と目的

• 整列アルゴリズムと可逆論理合成の間の理論的かつ実用的な関係を確立すること。
• 論理的深さと量子コストを最小限に抑えるアンシラフリーな合成手法を設計すること。
• RevColと置換最適化を組み合わせたスケーラブルなハイブリッドフレームワークを構築し、回路性能を向上させること。
• MMDやBDDベースの手法を含む最先端のアンシラフリー手法と比較して、RevColおよびそのハイブリッドバージョンのベンチマークを実施すること。

提案手法

• RevColは、基数整列にインスパイアされた列単位の整列アプローチを用い、真理値表表現から可逆回路を合成する。
• この手法は、真理値表の各列を整列操作にマッピングし、一般化されたToffoliゲートを用いてビットレベルの交換を実行する。
• ハイブリッド合成フレームワークは、RevColと入出力の置換技術を組み合わせ、ゲート数と量子コストをさらに低減する。
• このアプローチはアンシララインを完全に回避し、アンシラフリーな合成を実現するとともに、低い論理的深さを維持する。
• 理論的分析により、整列アルゴリズムの挙動に基づいた最悪ケースの回路複雑度が導出される。
• ハイブリッド手法は、関数のパターンに応じて合成戦略（例：サイクルベースまたはRevCol）を動的に選択し、性能最適化を図る。

実験結果

リサーチクエスチョン

• RQ1 整列アルゴリズムを体系的に可逆論理合成に適用することで、回路の深さとコストを改善できるか？
• RQ2 基数整列にインスパイアされた列単位のアプローチは、既存のアンシラフリー手法と比較して、ゲート数、量子コスト、論理的深さの観点でどのように異なるか？
• RQ3 この整列ベースの合成手法によって生成される回路の理論的最悪ケース複雑度は何か？
• RQ4 置換技術と組み合わせたハイブリッドフレームワークは、単体のRevColや他の最先端手法を上回る性能を発揮できるか？
• RQ5 関数固有のパターンは、RevColおよびハイブリッド合成アプローチの有効性にどの程度影響を与えるか？

主な発見

• ベンチマーク関数において、RevColはMMD手法と比較して54%の論理的深さの改善を達成した。
• ハイブリッドRevColフレームワークは、MMDと比較して平均で15%の量子コスト削減を達成し、特にrand4_4やrand5_4のような特定の関数で顕著な改善を示した。
• 4ビット関数では、10個のベンチマークのうち7つで、RevColは最適ゲート数に一致またはそれを上回った。ゲート数の増加はわずかにとどまった。
• ハイブリッド手法は、ゲート数と量子コストの両面でBDDベースの合成を上回った。すべてのテスト済みの小規模関数において、ライン数が少なく、QCも低かった。
• hwb9 や urf4 のような大規模関数においても、一部のケースでゲート数が増加したものの、ハイブリッド手法はアンシラフリーBDD合成よりも低い量子コストを達成した。
• 性能向上は、関数固有のパターンとハイブリッドフレームワーク内での効果的な合成戦略選択に起因する。