research
∙
08/31/2023
Global Synthesis of CNOT Circuits with Holes
A common approach to quantum circuit transformation is to use the proper...
share
research
∙
07/05/2023
Graphical CSS Code Transformation Using ZX Calculus
In this work, we present a generic approach to transform CSS codes by bu...
research
∙
05/23/2022
Higher-order causal theories are models of BV-logic
The Caus[-] construction takes a compact closed category of basic proces...
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
∙
09/13/2021
String Diagram Rewrite Theory III: Confluence with and without Frobenius
In this paper we address the problem of proving confluence for string di...
research
∙
05/13/2021
A Graphical Calculus for Lagrangian Relations
Symplectic vector spaces are the phase space of linear mechanical system...
research
∙
04/29/2021
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Symmetric monoidal theories (SMTs) generalise algebraic theories in a wa...
research
∙
02/22/2021
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...
research
∙
12/03/2020
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
String diagrams are a powerful and intuitive graphical syntax, originate...
research
∙
04/14/2020
Tensor Network Rewriting Strategies for Satisfiability and Counting
We provide a graphical treatment of SAT and #SAT on equal footing. Insta...
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
∙
11/20/2018
Causal Inference by String Diagram Surgery
Extracting causal relationships from observed correlations is a growing ...
research
∙
02/27/2018
Proceedings 14th International Conference on Quantum Physics and Logic
This volume contains the proceedings of the 14th International Conferenc...
research
∙
01/03/2017
Picturing Indefinite Causal Structure
Following on from the notion of (first-order) causality, which generalis...
research
∙
03/01/2012
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
This work is about diagrammatic languages, how they can be represented, ...
research
∙
02/27/2012
