[논문 리뷰] MIP*=RE

Zhengfeng Ji, Anand Natarajan외 3명|arXiv (Cornell University)|2020. 01. 13.

Quantum Computing Algorithms and Architecture인용 수 33

한 줄 요약

본 논문은 MIP* (entangled-prover interactive proofs) equals RE (recursively enumerable languages), 를 보인다. 이를 위해 Halting 문제에 대한 인터랙티브 프루프를 구성하고 압축 프레임워크를 사용한다; 그 결과 entangled-value 의사결정 문제는 결정 불가능해지며 Tsirelson’s problem에 부정적으로 해결된다.

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.

연구 동기 및 목표

• MIP* 프레임워크와 양자 상호작용 증명에서의 의의에 대해 동기를 부여하고 형식화한다.
• Show that MIP*(2,1) captures RE by reducing Halting to entangled nonlocal games.
• 압축, introspection, 그리고 저차수 테스트를 활용하여 결정 불가능한 entangled-value 문제를 구성한다.
• Tsirelson’s problem과 Connes’ Embedding Conjecture에 대한 결과를 도출한다.

제안 방법

• Define and analyze quantum and classical correlation sets Cqs, Cqa, and Cqc.
• Introduce a compression procedure for a family of normal-form nonlocal games to preserve entangled value across scales.
• Construct an infinite family of nonlocal games G_M,n such that val*(G_M,n) distinguishes halting vs non-halting M.
• Use introspection and quantum low-degree tests to robustly self-test distributions and enable the compression framework.
• Iteratively apply the compression to obtain a fixed-point game GM with val*(GM)=1 iff M halts.
• Show that undecidability of the entangled value implies a negative answer to Tsirelson’s problem and Connes’ Embedding Conjecture.

실험 결과

연구 질문

• RQ1 Can RE be captured by a one-round two-prover interactive proof system with entangled provers?
• RQ2 Does there exist an efficient reduction from the Halting problem to deciding the entangled value of a two-prover nonlocal game?
• RQ3 What are the implications of MIP* = RE for Tsirelson’s problem and Connes’ Embedding Conjecture?
• RQ4 Can a compression/introspection framework overcome the gap limitations in prior MIP* constructions?

주요 결과

• MIP* equals RE, giving MIP* = RE as a complete characterization of entangled-prover interactive proofs.
• There exists an efficient reduction from the Halting problem to deciding whether a two-player nonlocal game has entangled value 1 or at most 1/2.
• An explicit separation shows the closure of quantum tensor-product correlations is strictly contained in quantum commuting correlations, refuting Tsirelson’s problem.
• The results imply Connes’ Embedding Conjecture is false via established connections to von Neumann algebras.
• A synchronous/ PCC strategy witnesses val*(GM)=1 in halting cases, underpinning the compression-based Halting proof.