Search Results - "van de Wetering, John"
-
1
The three types of normal sequential effect algebras
Published in Quantum (Vienna, Austria) (2021)“…A sequential effect algebra (SEA) is an effect algebra equipped with a sequential product operation modeled after the Lüders product ( a , b ) ↦ a b a on C ∗…”
Get full text
Journal Article -
2
Constructing quantum circuits with global gates
Published in New journal of physics (01-04-2021)“…Abstract There are various gate sets that can be used to describe a quantum computation. A particularly popular gate set in the literature on quantum computing…”
Get full text
Journal Article -
3
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
Published in Quantum (Vienna, Austria) (04-06-2020)“…We present a completely new approach to quantum circuit optimisation, based on the ZX-calculus. We first interpret quantum circuits as ZX-diagrams, which…”
Get full text
Journal Article -
4
There and back again: A circuit extraction tale
Published in Quantum (Vienna, Austria) (25-03-2021)“…Translations between the quantum circuit model and the measurement-based one-way model are useful for verification and optimisation of quantum computations…”
Get full text
Journal Article -
5
Universal MBQC with generalised parity-phase interactions and Pauli measurements
Published in Quantum (Vienna, Austria) (26-04-2019)“…We introduce a new family of models for measurement-based quantum computation which are deterministic and approximately universal. The resource states which…”
Get full text
Journal Article -
6
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Published in Electronic proceedings in theoretical computer science (06-09-2021)Get full text
Journal Article -
7
Quantum Theory is a Quasi-stochastic Process Theory
Published in Electronic proceedings in theoretical computer science (27-02-2018)“…There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we…”
Get full text
Journal Article -
8
AKLT-States as ZX-Diagrams: Diagrammatic Reasoning for Quantum States
Published in PRX quantum (2022)“…From Feynman diagrams to tensor networks, diagrammatic representations of computations in quantum mechanics have catalysed progress in physics. These diagrams…”
Get full text
Journal Article -
9
Pure Maps between Euclidean Jordan Algebras
Published in Electronic proceedings in theoretical computer science (01-01-2019)“…We propose a definition of purity for positive linear maps between Euclidean Jordan Algebras (EJA) that generalizes the notion of purity for quantum systems…”
Get full text
Journal Article -
10
Entailment Relations on Distributions
Published in Electronic proceedings in theoretical computer science (02-08-2016)“…In this paper we give an overview of partial orders on the space of probability distributions that carry a notion of information content and serve as a…”
Get full text
Journal Article -
11
PyZX: Large Scale Automated Diagrammatic Reasoning
Published in Electronic proceedings in theoretical computer science (01-05-2020)Get full text
Journal Article -
12
A Categorical Construction of the Real Unit Interval
Published in Electronic proceedings in theoretical computer science (03-11-2022)Get full text
Journal Article -
13
Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates)
Published in Electronic proceedings in theoretical computer science (12-08-2024)Get full text
Journal Article -
14
Building Qutrit Diagonal Gates from Phase Gadgets
Published in Electronic proceedings in theoretical computer science (16-11-2023)Get full text
Journal Article -
15
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Published in Electronic proceedings in theoretical computer science (30-08-2023)Get full text
Journal Article -
16
A Graphical #SAT Algorithm for Formulae with Small Clause Density
Published in Electronic proceedings in theoretical computer science (12-08-2024)Get full text
Journal Article -
17
Picturing Counting Reductions with the ZH-Calculus
Published in Electronic proceedings in theoretical computer science (30-08-2023)Get full text
Journal Article -
18
Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory
Published in Electronic proceedings in theoretical computer science (06-09-2021)Get full text
Journal Article -
19
Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits
Published in Electronic proceedings in theoretical computer science (12-08-2024)Get full text
Journal Article -
20
The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification
Published in Electronic proceedings in theoretical computer science (30-08-2023)Get full text
Journal Article