3A / M2 QMI - QComp - Quantum Programming and Compilation

Summary

This course is given both within M2 QMI and withing 3A CS. The course consists of the following.

• The co-processor model, programming and compiling quantum algorithm. Case studies: QFT and QPE.
• The HHL algorithm.
• Lab session: coding HHL with QisKit.
• Compilation of Hamiltonian Simulation and Trotterization: presentation and discussion of the tradeoffs
• Lab session: implementation of Hamiltonian simulation
• Compilation of oracles: presentation and discussion of the tradeoffs

The lecturer is Benoit Valiron.

The teaching assistants are Benoît Valiron and Matthew Wilson.

The final grade consists in 100% continuous examination (homeworks and final project).

Material

• Course notes v.2025.09.15 [pdf]

  They contain the union of all of the material I present in the various courses I give: we will not cover everything. There are probably many typos, feel free to report them to me so that I can update the document.

  Added on Sep 15

• Coding Session #1 [zip file]

  There is nothing to hand out here.

  It is only for practice.

  Added on Sep 28

• Solutions for Coding Session #1 [html file] NEW

  What I did! With plots.

  Added on Oct 6

• Coding Session #2 [zip file] NEW

  Half practice, half homework.

  To be handed over at the end of the class.

  Added on Oct 6

Other material you might find useful

• One of you suggested a git repository

  A course on quantum algorithm given by Aurél Gábris. You might find it interesting.

  Added on Sep 23

Log of what happened

Sept 22

• Section 2 is assumed known
• Very fast review of Section 3: the quantum co-processor model as a memory model with measurement for readout and quantum circuits for internal operations
• Sections 5.5 and 5.6: QFT and QPE

Sept 29

• Coding session: QPE.
• Lecture: the HHL algorithm (Section 6.3)

Oct 6

To come: Coding session for HHL ; lecture on Trotterization.

Oct 13

To come

Oct 20

To come

Nov 3

To come