Quantifying EPR: The Resource Theory of Nonclassicality of Common-Cause Assemblages

Einstein-Podolsky-Rosen (EPR) steering is often (implicitly or explicitly) taken to be evidence for spooky action-at-a-distance. An alternative perspective on steering – endorsed by EPR themselves – is that Alice has no causal influence on the physical state of Bob’s system; rather, Alice merely updates her knowledge of the state of Bob’s system by performing a measurement on a system correlated with his. In this work, we elaborate on this perspective and we are led to a resource-theoretic treatment of correlations in EPR scenarios.

Read Publication
Download PDF

Quantum Measurement-Induced Antiferromagnetic Order and Density Modulations in Ultracold Fermi Gases in Optical Lattices

We show that quantum backaction of weak measurement can be used for tailoring long-range correlations of ultracold fermions, realising quantum states with spatial modulations of the density and magnetisation, thus overcoming usual requirement for a strong interatomic interactions. We propose detection schemes for implementing antiferromagnetic states and density waves. We demonstrate that such long-range correlations cannot be realised with local addressing.

Download PDF

A Universal Completion of the ZX-calculus

In this paper, we give a universal completion of the ZX-calculus for the whole of pure qubit quantum mechanics. This proof is based on the completeness of another graphical language, the ZW-calculus, with direct translations between these two graphical systems.

Download PDF

On the Qubit Routing Problem

We introduce a new architecture-agnostic methodology for mapping abstract quantum circuits to realistic quantum computing devices with restricted qubit connectivity, as implemented by TKET. We present empirical results showing the effectiveness of this method in terms of reducing two-qubit gate depth and two-qubit gate count compared to other implementations.

Download PDF

Structure Optimization for Parameterized Quantum Circuits

We propose an efficient method for simultaneously optimising both the structure and parameter values of quantum circuits with only a small computational overhead. Shallow circuits that use structure optimisation perform significantly better than circuits that use parameter updates alone, making this method particularly suitable for noisy intermediate-scale quantum computers.

Download PDF

Phase Gadget Synthesis for Shallow Circuits

In this paper, we give an overview of the circuit optimisation methods used by TKET. We focus on a novel technique based around phase gadgets presented in ZX-calculus, which makes it easy to reason about them. Taking advantage of this, we present an efficient method to translate the phase gadgets back to ∧X gates and single qubit operations suitable for execution on a quantum computer with significant reductions in gate count and circuit depth.

Download PDF

TKET: A Retargetable Compiler for NISQ Devices

We present TKET, a quantum software development platform produced by Cambridge Quantum. The heart of TKET is a language-agnostic optimising compiler designed to generate code for a variety of NISQ devices, which has several features designed to minimise the influence of device error.

Download PDF

Fast and Effective Techniques for T-count Reduction via Spider Nest Identities

We describe techniques to reduce the T-count based on the effective application of “spider nest identities,” easily recognised products of parity-phase operations which are equivalent to the identity operation. We demonstrate the effectiveness of such techniques by obtaining improvements in the T-counts of a number of circuits in run-times, which are typically less than the time required to make a fresh cup of coffee.

Download PDF