Content:
This course will give an introduction to quantum information and quantum computation from the perspective of theoretical computer science.
Topics to be covered will likely include:
- Fundamentals of quantum information: quantum bits, states and operations (unitaries, quantum channels)
- The power of quantum entanglement: nonlocal games, entanglement in mixed states, detecting entanglement
- Entanglement as a resource: superdense coding and teleportation
- Quantum circuit model of computation
- Quantum computing with oracles: Deutsch-Jozsa, Bernstein-Vazirani, Simon
Quantum Fourier transform and phase estimation/ Shor's algorithm - Grover\'s search algorithm and beyond: how to solve SAT on a quantum computer?
- Fundamentals of Quantum Error Correction,
- Entropy and compression
The course should be of interest to students of computer science, mathematics, physics, and related disciplines. Students interested in a BSc or MSc project in quantum information, computing, cryptography, etc. are particularly encouraged to participate.
Learning Outcomes:
You will learn fundamental concepts, algorithms, and results in quantum information and computation. After successful completion of this course, you will know the theoretical model of quantum information and computation, how to generalize computer science concepts to the quantum setting, how to design and analyze quantum algorithms and protocols for a variety of computational problems, and how to prove complexity theoretic lower bounds. You will be prepared for an advanced course or a research or thesis project in this area.
Exam:
The final exam will be a written module exam (180 minutes).
Requirements for the awarding of credit points:
Passed Exam
Requirements:
Familiarity with linear algebra (in finite dimensions) and probability (with finitely many outcomes) at the level of a first Bachelors course; we will briefly remind you of the more difficult bits in class. In addition, some mathematical maturity, since we will discuss precise mathematical statements and rigorous proofs. No background in physics is required.
- Kursleiter/in: Jonas Haferkamp