Spring 2025 - CMPT 981 G100
Special Topics in Theoretical Computing Science (3)
Class Number: 7266
Delivery Method: In Person
Overview
-
Course Times + Location:
Jan 6 – Apr 9, 2025: Thu, 11:30 a.m.–2:20 p.m.
Burnaby
-
Instructor:
Matthew Amy
meamy@sfu.ca
Description
COURSE DETAILS:
Quantum computers in the gate model operate by executing quantum circuits. This seminar-style course aims to broadly explore the techniques, foundational to modern, through which a high-level quantum algorithm may be compiled down to a circuit which can then be run on quantum hardware. Using common quantum algorithmic features as motivation we will delve into different aspects of quantum compilation, including the design, synthesis, and programming of quantum circuits, optimization of circuits, theoretical questions of efficiency, and the simulation and verification of quantum circuits.
Topics
- Quantum circuit theory
- Circuit compilation
- Circuit optimization
- Intermediate representations
- Verification
- Quantum programming
Grading
- Project 40%
- Homework 25%
- Presentations 25%
- Participation 10%
NOTES:
Grading to be finalized and discussed in the first week of class.
REQUIREMENTS:
There are no formal requirements. Knowledge of quantum computing is assumed, but not required. Students without any background in quantum computing should expect to spend the first week or two on independent study to learn the basics. Introductory material will be provided, but not covered in class.
Materials
MATERIALS + SUPPLIES:
Reference Books
- Quantum Computation and Quantum Information, Michael A. Nielsen, Isaac L. Chuang, 2000, 9781107002173
REQUIRED READING NOTES:
Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.
Graduate Studies Notes:
Important dates and deadlines for graduate students are found here: http://www.sfu.ca/dean-gradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.
Registrar Notes:
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
SFU’s Academic Integrity website http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating. Check out the site for more information and videos that help explain the issues in plain English.
Each student is responsible for his or her conduct as it affects the university community. Academic dishonesty, in whatever form, is ultimately destructive of the values of the university. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the university. http://www.sfu.ca/policies/gazette/student/s10-01.html
RELIGIOUS ACCOMMODATION
Students with a faith background who may need accommodations during the term are encouraged to assess their needs as soon as possible and review the Multifaith religious accommodations website. The page outlines ways they begin working toward an accommodation and ensure solutions can be reached in a timely fashion.