@article{fagan_optimising_2019,
	title = {Optimising {Clifford} {Circuits} with {Quantomatic}},
	volume = {287},
	issn = {2075-2180},
	url = {http://arxiv.org/abs/1901.10114},
	doi = {10/gf8t32},
	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.},
	urldate = {2019-09-26},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	author = {Fagan, Andrew and Duncan, Ross},
	month = jan,
	year = {2019},
	note = {ZSCC: 0000011 
arXiv: 1901.10114},
	pages = {85--105}
}

{"_id":"4DiKKLhGh9Sd7gbst","bibbaseid":"fagan-duncan-optimisingcliffordcircuitswithquantomatic-2019","authorIDs":[],"author_short":["Fagan, A.","Duncan, R."],"bibdata":{"bibtype":"article","type":"article","title":"Optimising Clifford Circuits with Quantomatic","volume":"287","issn":"2075-2180","url":"http://arxiv.org/abs/1901.10114","doi":"10/gf8t32","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.","urldate":"2019-09-26","journal":"Electronic Proceedings in Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Fagan"],"firstnames":["Andrew"],"suffixes":[]},{"propositions":[],"lastnames":["Duncan"],"firstnames":["Ross"],"suffixes":[]}],"month":"January","year":"2019","note":"ZSCC: 0000011 arXiv: 1901.10114","pages":"85–105","bibtex":"@article{fagan_optimising_2019,\n\ttitle = {Optimising {Clifford} {Circuits} with {Quantomatic}},\n\tvolume = {287},\n\tissn = {2075-2180},\n\turl = {http://arxiv.org/abs/1901.10114},\n\tdoi = {10/gf8t32},\n\tabstract = {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.},\n\turldate = {2019-09-26},\n\tjournal = {Electronic Proceedings in Theoretical Computer Science},\n\tauthor = {Fagan, Andrew and Duncan, Ross},\n\tmonth = jan,\n\tyear = {2019},\n\tnote = {ZSCC: 0000011 \narXiv: 1901.10114},\n\tpages = {85--105}\n}\n\n","author_short":["Fagan, A.","Duncan, R."],"key":"fagan_optimising_2019","id":"fagan_optimising_2019","bibbaseid":"fagan-duncan-optimisingcliffordcircuitswithquantomatic-2019","role":"author","urls":{"Paper":"http://arxiv.org/abs/1901.10114"},"downloads":0},"bibtype":"article","biburl":"https://bibbase.org/zotero/k4rtik","creationDate":"2020-05-31T17:07:22.723Z","downloads":0,"keywords":[],"search_terms":["optimising","clifford","circuits","quantomatic","fagan","duncan"],"title":"Optimising Clifford Circuits with Quantomatic","year":2019,"dataSources":["Z5Dp3qAJiMzxtvKMq"]}