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