Physics – Quantum Physics
Scientific paper
2005-06-09
Physics
Quantum Physics
17 pages
Scientific paper
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because the network quantum state is in general entangled, we need to model it as a global structure, reminiscent of global memory in classical agent systems. Local quantum computations are described as measurement patterns. Since measurement-based quantum computation is inherently distributed, this allows us to extend naturally several concepts of the measurement calculus, a formal model for such computations. Our goal is to define an assembly language, i.e. we assume that computations are well-defined and we do not concern ourselves with verification techniques. The operational semantics for systems of agents is given by a probabilistic transition system, and we define operational equivalence in a way that it corresponds to the notion of bisimilarity. With this in place, we prove that teleportation is bisimilar to a direct quantum channel, and this also within the context of larger networks.
D'Hondt Ellie
Danos Vincent
Kashefi Elham
Panangaden Prakash
No associations
LandOfFree
Distributed measurement-based quantum computation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Distributed measurement-based quantum computation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Distributed measurement-based quantum computation will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-170943