On successful completion of the course students should be able,
to understand basic concepts of computability and computational complexity;
to understand basic concepts and techniques in quantum algorithmics;
to design and analyse quantum algorithms;
to implement and run quantum algorithms in the Qiskit open-source
software development kit.
- Computability and complexity
- Mathematical backgound: sets, orders, groups.
- Turing machines and computability.
- Computational complexity. Algorithms and complexity classes.
- Complexity in quantum computation.
- Quantum computation and algorithms
- The quantum computational model (gates, measurements, and circuits).
- Introduction to quantum algorithms.
- Algorithms based on phase amplification.
- Algorithms based on the quantum Fourier transform.
- Case studies in quantum algorithmics.
- Quantum programming in Qiskit and other tools.
|Sep 19 (09:00 - 11:00)
||Introduction to the course and its dynamics (slides)
|Sep 19 (11:00 - 13:00)
||Algebra of quantum operations (Exercises 1)
|Sep 26 (11:00 - 13:00)
||Quantum circuit formalism; Quantum projects ( Exercises 2)
Computability and Computational Complexity
H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice
Hall (2nd Ed), 1997.
S. Arora and B. Barak. Computational Complexity: A Modern Approach. Cambridge
University Press, 2009.
C. Moore and S. Mertens The nature of computation. Oxford
University Press, 2011.
Quantum Computation and Algorithms
M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information (10th
Anniversary Edition). Cambridge University Press, 2010
E. Rieffel and W. Polak. Quantum Computing: A Gentle Introduction. MIT Press, 2011.
F. Kaye, R. Laflamme and M. Mosca. An Introduction to Quantum Computing. Oxford University Press, 2007.
N. S. Yanofsky and M. A. Mannucci. Quantum Computing for Computer Scientists. Cambridge
University Press, 2008.
W. Scherer. Mathematics of Quantum Computing. Springer, 2019.
N. S. Yanofsky. The Outer Limits of Reason. MIT Press, 2013.
S. Aaronson. Quantum Computing since Democritus. Cambridge
University Press, 2013.
J. Preskill Quantum Computing in the NISQ era and beyond. Quantum 2, 79, 2018.
Training assignment on programming quantum algorithms (50%)
Three individual (as)synchronous tests (50%) proposed along
the T lectures
Appointments - Renato: Thu, 14:00-18:00 (please send an email the day before).
Email - Renato: nevrenato at gmail dot com
Appointments - Ana: Wed, 14:00-18:00 (please send an email the day before).
Email - Ana: ana dot i dot neri at inesctec dot pt