John van de Wetering

According to our database, John van de Wetering authored at least 27 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exact Synthesis of Multiqutrit Clifford-Cyclotomic Circuits.

Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Scalable Spider Nests (...Or How to Graphically Grok Transversal Non-Clifford Gates).

Aleks Kissinger, John van de Wetering

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

Quantum Circuit Optimization with AlphaTensor.

Francisco J. R. Ruiz, Tuomas Laakkonen, Johannes Bausch, Matej Balog, Mohammadamin Barekatain, Francisco J. H. Heras, Alexander Novikov, Nathan Fitzpatrick, Bernardino Romera-Paredes, John van de Wetering, Alhussein Fawzi, Konstantinos Meichanetzidis, Pushmeet Kohli

CoRR, 2024

A Graphical #SAT Algorithm for Formulae with Small Clause Density.

Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering

Proceedings of the 21st International Conference on Quantum Physics and Logic, 2024

2023

Optimising T-count is NP-hard.

John van de Wetering, Matt Amy

CoRR, 2023

The Qudit ZH-Calculus: Generalised Toffoli+Hadamard and Universality.

Patrick Roy, John van de Wetering, Lia Yeh

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

The Qupit Stabiliser ZX-travaganza: Simplified Axioms, Normal Forms and Graph-Theoretic Simplification.

Boldizsár Poór, Robert I. Booth, Titouan Carette, John van de Wetering, Lia Yeh

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

Picturing counting reductions with the ZH-calculus.

Tuomas Laakkonen, Konstantinos Meichanetzidis, John van de Wetering

Proceedings of the Twentieth International Conference on Quantum Physics and Logic, 2023

2022

Building Qutrit Diagonal Gates from Phase Gadgets.

John van de Wetering, Lia Yeh

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

Classical Simulation of Quantum Circuits with Partial and Graphical Stabiliser Decompositions.

Aleks Kissinger, John van de Wetering, Renaud Vilmart

Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022

Qutrit Metaplectic Gates Are a Subset of Clifford+T.

Andrew N. Glaudell, Neil J. Ross, John van de Wetering, Lia Yeh

Proceedings of the 17th Conference on the Theory of Quantum Computation, 2022

Constructing All Qutrit Controlled Clifford+T gates in Clifford+T.

Lia Yeh, John van de Wetering

Proceedings of the Reversible Computation - 14th International Conference, 2022

Circuit Extraction for ZX-Diagrams Can Be #P-Hard.

Niel de Beaudrap, Aleks Kissinger, John van de Wetering

Proceedings of the 49th International Colloquium on Automata, Languages, and Programming, 2022

2021

There and back again: A circuit extraction tale.

Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, Leo Lobski, John van de Wetering

Quantum, 2021

A Categorical Construction of the Real Unit Interval.

John van de Wetering

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

2020

The three types of normal sequential effect algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Quantum, 2020

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus.

Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering

Quantum, 2020

Hypergraph Simplification: Linking the Path-sum Approach to the ZH-calculus.

Louis Lemonnier, John van de Wetering, Aleks Kissinger

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

Dichotomy between deterministic and probabilistic models in countably additive effectus theory.

Kenta Cho, Bas Westerbaan, John van de Wetering

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

A characterisation of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

A characterization of ordered abstract probabilities.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

CoRR, 2019

PyZX: Large Scale Automated Diagrammatic Reasoning.

Aleks Kissinger, John van de Wetering

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

An effect-theoretic reconstruction of quantum theory.

John van de Wetering

Compositionality, 2019

2018

Pure Maps between Euclidean Jordan Algebras.

Abraham Westerbaan, Bas Westerbaan, John van de Wetering

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

Quantum Theory is a Quasi-stochastic Process Theory.

John van de Wetering

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

Ordering information on distributions.

John van de Wetering

CoRR, 2017

2016

Entailment Relations on Distributions.

John van de Wetering

Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, 2016