[論文レビュー] Improved reversible and quantum circuits for Karatsuba-based integer multiplication

Alex Parent, Martin Roetteler+1 more|arXiv (Cornell University)|Jun 11, 2017

Quantum Computing Algorithms and Architecture被引用数 13

ひとこと要約

この論文は、カーツーバのアルゴリズムに基づく整数乗算の逆転可能量子回路を提示しており、3分木上の最適化されたペブル戦略を用いて、空間計算量を $O(n^{1.585})$ から $O(n^{1.427})$ に低減するとともに、$O(n^{\text{log}_2 3})$ のゲート数を維持している。この改善は、再帰のアンコンピューティング中に部分木のサイズをバランスさせながら、アーキテクチャの再利用を慎重に行うことで達成されている。

ABSTRACT

Integer arithmetic is the underpinning of many quantum algorithms, with applications ranging from Shor's algorithm over HHL for matrix inversion to Hamiltonian simulation algorithms. A basic objective is to keep the required resources to implement arithmetic as low as possible. This applies in particular to the number of qubits required in the implementation as for the foreseeable future this number is expected to be small. We present a reversible circuit for integer multiplication that is inspired by Karatsuba's recursive method. The main improvement over circuits that have been previously reported in the literature is an asymptotic reduction of the amount of space required from $O(n^{1.585})$ to $O(n^{1.427})$. This improvement is obtained in exchange for a small constant increase in the number of operations by a factor less than $2$ and a small asymptotic increase in depth for the parallel version. The asymptotic improvement are obtained from analyzing pebble games on complete ternary trees.

研究の動機と目的

• 量子計算における逆転可能整数乗算回路の空間（キュービット）要件を低減すること。
• 3分木上の再帰的ペブル戦略を活用して、カーツーバに基づく量子乗算におけるアーキテクチャ使用を最適化すること。
• 従来の $O(n^{1+\text{log}_2 3})$ の境界を超えて、整数乗算用量子回路の空間-深さ体積を改善すること。
• 逆転可能整数乗算における非自明な空間-時間下界を確立できるかを検討すること。

提案手法

• 著者たちはカーツーバの再帰を完全な3分木としてモデル化し、中間状態の再利用を管理するためにペブルゲームを適用している。
• アンコンピューティング中のピークアーキテクチャ使用量を最小化するため、部分木のサイズをバランスさせる再帰的ペブル戦略を導出している。
• 幾何級数解析を用いて最適な再帰深さと部分木サイズを特定し、合計空間を最小化している。
• 空間計算量は、式 $O\left(n\left(\frac{3}{2}\right)^{\left(\frac{\log 3}{2\log 3 - \log 2}\log_2 n\right)}\right)$ を用いて上限が示され、$O(n^{1.427})$ が得られる。
• 深さは $n \cdot (3/2)^{(1 - \frac{\log 3}{2\log 3 - \log 2})\log_2 n} \approx n^{1.158}$ として解析され、体積は $O(n^{1.427 + 1.158})$ となる。
• このアプローチは、$a$ 個のサイズ $n/b$ の部分問題を持つ他の再帰的アルゴリズムへ一般化可能であり、$a > b$ の場合に有効である。

実験結果

リサーチクエスチョン

• RQ1 逆転可能カーツーバ乗算の空間計算量を、$O(n^{\log_2 3})$ よりも低く抑えることは可能か、かつゲート数の増加なしに？
• RQ2 3分木上のペブル戦略の中で、アンコンピューティング中のピークアーキテクチャ使用量を最小化するのはどれか？
• RQ3 整数乗算用量子回路の体積を、$O(n^{1+\log_2 3})$ よりも厳密に低くできるか？
• RQ4 再帰木の構造の選択（例：3分木対2分木）が、逆転可能回路における空間-時間トレードオフに与える影響は？
• RQ5 ペブルフレームワークは、他の再帰的アルゴリズムのために、より高い分岐数を持つ木へ一般化可能か？

主な発見

• 提案された回路により、空間計算量は $O(n^{1.585})$ から $O(n^{1.427})$ に低減され、顕著な漸近的改善が達成された。
• ゲート数は漸近的に最適な $O(n^{\log_2 3})$ のままであり、準2次関数の複雑さが維持されている。
• 回路の深さは $O(n^{1.158})$ にスケーリングされ、先行研究と比較して中程度の増加である。
• 空間の低減は、部分木のサイズをバランスさせ、アーキテクチャを効率的に再利用する、革新的なペブル戦略によって達成されている。
• この方法は、$a$ 個のサイズ $n/b$ の部分問題を持つ再帰的アルゴリズムへ一般化可能であり、$a > b$ の場合に有効である。
• 回路の体積は $O(n^{1.427 + 1.158}) = O(n^{2.585})$ で上限が示され、従来の $O(n^{1+\log_2 3}) \approx O(n^{2.585})$ の境界を下回っているが、改善は空間成分に限定されている。