The structure of sum-over-paths, its consequences, and completeness for Clifford

DOI10.1007/978-3-030-71995-1_27OpenAlexW3141495992MaRDI QIDQ2233432

Renaud Vilmart

Publication date: 18 October 2021

Full work available at URL: https://arxiv.org/abs/2003.05678

zbMATH Keywords

verificationnormal formrewritingcategorical quantum mechanicsClifford fragmentdagger-compact PROPdiscard constructionsum-over-paths

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (2)

Complete Equational Theories for the Sum-Over-Paths with Unbalanced Amplitudes ⋮ The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• An automated deductive verification framework for circuit-building quantum programs
• Dagger Compact Closed Categories and Completely Positive Maps
• A Survey of Graphical Languages for Monoidal Categories
• The ZX-calculus is complete for stabilizer quantum mechanics
• The Compositional Structure of Multipartite Quantum Entanglement
• A Diagrammatic Axiomatisation for Qubit Entanglement
• Interacting quantum observables: categorical algebra and diagrammatics
• Two complete axiomatisations of pure-state qubit quantum computing

This page was built for publication: The structure of sum-over-paths, its consequences, and completeness for Clifford