49 citations · 241 across the 29 of their papers we have counts for
23 papers · 1 filter
Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits
Andrew N. Glaudell, Neil J. Ross, John van de Wetering +1
It is known that the matrices that can be exactly represented by a multiqubit circuit over the Toffoli+Hadamard, Clifford+, or, more generally, Clifford-cyclotomic gate set are…
Catalysing Completeness and Universality
Aleks Kissinger, Neil J. Ross, John van de Wetering
A catalysis state is a quantum state that is used to make some desired operation possible or more efficient, while not being consumed in the process. Recent years have seen catalys…
Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates)
Aleks Kissinger, John van de Wetering
This is the second in a series of "graphical grokking" papers in which we study how stabiliser codes can be understood using the ZX-calculus. In this paper we show that certain com…
Optimal compilation of parametrised quantum circuits
John van de Wetering, Richie Yeung, Tuomas Laakkonen +1
Parametrised quantum circuits contain phase gates whose phase is determined by a classical algorithm prior to running the circuit on a quantum device. Such circuits are used in var…
Optimising quantum circuits is generally hard
John van de Wetering, Matt Amy
In order for quantum computations to be done as efficiently as possible it is important to optimise the number of gates used in the underlying quantum circuits. In this paper we fi…
The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality
Patrick Roy, John van de Wetering, Lia Yeh
We introduce the qudit ZH-calculus and show how to generalise all the phase-free qubit rules to qudits. We prove that for prime dimensions d, the phase-free qudit ZH-calculus is un…
Self-duality and Jordan structure of quantum theory follow from homogeneity and pure transitivity
Howard Barnum, Cozmin Ududec, John van de Wetering
Quantum theory satisfies the mathematically powerful property of self-duality, meaning that its state and effect spaces are made isomorphic by an inner product. This is why both qu…
Classically Simulating Quantum Supremacy IQP Circuits through a Random Graph Approach
Julien Codsi, John van de Wetering
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 approach t…
Building Qutrit Diagonal Gates from Phase Gadgets
John van de Wetering, Lia Yeh
Phase gadgets have proved to be an indispensable tool for reasoning about ZX-diagrams, being used in optimisation and simulation of quantum circuits and the theory of measurement-b…
Constructing all qutrit controlled Clifford+T gates in Clifford+T
Lia Yeh, John van de Wetering
For a number of useful quantum circuits, qudit constructions have been found which reduce resource requirements compared to the best known or best possible qubit construction. Howe…
Qutrit metaplectic gates are a subset of Clifford+T
Andrew Glaudell, Neil J. Ross, John van de Wetering +1
A popular universal gate set for quantum computing with qubits is Clifford+T, as this can be readily implemented on many fault-tolerant architectures. For qutrits, there is an equi…
Classical simulation of quantum circuits with partial and graphical stabiliser decompositions
Aleks Kissinger, John van de Wetering, Renaud Vilmart
Recent developments in classical simulation of quantum circuits make use of clever decompositions of chunks of magic states into sums of efficiently simulable stabiliser states. We…
Circuit Extraction for ZX-diagrams can be #P-hard
Niel de Beaudrap, Aleks Kissinger, John van de Wetering
The ZX-calculus is a graphical language for reasoning about quantum computation using ZX-diagrams, a certain flexible generalisation of quantum circuits that can be used to represe…
Spin-networks in the ZX-calculus
Richard D. P. East, Pierre Martin-Dussaud, John Van de Wetering
The ZX-calculus, and the variant we consider in this paper (ZXH-calculus), are formal diagrammatic languages for qubit quantum computing. We show that it can also be used to descri…
A computer scientist's reconstruction of quantum theory
Bas Westerbaan, John van de Wetering
The rather unintuitive nature of quantum theory has led numerous people to develop sets of (physically motivated) principles that can be used to derive quantum mechanics from the g…
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
Aleks Kissinger, John van de Wetering
We introduce an enhanced technique for strong classical simulation of quantum circuits which combines the `sum-of-stabilisers' method with an automated simplification strategy base…
Completeness of the ZH-calculus
Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell +2
There are various gate sets used for describing quantum computation. A particularly popular one consists of Clifford gates and arbitrary single-qubit phase gates. Computations in t…
Constructing quantum circuits with global gates
John van de Wetering
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 consists of arbitrary single-…
Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus
Louis Lemonnier, John van de Wetering, Aleks Kissinger
The ZH-calculus is a complete graphical calculus for linear maps between qubits that admits a straightforward encoding of hypergraph states and circuits arising from the Toffoli+Ha…
An effect-theoretic reconstruction of quantum theory
John van de Wetering
An often used model for quantum theory is to associate to every physical system a C*-algebra. From a physical point of view it is unclear why operator algebras would form a good de…
Quantum Theory is a Quasi-stochastic Process Theory
John van de Wetering
There is a long history of representing a quantum state using a quasi-probability distribution: a distribution allowing negative values. In this paper we extend such representation…
Universal MBQC with generalised parity-phase interactions and Pauli measurements
Aleks Kissinger, John van de Wetering
We introduce a new family of models for measurement-based quantum computation which are deterministic and approximately universal. The resource states which play the role of graph…
Ordering states and channels based on positive Bayesian evidence
John van de Wetering
In this paper we introduce a new partial order on quantum states that considers which states can be achieved from others by updating on `agreeing' Bayesian evidence. We prove that…