YoVDO

Classical Verification of Quantum Computations

Offered By: Simons Institute via YouTube

Tags

Quantum Computing Courses Cryptography Courses Theoretical Computer Science Courses Superposition Courses Post-Quantum Cryptography Courses

Course Description

Overview

Explore a comprehensive lecture on the classical verification of quantum computations delivered by Urmila Mahadev from UC Berkeley. Delve into the challenges of quantum computation, comparing classical and quantum computers, and examine verification methods through interactive proofs. Learn about relaxations and verification using post-quantum cryptography, focusing on core primitives and superposition creation. Understand the verification outline, including Hadamard and standard basis measurements, and the measurement protocol definition and soundness. Investigate the quantum analogue of NP and verification with a quantum verifier. Study the measurement protocol construction, testing, and delegation of Hadamard and standard basis measurements. Gain insights into soundness intuition, hardcore bit properties, and the process of proving soundness in the measurement protocol.

Syllabus

Intro
Classical versus Quantum Computers
Verification through Interactive Proofs
Relaxations
Verification with Post Quantum Cryptography
Core Primitive
How to Create a Superposition Over a Claw
Verification Outline
Hadamard and Standard Basis Measurements
Measurement Protocol Definition
Measurement Protocol Soundness
Using the Measurement Protocol for Verification
Quantum Analogue of NP
Verification with a Quantum Verifier
Measurement Protocol Construction
Measurement Protocol Testing
Delegating Hadamard Basis Measurements
Measurement Protocol So Far
Delegating Standard Basis Measurements
Soundness Intuition: Example of Cheating Prover
Hardcore Bit Properties
How to Prove Soundness: Measurement Protocol
Conclusion


Taught by

Simons Institute

Related Courses

Intro to Computer Science
University of Virginia via Udacity
Quantum Mechanics for IT/NT/BT
Korea University via Open Education by Blackboard
Emergent Phenomena in Science and Everyday Life
University of California, Irvine via Coursera
Quantum Information and Computing
Indian Institute of Technology Bombay via Swayam
Quantum Computing
Indian Institute of Technology Kanpur via Swayam