@inproceedings(miriamaleks,
author = {Miriam Backens and Aleks Kissinger},
year = {2018},
title = {ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity},
booktitle = {Proceedings of the 15th International Workshop on Quantum Physics and Logic, {QPL} 2018, Halifax, Canada, 3-7th June 2018.},
pages = {23--42},
doi = {10.4204/ EPTCS.287.2},
)
@article(bpw,
author = {Miriam Backens and Simon Perdrix and Quanlong Wang},
year = {2017},
title = {A {Simplified} {Stabilizer} {ZX}-calculus},
journal = {EPTCS},
volume = {236},
pages = {1--20},
doi = {10.4204/EPTCS.236.1},
)
@article(BaezCR,
author = {John C. Baez and Brandon Coya and Franciscus Rebro},
year = {2018},
title = {Props in Network Theory},
journal = {Theory and Applications of Categories},
volume = {33},
number = {25},
pages = {727 -- 783},
note = {\href{http://arxiv.org/abs/1707.08321}{arXiv:1707.08321}},
)
@inproceedings(nielbianwangtqc,
author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
year = {2020},
title = {Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities},
editor = {Steven T. Flammia},
booktitle = {15th Conference on the Theory of Quantum Computation, Communication and Cryptography, {TQC} 2020, June 9-12, 2020, Riga, Latvia},
series = {LIPIcs},
volume = {158},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
pages = {11:1--11:23},
doi = {10.4230/LIPIcs.TQC.2020.11},
)
@inproceedings(nielbianwang,
author = {Niel de Beaudrap and Xiaoning Bian and Quanlong Wang},
year = {2020},
title = {Techniques to Reduce $\pi/4$-Parity-Phase Circuits, Motivated by the ZX Calculus},
editor = {Bob Coecke and Matthew Leifer},
booktitle = {{\rm Proceedings 16th International Conference on} Quantum Physics and Logic, {\rm Chapman University, Orange, CA, USA., 10-14 June 2019}},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {318},
publisher = {Open Publishing Association},
pages = {131--149},
doi = {10.4204/EPTCS.318.9},
)
@article(nakons2020,
author = {Niel de Beaudrap and Aleks Kissinger and Konstantinos Meichanetzidis},
year = {2020},
title = {Tensor Network Rewriting Strategies for Satisfiability and Counting},
journal = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
note = {\href{http://arxiv.org/abs/2004.06455}{arXiv:2004.06455}},
)
@article(CoeckeDuncan,
author = {Bob Coecke and Ross Duncan},
year = {2011},
title = {Interacting quantum observables: categorical algebra and diagrammatics},
journal = {New Journal of Physics},
volume = {13},
number = {4},
pages = {043016},
doi = {10.1088/1367-2630/13/4/043016},
url = {http://stacks.iop.org/1367-2630/13/i=4/a=043016},
)
@inproceedings(CDKW,
author = {Bob Coecke and Ross Duncan and Aleks Kissinger and Quanlong Wang},
year = {2012},
title = {Strong Complementarity and Non-locality in Categorical Quantum Mechanics},
booktitle = {Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science},
series = {LICS '12},
publisher = {IEEE Computer Society},
pages = {245--254},
doi = {10.1109/LICS.2012.35},
)
@book(Coeckebk,
author = {Bob Coecke and Aleks Kissinger},
year = {2017},
title = {Picturing quantum processes},
publisher = {Cambridge University Press},
doi = {10.1017/9781316219317},
)
@inproceedings(coeckewang,
author = {Bob Coecke and Quanlong Wang},
year = {2018},
title = {{ZX}-rules for 2-qubit {Clifford}+{T} Quantum Circuits},
booktitle = {Proceedings of the 10th International Conference, Reversible Computation 2018},
series = {LNCS},
pages = {144--161},
doi = {10.1007/978-3-319-99498-7\_10},
)
@article(duncan_graph_2009,
author = {Ross Duncan and Simon Perdrix},
year = {2009},
title = {Graph States and the Necessity of {Euler} Decomposition},
journal = {Mathematical Theory and Computational Practice},
volume = {5635},
pages = {167--177},
doi = {10.1007/978-3-642-03073-4\_18},
)
@inproceedings(amarngwanglics,
author = {Amar Hadzihasanovic and Kang Feng Ng and Quanlong Wang},
year = {2018},
title = {Two Complete Axiomatisations of Pure-state Qubit Quantum Computing},
booktitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
series = {LICS '18},
publisher = {ACM},
pages = {502--511},
doi = {10.1145/3209108.3209128},
)
@inproceedings(jpvcltlics,
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},
)
@inproceedings(jpvbeyondlics,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2018},
title = {Diagrammatic Reasoning Beyond 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 = {569--578},
doi = {10.1145/3209108.3209139},
)
@inproceedings(jpvnormfmlics,
author = {Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart},
year = {2019},
title = {A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
doi = {10.1109/LICS.2019.8785754},
)
@article(lwaleks2020,
author = {Louis Lemonnier and John van de Wetering and Aleks Kissinger},
year = {2020},
title = {Hypergraph simplification: Linking the path-sum approach to the ZH-calculus},
journal = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
note = {\href{http://arxiv.org/abs/2003.13564}{arXiv:2003.13564}},
)
@article(maclane1965,
author = {Saunders MacLane},
year = {1965},
title = {Categorical algebra},
journal = {Bulletin of the American Mathematical Society},
volume = {71},
number = {1},
pages = {40--106},
doi = {10.1090/S0002-9904-1965-11234-4},
note = {\url{https://projecteuclid.org:443/euclid.bams/1183526392}},
)
@article(bobanthonywang,
author = {Anthony Munson and Bob Coecke and Quanlong Wang},
year = {2020},
title = {AND-gates in ZX-calculus: spider nest identities and QBC-completeness},
journal = {To appear in Proceedings 17th International Conference on Quantum Physics and Logic},
note = {\href{http://arxiv.org/abs/1910.06818}{arXiv:1910.06818}},
)
@article(ngwang,
author = {Kang Feng Ng and Quanlong Wang},
year = {2017},
title = {A universal completion of the {ZX}-calculus},
note = {\href{http://arxiv.org/abs/1706.09877}{arXiv:1706.09877}},
)
@article(ngwang2,
author = {Kang Feng Ng and Quanlong Wang},
year = {2018},
title = {Completeness of the {ZX}-calculus for Pure Qubit Clifford+T Quantum Mechanics},
note = {\href{http://arxiv.org/abs/1801.07993}{arXiv:1801.07993}},
)
@inproceedings(Renaudprulelics,
author = {Renaud Vilmart},
year = {2019},
title = {A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics},
booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
pages = {1--10},
doi = {10.1109/LICS.2019.8785765},
)
@unpublished(Wetering,
author = {John van de Wetering and Sal Wolffs},
year = {2019},
title = {Completeness of the Phase-free ZH-calculus},
note = {\href{http://arxiv.org/abs/1904.07545}{arXiv:1904.07545}},
)