暂无分享,去创建一个
[1] Miriam Backens,et al. The ZX-calculus is complete for stabilizer quantum mechanics , 2013, 1307.7025.
[2] Cole Comfort. Distributive Laws, Spans and the ZX-Calculus , 2021, ArXiv.
[3] Aleks Kissinger,et al. Categorical Quantum Mechanics I: Causal Quantum Processes , 2015, 1510.05468.
[4] Bill Edwards,et al. Phase Groups and the Origin of Non-locality for Qubits , 2010, QPL@MFPS.
[5] Filippo Bonchi,et al. Interacting Hopf Algebras , 2014, ArXiv.
[6] B. Coecke,et al. Spekkens's toy theory as a category of processes , 2011, 1108.1978.
[7] Quanlong Wang. Qutrit ZX-calculus is Complete for Stabilizer Quantum Mechanics , 2018, 1803.00696.
[8] Miriam Backens,et al. A Complete Graphical Calculus for Spekkens’ Toy Bit Theory , 2014, 1411.1618.
[9] John C. Baez,et al. Props in Network Theory , 2017, 1707.08321.
[10] R. Spekkens,et al. Quantum from principles , 2012, ArXiv.
[11] B. Moor,et al. Stabilizer states and Clifford operations for systems of arbitrary dimensions and modular arithmetic , 2004, quant-ph/0408190.
[12] Niklas Johansson,et al. Quantum Simulation Logic, Oracles, and the Quantum Advantage , 2019, Entropy.
[13] Peter Selinger,et al. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.
[14] Simon Perdrix,et al. Completeness of Graphical Languages for Mixed States Quantum Mechanics , 2019, ICALP.
[15] J. Eisert,et al. Entanglement in Graph States and its Applications , 2006, quant-ph/0602096.
[16] Simon Perdrix,et al. Graph States and the Necessity of Euler Decomposition , 2009, CiE.
[17] Aleks Kissinger,et al. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning , 2017 .
[18] André Ranchin,et al. Depicting qudit quantum mechanics and mutually unbiased qudit theories , 2014, 1404.1288.
[19] Brendan Fong,et al. A Compositional Framework for Passive Linear Networks , 2015, 1504.05625.
[20] D. Gross. Hudson's theorem for finite-dimensional quantum systems , 2006, quant-ph/0602001.
[21] Bob Coecke,et al. Interacting Quantum Observables , 2008, ICALP.
[22] Fabio Zanasi,et al. Interacting Hopf Algebras: the theory of linear systems , 2018, ArXiv.
[23] André Ranchin. Alternative theories in quantum foundations , 2016 .
[24] Lowell Abrams. Frobenius algebra structures in topological quantum field theory and quantum cohomology , 1997 .
[25] Filippo Bonchi,et al. Graphical Affine Algebra , 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[26] J. Niel de Beaudrap,et al. A linearized stabilizer formalism for systems of finite dimension , 2011, Quantum Inf. Comput..
[27] Brendan Fong,et al. The algebra of open and interconnected systems , 2016, 1609.05382.
[28] Scott Aaronson,et al. Improved Simulation of Stabilizer Circuits , 2004, ArXiv.
[29] R. Spekkens. Evidence for the epistemic view of quantum states: A toy theory , 2004, quant-ph/0401052.
[30] Iordanis Kerenidis,et al. Spekkens ’ toy model in all dimensions and its relationship with stabiliser quantum mechanics , 2017 .
[31] Brandon Coya,et al. Circuits, Bond Graphs, and Signal-Flow Diagrams: A Categorical Perspective , 2018, 1805.08290.
[32] John C. Baez,et al. Categories in Control , 2014, 1405.6881.
[33] A. Weinstein. Symplectic groupoids and Poisson manifolds , 1987 .