# Quantum Computing 2020/2021

## Table of Contents

## 1 Welcome

Welcome to the webpage of the course "Quantum Computing 2020/2021".

Arguably quantum computing is coming of age. With the race for quantum rising between major IT players (e.g. IBM, Intel, Google, Microsoft), and the announcement of prototype-machines up to 50 qubits until the end of the current year, it seems that we are in the verge of a real shift. For the first time the viability of quantum computing may be demonstrated in a number of real problems extremely difficult to handle, if possible at all, classically, and its utility discussed across industries. In a sense, Feynman’s dream of letting Nature, suitably engineered, compute for us through its own natural quantum behaviour, seems to be closer, even if the project of a universal quantum computer has still a long way to go. In the somehow emphatic language of the media, a ‘second quantum revolution’ is quickly approaching. It is characterised by the ability to harness the most weird quantum phenomena, namely superposition and entanglement, as computational resources, with practical advantage

In such a context, this course introduces, at a doctoral programme level, the foundations of quantum computing, as well as a number of specialised topics on the forefront of research on quantum software engineering.

## 2 Learning outcomes

- To master the principles and main techniques of quantum information and computation;
- To systematically design and analyse quantum algorithms, as well as implement and run them in the Qiskit open-source software development kit;
- To understand the essential elements of quantum programming languages, their current implementations, and associated dynamic logics.

## 3 Dates, syllabus, materials, and contacts

The course is divided in several modules (one per week), as detailed below:

Lecture Nr. - Date - Time | Topic | Lecturer | Room | Bibliography |
---|---|---|---|---|

1 - 12/10/20 - 14h30m - 18h00m |
Quantum Information & Computation | RN | TBD | [1, 2, 3] |

2 - 19/10/20 - 14h30m - 18h00m |
The Circuit Model & Laboratory | LSB | TBD | [1, 2, 3], Qiskit |

3 - 26/10/20 - 14h30m - 18h00m |
Quantum Algorithms & Laboratory | LSB | TBD | [1, 3, 4, 6], Qiskit |

4 - 02/11/20 - 14h30m - 18h00m |
Error-correcting codes | RP | TBD | [12, 13, 14] |

5 - 09/11/20 - 14h30m - 18h00m |
Computability & Complexity | JES | TBD | [7, 8, 5] |

6 - 16/11/20 - 14h30m - 18h00m |
Quantum λ-calculus | JES | TBD | [9, 10,11] |

7 - 07/12/20 - 14h30m - 18h00m |
Logics for quantum programs | RN | TBD | [1, 15, 16] |

8 - 14/12/20 - 14h30m - 18h00m |
Q. Seminar | TBD | TBD | TBD |

Coordinator: Renato Neves.

## 4 Grading

Assessment is based on an individual report on a research topic and a small programming exercise in a quantum programming language (typically Qiskit).

*N.b.* Further than evaluating the student's knowledge on quantum
computing, the goal of this assessment is to hone requisite skills for
a successful research career: namely, to understand the main ideas of
a scientific work, to form a rigorous, critical analysis of it, and to
properly explain ideas/opinions to peers both orally and in written.

## 5 Bibliography

- [1] M. A. Nielsen and I. L. Chuang. Quantum Computation and Quantum Information (10th Anniversary Edition). Cambridge University Press, 2010.
- [2] Mark M. Wilde. Quantum Information Theory. Cambridge University Press, 2017.
- [3] E. Rieffel and W. Polak. Quantum Computing: A Gentle Introduction. Scientific and Engineering Computation. MIT Press, 1992.
- [4] N. David Mermin. Quantum Computer Science: An Introduction. Cambridge University Press, 2007.
- [5] N. S. Yanofsky and M. A. Mannucci. Quantum Computing for Computer Scientists. Cambridge University Press, 2008.
- [6] Mingsheng Ying. Foundations of Quantum Programming. Morgan Kaufmann, Elsevier, 2016.
- [7] S. Arora and B. Barak. Computational Complexity: A Modern Approach. Cambridge University Press, 2009.
- [8] C. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
- [9] J.R. Hindley and J.P. Seldin. Lambda-calculus and Combinators: an Introduction. Cambridge University Press, 2008.
- [10] Ugo Dal Lago, Andrea Masini, and Margherita Zorzi. On a measurement-free quantum lambda calculus with classical control. Mathematical Structures in Computer Science, 19(2):297–335, 2009.
- [11] Peter Selinger and Benoît Valiron. A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Science, 2006.
- [12] R. Hill. A First Course in Coding Theory. Oxford Applied Linguistics. Clarendon Press, 1986.
- [13] Frank Gaitan. Quantum Error Correction and Fault Tolerant Quantum Computing. CRC Press, Inc., Boca Raton, FL, USA, 2007.
- [14] Quantum Error Correction. Cambridge University Press, 2013.
- [15] A. Baltag and S. Smets. Quantum logic as a dynamic logic. Synthese, 179(2):285–306, 2011.
- [16] A. Baltag and S. Smets. The dynamic turn in quantum logic. Synthese, 186(3):753–773, 2012.