Questions tagged [mip-star]

The (pending-peer review) proof of $MIP^\ast=RE$ in this pre-print has been hailed as a significant breakthrough. The significance of this result is addressed by Henry Yuen (one of the authors) in this blog post. Scott Aaronson also lists some of…

The complexity class $\mathrm{MIP^*}$ includes the set of languages that can be efficiently verified by a classical, polynomially-bounded verifier, engaging with two quantum provers that can share (potentially infinite) entanglement, but are…

Provided that $\mathsf{MIP}^*=\mathsf{RE}$ there can be Bell inequalities that have violations achievable only for infinite dimensional quantum systems (vide discussions in Post1 and Post2). Does this implies that this kind of behaviour, once found,…

MIP* is the multi-prover interactive proof system where provers can share arbitrary many entanglements. My question is what is the relationship between MIP*[$\log(n),O(1)$] and NP? MIP*[$\log(n),O(1)$] means the question length is $\log(n)$ and the…