AQIS '20: Zhengfeng Ji, Spooky complexity at a distance

SPEAKER: Professor Zhengfeng Ji
AFFILIATION: Centre for Quantum Software and Information, University of Technology Sydney, Australia
TITLE: Spooky complexity at a distance
SESSION CHAIR: Professor Michael Bremner, University of Technology Sydney, Australia

ABSTRACT:
In this talk, I will discuss the recent result on the characterisation of the power of quantum multi-prover interactive proof systems, MIP*=RE (arXiv:2001.04383). After a brief setup of the problem, we will highlight its rich connections and implications to problems in computer science, quantum physics, and mathematics, including the Tsirelson’s problem and Connes’ embedding problem. In the second half of the talk, we will outline the overall proof strategy and introduce several key techniques employed in the proof.