Quantum proof systems for iterated exponential time, and beyond
Henry Yuen, University of Toronto
An outstanding open question in quantum information theory concerns the computational complexity of nonlocal games. in a nonlocal game, a classical verifier interacts with multiple players that cannot communicate, but are allowed to share entanglement. In a recent breakthrough result, Slofstra showed that the following problem is undecidable: given a nonlocal game, is there a quantum strategy for the players to win with probability 1?
Marc Morin is the co-founder and CEO of Auvik Networks, creators of cloud-based software that makes it dramatically easier for IT managed service providers to monitor and manage their clients' IT networks. A serial entrepreneur, Marc has previously co-founded several successful companies, including PixStream (acquired by Cisco for USD$369 million) and Sandvine (Sold to Francisco Partners for CAD$582 million), and is a seed investor in a number of local tech companies.