Strength of the Reversible, Garbage-Free 2k ±1 Multiplier
Recently, a reversible garbage-free 2 k ±1 constant-multiplier circuit was presented by Axelsen and Thomsen. This was the first construction of a garbage-free, reversible circuit for multiplication with non-trivial constants. At the time, the strength, that is, the range of constants obtainable by cascading these circuits, was unknown.
In this paper, we show that there exist infinitely many constants we cannot multiply by using cascades of 2 k ±1-multipliers; in fact, there exist infinitely many primes we cannot multiply by. Using these results, we further provide an algorithm for determining whether one can multiply by a given constant using a cascade of 2 k ±1-multipliers, and for generating the minimal cascade of 2 k ±1-multipliers for an obtainable constant, giving a complete characterization of the problem. A table of minimal cascades for multiplying by small constants is provided for convenience.
KeywordsNumber theory constant multiplication reversible circuit design Mersenne numbers
Unable to display preview. Download preview PDF.
- 2.Cuccaro, S.A., Draper, T.G., Kutin, S.A., Moulton, D.P.: A New Quantum Ripple-carry Addition Circuit arXiv:quant-ph/0410184 (2005)Google Scholar
- 3.Draper, T.G., Kutin, S.A., Rains, E.M., Svore, K.M.: A Logarithmic-Depth Quantum Carry-Lookahead Adder arXiv:quant-ph/0406142 (2008)Google Scholar
- 5.Mogensen, T.Æ.: Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 70–83. Springer, Heidelberg (2013)Google Scholar
- 6.Parvardi, A.H.: Lifting The Exponent, LTE (2011), http://www.artofproblemsolving.com/Resources/Papers/LTE.pdf
- 9.Van Rentergem, Y., De Vos, A.: Optimal Design of a Reversible Full Adder. International Journal of Unconventional Computing 1(4), 339–355 (2005)Google Scholar