• current month / next month
• this year / past

• Fri 11:00-12:00, 6-310
  Farhi Group Meeting
  contact: Eddie Farhi
• Fri 1:30-2:30, 6C-442
  Quantum Information Processing Seminar (subscribe to their email announcement list)
  
• Tue 4:15, 32-124 (Stata Center)
  Theory of Computation Seminar
  
• Thu 4:15, 10-250
  Dept. of Physics Colloquium

other seminars:

• CTP seminars
• RLE optics & quantum electronics seminar
• Center for Ultracold Atoms seminar
• EECS seminars
• LIDS seminars
• Boston Area Physics Calendar

:: Fri 4/20/18, 1:30pm in 6C-442

Urmila Mahadev (Berkeley)
Classical Verification of Quantum Computations

We present the first protocol allowing a classical computer to interactively verify the result of an efficient quantum computation. We achieve this by constructing a measurement protocol, which enables a classical verifier to ensure that the quantum prover holds an n qubit quantum state, and correctly reports the results of measuring it in a basis of the verifier's choice. This is enforced based on the assumption that the learning with errors problem is computationally intractable for efficient quantum machines.

home :: people :: seminars :: courses :: visitors :: links