Abstract
In this paper we conduct a tentative study on the requirements and the structure for a quantum computer at the software level. From the software point of view, we describe the methodology used to minimize the decoherence. We construct the quantum instruction set for the higher-level computation. We also study the criteria for designing the quantum programming languages.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Wu N, Song F M, Li X. An improved architecture of a realizable quantum computer for quantum programming languages. In: Proceedings of the 2009 Society of Photo-Optical Instrumentation Engineers (SPIE) Conference Series. 2009, 14
Schlosshauer M. Decoherence and the Quantum-to-Classical Transition. Springer Verlag, 2007
Schlosshauer M. Decoherence, the measurement problem, and interpretations of quantum mechanics. Reviews of Modern Physics, 2005, 76(4): 1267
Zurek W. Environment-induced superselection rules. Physical Review D, 1982, 26(8): 1862
Knill E. Conventions for Quantum Pseudocode. Lanl Report, LAUR-96-2724, 1996
Ömer B. Structured quantum programming. Vienna: Institute for Theoretical Physics, Technical University of Vienna, 2003
Wu N, Song F M. A new kind of scalable architecture of universal quantum computer with fault-tolerance and high performance. In: Proceedings of the 7th Asian Conference on Quantum Information Science. 2007
Wu N, Song F M. A novel kind of architecture with high-efficiency and error-tolerance of universal quantum computer. Chinese Journal of Computers, 2009, 32(1): 161–168 (in Chinese)
Oskin M, Chong F, Chuang I, Kubiatowicz J. Building quantum wires: the long and the short of it. In: Proceedings of the 30th Annual International Symposium on Computer Architecture. 2003, 374–385
Aliferis P. An introduction to reliable quantum computation. arXiv preprint arXiv:1107.2148, 2011
Metodi T, Chong F. Quantum computing for computer architects. Synthesis Lectures in Computer Architecture, 2006, 1(1): 1–154
Sanders G, Kim K, Holton W. Quantum computing with complex instruction sets. Physical Review A, 1999, 59: 1098–1101
Gottesman D, Chuang I. Quantum teleportation is a universal computational primitive. Nature, 1999, 390–393
Dawson C, Nielsen M. The Solovay-Kitaev algorithm. arXiv preprint quant-ph/0505030, 2005
Lidar D, Chuang I, Whaley K. Decoherence-free subspaces for quantum computation. Physical Review Letters, 1998, 81(12): 2594–2597
Wu N. The study of the model and architecure of reliable quantum computer. Nanjing: Department of Computer Science and Technology, Nanjing University, 2009
Grattage J. QML: a functional quantum programming language. PhD Dissertation, The University of Nottingham, 2006
Xu J F, Song F M, Qian S J, Dai J A, Zhang Y J. Quantum programming language NDQJava. Journal of Software, 2008, 19(1): 1–8 (in Chinese)
Xu J F, Song F M. Quantum programming languages. Frontiers of Computer Science in China, 2008, 2(2): 161–166
Song F M, Qian S J, Dai J A, Zhang Y J, Xu J F. Processing system of quantum programming language NDQJava. Journal of Software, 2008, 19(1): 9–16 (in Chinese)
Author information
Authors and Affiliations
Corresponding author
Additional information
Nan Wu received his BSc and PhD from the Department of Computer Science, Nanjing University, China in 2004 and 2009, respectively. He was honored with IBM and HP international scholarships. He has been an assistant professor at the CS department in Nanjing University since 2009. His research interest includes quantum computing, quantum computer architecture, and security information. He was a research scholar at the Graduate School of the City University of New York between 2008 and 2009.
Haixing Hu received his BSc and MSc from Department of Computer Science, Nanjing University, China in 2002 and 2005, respectively. He is now a PhD candidate majoring in CS department of Nanjing Univerisity since 2010. His research interest includes symbolic logic and quantum computing.
Fangmin Song received his BSc, MSc, and PhD from the Department of Mathematics and Department of Computer Science at Nanjing University, China in 1982, 1985, and 1988, respectively. He took the position of postdoc research fellow at ETH and CTH in 1993 and 1994, respectively. Currently, Dr. Song is a full professor at the CS department in Nanjing University. His research mainly focuses on the symbolic logic, quantum algorithm, and quantum computation.
Huimin Zheng received his BSc and MSc from Department of Computer Science, Nanjing University, China in 2008 and 2011, respectively. His research interest includes symbolic logic and quantum computing.
Xiangdong Li received his MS from Computer Information Science from CUNY Brooklyn College in 1997, and PhD in physics from the CUNY Graduate School in 2000. He is an associate professor at the Department of Computer Systems Technology in New York City College of Technology, CUNY. He is a faculty member of both PhD programs in Computer Science and Physics at the CUNY Graduate School. His research fields include information security and quantum information. Professor Li is a member of APS.
Rights and permissions
About this article
Cite this article
Wu, N., Hu, H., Song, F. et al. Quantum software framework: a tentative study. Front. Comput. Sci. 7, 341–349 (2013). https://doi.org/10.1007/s11704-012-2168-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11704-012-2168-x