title:
Quantum Computing
Calcul quantique
manager:
Frédéric Magniez
ects:
3
period:
1
hours:
24
weeks:
8
hours-per-week:
3
language:
English on request
lang:
track:
C
themes:
Quantum, Complexity, Algorithms
number:
2.34.1
year:
2024, 2025

Course Description

Overview

Each year, computing machines become faster and faster, but they still fundamentally rely on Newtonian physics. As early as 1982, Feynman questioned the necessity of this restriction to classical physics. The idea behind quantum computation is to use quantum phenomena to solve tasks that conventional machines cannot achieve.

Quantum computing has become a standard topic in modern computer science. The tools developed for designing, analyzing, and understanding quantum algorithms are now widely used in complexity and algorithms, including cryptography, whether they are distributed, randomized, and not necessarily quantum.

Historically, the first result demonstrating the superiority of the quantum model was in cryptography. In 1984, Bennett and Brassard introduced the first quantum protocol for perfectly secure key distribution. Such unconditional security does not exist in the classical world. Later, the intrinsic property of nonlocality, such as Bell’s inequalities, was also exploited for various communication games like the CHSH games. Their studies opened a new field of research at the interface of complexity and nonlocality.

Following the pioneering work of Deutsch in 1985, Bernstein and Vazirani discovered an efficient universal quantum Turing machine in 1993. This led to a series of revolutionary algorithms. One notable example is Shor's algorithm in 1994 for factoring large integers, a problem considered hard and on which the security of several modern public key cryptographic protocols, such as RSA and Diffie-Hellman, is based. Another significant algorithm is Grover's search algorithm from 1996, which can quadratically speed up most heuristic algorithms.

Currently, many important concepts of theoretical computer science have been extended to quantum computation, encompassing areas from communication to algorithms and error-correcting codes. With the advent of near-term quantum devices, developed by well-known industrial groups and startups, there is also a push to create software based on these new tools to solve emerging industrial use cases.

Course objectives

The aim of this course is to present the fundamentals of several concepts in quantum computation. We will describe the basics of quantum information and computation, along with a range of both simple and significant applications in computer science.

The objectives are twofold. First, this course is a recommended prerequisite before attending more advanced classes in quantum algorithms. Second, it will serve as a solid foundation, which is now a standard worldwide, for any scientist interested in topics such as randomized algorithms, complexity, distributed computing, and cryptography.

This course is also part of the Quantum technologies Graduate School of Université Paris Cité. As a consequence, a joint QuanTech seminar is offered to MPRI students.

Prerequisites

Algorithms, basic notions in computational complexity, basic notions in linear algebra and probabilities.

This course is a recommended prerequisite for the two other quantum courses

It is also related to the MPRI themes

Organization

Class format and schedule

Teaching team

Outline of the course

  1. Single qubits: state, measurement, transformations, quantum key distribution (BB84), Deutsch algorithm
  2. Multiple qubits: tensor product, entanglement, partial measurement, super dense coding, teleportation, CHSH game, Bell and Tsirelson inequalities
  3. Quantum algorithms: circuit computational model, universal set of gates, Hamiltonian simulation
  4. Complexity classes: simulation (BPP in BQP, BQP in PSPACE), oracle separation (Deutsch-Jozsa, Bernstein-Vazirani)
  5. Quantum Fourier transform: phase estimation, period finding
  6. Shor's algorithm, hidden subgroup problem
  7. Grover's algorithm, amplitude amplification, collision finding
  8. Lower bounds for query complexity: adversary and polynomial methods

Evaluation modalities

Tentative program

Lecture Topics Tutorial / Seminar Seminar Topics
Week 1 09/18, Thursday, 12:45-14:45 Single qubit 09/18, Thursday, 14:45-15:45
Week 2 09/22, Monday, 13:45-15:45 Multiple qubits 09/25, Thursday, 13:00-14:00
Week 3 09/29, Monday, 13:45-15:45 Quantum algorithms 10/02, Thursday, 12:15-14:00, PGG Error correcting codes
Week 4 10/06, Monday, 13:45-15:45 Complexity classes 10/09, Thursday, 12:15-14:00, TBA Nanophotonique quantique
Week 5 10/13, Monday, 13:45-15:45 Quantum Fourier transform 10/16, Thursday, 13:00-14:00
BREAK HOMEWORK
Week 6 11/03, Monday, 13:45-15:45 Shor’s algorithm 11/06, Thursday, 12:15-14:00, TBA Superconducting quantum circuits
Week 7 11/10, Monday, 13:45-15:45 Grover’s algorithm 11/13, Thursday, 13:00-14:00
Week 8 11/17, Monday, 13:45-15:45 Lower bounds for query complexity 11/20, Thursday, 13:00-14:00 Quantum complexity
EXAM 11/27, Thursday, 12:45-15:45, EXAM

References

All materials will be provided in class. Nonetheless, external resources are available to complement the course: