2 papers
quant-ph2025
MIPco=coRE
Junqiao Lin
In 2020, a landmark result by Ji, Natarajan, Vidick, Wright, and Yuen showed that MIP*, the class of languages that can be decided by a classical verifier interacting with multiple…
quant-ph2025
Tracially embeddable strategies: Lifting MIP* tricks to MIPco
Junqiao Lin
We prove that any two-party correlation in the commuting operator model can be approximated using a tracially embeddable strategy, a class of strategies defined on a finite tracial…