Concurrent Quantum Programming in Haskell

Título: Concurrent Quantum Programming in Haskell

Autores: Vizzotto, Juliana Kaizer; Costa, Antônio Carlos da Rocha

Resumo: This paper applies established techniques for concurrent programming in Haskell to the case of Concurrent Quantum Programming. The foundation of the approach is an extension to Concurrent Quantum Programming of the technique of “virtual values” proposed by Amr Sabry for quantum programming in Haskell. The basic idea is to encapsulate quantum values within MVars, the monadic variables that support thread synchronization and mutually exclusive access to shared references. In this way, quantum processes can be concurring to have access to quantum values and we will be applying the now established quantum programming paradigm of “control is classic, data is quantum” to the concurrent and distributed quantum programming domain: the case in focus is that the control of concurrency is classical control, while shared data between quantum processes are quantum data. We illustrate the use the proposed approach by programming sample algorithms for quantum teleportation, quantum leader election, and quantum cryptographic key distribution.

Palavras-chave: Quantum programming; Concurrent Haskell; Simulation of Quantum Algorithms

Páginas: 6

Código DOI: 10.21528/CBRN2005-229

Artigo em PDF: CBRN2005_229.pdf

Arquivo BibTex: CBRN2005_229.bib