Distributed Quantum Programming

Authors:
Ellie D'Hondt;Yves Vandriessche
Affiliations:
Vrije Universiteit Brussel, Belgium;Vrije Universiteit Brussel, Belgium
Venue:
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Year:
2009

Citing 7
Cited 0

Quantum computation and quantum information

Quantum computation and quantum information
Scenarios: A Model of Non-Determinate Computation

Proceedings of the International Colloquium on Formalization of Programming Concepts
Toward a quantum process algebra

Proceedings of the 1st conference on Computing frontiers
Towards a quantum programming language

Mathematical Structures in Computer Science
A Layered Software Architecture for Quantum Computing Design Tools

Computer
The measurement calculus

Journal of the ACM (JACM)
Distributed Measurement-based Quantum Computation

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.01

Visualization

Abstract

In this paper we explore the structure and applicability of the Distributed Measurement Calculus (DMC), a formal assembly language for distributed measurement-based quantum computations. We describe its syntax and semantics, both operational and denotational, and state several properties that are crucial to the practical usability of our language, such as equivalence of our semantics, as well as compositionality and context-freeness of DMC programs. We show how to put these properties to use by constructing a composite program that implements distributed controlled operations, and demonstrate that the semantics of this program does not change under the various composition operations. Our formal model is meant to be the basis of a virtual machine for distributed quantum computations, where programming execution no longer needs to be analysed by hand, while at the same time formal properties may be relied upon. Several insights on how to move towards this virtual level are given.