Skip to main content
SpringerLink
Log in

Improving the quantum cost of reversible Boolean functions using reorder algorithm

  • Published:
Quantum Information Processing Aims and scope Submit manuscript

Abstract

This paper introduces a novel algorithm to synthesize a low-cost reversible circuits for any Boolean function with n inputs represented as a Positive Polarity Reed–Muller expansion. The proposed algorithm applies a predefined rules to reorder the terms in the function to minimize the multi-calculation of common parts of the Boolean function to decrease the quantum cost of the reversible circuit. The paper achieves a decrease in the quantum cost and/or the circuit length, on average, when compared with relevant work in the literature.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9

Similar content being viewed by others

References

  1. Arabzadeh, M., Saeedi, M., Zamani, M.S.: Rule-based optimization of reversible circuits. In: Proceedings of the 2010 Asia and South Pacific Design Automation Conference, ASPDAC ’10, pp. 849–854. IEEE Press, Piscataway, NJ, USA. http://dl.acm.org/citation.cfm?id=1899721.1899916 (2010)

  2. Barenco, A., Bennett, C., Cleve, R., DiVincenzo, D., Margolus, N., Shor, P., Sleator, T., Smolin, J., Weinfurter, H.: Elementary gates for quantum computation. Phys. Rev. A 52, 3457–3467 (1995). https://doi.org/10.1103/PhysRevA.52.3457

    Article  ADS  Google Scholar 

  3. Bennett, C.: Logical reversibility of computation. IBM J. Res. Dev. 17(6), 525–532 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cusick, T., Stanica, P.: Chapter 2—Fourier analysis of Boolean functions. In: Cusick, T., Stanica, P. (eds.) Cryptographic Boolean Functions and Applications, pp. 5–24. Academic Press, Boston (2009). https://doi.org/10.1016/B978-0-12-374890-4.00006-9

  5. Cusick, T., Stanica, P.: Preface. In: Cusick, T., Stanica, P. (eds.) Cryptographic Boolean Functions and Applications, pp. xi–xii. Academic Press, Boston (2009). https://doi.org/10.1016/B978-0-12-374890-4.00003-3

  6. Fredkin, E., Toffoli, T.: Conservative logic. Int. J. Theor. Phys 21(3), 219–253 (1982). https://doi.org/10.1007/BF01857727

    Article  MathSciNet  MATH  Google Scholar 

  7. Iwama, K., Kambayashi, Y., Yamashita, S.: Transformation rules for designing CNOT-based quantum circuits. In: Proceedings of the 39th Annual Design Automation Conference, DAC ’02, pp. 419–424. ACM, New York, NY, USA (2002). https://doi.org/10.1145/513918.514026

  8. Mamataj, S., Saha, D., Banu, N.: A review on reversible logic gates and their implementation. Int. J. Emerg. Technol. Adv. Eng. 3(3), 151–161 (2013)

    Google Scholar 

  9. Maslov, D.: Reversible benchmarks. http://webhome.cs.uvic.ca/~dmaslov/

  10. Maslov, D., Miller, D.: Comparison of the cost metrics for reversible and quantum logic synthesis (2006). arXiv:quant-ph/0511008

  11. Miller, D., Maslov, D., Dueck, G.: A transformation based algorithm for reversible logic synthesis. In: Proceedings of the 40th Annual Design Automation Conference, DAC ’03, pp. 318–323. ACM, New York, NY, USA (2003). https://doi.org/10.1145/775832.775915

  12. Nielsen, M., Chuang, I.: Quantum computation and quantum information. Int. J. Parallel Emerg. Distrib. Syst. 21(1), 1–59 (2006). https://doi.org/10.1080/17445760500355678

    Article  MathSciNet  Google Scholar 

  13. Saeedi, M., Zamani, M.S., Sedighi, M., Sasanian, Z.: Reversible circuit synthesis using a cycle-based approach. J. Emerg. Technol. Comput. Syst. 6(4), 13:1–13:26 (2010). https://doi.org/10.1145/1877745.1877747

    Article  Google Scholar 

  14. Sasamal, T.N., Singh, A.K., Mohan, A.: Reversible logic circuit synthesis and optimization using adaptive genetic algorithm. Procedia Comput. Sci. 70, 407–413 (2015). https://doi.org/10.1016/j.procs.2015.10.054. Proceedings of the 4th International Conference on Eco-friendly Computing and Communication Systems

  15. Shende, V., Prasad, A., Markov, I., Hayes, J.: Synthesis of reversible logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(6), 710–722 (2003)

    Article  Google Scholar 

  16. Szyprowski, M., Kerntopf, P.: Reducing quantum cost in reversible toffoli circuits (2011). arXiv:1105.5831 [quant-ph]

  17. Tran, L., Gronquist, A., Perkowski, M., Caughman, J.: An improved factorization approach to reversible circuit synthesis based on exors of products of exors. In: IEEE 46th International Symposium on Multiple-Valued Logic, pp. 37–43 (2016). https://doi.org/10.1109/ISMVL.2016.56

  18. Tran, L.H.: Reversible circuits synthesis based on exor-sum of products of exor-sums. Dissertations and Theses (2015)

  19. Wille, R., Große, D., Teuber, L., Dueck, G., Drechsler, R.: RevLib: an online resource for reversible functions and reversible circuits. In: Int’l Symp. on Multi-Valued Logic, pp. 220–225. RevLib is available at http://www.revlib.org (2008)

  20. Yang, G., Song, X., Hung, W., Perkowski, M., Seo, C.J.: Synthesis of reversible circuits with minimal costs. CALCOLO 45, 193–206 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  21. Younes, A.: Reducing quantum cost of reversible circuits for homogeneous Boolean function. J. Circuits Syst. Comput. 19(7), 1423–1434 (2010)

    Article  Google Scholar 

  22. Younes, A.: Detection and elimination of non-trivial reversible identities. Int. J. Comput. Sci. Eng. Appl. (IJCSEA) 2(4), 49 (2012)

    Google Scholar 

  23. Younes, A., Miller, J.: Representation of Boolean quantum circuits as reed-muller expansions. Int. J. Electron. 91(7), 431–444 (2004)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematics and Computer Science, Faculty of Science, Alexandria University, Alexandria, Egypt

    Taghreed Ahmed, Ahmed Younes & Ashraf Elsayed

  2. School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK

    Ahmed Younes

Authors
  1. Taghreed Ahmed
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ahmed Younes
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ashraf Elsayed
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Taghreed Ahmed.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Ahmed, T., Younes, A. & Elsayed, A. Improving the quantum cost of reversible Boolean functions using reorder algorithm. Quantum Inf Process 17, 104 (2018). https://doi.org/10.1007/s11128-018-1874-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11128-018-1874-1

Keywords

Search

Navigation