Quantum delegation with an off-the-shelf device

CS/Math Seminar - Yuming Zhao, IQC

Given that reliable cloud quantum computers are becoming closer to reality, the concept of delegation of quantum computations and its verifiability is of central interest. Many models have been proposed, each with specific strengths and weaknesses. Here we put forth a new model where the client trusts only its classical processing, makes no computational assumptions, and interacts with a quantum server in a single round. In addition, during a set-up phase, the client specifies the size n of the computation and receives an untrusted, off-the-shelf (OTS) device that is used to report the outcome of a single constant-sized measurement from a predetermined logarithmic-sized input. In the OTS model, we thus picture that a single quantum server does the bulk of the computations, while the OTS device is used as an untrusted and generic verification device, all in a single round.
   
In this talk, I'll show how the delegation of quantum computations can be achieved in the OTS model, and furthermore how to make this protocol zero-knowledge. I will also present an enhanced version of a well-known stability result due to Gowers and Hatami and show how it completes a common argument used in self-testing.

Based on arXiv:2304.03448, joint work with Anne Broadbent and Arthur Mehta

Join Zoom Meeting
https://uwaterloo.zoom.us/j/95023048446?pwd=aStWcXNxcVZSU1d2aXZQY3hrOWhKUT09

Meeting ID: 950 2304 8446
Passcode: 258339