Skip to main content
SpringerLink
Log in

Optimized exploration of quantum circuits space based on sub-circuits equivalences

  • Published:
Quantum Information Processing Aims and scope Submit manuscript

Abstract

Quantum computing a very interesting technology but evolving quantum algorithms is relatively complex. To overcome this obstacle, recently, we have developed an automatic searching approach in which the exploration of the quantum space is modeled as constraints satisfaction problem. In this paper, we propose to optimize our implementation by introducing an interesting constraint based on quantum circuits equivalence. In the scanning process, each instantiation that generates redundant sequences provokes a constraint violation. As a result, the circuit under construction and possible extensions are ignored. Our approach is applied in searching automatically quantum error correction protocols based on code stabilizer. All used mechanisms as well as the results generated by the machine are presented.

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

Similar content being viewed by others

Data Availability

Our manuscript has not associated data.

References

  1. Mermin, N.D.: Quantum Computer Science: An Introduction. Cambridge University Press, Cambridge (2007)

    Book  MATH  Google Scholar 

  2. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, Cambridge (2010)

    MATH  Google Scholar 

  3. Shor, P.: Algorithms for quantum computation: discrete logarithms and factoring. In: Proceedings of the 35th Annual Symposium on Foundations of Computer Science (1994)

  4. Bennett, C.H., Brassard, G., Jozsa, R., Peres, A., Wootters, W.K.: Teleporting an unkown quantum state via dual classical and EPR channels. Phys. Rev. Lett. 70, 1895–1899 (1993)

    Article  MathSciNet  MATH  ADS  Google Scholar 

  5. Bennett, C.H., Brassard, G.: Quantum cryptography: public key distribution and coin tossing. Theor. Comput. Sci. 560, 7–11 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  6. Massey, P., Clark, J.A., Stepney, S.: Evolving quantum circuits and programs through genetic programming. In: Lecture Notes in Computer Science Book Series, GECCO, pp. 569–580 (2004)

  7. Bautu, A., Bautu, E.: Quantum circuit design by means of genetic programming. Rom. J. Phys. 52, 697–704 (2007)

    MATH  Google Scholar 

  8. Spector, L.: Automatic Quantum Computer Programming : A Genetic Programming Approach. Springer, New York (2010)

    MATH  Google Scholar 

  9. Satsangi, S., Gulati, A., Kalra, P.K., Patvardhan, C.: Application of genetic algorithms for evolution of quantum equivalents of Boolean circuits. Int. J. Electr. Comput. Electron. Commun. Eng. 6(3), 275–279 (2012)

    Google Scholar 

  10. Rasconi, R., Oddi, A.: An innovative genetic algorithm for the quantum circuit compilation problem. AAAI Conference on Artificial Intelligence, pp. 7707–7714 (2019)

  11. Krawec, W., Picek, S., Jakobovic, D.: Evolutionary algorithms for the design of quantum protocols. In: International Conference on the Applications of Evolutionary Computation, EvoApplications, pp. 220–236 (2019)

  12. Khalfaoui, K., Boudjedaa, T., Kerkouche, E.H.: Automatic design of quantum circuits: generation of quantum teleportation protocols. Quantum Inf. Process. 20, 283 (2021)

    Article  MathSciNet  Google Scholar 

  13. Quantiki’ Quantiki: List of QC Simulators (2018)

  14. Johansson, J.R., Nation, P.D., Nori, F.: QuTiP: an open-source python framework for the dynamics of open quantum systems. Comput. Phys. Commun. 183(8), 1760–1772 (2012)

    Article  ADS  Google Scholar 

  15. Steiger, D.S., Häner, T., Troyer, M.: ProjectQ: an open source software framework for quantum computing. Quantum 2, 49 (2018)

    Article  Google Scholar 

  16. Jones, T., Brown, A., Bush, I., Benjamin, S.: QuEST and high performance simulation of quantum computers. Sci. Rep. 9, 10736 (2019)

    Article  ADS  Google Scholar 

  17. Alexander, T., Kanazawa, N., Egger, D., Capelluto, L., Wood, C., Javadi-Abhari, A., McKay, M.: ’Qiskit pulse: programming quantum computers through the cloud with pulses. Quantum Sci. Technol. 5(4) (2020)

  18. Khalfaoui, K., Kerkouche, E.H., Boudjedaa, T., Chaoui, A.: Optimized search for complex protocols based on entanglement detection. Quantum Inf. Process. 21(6), 1–28 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  19. Laflamme, R., Miquel, C., Paz, J.P., Zurek, W.H.: Perfect quantum error correction code. Phys. Rev. Lett. 77, 198–201 (1996)

    Article  ADS  Google Scholar 

  20. Wang, X.B., You, Q., Nori, F.: Quantum entanglement via two-qubit quantum Zeno dynamics. Phys. Rev. A 77, 062339 (2008)

    Article  ADS  Google Scholar 

  21. Ozaydin, F., Bayindir, C., Altintas, A.A., Yesilyurt, C.: Nonlocal activation of bound entanglement via local quantum Zeno dynamics. Phys. Rev. A 105, 022439 (2022)

    Article  MathSciNet  ADS  Google Scholar 

  22. Bayrakci, V., Ozaydin, F.: Quantum Zeno repeaters. Sci. Rep. 12, 15302 (2022)

    Article  ADS  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the reviewers for the suggestions. Their recommendations have widely contributed to the enrichment of this article.

Author information

Authors and Affiliations

  1. Depatment of Computer Science, University of Jijel, Cité Ouled Aissa, BP 98, Jijel, 18000, Algeria

    Khaled Khalfaoui & El Hillali Kerkouche

  2. MISC Laboratory, University of Constantine 2, Campus Ali Mendjeli, Constantine, 25000, Algeria

    Khaled Khalfaoui, El Hillali Kerkouche & Allaoua Chaoui

  3. Theoretical Physics Laboratory, University of Jijel, Cité Ouled Aissa, BP 98, Jijel, 18000, Algeria

    Tahar Boudjedaa

Authors
  1. Khaled Khalfaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. El Hillali Kerkouche
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Tahar Boudjedaa
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Allaoua Chaoui
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Khaled Khalfaoui.

Ethics declarations

Conflict of interest

The authors have no conflicts of interest to declare that are relevant to the content of this article.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Khalfaoui, K., Kerkouche, E.H., Boudjedaa, T. et al. Optimized exploration of quantum circuits space based on sub-circuits equivalences. Quantum Inf Process 22, 71 (2023). https://doi.org/10.1007/s11128-022-03803-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11128-022-03803-3

Keywords

Search

Navigation