Pages that link to "Item:Q3386971"
From MaRDI portal
The following pages link to The ZX-calculus is complete for stabilizer quantum mechanics (Q3386971):
Displaying 42 items.
- A complete graphical calculus for Spekkens' toy bit theory (Q262336) (← links)
- Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus} (Q2055955) (← links)
- Classical control and quantum circuits in enriched category theory (Q2130598) (← links)
- The structure of sum-over-paths, its consequences, and completeness for Clifford (Q2233432) (← links)
- On the role of the basis of measurement in quantum gate teleportation (Q2516137) (← links)
- Equational Reasoning with Context-Free Families of String Diagrams (Q2947216) (← links)
- (Q3384922) (← links)
- (Q3384923) (← links)
- (Q3384933) (← links)
- (Q3384946) (← links)
- (Q3384951) (← links)
- Towards Quantum Field Theory in Categorical Quantum Mechanics (Q3384952) (← links)
- Categorical Probabilistic Theories (Q3384954) (← links)
- (Q3385629) (← links)
- (Q3385644) (← links)
- A diagrammatic axiomatisation of fermionic quantum circuits (Q4993345) (← links)
- The ZX-calculus is incomplete for quantum mechanics (Q4997300) (← links)
- (Q5014779) (← links)
- A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
- (Q5015184) (← links)
- Mermin Non-Locality in Abstract Process Theories (Q5015201) (← links)
- (Q5020630) (← links)
- (Q5028464) (← links)
- (Q5091270) (← links)
- (Q5092417) (← links)
- (Q5114829) (← links)
- A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics (Q5145332) (← links)
- Shaded tangles for the design and verification of quantum circuits (Q5160634) (← links)
- (Q5232908) (← links)
- Generalised Mermin-type non-locality arguments (Q5376654) (← links)
- Biunitary constructions in quantum information (Q5382904) (← links)
- (Q5856401) (← links)
- Completeness of the ZH-calculus (Q6050005) (← links)
- Graphical CSS Code Transformation Using ZX Calculus (Q6200518) (← links)
- Flow-preserving ZX-calculus Rewrite Rules for Optimisation and Obfuscation (Q6200534) (← links)
- The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification (Q6200535) (← links)
- Multi-agent blind quantum computation without universal cluster states (Q6559788) (← links)
- Addition and differentiation of ZX-diagrams (Q6563057) (← links)
- Operator dynamics and entanglement in space-time dual Hadamard lattices (Q6617930) (← links)
- Hypergraph simplification: linking the path-sum approach to the ZH-calculus (Q6645583) (← links)
- And-gates in ZX-calculus: spider nest identities and QBC-completeness (Q6645586) (← links)
- Generators and relations for real stabilizer operators (Q6646295) (← links)