A Diagrammatic Axiomatisation for Qubit Entanglement

DOI10.1109/LICS.2015.59zbMath1401.81012arXiv1501.07082OpenAlexW1486765721WikidataQ64356760 ScholiaQ64356760MaRDI QIDQ4635837

Amar Hadzihasanovic

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Quantum coherence, entanglement, quantum correlations (81P40) Foundations, relations to logic and deductive systems (18A15)

Related Items

Monoidal reverse differential categories ⋮ Unnamed Item ⋮ (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras ⋮ A Topological Perspective on Interacting Algebraic Theories ⋮ Categorical Probabilistic Theories ⋮ Unnamed Item ⋮ Light-Matter Interaction in the ZXW Calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The structure of sum-over-paths, its consequences, and completeness for Clifford ⋮ Shaded tangles for the design and verification of quantum circuits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}