Scientific context

If it were to happen in its most promising form, the quantum computer would constitute a major breakthrough for many of the algorithms used within the industry. This concerns algorithms as varied as the resolution of partial differential equations, the simulation of molecules, combinatorial optimization, machine learning or financial mathematics.

The development of quantum algorithms follows drastically different rules and logic than those used in the development of classical algorithms.

Moreover, the maturity of the technology means that questions that a classical algorithmicist has stopped asking are once again relevant in the quantum world. Error correction, circuit representation formalism, data encoding or circuit compilation are all questions that are still open and that need to be adapted to the case under study. In the absence of machines, a deep theoretical work is carried out by the scientific community to address not only these questions, but also questions in quantum algorithms, quantum complexity classes, quantum information theory and quantum formal methods.

Contents

During this summer school, we will go beyond the first introductions to quantum computation and we will discuss notions such as error correction, the latest advances in quantum algorithms as well as the representation formalism of quantum circuits. In particular, we will present

• A general introduction to quantum computing
• Advances in optimization and combinatorial search
• An overview of the technologies
• Quantum formal methods
• The ZX Calculus
• Quantum walks and their use in the numerical solution of partial differential equations
• Error correction and quantum volume concepts
• Code compilation & languages
• Quantum Learning Theory
• Practiccal works and implementation and use on simple cases

provisional program

Monday
9h-10h30 Introduction (J. M Torres (IBM))
10h45-12h30 Error Control (V. Savin (CEA))
13h30 – 14h OVH Cloud Quantum access F. Bouton (OVH)
14h00-15h30 Error Control (V. Savin (CEA))
16h00-17h30 Panorama of Technologies (O. Ezratty)

Tuesday
9h-12h Quantum Walks and PDEs (F. Debbasch)
13h30 – 14h GENCI and HQI Cloud Access (P. Deniel (CEA))
14h -17h00 Practical Session (Jean Sennelart (Quandela))
17h30 – 18h00 – Quantum Communication (TBD)
19h00 – Diner

Wednesday
9h-12h30. From Programming Language to Low Level interfaces, (B. Valiron (Ecole Centrale))
13h30 – 15h00 Verification of Quantum Programs (C. Chareton (CEA))
15h30 -17h00 Optimisation and Quantum Circuits Synthesis (Simon Martiel (IBM))

Thursday
9h-12h30 Quantum Control, N. Amini (Ecole Centrale Supelec)
13h30 – 14h00 Quantum @ EDF
14h -17h30 Practical Work (Mauro Darcangelo (Pasqal))

Friday
9h-10h45 Quantum Operations Research (P. Lacomme)
11h00-12h45 : Quantum Operations Research (S. Louise)
13h45 – 15h15 : MyQLM (Robert Wang (Eviden))
15h15-15h30 : Pause
15h30 -17h00 MyQLM (Robert Wang (Eviden))

Practical information

Date

July 3 – July 7, 2023

Place

EDF Lab
Paris-Saclay
Boulevard Gaspard Monge
91120 Palaiseau

Registration

If you wish to participate, please fill the registration form and send it before June, 9, 2023 to Régis Vizet.

Contacts

Summer schools secretary
Régis Vizet – CEA
tel: 01 69 26 47 45
Fax: 01 69 26 70 05

Coordinators of the computer science 2023 school
Joseph Mikael
Christian Gamrat
Fabrice Rastello
Simon Perdrix
Harold Ollivier

Registration fees (pre-tax price)

CEA, EDF, industry: 1200 euros
Academia / university & public research: 600 euros
Ph.D. students (a limited number): 300 euros