Nan WU1,2(), Haixing HU1,2, Fangmin SONG1,2, Huimin ZHENG1,2, Xiangdong LI3
1. State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China; 2. Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China; 3. Department of Computer Science, The Graduate School, The City University of New York, New York 10016, USA
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.
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 doi: 10.1103/RevModPhys.76.1267
4
Zurek W. Environment-induced superselection rules. Physical Review D , 1982, 26(8): 1862 doi: 10.1103/PhysRevD.26.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) doi: 10.3724/SP.J.1016.2009.00161
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 doi: 10.2200/S00066ED1V01Y200610CAC001
12
Sanders G, Kim K, Holton W. Quantum computing with complex instruction sets. Physical Review A , 1999, 59: 1098-1101 doi: 10.1103/PhysRevA.59.1098
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 doi: 10.1103/PhysRevLett.81.2594
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 doi: 10.1007/s11704-008-0013-z
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) doi: 10.3724/SP.J.1001.2008.00009
