Questions tagged [mip-star]
For questions regarding the complexity class MIP*, the quantum version of the MIP class.
3
questions
5
votes
0
answers
82
views
Consequences of MIP*=RE regarding quantum universality
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 ...
- 2,132
8
votes
1
answer
381
views
Consequences of $MIP^\ast=RE$ Regarding Quantum Algorithms
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 ...
- 3,282
5
votes
1
answer
282
views
Is Connes' Embedding Problem akin to the word problem for finitely presented groups?
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 (...
- 8,476