Fall 2022 - CMPT 409 D100

Special Topics in Theoretical Computing Science (3)

Quantum Circuits & Compilation

Class Number: 5250

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 7 – Dec 6, 2022: Tue, 12:30–2:20 p.m.
    Burnaby

    Sep 7 – Dec 6, 2022: Fri, 12:30–1:20 p.m.
    Burnaby

  • Prerequisites:

    CMPT 307 with a minimum grade of C-.

Description

CALENDAR DESCRIPTION:

Current topics in theoretical computing science depending on faculty and student interest.

COURSE DETAILS:

Quantum computers in the gate model operate by executing quantum circuits. This 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. It will cover the basics of gate model quantum computation then delve into different aspects of the quantum compilation stack, including the design and synthesis of quantum circuits, optimization of circuits, theoretical questions of efficiency, and the simulation and verification of quantum circuits.

Topics

  • Gate-model quantum computation
  • Circuit synthesis
  • Circuit optimization
  • Circuit routing
  • Quantum compilers
  • Intermediate representations
  • Verification

COURSE-LEVEL EDUCATIONAL GOALS:

Students will be evaluated through a mixture of homework assignments, paper presentations, and a final project. More details to be discussed in the first week of 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.

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