EECS Special Seminar: Classical Verification of Quantum Computations

SHARE:

Event Speaker: 

Urmila Mahadev, University of California , Berkeley

Event Location: 

32-G449 Patil/Kiva

Event Date/Time: 

Wednesday, February 6, 2019 - 4:00pm

Abstract
How can quantum computers be classically tested? This challenging question is interesting as a novel question about interactive proofs, as a practical question about the testing of near-term quantum devices, and as a philosophical question about the testing of quantum mechanics in the limit of high complexity.
In this talk, I will show that classical cryptography provides an elegant solution to this question: I will show that it is possible to classically verify quantum computations through interaction by relying on the assumption that quantum machines cannot break the cryptographic problem of learning with errors. This is achieved by constructing a commitment protocol in which a classical string serves as a commitment to an exponentially complex quantum state.
This talk will not assume prior knowledge of quantum computing or cryptography.
Bio
Urmila Mahadev graduated in May 2018 with a Ph.D. in computer science from the University of California, Berkeley and continued as a postdoc. She is interested in quantum computation, complexity theory and cryptography.
Host:  Ronitt Rubinfeld