ZX-calculus for the working quantum computer scientist
J van de Wetering - arXiv preprint arXiv:2012.13966, 2020 - arxiv.org
The ZX-calculus is a graphical language for reasoning about quantum computation that has
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …
recently seen an increased usage in a variety of areas such as quantum circuit optimisation …
A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics
We introduce the first complete and approximately universal diagrammatic language for
quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by …
quantum mechanics. We make the ZX-Calculus, a diagrammatic language introduced by …
Classically simulating quantum supremacy iqp circuits through a random graph approach
J Codsi, J van de Wetering - arXiv preprint arXiv:2212.08609, 2022 - arxiv.org
Quantum Supremacy is a demonstration of a computation by a quantum computer that can
not be performed by the best classical computer in a reasonable time. A well-studied …
not be performed by the best classical computer in a reasonable time. A well-studied …
Speedy Contraction of ZX Diagrams with Triangles via Stabiliser Decompositions
Recent advances in classical simulation of Clifford+ T circuits make use of the ZX calculus to
iteratively decompose and simplify magic states into stabiliser terms. We improve on this …
iteratively decompose and simplify magic states into stabiliser terms. We improve on this …
Kindergarden quantum mechanics graduates... or how I learned to stop gluing LEGO together and love the ZX-calculus
This paper is a 'spiritual child'of the 2005 lecture notes Kindergarten Quantum Mechanics
Coecke (2005)[24], which showed how a simple, pictorial extension of Dirac notation …
Coecke (2005)[24], which showed how a simple, pictorial extension of Dirac notation …
Meaning updating of density matrices
B Coecke, K Meichanetzidis - arXiv preprint arXiv:2001.00862, 2020 - arxiv.org
The DisCoCat model of natural language meaning assigns meaning to a sentence given:(i)
the meanings of its words, and,(ii) its grammatical structure. The recently introduced …
the meanings of its words, and,(ii) its grammatical structure. The recently introduced …
Contraction of ZX diagrams with triangles via stabiliser decompositions
Recent advances in classical simulation of Clifford+ T circuits make use of the ZX calculus to
iteratively decompose and simplify magic states into stabiliser terms We improve on this …
iteratively decompose and simplify magic states into stabiliser terms We improve on this …
Addition and Differentiation of ZX-diagrams
The ZX-calculus is a powerful framework for reasoning in quantum computing. It provides in
particular a compact representation of matrices of interest. A peculiar property of the ZX …
particular a compact representation of matrices of interest. A peculiar property of the ZX …
A ZX-calculus with triangles for Toffoli-Hadamard, Clifford+ T, and beyond
R Vilmart - arXiv preprint arXiv:1804.03084, 2018 - arxiv.org
We consider a ZX-calculus augmented with triangle nodes which is well-suited to reason on
the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form …
the so-called Toffoli-Hadamard fragment of quantum mechanics. We precisely show the form …
An algebraic axiomatisation of ZX-calculus
Q Wang - arXiv preprint arXiv:1911.06752, 2019 - arxiv.org
ZX-calculus is a graphical language for quantum computing which is complete in the sense
that calculation in matrices can be done in a purely diagrammatic way. However, all …
that calculation in matrices can be done in a purely diagrammatic way. However, all …