# MIP* = RE

@article{Ji2021MIPR, title={MIP* = RE}, author={Zhengfeng Ji and Anand Natarajan and Thomas Vidick and John Wright and Henry S. Yuen}, journal={Communications of the ACM}, year={2021}, volume={64}, 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…

## Figures and Tables from this paper

## 72 Citations

### On the complexity of zero gap MIP

- Mathematics, Computer ScienceICALP
- 2020

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

- Mathematics
- 2020

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

- MathematicsQuantum
- 2021

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

- Mathematics
- 2020

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

- Mathematics, Physics
- 2020

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

- Physics
- 2020

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

- Physics
- 2021

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

- Mathematics
- 2020

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

- MathematicsAlgorithms
- 2020

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

- Mathematics
- 2022

. 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…

## References

SHOWING 1-10 OF 99 REFERENCES

### NEEXP in MIP

- Computer ScienceFOCS 2019
- 2019

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

- Computer Science2012 IEEE 53rd Annual Symposium on Foundations of Computer Science
- 2012

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

- Computer ScienceElectron. Colloquium Comput. Complex.
- 2018

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

- Mathematics2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)
- 2018

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

- Mathematics2008 23rd Annual IEEE Conference on Computational Complexity
- 2008

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

- MathematicsQuantum
- 2020

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

- MathematicsSTOC
- 2017

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)

- MathematicsCommunications in Mathematical Physics
- 2019

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

- Mathematics, Computer ScienceArXiv
- 2020

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

- Mathematics, Computer ScienceICALP
- 2020

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)$.