Berlin 2005 – wissenschaftliches Programm
Bereiche | Tage | Auswahl | Suche | Downloads | Hilfe
Q: Quantenoptik und Photonik
Q 3: Poster Quanteninformation, -kommunikation und Quantencomputer
Q 3.31: Poster
Freitag, 4. März 2005, 11:00–12:30, Poster HU
Functional quantum programming languages — •Wolfgang Mauerer1, Norbert Lütkenhaus1, and Volker Strehl2 — 1University Erlangen-Nuremberg, Institute of Theoretical Physics I, Quantum Information Theory Group — 2University Erlangen-Nuremberg, Institute of Computer Science 8, Artificial Intelligence
We present a functional language based on Selinger’s quantum programming language[1]. It is suitable for programming universal quantum computers, has a denotational semantics, and can be used to specify and describe quantum communication problems. Especially the last point makes it unique among the small family of already existing quantum programming languages.
The denotational semantics assigns mathematically well defined meaning to all language elements and is based on partial orders of Kraus operators. It can be used to eg. prove equivalence transforms between programs. We hope that it will be an aid for security proofs of communication protocols.
We implemented a compiler for the language to explore quantum programming. In the design of the compiler, much effort has gone into making it flexible and easy to modify so that it can act as a testbed for new ideas. We use Ömer’s quantum computing library[2] as backend, though other variants can be supported without too much hassle.
[1] P. Selinger, Math. Struct. in Computer Science 14(4):527–586, 2004.
[2] B. Ömer, Structured Quantum Programming, TU Vienna, 2003.