Nonlocality as a Benchmark for Universal Quantum Computation in Ising Anyon Topological Quantum Computers

TL;DR

This paper establishes a practical benchmark linking the ability to violate Bell inequalities with the potential for universal quantum computation using Ising anyon-based topological quantum computers, emphasizing the role of non-stabilizer operations.

Contribution

It introduces a simple, experimentally feasible benchmark to identify non-stabilizer operations that enable universal quantum computation in Ising anyon systems.

Findings

Violation of Bell inequality implies potential for universal quantum computation.

Any noisy non-stabilizer operation enabling Bell violation can be used for UQC.

Benchmark involves measuring expectation values of two Pauli measurements per qubit.

Abstract

An obstacle affecting any proposal for a topological quantum computer based on Ising anyons is that quasiparticle braiding can only implement a finite (non-universal) set of quantum operations. The computational power of this restricted set of operations (often called stabilizer operations) has been studied in quantum information theory, and it is known that no quantum-computational advantage can be obtained without the help of an additional non-stabilizer operation. Similarly, a bipartite two-qubit system based on Ising anyons cannot exhibit non-locality (in the sense of violating a Bell inequality) when only topologically protected stabilizer operations are performed. To produce correlations that cannot be described by a local hidden variable model again requires the use of a non-stabilizer operation. Using geometric techniques, we relate the sets of operations that enable universal quantum computing (UQC) with those that enable violation of a Bell inequality. Motivated by the fact that non-stabilizer operations are expected to be highly imperfect, our aim is to provide a benchmark for identifying UQC-enabling operations that is both experimentally practical and conceptually simple. We show that any (noisy) single-qubit non-stabilizer operation that, together with perfect stabilizer operations, enables violation of the simplest two-qubit Bell inequality can also be used to enable UQC. This benchmarking requires finding the expectation values of two distinct Pauli measurements on each qubit of a bipartite system.