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]

  What I did! With plots.

  Added on Oct 6

• Coding Session #2 [zip file]

  HHL: Half practice, half homework.

  To be handed over at the end of the class (Nov 6)

  SOME TYPO, SEE BELOW

  Added on Oct 6

• (Partial) Solution for Coding Session #2 [html]

  Solutions for Parts 1, 2 and 3 of the HHL coding session.

  The rest is left as homework!

  Added on Oct 13

• Coding Session #3 [zip file]

  Trotter: only for practice.

  Added on Oct 13

• Solution for Coding Session #3 [html]

  What I did for the lab session on Trotter.

  Added on Oct 20

• Coding Session #4 [zip file]

  Oracle: only for practice.

  Added on Oct 20

• Solution for Coding Session #4 [html] NEW

  What I did for the lab session on Oracle.

  Added on Nov 3

• Coding Session #5 [zip file] NEW

  Optimization and wrap-up.

  Serves as a final project

  To hand over in 2 weeks, on Nov 17.

  Added on Nov 3

Typo in the Homework about HHL

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

• Coding session: HHL.
• End of coding session: homework, to end in on Nov 3rd
• Lecture: Trotterization (Section 5.7)

Oct 13

• Coding session: Trotterization
• Lecture: Oracle encoding (Section 5.2)

Oct 20

• Coding session: Oracle encoding
• Lecture: Discussion on trade-offs and optimization

Nov 3

To come