Quantum computing offers unprecedented computational power, enabling simultaneous computations beyond traditional computers. Quantum computers differ significantly from classical computers, necessitating a distinct approach to algorithm design, which involves taming quantum mechanical phenomena. This paper extends the numbering of computable programs to be applied in the quantum computing context. Numbering computable programs is a theoretical computer science concept that assigns unique numbers to individual programs or algorithms. Common methods include G？del numbering which encodes programs as strings of symbols or characters, often used in formal systems and mathematical logic. Based on the proposed numbering approach, this paper presents a mechanism to explore the set of possible quantum algorithms. The proposed approach is able to construct useful circuits such as Quantum Key Distribution BB84 protocol, which enables sender and receiver to establish a secure cryptographic key via a quantum channel. The proposed approach facilitates the process of exploring and constructing quantum algorithms.
References
[1]
Gyongyosi, L. and Imre, S. (2019) A Survey on Quantum Computing Technology. Computer Science Review, 31, 51-71. https://doi.org/10.1016/j.cosrev.2018.11.002
[2]
Cao, Y., Romero, J. and Aspuru-Guzik, A. (2018) Potential of Quantum Computing for Drug Discovery. IBM Journal of Research and Development, 62, 6:1-6:20. https://doi.org/10.1147/jrd.2018.2888987
[3]
Ayoade, O., Rivas, P. and Orduz, J. (2022) Artificial Intelligence Computing at the Quantum Level. Data, 7, Article 28. https://doi.org/10.3390/data7030028
[4]
Khan, A.A., Ahmad, A., Waseem, M., Liang, P., Fahmideh, M., Mikkonen, T., et al. (2023) Software Architecture for Quantum Computing Systems—A Systematic Review. Journal of Systems and Software, 201, Article 111682. https://doi.org/10.1016/j.jss.2023.111682
[5]
Khalid, M., Mujahid, U., Jafri, A., Choi, H. and Muhammad, N.U.I. (2021) An FPGA-Based Hardware Abstraction of Quantum Computing Systems. Journal of Computational Electronics, 20, 2001-2018. https://doi.org/10.1007/s10825-021-01765-w
[6]
Heim, B., Soeken, M., Marshall, S., Granade, C., Roetteler, M., Geller, A., et al. (2020) Quantum Programming Languages. Nature Reviews Physics, 2, 709-722. https://doi.org/10.1038/s42254-020-00245-7
[7]
Montanaro, A. (2016) Quantum Algorithms: An Overview. npj Quantum Information, 2, Article No. 15023. https://doi.org/10.1038/npjqi.2015.23
[8]
Roffe, J. (2019) Quantum Error Correction: An Introductory Guide. Contemporary Physics, 60, 226-245. https://doi.org/10.1080/00107514.2019.1667078
[9]
Quetschlich, N., Burgholzer, L. and Wille, R. (2023) Compiler Optimization for Quantum Computing Using Reinforcement Learning. 2023 60th ACM/IEEE Design Automation Conference (DAC), San Francisco, 9-13 July 2023, 1-6. https://doi.org/10.1109/dac56929.2023.10248002
[10]
Altman, E., Brown, K.R., Carleo, G., Carr, L.D., Demler, E., Chin, C., et al. (2021) Quantum Simulators: Architectures and Opportunities. PRX Quantum, 2, Article 017003. https://doi.org/10.1103/prxquantum.2.017003
[11]
Soeparno, H. and Perbangsa, A.S. (2021) Cloud Quantum Computing Concept and Development: A Systematic Literature Review. Procedia Computer Science, 179, 944-954. https://doi.org/10.1016/j.procs.2021.01.084
[12]
Endo, S., Cai, Z., Benjamin, S.C. and Yuan, X. (2021) Hybrid Quantum-Classical Algorithms and Quantum Error Mitigation. Journal of the Physical Society of Japan, 90, Article 032001. https://doi.org/10.7566/jpsj.90.032001
[13]
Cross, A., Bishop, L., Smolin, J. and Gambetta, J. (2017) Open Quantum Assembly Language.
[14]
Green, A.S., Lumsdaine, P.L., Ross, N.J., Selinger, P. and Valiron, B. (2013) Quipper. Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, Seattle, 6-19 June 2013, 333-342. https://doi.org/10.1145/2491956.2462177
[15]
Roetteler, M., Svore, K.M., Wecker, D. and Wiebe, N. (2017) Design Automation for Quantum Architectures. 2017 Design, Automation & Test in Europe Conference & Exhibition (DATE), Lausanne, 27-31 March 2017, 1312-1317. https://doi.org/10.23919/date.2017.7927196
[16]
Gödel, K. (1931) Godel’s Theorem in Focus. In: On Formally Undecidable Propositions of Principia Mathematica and Related Systems, Dover Publications, 17-47.
[17]
Cutland, N. (1980) Computability. Cambridge University Press. https://doi.org/10.1017/cbo9781139171496
[18]
Grover, L.K. (1996) A Fast Quantum Mechanical Algorithm for Database Search. Proceedings of the 28th Annual ACM Symposium on Theory of Computing—STOC’96, Philadelphia, 22-24 May 1996, 212-219. https://doi.org/10.1145/237814.237866
[19]
Shor, P.W. (1994) Algorithms for Quantum Computation: Discrete Logarithms and Factoring. Proceedings of the 35th Annual Symposium on Foundations of Computer Science, Santa Fe, 20-22 November 1994, 124-134. https://doi.org/10.1109/sfcs.1994.365700
[20]
Chong, S. and Hwang, T. (2010) Quantum Key Agreement Protocol Based on BB84. Optics Communications, 283, 1192-1195. https://doi.org/10.1016/j.optcom.2009.11.007
[21]
Shor, P.W. and Preskill, J. (2000) Simple Proof of Security of the BB84 Quantum Key Distribution Protocol. Physical Review Letters, 85, 441-444. https://doi.org/10.1103/physrevlett.85.441
[22]
Bennett, C.H. and Brassard, G. (1984) An Update on Quantum Cryptography. In: Lecture Notes in Computer Science, Springer, 475-480. https://doi.org/10.1007/3-540-39568-7_39
[23]
Pedone, I., Atzeni, A., Canavese, D. and Lioy, A. (2021) Toward a Complete Software Stack to Integrate Quantum Key Distribution in a Cloud Environment. IEEE Access, 9, 115270-115291. https://doi.org/10.1109/access.2021.3102313
[24]
Saeed, M.H., Sattar, H., Durad, M.H. and Haider, Z. (2022) Implementation of QKD BB84 Protocol in Qiskit. 2022 19th International Bhurban Conference on Applied Sciences and Technology (IBCAST), Islamabad, 16-20 August 2022, 689-695. https://doi.org/10.1109/ibcast54850.2022.9990073
