The Classification of Reversible Bit Operations

Authors Scott Aaronson, Daniel Grier, Luke Schaeffer



PDF
Thumbnail PDF

File

LIPIcs.ITCS.2017.23.pdf
  • Filesize: 0.65 MB
  • 34 pages

Document Identifiers

Author Details

Scott Aaronson
Daniel Grier
Luke Schaeffer

Cite AsGet BibTex

Scott Aaronson, Daniel Grier, and Luke Schaeffer. The Classification of Reversible Bit Operations. In 8th Innovations in Theoretical Computer Science Conference (ITCS 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 67, pp. 23:1-23:34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
https://doi.org/10.4230/LIPIcs.ITCS.2017.23

Abstract

We present a complete classification of all possible sets of classical reversible gates acting on bits, in terms of which reversible transformations they generate, assuming swaps and ancilla bits are available for free. Our classification can be seen as the reversible-computing analogue of Post's lattice, a central result in mathematical logic from the 1940s. It is a step toward the ambitious goal of classifying all possible quantum gate sets acting on qubits. Our theorem implies a linear-time algorithm (which we have implemented), that takes as input the truth tables of reversible gates G and H, and that decides whether G generates H. Previously, this problem was not even known to be decidable (though with effort, one can derive from abstract considerations an algorithm that takes triply-exponential time). The theorem also implies that any n-bit reversible circuit can be "compressed" to an equivalent circuit, over the same gates, that uses at most 2^{n}poly(n) gates and O(1) ancilla bits; these are the first upper bounds on these quantities known, and are close to optimal. Finally, the theorem implies that every non-degenerate reversible gate can implement either every reversible transformation, or every affine transformation, when restricted to an "encoded subspace." Briefly, the theorem says that every set of reversible gates generates either all reversible transformations on n-bit strings (as the Toffoli gate does); no transformations; all transformations that preserve Hamming weight (as the Fredkin gate does); all transformations that preserve Hamming weight mod k for some k; all affine transformations (as the Controlled-NOT gate does); all affine transformations that preserve Hamming weight mod 2 or mod 4, inner products mod 2, or a combination thereof; or a previous class augmented by a NOT or NOTNOT gate. Prior to this work, it was not even known that every class was finitely generated. Ruling out the possibility of additional classes, not in the list, requires involved arguments about polynomials, lattices, and Diophantine equations.
Keywords
  • Reversible computation
  • Reversible gates
  • Circuit synthesis
  • Gate classification
  • Boolean logic
  • Post’s lattice

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. S. Aaronson and A. Arkhipov. The computational complexity of linear optics. Theory of Computing, 9(4):143-252, 2013. Conference version in Proceedings of ACM STOC 2011. ECCC TR10-170, arXiv:1011.3245. Google Scholar
  2. S. Aaronson and A. Bouland. Generation of universal linear optics by any beam splitter. Phys. Rev. A, 89(6):062316, 2014. arXiv:1310.6718. Google Scholar
  3. S. Aaronson and D. Gottesman. Improved simulation of stabilizer circuits. Phys. Rev. A, 70(052328), 2004. arXiv:quant-ph/0406196. Google Scholar
  4. Scott Aaronson, Daniel Grier, and Luke Schaeffer. The classification of reversible bit operations. arXiv:1504.05155, 2015. Google Scholar
  5. D. Bacon, J. Kempe, D. P. DiVincenzo, D. A. Lidar, and K. B. Whaley. Encoded universality in physical implementations of a quantum computer. In R. Clark, editor, Proceedings of the 1st International Conference on Experimental Implementations of Quantum Computation, page 257. Rinton, 2001. arXiv:quant-ph/0102140. Google Scholar
  6. A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. Smolin, and H. Weinfurter. Elementary gates for quantum computation. Phys. Rev. A, 52(3457), 1995. arXiv:quant-ph/9503016. Google Scholar
  7. M. Ben-Or and R. Cleve. Computing algebraic formulas with a constant number of registers. In Proc. ACM STOC, pages 254-257, 1988. Google Scholar
  8. C. H. Bennett. Logical reversibility of computation. IBM Journal of Research and Development, 17:525-532, 1973. Google Scholar
  9. R. Cleve and J. Watrous. Fast parallel circuits for the quantum Fourier transform. In Proc. IEEE FOCS, pages 526-536, 2000. arXiv:quant-ph/0006004. Google Scholar
  10. T. Cubitt and A. Montanaro. Complexity classification of local Hamiltonian problems. In Proc. IEEE FOCS, pages 120-129, 2014. arXiv:1311.3161. Google Scholar
  11. E. Fredkin and T. Toffoli. Conservative logic. International Journal of Theoretical Physics, 21(3-4):219-253, 1982. Google Scholar
  12. D. Gottesman. Class of quantum error-correcting codes saturating the quantum Hamming bound. Phys. Rev. A, 54:1862-1868, 1996. arXiv:quant-ph/9604038. Google Scholar
  13. D. Grier and L. Schaeffer. The classification of stabilizer operations over qubits. ArXiv e-prints, March 2016. arXiv:1603.03999. Google Scholar
  14. Y. Gu. Some results on reversible gate classes over non-binary alphabets. CoRR, abs/1606.00804, 2016. URL: http://arxiv.org/abs/1606.00804.
  15. E. Jeřábek. Answer to CS Theory StackExchange question on "classifying reversible gates". At http://cstheory.stackexchange.com/questions/25730/classifying-reversible-gates, 2014.
  16. P. Kerntopf, M. A. Perkowski, and M. Khan. On universality of general reversible multiple-valued logic gates. In IEEE International Symposium on Multiple-Valued Logic, pages 68-73, 2004. Google Scholar
  17. O. G. Kharlampovich and M. V. Sapir. Algorithmic problems in varieties. International Journal of Algebra and Computation, 5(04n05):379-602, 1995. URL: http://www.math.vanderbilt.edu/~msapir/ftp/pub/survey/survey.pdf.
  18. E. Knill and R. Laflamme. Power of one bit of quantum information. Phys. Rev. Lett., 81(25):5672-5675, 1998. arXiv:quant-ph/9802037. Google Scholar
  19. R. Landauer. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5(3):183-191, 1961. Google Scholar
  20. D. Lau. Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory. Springer, 2006. Google Scholar
  21. S. Lloyd. Any nonlinear one-to-one binary logic gate suffices for computation. Technical Report LA-UR-92-996, Los Alamos National Laboratory, 1992. arXiv:1504.03376. Google Scholar
  22. K. Morita, T. Ogiro, K. Tanaka, and H. Kato. Classification and universality of reversible logic elements with one-bit memory. In Proceedings of the 4th International Conference on Machines, Computations, and Universality, pages 245-256. Springer-Verlag, 2005. Google Scholar
  23. E. L. Post. The two-valued iterative systems of mathematical logic. Number 5 in Annals of Mathematics Studies. Princeton University Press, 1941. Google Scholar
  24. M. Saeedi and I. L. Markov. Synthesis and optimization of reversible circuits-a survey. ACM Computing Surveys, 45(2):21, 2013. arXiv:1110.2574. Google Scholar
  25. L. Schaeffer. Reversible Gate Classifier, 2015. URL: https://github.com/lrschaeffer/Gate-Classifier.
  26. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes. Synthesis of reversible logic circuits. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 22(6):710-722, 2003. arXiv:quant-ph/0207001. Google Scholar
  27. Y. Shi. Both Toffoli and controlled-NOT need little help to do universal quantum computation. Quantum Information and Computation, 3(1):84-92, 2002. quant-ph/0205115. Google Scholar
  28. I. Strazdins. Universal affine classification of Boolean functions. Acta Applicandae Mathematica, 46(2):147-167, 1997. Google Scholar
  29. T. Toffoli. Reversible computing. In Proc. Intl. Colloquium on Automata, Languages, and Programming (ICALP), pages 632-644. Springer, 1980. Google Scholar
  30. A. De Vos and L. Storme. r-universal reversible logic gates. Journal of Physics A: Mathematical and General, 37(22):5815-5824, 2004. Google Scholar
  31. S. Xu. Reversible logic synthesis with minimal usage of ancilla bits. CoRR, abs/1506.03777, 2015. URL: http://arxiv.org/abs/1506.03777.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail