Rewriting measurement-based quantum computations with generalised flow

Duncan, Ross and Perdrix, Simon; Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul G., eds. (2010) Rewriting measurement-based quantum computations with generalised flow. In: Automata, languages and programming. Lecture Notes in Computer Science . Springer, FRA, pp. 285-296. ISBN 9783642141614 (https://doi.org/10.1007/978-3-642-14162-1_24)

Abstract

We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We define a diagrammatic presentation of the pattern, and produce a circuit via a rewriting strategy based on the generalised flow of the pattern. Unlike other methods for translating measurement patterns with generalised flow to circuits, this method uses neither ancilla qubits nor acausal loops.

ORCID iDs

Duncan, Ross ORCID: https://orcid.org/0000-0001-6758-1573

• Share and Export
  

  RDF+XMLRDF+N3EP3 XMLMETSASCII CitationRefWorksMultiline CSVRDF+N-TriplesReferDublin CoreRIOXX2 XMLSimple MetadataOpenURL ContextObject in SpanHTML CitationEndNoteMODSRIS (EndNote Online, Zotero, Ref manager, etc)JSONAtomMPEG-21 DIDLData Cite XMLBibTeXOpenURL ContextObject
• Item metadata

  Item type:	Book Section
  ID code:	45254
  Dates:	Date Event 2010 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	18 Oct 2013 13:17
  Last modified:	15 Dec 2024 19:28
  URI:	https://strathprints.strath.ac.uk/id/eprint/45254