Online Seminar: Prof Zhengfeng Ji, UTS QSI
The characterisation of the power of quantum multi-prover interactive proof systems
Spooky complexity at a distance
SPEAKER Prof. Zhengfeng Ji,
AFFILIATION: UTS Centre for Quantum Software and Information
HOSTED BY: Hosted by Prof. Sven Rogge CQC2T Colloquiums
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.
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.
Zoom links:
Join from PC, Mac, Linux, iOS or Android: https://zoom.uts.edu.au/j/5678009000
Meeting ID: 567 800 9000