research
∙
07/19/2023
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
We introduce the qudit ZH-calculus and show how to generalise all the ph...
share
research
∙
04/05/2023
Picturing counting reductions with the ZH-calculus
Counting the solutions to Boolean formulae defines the problem #SAT, whi...
research
∙
12/15/2022
A Graphical #SAT Algorithm for Formulae with Small Clause Density
We study the counting version of the Boolean satisfiability problem #SAT...
research
∙
02/18/2022
Circuit Extraction for ZX-diagrams can be #P-hard
The ZX-calculus is a graphical language for reasoning about quantum comp...
research
∙
03/23/2020
Dichotomy between deterministic and probabilistic models in countably additive effectus theory
Effectus theory is a relatively new approach to categorical logic that c...
research
∙
12/20/2019
A characterisation of ordered abstract probabilities
In computer science, especially when dealing with quantum computing or o...
research
∙
12/20/2019
A characterization of ordered abstract probabilities
In computer science, especially when dealing with quantum computing or o...
research
∙
02/08/2019
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
We present a new circuit-to-circuit optimisation routine based on an equ...
research
∙
08/04/2016
