Search Results for author:
Found 5 papers, 2 papers with code
Completeness of the ZH-calculus
There are various gate sets used for describing quantum computation.
Quantum Physics
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, which showed how a simple, pictorial extension of Dirac notation allowed several quantum features to be easily expressed and derived, using language even a kindergartner can understand.
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
In the last part, we also see that the approach can be generalised to model rewriting modulo multiple Frobenius structures.
Logic in Computer Science Category Theory
PyZX: Large Scale Automated Diagrammatic Reasoning
The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a tensor network-like language that can represent arbitrary linear maps between qubits.
Quantum Physics
Causal Inference by String Diagram Surgery
We represent the effect of such an intervention as an endofunctor which performs `string diagram surgery' within the syntactic category of string diagrams.
