We characterize the power of two-prover one-round (MIP(2,1)) proof systems, showing that MIP(2,1)=NEXPTIME. However, the following intriguing question remains open: Does parallel repetition decrease the error probability of MIP(2,1) proof systems?.
No takes yet. Share an insight, caveat, or question.
Feige et al. (1992) studied this question.
Synapse has enriched 3 closely related papers on similar clinical questions. Consider them for comparative context: