|
|
Quantum software framework: a tentative study |
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 |
|
|
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
|
Corresponding Author(s):
WU Nan,Email:nwu@nju.edu.cn
|
Issue Date: 01 June 2013
|
|
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 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
|
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|