Quantum Computation and Quantum Information
Prof. Ryan O'DonnellMathematical development of quantum circuits, entanglement, quantum query complexity, phase estimation, Shor's factoring algorithm, quantum channels, and quantum error correction.
Syllabus
17Lecture 1: 10^500 Parallel Universes (15-859BB)
This lecture introduces the foundational concepts of quantum mechanics relevant to computation, setting the stage for understanding the vast computational space of quantum systems.
Lecture 2: Rotate, Compute, Rotate (15-859BB)
The session delves into the geometric interpretation of quantum operations, illustrating how rotations in state space underpin fundamental quantum computations and transformations.
Lecture 3: Understanding and Measuring One Qubit (15-859BB)
This lecture provides a thorough examination of single-qubit states, including measurement postulates and the probabilistic outcomes inherent in quantum observation.
Lecture 4: Unitary Transformations and the Elitzur--Vaidman Bomb (15-859BB)
The lecture covers unitary transformations as the backbone of quantum gates and explores the Elitzur-Vaidman bomb tester, demonstrating interaction-free measurement principles.
Lecture 5: Multi-Qubit Systems (15-859BB)
The lecture extends qubit concepts to multi-qubit systems, introducing tensor products and entangled states, which are crucial for understanding quantum parallelism.
Lecture 6: Partial Measurements and Spooky Action at a Distance (15-859BB)
This session examines the implications of partial measurements on entangled states and delves into the concept of quantum nonlocality, famously termed 'spooky action at a distance'.
Lecture 7: The CHSH Game (15-859BB)
This lecture introduces the Clauser-Horne-Shimony-Holt (CHSH) game, a seminal protocol used to test Bell inequalities and demonstrate quantum correlations beyond classical limits.
Lecture 8: No Cloning Theorem, and Quantum Teleportation (15-859BB)
The no-cloning theorem is proven, establishing a fundamental limitation in quantum information. The lecture then details the mechanism of quantum teleportation, bypassing this restriction.
Lecture 9: Quantum Money (15-859BB)
This lecture explores the concept of quantum money, illustrating how the no-cloning theorem can be leveraged to create unforgeable currency, ensuring cryptographic security.
Lecture 10: Basics of Quantum Computing (15-859BB)
This session lays out the fundamental principles of quantum computing, including quantum circuits, universal gate sets, and the foundational models of computation.
Lecture 11: Revealing XOR-patterns I (15-859BB)
The lecture introduces the Deutsch-Jozsa algorithm as a primitive example of quantum speedup, demonstrating how to reveal hidden XOR-patterns with fewer queries than classical methods.
Lecture 12: Revealing XOR-patterns II (15-859BB)
Continuing from the previous lecture, this session deepens the analysis of quantum algorithms for identifying hidden XOR-patterns, building towards more complex oracle problems.
Lecture 13: Simon's Algorithm (15-859BB)
This lecture presents Simon's algorithm, a key quantum algorithm that demonstrates exponential speedup over classical algorithms for finding hidden periods in Boolean functions.
Lecture 14: The Fourier Transform over Z_n (15-859BB)
The session provides a comprehensive treatment of the Fourier Transform over Z_n, a crucial mathematical tool underpinning many advanced quantum algorithms, including Shor's.
Lecture 15: Period-Finding (Simon's Algorithm over Z_N) (15-859BB)
Building on Simon's algorithm, this lecture generalizes period-finding techniques for functions over Z_N, directly preparing students for Shor's factoring algorithm.
Lecture 16: Shor's Factoring Algorithm (15-859BB)
This pivotal lecture details Shor's algorithm, demonstrating its polynomial-time efficiency for integer factorization and its profound implications for classical cryptography.
Lecture 17: The Hidden Subgroup Problem (15-859BB)
The lecture frames Shor's and Simon's algorithms within the broader context of the Hidden Subgroup Problem, an abstract mathematical challenge central to quantum algorithmic design.
















