Completeness of Graphical Languages for Mixed States Quantum Mechanics
暂无分享,去创建一个
Simon Perdrix | Emmanuel Jeandel | Renaud Vilmart | Titouan Carette | S. Perdrix | E. Jeandel | R. Vilmart | T. Carette
[1] Peter Selinger,et al. Generators and relations for n-qubit Clifford operators , 2013, Log. Methods Comput. Sci..
[2] Ross Duncan,et al. Interacting Frobenius Algebras are Hopf , 2016, 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[3] Bob Coecke,et al. Axiomatic Description of Mixed States From Selinger's CPM-construction , 2008, QPL.
[4] Bob Coecke,et al. Interacting quantum observables: categorical algebra and diagrammatics , 2009, ArXiv.
[5] Simon Perdrix,et al. A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness , 2018, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[6] Simon Perdrix,et al. A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics , 2017, LICS.
[7] Chris Heunen,et al. Pictures of complete positivity in arbitrary dimension , 2011, Inf. Comput..
[8] Simon Perdrix,et al. Pivoting makes the ZX-calculus complete for real stabilizers , 2013, QPL.
[9] Amar Hadzihasanovic,et al. A Diagrammatic Axiomatisation for Qubit Entanglement , 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
[10] Simon Perdrix,et al. Rewriting Measurement-Based Quantum Computations with Generalised Flow , 2010, ICALP.
[11] Sam Staton,et al. Universal Properties in Quantum Theory , 2019, QPL.
[12] Simon Perdrix,et al. Environment and Classical Channels in Categorical Quantum Mechanics , 2010, CSL.
[13] Peter Selinger,et al. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.
[14] Dominic Horsman,et al. The ZX calculus is a language for surface code lattice surgery , 2017, Quantum.
[15] Filippo Bonchi. Interacting Hopf Algebras: the Theory of Linear Systems (text not included) , 2019, ICTCS.
[16] Miriam Backens,et al. The ZX-calculus is complete for the single-qubit Clifford+T group , 2014, 1412.8553.
[17] Aleks Kissinger,et al. Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning , 2017 .
[18] Aleks Kissinger,et al. Quantomatic: A proof assistant for diagrammatic reasoning , 2015, CADE.
[19] Jianxin Chen,et al. A finite presentation of CNOT-dihedral operators , 2016, QPL.
[20] Ross Duncan,et al. A graphical approach to measurement-based quantum computing , 2012, Quantum Physics and Linguistics.
[21] Renaud Vilmart,et al. A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics , 2018, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[22] Peter Selinger,et al. Towards a quantum programming language , 2004, Mathematical Structures in Computer Science.
[23] Miriam Backens,et al. The ZX-calculus is complete for stabilizer quantum mechanics , 2013, 1307.7025.
[24] Aleks Kissinger,et al. A categorical semantics for causal structure , 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
[25] Miriam Backens,et al. A Complete Graphical Calculus for Spekkens’ Toy Bit Theory , 2014, 1411.1618.
[26] Simon Perdrix,et al. Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics , 2018, LICS.
[27] Kazuyuki Amano,et al. Representation of Quantum Circuits with Clifford and $\pi/8$ Gates , 2008, 0806.3834.
[28] Martin B. Plenio,et al. Entanglement on mixed stabilizer states: normal forms and reduction procedures , 2005, quant-ph/0505036.
[29] P. Selinger. A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.
[30] Amar Hadzihasanovic,et al. The algebra of entanglement and the geometry of composition , 2017, ArXiv.
[31] Ross Duncan,et al. Verifying the Steane code with Quantomatic , 2013, QPL.
[32] John C. Baez,et al. Props in Network Theory , 2017, 1707.08321.
[33] Aleks Kissinger,et al. The Compositional Structure of Multipartite Quantum Entanglement , 2010, ICALP.
[34] Ross Duncan,et al. Verifying the Smallest Interesting Colour Code with Quantomatic , 2017, QPL.
[35] Quanlong Wang,et al. ZX-Rules for 2-Qubit Clifford+T Quantum Circuits , 2018, RC.
[36] Aleks Kissinger,et al. Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus , 2019, Quantum.
[37] Stefan Zohren,et al. Graphical structures for design and verification of quantum error correction , 2016, Quantum Science and Technology.
[38] Dominic Horsman,et al. Quantum picturalism for topological cluster-state computing , 2011, 1101.4722.
[39] Quanlong Wang,et al. Two complete axiomatisations of pure-state qubit quantum computing , 2018, LICS.
[40] A. Kissinger,et al. ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity , 2018, Electronic Proceedings in Theoretical Computer Science.
[41] Isaac L. Chuang,et al. Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .