title={MIP* = RE},
  author={Zhengfeng Ji and Anand Natarajan and Thomas Vidick and John Wright and Henry S. Yuen},
  journal={Communications of the ACM},
  pages={131 - 138}
Note from the Research Highlights Co-Chairs: A Research Highlights paper appearing in Communications is usually peer-reviewed prior to publication. The following paper is unusual in that it is still under review. However, the result has generated enormous excitement in the research community, and came strongly nominated by SIGACT, a nomination seconded by external reviewers. The complexity class NP characterizes the collection of computational problems that have efficiently verifiable solutions… 

On the complexity of zero gap MIP

This paper proves that $\mathsf{MIP}^*_0$ extends beyond the first level of the arithmetical hierarchy, and in fact is equal to $\Pi_2^0$, the class of languages that can be decided by quantified formulas of the form $\forall y \, \exists z \, R(x,y,z)$.

Quantum no-signalling correlations and non-local games

We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a

Separation of quantum, spatial quantum, and approximate quantum correlations

Quantum nonlocal correlations are generated by implementation of local quantum measurements on spatially separated quantum subsystems. Depending on the underlying mathematical model, various notions

The quantum-to-classical graph homomorphism game

Motivated by non-local games and quantum coloring problems, we introduce a graph homomorphism game between quantum graphs and classical graphs. This game is naturally cast as a "quantum-classical

Thermal states are vital: Entanglement Wedge Reconstruction from Operator-Pushing

We give a general construction of a setup that verifies bulk reconstruction, conservation of relative entropies, and equality of modular flows between the bulk and the boundary, for

Operational characterization of multipartite nonlocal correlations

Nonlocality, one of the most puzzling features of multipartite quantum correlation, has been identified as a useful resource for device-independent quantum information processing. Motivated from the

Undecidability, Fractal Geometry and the Unity of Physics

An uncomputable class of geometric model is described and used as part of a possible framework for drawing together the three great but largely disparate theories of 20th Century physics: general

Universal $\mathrm{C}^*$-algebras with the Local Lifting Property

The Local Lifting Property (LLP) is a localized version of projectivity for completely positive maps between $\mathrm{C}^*$-algebras. Outside of the nuclear case, very few $\mathrm{C}^*$-algebras are

Equivalence of the Frame and Halting Problems

It is proved that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable, and reformulate the Frame Problem as a quantum decision problem, and shows that it is undECidable by any finite quantum computer.

Spectral gap and stability for groups and non-local games

. The word stable is used to describe a situation when mathematical objects that almost satisfy an equation are close to objects satisfying it exactly. We study operator-algebraic forms of stability




The main result of this work is the inclusion of NEEXP (nondeterministic doubly exponential time) in MIP*.

A Multi-prover Interactive Proof for NEXP Sound against Entangled Provers

This work proves a strong limitation on the ability of entangled provers to collude in a multiplayer game, and shows that the correlations produced by any entangled strategy which succeeds in the multilinearity test with high probability can always be closely approximated using shared randomness alone.

Quantum proof systems for iterated exponential time, and beyond

We show that any language solvable in nondeterministic time exp( exp(⋯exp(n))), where the number of iterated exponentials is an arbitrary function R(n), can be decided by a multiprover interactive

Low-Degree Testing for Quantum States, and a Quantum Entangled Games PCP for QMA

We show that given an explicit description of a multiplayer game, with a classical verifier and a constant number of players, it is QMA-hard, under randomized reductions, to distinguish between the

The Quantum Moment Problem and Bounds on Entangled Multi-prover Games

It is proved that a hierarchy of semidefinite programs similar to the one given by Navascues, Pironioand Acin converges to the entangled value of the game and it would follow that the languages recognized by a multi-prover interactive proof system where the provers share entanglement are recursive.

A two-player dimension witness based on embezzlement, and an elementary proof of the non-closure of the set of quantum correlations

A two-player non-local game, with a fixed small number of questions and answers, such that an ϵ-close to optimal strategy requires an entangled state of dimension 2Ω(ϵ−1/8), which provides an elementary proof of the non-closure of the set of quantum correlations, based on embezzlement and self-testing.

Compression of quantum multi-prover interactive proofs

It is established that non local games are provably harder than classical games without any complexity theory assumptions and gap amplification for nonlocal games may be impossible in general.

Non-closure of Quantum Correlation Matrices and Factorizable Channels that Require Infinite Dimensional Ancilla (With an Appendix by Narutaka Ozawa)

We show that there exist factorizable quantum channels in each dimension $$\ge 11$$ ≥ 11 which do not admit a factorization through any finite dimensional von Neumann algebra, and do require ancillas

Quantum soundness of the classical low individual degree test

A variant of the low degree test called the low individual degree test, initially shown to be sound against multiple quantum provers in [Vid16], is analyzed and the main result is that the two-player version of this test is sound against quantumProvers.

On the complexity of zero gap MIP

This paper proves that $\mathsf{MIP}^*_0$ extends beyond the first level of the arithmetical hierarchy, and in fact is equal to $\Pi_2^0$, the class of languages that can be decided by quantified formulas of the form $\forall y \, \exists z \, R(x,y,z)$.