[論文レビュー] Synthesis and Optimization of Reversible Circuits for Homogeneous Boolean Functions

Ahmed Younes|ArXiv.org|Oct 2, 2007

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

ひとこと要約

本稿では、同次論理関数（次数 ≤3）のための要因分解に基づくアルゴリズムを提示し、量子コストとゲート数を最小化するために代数的構造を活用した可逆回路の合成と最適化を行う。この手法は直接合成法や先行研究のベンチマークを上回り、特に同じ次数のミンタームを多数持つ関数に対して優れた性能を示し、8変数のバント関数では最大75%の量子コスト削減を達成する。

ABSTRACT

Homogenous Boolean function is an essential part of any cryptographic system. The ability to construct an optimized reversible circuits for homogeneous Boolean functions might arise the possibility of building cryptographic system on novel computing paradigms such as quantum computers. This paper shows a factorization algorithm to synthesize such circuits.

研究の動機と目的

• 暗号システムにおいて重要な同次論理関数に特化した効率的な可逆回路合成手法の不足に対処すること。
• 特に量子計算および低消費電力計算で使用される次数 ≤3 の論理関数の可逆回路における量子コストとゲート数を最適化すること。
• 同次関数に共通する代数的構造と共通部分式を活用するスケーラブルで効率的なアルゴリズムの開発。
• 包括的かつスケーラブルでない、または非線形な同次関数に対して効果を発揮しない既存の合成技術の改善。
• 標準ベンチマーク（バント関数や 4mod5 や 2of5 といった暗号的プリミティブを含む）における手法の有効性の実証。

提案手法

• 同次論理関数の代数的正規形（ANF）を共通部分式に要因分解することで、重複計算を削減する。
• 正極性リード・マラー（PPRM）展開を用いて論理関数を表現し、同じ次数のミンタームを体系的に特定可能にする。
• ミンタームを次数（1, 2, 3）ごとにグループ化し、CNOTゲートで共有される制御線を再利用する再帰的要因分解戦略を適用する。
• 可逆性を保つために、CNOTゲートのみを用いて回路を構築し、補助量子ビットをゼロで初期化し、処理終了時に元に戻す。
• 探索空間の削減と効率性の向上を図るため、真理値表の完全な列挙を避けて出力の変化にのみ焦点を当てる。
• 4mod5、2of5、および6および8変数の同次バント関数（ミンターム数が異なる）を含むベンチマークで結果を検証。

実験結果

リサーチクエスチョン

• RQ1 要因分解に基づくアプローチは、次数 ≤3 の同次論理関数の可逆回路において、量子コストとゲート数を顕著に削減できるか？
• RQ2 本手法は直接合成法や既存手法と比較して、量子コストと回路サイズの点でどの程度優れているか？
• RQ3 同じ次数のミンタームの数が増えるにつれて、性能向上がスケーラブルに拡大するか？
• RQ4 本手法は 4mod5 や 2of5 といった暗号的プリミティブ、および高い非線形性を示すバント関数に対しても効果的に適用可能か？
• RQ5 同次関数に共通する部分式をどの程度活用できるか、回路の深さを増加させずに量子コストを最小化できるか？

主な発見

• 4入力、9ミンタームの 4mod5 ベンチマークでは、要因分解法により量子コストを25から8に削減し、直接合成法比で68%の改善を達成した。
• 5入力、17ミンタームの 2of5 ベンチマークでは、量子コストを180から75に削減し、58.3%の改善を達成した。
• 6変数の同次バント関数（BFV6_d3）では、量子コスト85、CNOTゲート13個を達成し、先行研究の結果を顕著に上回った。
• 35ミンタームを有する8変数バント関数（BFV8_d3_35）では、量子コスト176、CNOTゲート32個を達成し、直接合成法（455コスト）を上回った。
• 同じ次数のミンタームの数が増えるほど量子コストの改善が顕著になることから、密度の高い同次関数に対して強いスケーラビリティを示した。
• 入力量子ビットを元に戻す必要がない場合、最終的な回路構造から最後の3個のCNOTゲートを削除可能である。