Optimising Clifford circuits with Quantomatic

Fagan, Andrew and Duncan, Ross (2019) Optimising Clifford circuits with Quantomatic. Electronic Proceedings in Theoretical Computer Science, 287. pp. 85-105. ISSN 2075-2180 (https://doi.org/10.4204/EPTCS.287.5)

Preview

Text. Filename: Fagan_Duncan_EPTCS_2019_Optimising_Clifford_circuits_with.pdf Final Published Version Download (387kB)| Preview

Abstract

We present a system of equations between Clifford circuits, all derivable in the ZX-calculus, and formalised as rewrite rules in the Quantomatic proof assistant. By combining these rules with some non-trivial simplification procedures defined in the Quantomatic tactic language, we demonstrate the use of Quantomatic as a circuit optimisation tool. We prove that the system always reduces Clifford circuits of one or two qubits to their minimal form, and give numerical results demonstrating its performance on larger Clifford circuits.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Article
  ID code:	69459
  Dates:	Date Event 29 January 2019 Published 29 January 2019 Accepted
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Engineering > Electronic and Electrical Engineering Faculty of Science > Computer and Information Sciences
  Depositing user:	Pure Administrator
  Date deposited:	21 Aug 2019 15:37
  Last modified:	29 Apr 2024 14:39
  Related URLs:	Publisher
  URI:	https://strathprints.strath.ac.uk/id/eprint/69459