@misc(aharonov2003hadamardtoffoli,
author = {Dorit Aharonov},
year = {2003},
title = {A simple proof that Toffoli and Hadamard are quantum universal},
note = {{arXiv:quant-ph/0301040}},
)
@article(moscamatroid,
author = {M. Amy and D. Maslov and M. Mosca},
year = {2014},
title = {Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
volume = {33},
number = {10},
pages = {1476--1489},
doi = {10.1109/TCAD.2014.2341953},
)
@article(MeetInMiddle,
author = {M. Amy and D. Maslov and M. Mosca and M. Roetteler},
year = {2013},
title = {A {Meet}-in-the-{Middle} {Algorithm} for {Fast} {Synthesis} of {Depth}-{Optimal} {Quantum} {Circuits}},
journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
volume = {32},
number = {6},
pages = {818--830},
doi = {10.1109/TCAD.2013.2244643},
)
@misc(AmyMoscaReedMuller,
author = {M. {Amy} and M. {Mosca}},
year = {2016},
title = {{T-count optimization and Reed-Muller codes}},
note = {arXiv:1601.07363},
)
@unpublished(Niel2018,
author = {Niel de Beaudrap},
title = {A toy theory of tensor networks for exact quantum algorithms},
note = {To appear},
)
@inproceedings(CD1,
author = {B. Coecke and R. Duncan},
year = {2008},
title = {Interacting quantum observables},
booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)},
series = {Lecture Notes in Computer Science},
doi = {10.1007/978-3-540-70583-3_25},
)
@article(CD2,
author = {B. Coecke and R. Duncan},
year = {2011},
title = {Interacting quantum observables: categorical algebra and diagrammatics},
journal = {New Journal of Physics},
volume = {13},
pages = {043016},
doi = {10.1088/1367-2630/13/4/043016},
note = {arXiv:quant-ph/09064725},
)
@book(CKbook,
author = {B. Coecke and A. Kissinger},
year = {2017},
title = {Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning},
publisher = {Cambridge University Press},
doi = {10.1017/9781316219317},
)
@article(DiagHierarchy,
author = {Shawn X. Cui and Daniel Gottesman and Anirudh Krishna},
year = {2017},
title = {Diagonal gates in the Clifford hierarchy},
journal = {Phys. Rev. A},
volume = {95},
pages = {012329},
doi = {10.1103/PhysRevA.95.012329},
)
@article(DP1,
author = {R. Duncan and S. Perdrix},
year = {2009},
title = {Graph states and the necessity of {E}uler decomposition},
journal = {Mathematical Theory and Computational Practice},
pages = {167--177},
doi = {10.1007/978-3-642-03073-4_18},
)
@conference(DP2,
author = {R. Duncan and S. Perdrix},
year = {2010},
title = {{Rewriting measurement-based quantum computations with generalised flow}},
booktitle = {Proceedings of {ICALP}},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
pages = {285--296},
doi = {10.1007/978-3-642-14162-1_24},
)
@incollection(RossMBQC,
author = {Ross Duncan},
year = {2013},
title = {A graphical approach to measurement-based quantum computing},
editor = {Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette},
booktitle = {Quantum Physics and Linguistics},
publisher = {OUP},
doi = {10.1093/acprof:oso/9780199646296.003.0003},
note = {{arXiv:1203.6242 [quant-ph]}},
)
@article(gachechiladze2016extreme,
author = {Mariami Gachechiladze and Costantino Budroni and Otfried G{\"u}hne},
year = {2016},
title = {Extreme violation of local realism in quantum hypergraph states},
journal = {Physical Review Letters},
volume = {116},
number = {7},
pages = {070401},
doi = {10.1103/PhysRevLett.116.070401},
)
@phdthesis(hadzihasanovic2017thesis,
author = {Amar Hadzihasanovic},
title = {The algebra of entanglement and the geometry of composition},
type = {{PhD} thesis},
school = {University of Oxford},
)
@article(campbelltcount,
author = {Luke E Heyfron and Earl T Campbell},
year = {2018},
title = {An efficient quantum compiler that reduces \textit{{T}} count},
journal = {Quantum Science and Technology},
volume = {4},
number = {1},
pages = {015004},
doi = {10.1088/2058-9565/aad604},
)
@inproceedings(LoriaCompleteness,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {A {Complete} {Axiomatisation} of the {ZX}-{Calculus} for {Clifford}+{T} {Quantum} {Mechanics}},
booktitle = {Proceedings of the 33rd {Annual} {ACM}/{IEEE} {Symposium} on {Logic} in {Computer} {Science}},
series = {{LICS} '18},
publisher = {ACM},
address = {New York, NY, USA},
pages = {559--568},
doi = {10.1145/3209108.3209131},
)
@article(jeandel2018y-calculus,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {Y-{Calculus}: {A} {Language} for {Real} {Matrices} {Derived} from the {ZX}-{Calculus}},
journal = {Electronic Proceedings in Theoretical Computer Science},
volume = {266},
pages = {23--57},
doi = {10.4204/EPTCS.266.2},
note = {Version 1 at arXiv:1702.00934v1},
)
@article(kissinger2014pattern,
author = {Aleks Kissinger and Alex Merry and Matvey Soloviev},
year = {2014},
title = {Pattern graph rewrite systems},
journal = {Electronic Proceedings in Theoretical Computer Science},
volume = {143},
pages = {54--66},
doi = {10.4204/EPTCS.143.5},
)
@inproceedings(quanto-cade,
author = {Aleks Kissinger and Vladimir Zamdzhiev},
year = {2015},
title = {Quantomatic: A proof assistant for diagrammatic reasoning},
booktitle = {International Conference on Automated Deduction},
organization = {Springer},
pages = {326--336},
doi = {10.1007/978-3-319-21401-6_22},
)
@article(HyperSPTO,
author = {Jacob Miller and Akimasa Miyake},
year = {2016},
title = {Hierarchy of universal entanglement in 2D measurement-based quantum computation},
journal = {Npj Quantum Information},
volume = {12},
number = {16036},
doi = {10.1038/npjqi.2016.36},
)
@article(OxfordCompleteness,
author = {Kang Feng Ng and Quanlong Wang},
year = {2017},
title = {A universal completion of the ZX-calculus},
)
@article(MBQC2,
author = {R. Raussendorf and D.E. Browne and H.J. Briegel},
year = {2003},
title = {Measurement-based quantum computation on cluster states},
journal = {Physical Review A},
volume = {68},
number = {2},
pages = {22312},
doi = {10.1103/PhysRevA.68.022312},
)
@article(HyperGrover,
author = {M Rossi and Bru{\ss}, D and C Macchiavello},
year = {2014},
title = {Hypergraph states in Grover's quantum search algorithm},
journal = {Physica Scripta},
volume = {2014},
number = {T160},
pages = {014036},
doi = {10.1088/0031-8949/2014/T160/014036},
)
@article(rossi2013hypergraph,
author = {Matteo Rossi and M Huber and Bru{\ss}, D and C Macchiavello},
year = {2013},
title = {Quantum hypergraph states},
journal = {New Journal of Physics},
volume = {15},
number = {11},
pages = {113022},
doi = {10.1088/1367-2630/15/11/113022},
)
@article(SelingerCPM,
author = {P. Selinger},
year = {2007},
title = {Dagger compact closed categories and completely positive maps},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {170},
pages = {139--163},
doi = {10.1016/j.entcs.2006.12.018},
)
@article(ShiToffoli,
author = {Yaoyun Shi},
year = {2003},
title = {Both Toffoli and controlled-NOT Need Little Help to Do Universal Quantum Computing},
journal = {Quantum Info. Comput.},
volume = {3},
number = {1},
pages = {84--92},
)