Seminar in Theoretical CS, Summer 2024
- 02.01.2024: We are online!
- Slides of introduction (coming soon)
Dates & Deadlines
|Kick-off meeting (CS Department, building E1, 2nd floor, room 4201b)
|Topic preferences due
|Detailed outline due
|Full report due
|Presentation slides due
Note that the full versions of your report and your slides should be your final submission and the camera-ready versions should differ only with regard to minor remarks, comments, and corrections by your supervisor. Please feel free, however, to talk to your supervisor about submitting preliminary versions before the due dates.
Practical quantum computing requires the development of efficient compilers that are able to translate high-level quantum algorithms into quantum circuits that are compatible with some given hardware constraints. The overall goal of a quantum compiler is to modify and rearrange the gates in a given quantum circuit in order to obtain an equivalent circuit with a reduced total gate count after mapping to the native gate set, and more favourable operations in terms of execution resources, fidelity, and runtime. Thus, the main purpose of a quantum compiler is to translate ideal quantum gate operations used in quantum algorithms into machine-level operations under constraints that arise from the special nature of quantum computers, to fight against the loss of quantum information due to decoherence effects. This involves techniques for synthesising (small) quantum circuits, low-level qubit control, and quantum error correction. The aim of this seminar is to give an overview of related approaches.
Basic knowledge in Data Structures and Algorithms as well as Formal Languages and Automata Theory is expected. Experience with Compiler Construction and/or Quantum Computing is helpful. The following lists gives some background information:
- Andrew Helwer: Quantum Computing for Computer Scientists (tutorial video by Microsoft Research on quantum computing from a computer science perspective, including a live demo on a real-world quantum computer. The slides are available here.)
- IBM Quantum Learning (courses on quantum computing)
- Background information on quantum computing (collection of links to background material)
- John Preskill: Quantum Computing in the NISQ era and beyond. Quantum 2(79), 2018 (easy-to-read review paper on the potential applications of quantum algorithms)
- Jack D. Hidary: Quantum Computing: An Applied Approach. Springer, 2019 (textbook)
- Abhijith J. et al: Quantum Algorithm Implementations for Beginners. ACM, 2022 (journal paper)
- Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati: Quantum Compiling. Springer, 2022 (overview chapter in book on “Quantum Computing Environments“)
The following list gives a (still incomplete) overview of the topics.
Registration to the seminar is handled via the SuPra system.
You can access the grading scheme here.
- Report template (coming soon)
- Presentation template (coming soon)
- How to Write a Seminar Paper
- Ethische Richtlinien für das Verfassen wissenschaftlicher Arbeiten
- How to Give Presentations
- Introduction to LaTeX