The structure of sum-over-paths, its consequences, and completeness for Clifford
From MaRDI portal
Publication:2233432
DOI10.1007/978-3-030-71995-1_27OpenAlexW3141495992MaRDI QIDQ2233432FDOQ2233432
Authors: Renaud Vilmart 
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2003.05678
verificationnormal formrewritingcategorical quantum mechanicsClifford fragmentdagger-compact PROPdiscard constructionsum-over-paths
Cites Work
- Dagger compact closed categories and completely positive maps (extended abstract)
- A survey of graphical languages for monoidal categories
- The ZX-calculus is complete for stabilizer quantum mechanics
- Interacting quantum observables: categorical algebra and diagrammatics
- Title not available (Why is that?)
- The Compositional Structure of Multipartite Quantum Entanglement
- Title not available (Why is that?)
- Two complete axiomatisations of pure-state qubit quantum computing
- A diagrammatic axiomatisation for qubit entanglement
- Title not available (Why is that?)
- Towards large-scale functional verification of universal quantum circuits
- An automated deductive verification framework for circuit-building quantum programs
- Title not available (Why is that?)
- Pivoting makes the \textsc{zx}-calculus complete for real stabilizers
- Title not available (Why is that?)
Cited In (4)
- Rewriting and completeness of sum-over-paths in dyadic fragments of quantum computing
- Hypergraph simplification: linking the path-sum approach to the ZH-calculus
- Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes
- The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
This page was built for publication: The structure of sum-over-paths, its consequences, and completeness for Clifford
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2233432)
