Clifford Strategies in Interactive Protocols are Classically Simulatable

TL;DR

This paper demonstrates that Clifford-based quantum strategies in interactive protocols are classically simulatable, leading to the collapse of the associated complexity class and implications for quantum advantage tests.

Contribution

It introduces the Clifford-MIP* class, proves its equivalence to MIP, and resolves an open question about the necessity of multiple provers for quantum advantage in non-local games.

Findings

Clifford-MIP* equals MIP, a class much smaller than RE.

Quantum strategies restricted to Clifford operations can be classically simulated.

Single-round non-local games require multiple provers outside Clifford-MIP* for quantum advantage.

Abstract

$\text{MIP}^\ast$ is the class of languages decidable by an efficient classical verifier interacting with multiple quantum provers that share entangled qubits but cannot communicate. Notably, $\text{MIP}^\ast$ was proved to equal $\text{RE}$, the class of all recursively enumerable languages. We introduce the complexity class $\text{Clifford-MIP}^\ast$, which restricts quantum provers to Clifford operations and classical post-processing of measurement results, while still allowing shared entangled qubits in any quantum state. We show that any strategy in this model can be simulated by classical provers with shared random bits, and therefore admits a local hidden-variable description. Consequently, $\text{Clifford-MIP}^\ast = \text{MIP}$, a vastly smaller complexity class compared to $\text{RE}$. Moreover, we resolve an open question posed by Kalai et al. (STOC 2023), by showing that quantum advantage in any single-round non-local game requires at least two provers operating outside the $\text{Clifford-MIP}^\ast$ computational model. This rules out a proposed approach for significantly improving the efficiency of quantum advantage tests that are based on compiling non-local games into single-prover interactive protocols.