|
CMSC 858O On the Foundation of End-to-End Quantum Applications, Fall 2021: Syllabus
Tentative Topics delivered by the instructor (subject to frequent updates)
Topic 1 (3 lectures) : Multiplicative Weight Update and its Application in Quantum Computing
Topic 2 (3 lectures) : On the Training of Variational Quantum Methods
Topic 3 (2 lectures) : Some Fundamentals of Quantum Programming Languages
Topic 4 (2 lectures) : Formal Verification of Quantum Computing
Topic 5 (2 lectures) : Data Abstraction/Structures in (Quantum) Algorithm Design
Topic 6 (3 lectures) : Quantum Hardware (super-conducting) and Analog Quantum Computing
Tentative Syllabus (subject to frequent updates)
Suggested reading materials are collected at ELMS for each lecture.
Week 1 (Aug 30 - Sep 3): Introduction of the course. Review of some fundamentals.
Week 2 (Sep 6 - Sep 10): Instructor's Lecture - Topic 1
Lecture 3 (09/07/21): Survey of Multiplicative Weight Updates. Reading: TOC Survey
Lecture 4 (09/09/21): Matrix Multiplicative Weight Updates (MMWU).
Logistics: Please submit your preference in lecture note scribing by 09/08/21 at ELMS.
Week 3 (Sep 13 - Sep 17): Instructor's Lecture - Topic 1 & 2
Lecture 5 (09/14/21): Matrix Multiplicative Weight Updates’ applications in Quantum Computing. Readings. QIP=PSPACE Quantum SDP solvers
Lecture 6 (09/16/21): Introduction to Variational Quantum Methods.
Logistics: Please bid for your paper and time slots by 09/19/21 at ELMS.
Week 4 (Sep 20 - Sep 24): Instructor's Lecture - Topic 2
Week 5 (Sep 27 - Oct 1): Instructor's Lecture - Topic 3
Lecture 9 (09/28/21): Opportunities for Research of Programming Languages in Quantum Computing.
Lecture 10 (09/30/21): A Brief Introduction to Quantum Hoare Logic.
Logistics: Course project proposals due by 10/01/21.
Week 6 (Oct 4 - Oct 8): Paper Presentation I
Lecture 11 (10/05/21): CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations.
Lecture 12 (10/07/21): On the Principles of Differentiable Quantum Programming Languages; Quantum Graph Neural Networks.
Logistics: Course project finalized by 10/08/21.
Week 7 (Oct 11 - Oct 15): Paper Presentation II
Lecture 13 (10/12/21): On the Compressed-Oracle Technique, and Post-Quantum Security of Proofs of Sequential Work.
Lecture 14 (10/14/21): Quantum Algorithms for Variants of Average-Case Lattice Problems via Filtering.
Logistics:
Week 8 (Oct 18 - Oct 22): Instructor's Lecture - Topic 4
Lecture 15 (10/19/21): Coq's basics w/ the implementation of real, complex, and matrices. Reading: Verified Quantum Computing
Lecture 16 (10/21/21): Verifying quantum algorithms in Coq.
Logistics:
Week 9 (Oct 25 - Oct 29): Paper Presentation III
Lecture 17 (10/26/21): A Grand unification of quantum algorithms.
Lecture 18 (10/28/21): Rational approximations and quantum algorithms with postselection.; Cost function dependent barren plateaus in shallow parametrized quantum circuits.
Logistics:
Week 10 (Nov 1 - Nov 5): Paper Presentation IV
Lecture 19 (11/02/21): q-means: A quantum algorithm for unsupervised machine learning
Lecture 20 (11/04/21): Architecting Noisy Intermediate-Scale Trapped Ion Quantum Computers; Resource-Efficient Quantum Computing by Breaking Abstractions.
Logistics:
Week 11 (Nov 8 - Nov 12): Instructor's Lecture - Topic 5
Lecture 21 (11/09/21): Data-Abstraction and Data Structures in Quantum Computing. Quantum Random Access Memory. Reading: Quantum Random Access Memory
Lecture 22 (11/11/21): Efficient Generation of Quantum States from Classical Data Structures. Reading: Quantum Recommendation Systems
Logistics:
Week 12 (Nov 15 - Nov 19): Instructor's Lecture - Topic 5 & 6
Lecture 23 (11/16/21): Dequantization.
Lecture 24 (11/18/21): Analog Quantum Computing.
Logistics: Course project slides due by 11/18/21.
Week 13 (Nov 22 - Nov 26): Instructor's Lecture - Topic 6
|