[论文解读] 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

一句话总结

本文提出了一种基于Karatsuba算法的可逆量子电路，用于整数乘法，通过在三元递归树上应用优化的石子放置策略，将空间复杂度从$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.

研究动机与目标

• 降低量子计算中可逆整数乘法电路的空间（量子比特）需求。
• 通过在三元树上利用递归石子放置策略，优化基于Karatsuba的量子乘法中的辅助量子比特使用。
• 在超越先前$O(n^{1+\text{log}_2 3})$边界的前提下，改进整数乘法量子电路的空间-深度体积。
• 探索是否可以为可逆整数乘法建立非平凡的空间-时间下界。

提出的方法

• 作者将Karatsuba递归建模为一棵完整的三元树，并应用石子游戏来管理中间状态的重用。
• 他们推导出一种递归石子放置策略，通过平衡子树大小来最小化逆向计算期间的峰值辅助量子比特使用量。
• 该方法使用几何级数分析来确定最优递归深度和子树大小，从而最小化总空间消耗。
• 空间复杂度通过公式$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 是否可以在不增加门数的前提下，将可逆Karatsuba乘法的空间复杂度降低至$O(n^{\log_2 3})$以下？
• RQ2 在三元递归树上采用何种石子放置策略可最小化逆向计算期间的峰值辅助量子比特使用量？
• RQ3 是否可能实现整数乘法量子电路体积严格低于$O(n^{1+\log_2 3})$？
• RQ4 递归树结构的选择（如三元树与二叉树）如何影响可逆电路中的空间-时间权衡？
• RQ5 石子放置框架能否推广至更高阶的树结构，以适用于其他递归算法？

主要发现

• 所提出的电路将空间复杂度从$O(n^{1.585})$降低至$O(n^{1.427})$，实现了显著的渐近改进。
• 门数保持渐近最优，为$O(n^{\log_2 3})$，维持了次二次复杂度。
• 电路深度按$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})$边界，但改进仅体现在空间分量。