Toward an architecture for quantum programming
Abstract
It is becoming increasingly clear that, if a useful device for quantum computation will ever be built, it will be embodied by a classical computing machine with control over a truly quantum subsystem, this apparatus performing a mixture of classical and quantum computation. This paper investigates a possible approach to the problem of programming such machines: a template high level quantum language is presented which complements a generic general purpose classical language with a set of quantum primitives. The underlying scheme involves a run-time environment which calculates the byte-code for the quantum operations and pipes it to a quantum device controller or to a simulator. This language can compactly express existing quantum algorithms and reduce them to sequences of elementary operations; it also easily lends itself to automatic, hardware independent, circuit simplification. A publicly available preliminary implementation of the proposed ideas has been realised using the language.
- Publication:
-
European Physical Journal D
- Pub Date:
- August 2003
- DOI:
- 10.1140/epjd/e2003-00242-2
- arXiv:
- arXiv:cs/0103009
- Bibcode:
- 2003EPJD...25..181B
- Keywords:
-
- 03.67.Lx;
- Quantum computation;
- Computer Science - Programming Languages;
- Quantum Physics;
- D.3.1
- E-Print:
- 23 pages, 5 figures, A4paper. Final version accepted by EJPD ("swap" replaced by "invert" for Qops). Preliminary implementation available at: http://sra.itc.it/people/serafini/quantum-computing/qlang.html