@article(aaronson, author = {Scott Aaronson and Daniel Gottesman}, year = {2004}, title = {Improved simulation of stabilizer circuits}, journal = {Physical Review A}, volume = {70}, number = {5}, pages = {052328}, doi = {10.1103/PhysRevA.70.052328}, url = {https://arxiv.org/pdf/quant-ph/0406196.pdf}, ) @phdthesis(spider, author = {Lowell Abrams}, year = {1997}, title = {Frobenius algebra structures in topological quantum field theory and quantum cohomology}, school = {Johns Hopkins University}, url = {https://home.gwu.edu/~labrams/docs/thesis.pdf}, ) @article(backensstab, author = {Miriam Backens}, year = {2014}, title = {The {ZX}-calculus is complete for stabilizer quantum mechanics}, journal = {New Journal of Physics}, volume = {16}, number = {9}, pages = {093021}, doi = {10.1088/1367-2630/16/9/093021}, url = {https://arxiv.org/pdf/1307.7025.pdf}, ) @article(backensspek, author = {Miriam Backens and Ali Nabi Duman}, year = {2016}, title = {A complete graphical calculus for {S}pekkens’ toy bit theory}, journal = {Foundations of Physics}, volume = {46}, number = {1}, pages = {70--103}, doi = {10.1007/s10701-015-9957-7}, url = {https://arxiv.org/pdf/1411.1618.pdf}, ) @article(network, 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}, url = {http://www.tac.mta.ca/tac/volumes/33/25/33-25.pdf}, ) @article(control, author = {John C Baez and Jason Erbele}, year = {2015}, title = {Categories in control}, journal = {Theory and Applications of Categories}, volume = {30}, number = {24}, pages = {836--881}, url = {http://www.tac.mta.ca/tac/volumes/30/24/30-24.pdf}, ) @article(passive, author = {John C Baez and Brendan Fong}, year = {2018}, title = {A compositional framework for passive linear networks}, journal = {Theory and Applications of Categories}, volume = {33}, number = {38}, pages = {pp 1158--1222}, url = {http://www.tac.mta.ca/tac/volumes/33/38/33-38.pdf}, ) @inproceedings(affine, author = {Filippo Bonchi and Robin Piedeleu and Pawe{\l} Soboci{\'n}ski and Fabio Zanasi}, year = {2019}, title = {Graphical affine algebra}, booktitle = {2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}, organization = {IEEE}, pages = {1--12}, doi = {10.1109/LICS.2019.8785877}, url = {http://www.zanasi.com/fabio/files/paperLICS19.pdf}, ) @article(ihpub, author = {Filippo Bonchi and Pawe{\l} Soboci{\'n}ski and Fabio Zanasi}, year = {2017}, title = {Interacting {H}opf algebras}, journal = {Journal of Pure and Applied Algebra}, volume = {221}, number = {1}, pages = {144--184}, doi = {10.1016/j.jpaa.2016.06.002}, url = {https://arxiv.org/pdf/1403.7048.pdf}, ) @article(disc, author = {Titouan Carette and Emmanuel Jeandel and Simon Perdrix and Renaud Vilmart}, year = {2021}, title = {Completeness of Graphical Languages for Mixed State Quantum Mechanics}, journal = {ACM Transactions on Quantum Computing}, volume = {2}, number = {4}, doi = {10.1145/3464693}, url = {https://arxiv.org/pdf/1902.07143.pdf}, ) @article(catani, author = {Lorenzo Catani and Dan E Browne}, year = {2017}, title = {Spekkens’ toy model in all dimensions and its relationship with stabiliser quantum mechanics}, journal = {New Journal of Physics}, volume = {19}, number = {7}, pages = {073035}, doi = {10.1088/1367-2630/aa781c}, url = {https://iopscience.iop.org/article/10.1088/1367-2630/aa781c/pdf}, ) @book(pqp, 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}, ) @inproceedings(coecke2008interacting, author = {Bob Coecke and Ross Duncan}, year = {2008}, title = {Interacting quantum observables}, booktitle = {International Colloquium on Automata, Languages, and Programming}, organization = {Springer}, pages = {298--310}, doi = {10.1007/978-3-540-70583-3\_25}, url = {https://arxiv.org/pdf/0906.4725.pdf}, ) @inproceedings(coecke2012spekkens, author = {Bob Coecke and Bill Edwards}, year = {2012}, title = {Spekkens’s toy theory as a category of processes}, booktitle = {Proceedings of Symposia in Applied Mathematics}, volume = {71}, pages = {61--88}, doi = {10.1090/psapm/071}, url = {https://arxiv.org/pdf/1108.1978.pdf}, ) @article(coecke2011phase, author = {Bob Coecke and Bill Edwards and Robert W Spekkens}, year = {2011}, title = {Phase groups and the origin of non-locality for qubits}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {270}, number = {2}, pages = {15--36}, doi = {10.1016/j.entcs.2011.01.021}, url = {https://arxiv.org/pdf/1003.5005.pdf}, ) @book(cqm1, author = {Bob Coecke and Aleks Kissinger}, year = {2017}, title = {{Categorical Quantum Mechanics I: Causal Quantum Processes}}, publisher = {Oxford University Press}, doi = {10.1093/oso/9780198748991.003.0012}, url = {https://arxiv.org/pdf/1510.05468.pdf}, ) @article(cole, author = {Cole Comfort}, year = {2021}, title = {Distributive Laws, Spans and the {ZX}-Calculus}, journal = {arXiv preprint}, url = {https://arxiv.org/pdf/2102.04386.pdf}, ) @phdthesis(coya, author = {Brandon Coya}, year = {2018}, title = {Circuits, bond graphs, and signal-flow diagrams: A categorical perspective}, school = {University of California Riverside}, url = {https://arxiv.org/pdf/1805.08290.pdf}, ) @article(niel, author = {De Beaudrap, Niel}, year = {2013}, title = {A Linearized Stabilizer Formalism for Systems of Finite Dimension}, journal = {Quantum Info. Comput.}, volume = {13}, number = {1–2}, pages = {73–115}, doi = {10.26421/QIC13.1-2-6}, url = {https://arxiv.org/pdf/1102.3354.pdf}, ) @inproceedings(duncan2009graph, author = {Ross Duncan and Simon Perdrix}, year = {2009}, title = {Graph states and the necessity of Euler decomposition}, booktitle = {Conference on Computability in Europe}, organization = {Springer}, pages = {167--177}, doi = {10.1007/978-3-642-03073-4\_18}, url = {https://arxiv.org/pdf/0902.0500.pdf}, ) @phdthesis(fong2016algebra, author = {Brendan Fong}, year = {2016}, title = {The algebra of open and interconnected systems}, school = {University of Oxford}, url = {https://arxiv.org/pdf/1609.05382.pdf}, ) @article(gross, author = {David Gross}, year = {2006}, title = {Hudson’s theorem for finite-dimensional quantum systems}, journal = {Journal of mathematical physics}, volume = {47}, number = {12}, pages = {122107}, doi = {10.1063/1.2393152}, url = {https://arxiv.org/pdf/quant-ph/0602001.pdf}, ) @article(generators, author = {Erik Hostens and Jeroen Dehaene and De Moor, Bart}, year = {2005}, title = {Stabilizer states and {C}lifford operations for systems of arbitrary dimensions and modular arithmetic}, journal = {Physical Review A}, volume = {71}, number = {4}, pages = {042315}, doi = {10.1103/PhysRevA.71.042315}, url = {https://arxiv.org/pdf/quant-ph/0408190.pdf}, ) @inproceedings(ranchin2014depicting, author = {Andr{\'{e}} Ranchin}, year = {2014}, title = {Depicting qudit quantum mechanics and mutually unbiased qudit theories}, editor = {Bob Coecke and Hasuo Ichiro and Prakash Panangaden}, booktitle = {{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Kyoto University, Japan, 4-6 June 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {172}, publisher = {Open Publishing Association}, pages = {68--91}, doi = {10.4204/eptcs.172.6}, url = {https://arxiv.org/pdf/1404.1288.pdf}, ) @phdthesis(ranchin2016alternative, author = {Andr{\'e} Ranchin}, year = {2016}, title = {Alternative theories in quantum foundations}, school = {Imperial College London}, doi = {10.25560/52462}, url = {https://spiral.imperial.ac.uk/bitstream/10044/1/52462/3/Ranchin-A-2017-PhD-Thesis.pdf}, ) @article(cpm, author = {Peter 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}, url = {https://mathstat.dal.ca/~selinger/papers/dagger.pdf}, ) @misc(ortho, author = {Pawe{\l} Soboci{\'n}ski}, year = {2017}, title = {Graphical Linear Algebra: Orthogonality and projections}, url = {https://graphicallinearalgebra.net/2017/08/09/orthogonality-and-projections/}, ) @article(spekkens, author = {Robert W Spekkens}, year = {2007}, title = {Evidence for the epistemic view of quantum states: A toy theory}, journal = {Physical Review A}, volume = {75}, number = {3}, pages = {032110}, doi = {10.1103/PhysRevA.75.032110}, url = {https://arxiv.org/pdf/quant-ph/0401052.pdf}, ) @incollection(spekkens2016quasi, author = {Robert W Spekkens}, year = {2016}, title = {Quasi-quantization: classical statistical theories with an epistemic restriction}, booktitle = {Quantum Theory: Informational Foundations and Foils}, publisher = {Springer}, pages = {83--135}, doi = {10.1007/978-94-017-7303-4}, url = {https://arxiv.org/pdf/1409.5041.pdf}, ) @inproceedings(qutrit, author = {Quanlong Wang}, year = {2018}, title = {Qutrit {ZX}-calculus is Complete for Stabilizer Quantum Mechanics}, editor = {Bob Coecke and Aleks Kissinger}, booktitle = {{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, publisher = {Open Publishing Association}, pages = {58--70}, doi = {10.4204/EPTCS.266.3}, url = {https://arxiv.org/pdf/1803.00696.pdf}, ) @article(weinstein, author = {Alan Weinstein}, year = {1987}, title = {Symplectic groupoids and {P}oisson manifolds}, journal = {Bulletin of the American mathematical Society}, volume = {16}, number = {1}, pages = {101--104}, doi = {10.1090/S0273-0979-1987-15473-5}, url = {https://www.projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-16/issue-1/Symplectic-groupoids-and-Poisson-manifolds/bams/1183553676.full}, ) @phdthesis(ih, author = {Fabio Zanasi}, year = {2018}, title = {Interacting {H}opf Algebras: the theory of linear systems}, school = {Universit\'e de Lyon}, )