Quantum software framework: a tentative study

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.

Keywords

quantum software / quantum computation / quantum programming language

References

[1] 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

[2] Schlosshauer M. Decoherence and the Quantum-to-Classical Transition. Springer Verlag, 2007

[3] Schlosshauer M. Decoherence, the measurement problem, and interpretations of quantum mechanics. Reviews of Modern Physics, 2005, 76(4): 1267

[4] Zurek W. Environment-induced superselection rules. Physical Review D, 1982, 26(8): 1862

[5] Knill E. Conventions for Quantum Pseudocode. Lanl Report, LAUR- 96-2724, 1996

[6] Ömer B. Structured quantum programming. Vienna: Institute for Theoretical Physics, Technical University of Vienna, 2003

[7] 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

[8] 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)

[9] 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

[10] Aliferis P. An introduction to reliable quantum computation. arXiv preprint arXiv:1107.2148, 2011

[11] Metodi T, Chong F. Quantum computing for computer architects. Synthesis Lectures in Computer Architecture, 2006, 1(1): 1-154

[12] Sanders G, Kim K, Holton W. Quantum computing with complex instruction sets. Physical Review A, 1999, 59: 1098-1101

[13] Gottesman D, Chuang I. Quantum teleportation is a universal computational primitive. Nature, 1999, 390-393

[14] Dawson C, Nielsen M. The Solovay-Kitaev algorithm. arXiv preprint quant-ph/0505030, 2005

[15] Lidar D, Chuang I, Whaley K. Decoherence-free subspaces for quantum computation. Physical Review Letters, 1998, 81(12): 2594-2597

[16] Wu N. The study of the model and architecure of reliable quantum computer. Nanjing: Department of Computer Science and Technology, Nanjing University, 2009

[17] Grattage J. QML: a functional quantum programming language. PhD Dissertation, The University of Nottingham, 2006

[18] 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)

[19] Xu J F, Song F M. Quantum programming languages. Frontiers of Computer Science in China, 2008, 2(2): 161-166

[20] 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)

RIGHTS & PERMISSIONS

Higher Education Press and Springer-Verlag Berlin Heidelberg