Quantum Circuit Optimization with AlphaTensor

no code implementations • 22 Feb 2024 • 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

A key challenge in realizing fault-tolerant quantum computers is circuit optimization.

Tensor Decomposition

Completeness of the ZH-calculus

no code implementations • 11 Mar 2021 • Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, John van de Wetering, Sal Wolffs

There are various gate sets used for describing quantum computation.

Quantum Physics

Constructing quantum circuits with global gates

no code implementations • 16 Dec 2020 • John van de Wetering

A CNOT gate is however not always the natural multi-qubit interaction that can be implemented on a given physical quantum computer, necessitating a compilation step that transforms these CNOT gates to the native gate set.

Quantum Physics

PyZX: Large Scale Automated Diagrammatic Reasoning

5 code implementations • 9 Apr 2019 • Aleks Kissinger, John van de Wetering

The ZX-calculus is a graphical language for reasoning about ZX-diagrams, a tensor network-like language that can represent arbitrary linear maps between qubits.

Quantum Physics

Entailment Relations on Distributions

no code implementations • 4 Aug 2016 • John van de Wetering

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 generalisation of the Bayesian order given in (Coecke and Martin, 2011).