[論文レビュー] Efficient Synthesis of Linear Reversible Circuits

K.N. Patel, Igor L. Markov+1 more|arXiv (Cornell University)|Feb 3, 2003

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

ひとこと要約

この論文は、C-NOTゲートを用いた線形可逆回路の合成に対して、漸近的に最適なアルゴリズムを提示している。$ O(n^2 / \log n) $ のゲート数と $ O(n^3 / \log n) $ の実行時間で実現され、標準的なガウスの消去法を改善している。この手法は、フォールズ・ルスティアンズ技法にインspiredされたブロックごとの行列分解を用い、量子計算および可逆計算分野におけるより高速で効率的な回路合成を可能にしている。

ABSTRACT

In this paper we consider circuit synthesis for n-wire linear reversible circuits using the C-NOT gate library. These circuits are an important class of reversible circuits with applications to quantum computation. Previous algorithms, based on Gaussian elimination and LU-decomposition, yield circuits with O(n^2) gates in the worst-case. However, an information theoretic bound suggests that it may be possible to reduce this to as few as O(n^2/log n) gates. We present an algorithm that is optimal up to a multiplicative constant, as well as Theta(log n) times faster than previous methods. While our results are primarily asymptotic, simulation results show that even for relatively small n our algorithm is faster and yields more efficient circuits than the standard method. Generically our algorithm can be interpreted as a matrix decomposition algorithm, yielding an asymptotically efficient decomposition of a binary matrix into a product of elementary matrices.

研究の動機と目的

• C-NOTゲートベースの回路合成アルゴリズムを、ゲート数と実行時間の両面で漸近的に最適にすること。
• C-NOTゲートに特化した回路に対して、$ O(n^2 / \log n) $ の情報理論的下界と、既知の最良上界とのギャップを埋めること。
• ガウスの消去法やLU分解といった従来の手法（$ O(n^3) $ 時間、$ O(n^2) $ ゲートを要する）を上回ること。
• 量子計算および $ \mathbb{F}_2 $ 上の線形代数に適用可能な実用的で効率的な回路合成手法を提供すること。
• 有限体上の行列へこのアプローチを一般化し、漸近的計算量を $ O(n^2 / \log_{|F|} n) $ にすること。

提案手法

• アルゴリズムは、入力の $ n \times n $ 二値行列を、それぞれがC-NOTゲートに対応する基本行列の積にブロック単位で分解する。
• 行列の列を $ m = \lfloor (\log_2 n)/2 \rfloor $ のサイズのブロックに分割し、各ブロック内での行演算を効率的に事前計算できるようにする。
• Four Russians技法の修正形を適用することで、行演算の回数を $ O(n^3) $ から $ O(n^3 / \log n) $ に削減する。
• 各ブロックについて、事前にすべての可能な行演算の組み合わせを計算し、本番の削減フェーズでは $ O(1) $ の検索が可能になるようにする。
• アルゴリズムは左から右へブロックを処理し、事前に計算された演算を適用して行列を単位行列に近づける。
• 得られた操作の系列は、直接的にC-NOTゲートの回路に対応し、総ゲート数は理論的下界に定数倍の誤差で一致する。

実験結果

リサーチクエスチョン

• RQ1 線形可逆回路の合成は、最悪ケースにおいて $ O(n^2 / \log n) $ のC-NOTゲートで達成可能か？
• RQ2 標準的なガウスの消去法よりも漸近的に速く、かつゲート数の最適性を保った合成アルゴリズムを設計可能か？
• RQ3 Four Russians技法によるブロック単位の事前計算は、$ \mathbb{F}_2 $ 上の行列分解の効率をどのように向上させるか？
• RQ4 ブロックサイズの選定が、合成回路の性能およびゲート数に与える影響は何か？
• RQ5 このアルゴリズムは、$ \mathbb{F}_2 $ を超える任意の有限体上の行列へ一般化可能か？ その場合、漸近的計算量は改善されるか？

主な発見

• 提案手法は $ O(n^2 / \log n) $ のC-NOTゲートを達成し、情報理論的下界に定数倍の誤差で一致する。
• アルゴリズムの実行時間は $ O(n^3 / \log n) $ であり、標準的なガウスの消去法に比べて $ \Theta(\log n) $ の高速化が達成されている。
• シミュレーション結果から、$ n = 8 $ でさえもガウスの消去法を上回り、平均してより短い回路が得られている。
• 性能はブロックサイズ $ m $ に敏感であり、最適な $ m $ の選定によりゲート数がさらに削減され、性能曲線が滑らかになる。
• この手法は任意の有限体 $ F $ 上の行列へ一般化可能であり、漸近的計算量は $ O(n^2 / \log_{|F|} n) $ となる。
• 二値行列の効率的で基本行列への分解を提供し、回路合成以外の応用分野にも応用可能である。