MIP* = RE

DOI10.1145/3485628zbMATH Open1503.68075arXiv2001.04383OpenAlexW3209192400MaRDI QIDQ5871067FDOQ5871067

Authors:

Publication date: 25 January 2023

Published in: Communications of the ACM (Search for Journal in Brave)

Abstract: We show that the class MIP* of languages that can be decided by a classical verifier interacting with multiple all-powerful quantum provers sharing entanglement is equal to the class RE of recursively enumerable languages. Our proof builds upon the quantum low-degree test of (Natarajan and Vidick, FOCS 2018) and the classical low-individual degree test of (Ji, et al., 2020) by integrating recent developments from (Natarajan and Wright, FOCS 2019) and combining them with the recursive compression framework of (Fitzsimons et al., STOC 2019). An immediate byproduct of our result is that there is an efficient reduction from the Halting Problem to the problem of deciding whether a two-player nonlocal game has entangled value $1$ or at most $1/2$. Using a known connection, undecidability of the entangled value implies a negative answer to Tsirelson's problem: we show, by providing an explicit example, that the closure $C_{qa}$ of the set of quantum tensor product correlations is strictly included in the set $C_{qc}$ of quantum commuting correlations. Following work of (Fritz, Rev. Math. Phys. 2012) and (Junge et al., J. Math. Phys. 2011) our results provide a refutation of Connes' embedding conjecture from the theory of von Neumann algebras.

Full work available at URL: https://arxiv.org/abs/2001.04383

Recommendations

• Reverse \(L_p\)-dual Minkowski's inequality
• MiPSP and MaPSP for prevariational inequalities with set-valued mappings
• scientific article; zbMATH DE number 1820715
• Two-step MIR inequalities for mixed integer programs
• Partial convexification of general mips by Dantzig-Wolfe reformulation
• Representability in mixed integer programming. I: Characterization results
• scientific article; zbMATH DE number 3886082
• \(M(r,s)\)-inequality for \(\mathcal{K}(X,Y)\) in \(\mathcal{L}(X,Y)\)
• On the existence and uniqueness of solution of MRE and applications

Mathematics Subject Classification ID

Operator spaces and completely bounded maps (46L07) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Quantum measurement theory, state operations, state preparations (81P15) Quantum coherence, entanglement, quantum correlations (81P40) Complexity of computation (including implicit computational complexity) (03D15) Tensor products of (C^*)-algebras (46L06)

Cited In (23)

• Dimension-free entanglement detection in multipartite Werner states
• From operator algebras to complexity theory and back
• On extreme points of sets in operator spaces and state spaces
• Tutorial on rational rotation \(C^*\)-algebras
• Flexible Hilbert-Schmidt stability versus hyperlinearity for property (T) groups
• On amenable Hilbert-Schmidt stable groups
• Further \(\exists{\mathbb{R}} \)-complete problems with PSD matrix factorizations
• 3XOR games with perfect commuting operator strategies have perfect tensor product strategies and are decidable in polynomial time
• Many bounded versions of undecidable problems are \textsf{NP}-hard
• State polynomials: positivity, optimization and nonlinear Bell inequalities
• The quantum-to-classical graph homomorphism game
• An elementary proof of the inequality \(\chi \leq \chi^\ast\) for conditional free entropy
• The degree one Laguerre-Pólya class and the shuffle-word-embedding conjecture
• A formalization of the CHSH inequality and Tsirelson's upper-bound in Isabelle/HOL
• Real algebraic geometry with a view toward Koopman operator methods. Abstracts from the workshop held March 12--17, 2023
• Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem
• Interactive proofs with approximately commuting provers
• Certifying optimality of Bell inequality violations: noncommutative polynomial optimization through semidefinite programming and local optimization
• Quantum proof systems for iterated exponential time, and beyond
• \(\mathrm{C}^\ast\)-algebras. Abstracts from the workshop held August 7--13, 2022
• The space of traces of the free group and free products of matrix algebras
• Geometry and optimization in quantum information. Abstracts from the workshop held October 3--9, 2021 (hybrid meeting)
• Uniformly super McDuff \(\mathrm{II}_1\) factors

This page was built for publication: MIP* = RE

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5871067)