EPiQ
Studying the quantum stack: algorithms, computational models and simulation for quantum computing
Project manager
Simon Perdrix, Inria
Overview
Building on France’s excellent position, the EPiQ project aims to develop the algorithmic techniques available for both NISQ machines and fault-tolerant machines, and to make it easier to put them into practice.
Keywords: Algorithms, complexity, protocols, computational models, formal methods, programming languages, certification, simulation, emulation
In a nutshell
The EPIQ project brings together French researchers working on quantum software. This community is in full development, but already has a high profile and its excellence is internationally recognised. The EPIQ project studies the quantum stack, from quantum algorithms to computation models, programming languages and simulation. Its aim is to understand the power and limits of quantum computing; to facilitate its use by studying the computation models that make the best use of quantum resources; and to develop an environment that enables the potential of these machines to be put to use. The project is structured around 3 Work Packages for :
- Understand the advantages and limitations of quantum computing, whether through research into quantum complexity or the discovery and improvement of algorithms
- Define the framework for quantum computation by introducing high-level languages, comparing computational models and exploiting their relationships to optimise programme execution and save resources
- Develop techniques for simulating quantum machines in order to anticipate the performance of algorithms in noisy regimes, and methods for developing quantum-inspired classical algorithms
The EPIQ project interacts with a number of projects in the national quantum strategy. The initial results obtained as part of this project, in terms of algorithms, resource optimisation techniques, programme verification and physical system simulation, confirm the EPIQ project’s ambitions, and demonstrate the importance of studying the quantum stack in current and future advances in quantum computing.
Challenges
- Studying all the software building blocks required for a quantum processor to function properly, in order to identify constraints and better simulate current machines.
- Developing new algorithms to exceed current capabilities in areas such as machine learning, optimisation and chemistry.
Tasks
- WP0: Project management
- WP1: Algorithms
- WP2: Languages, formal methods and computational models for quantum computing
- WP3: Simulation, emulation, benchmarking, certification
Consortium
- CEA-Irig
- CEA-List
- COSMIQ (Inria)
- Institut de Physique Théorique (CEA)
- Institut de recherche en informatique et systèmes aléatoires (IRISA, CNRS / Université de Rennes)
- Institut de Recherche en Informatique Fondamentale (IRIF, CNRS / Université Paris Cité)
- Institut Franche-Comté Electronique Mécanique Thermique et Optique – Sciences et Technologies (FEMTO-ST, CNRS / SupMicroTech ENSMM / Université Marie et Louis Pasteur / Université de technologie de Belfort Montbéliard)
- Institut Néel (CNRS / Université Grenoble Alpes)
- Laboratoire Bordelais de Recherche en Informatique (LaBRI, Bordeaux INP / CNRS / Université de Bordeaux)
- Laboratoire de Chimie Théorique (LCT, CNRS / Sorbonne Université)
- Laboratoire d’Informatique de Grenoble (LIG, CNRS / Université Grenoble Alpes)
- Laboratoire d’Informatique et des Systèmes (LIS, Aix-Marseille Université / CNRS)
- Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB, CNRS / Université Bourgogne Europe / Université de technologie de Belfort Montbéliard)
- Laboratoire lorrain de recherche en informatique et ses applications (LORIA, CNRS / Université Lorraine)
- Laboratoire Méthodes Formelles (LMF, CNRS / ENS Paris Saclay / Université Paris Saclay)
- Laboratoire Modélisation et Exploration des Matériaux (MEM, CEA / Université Grenoble Alpes)
- Laboratoire PHotonique ELectronique et Ingénierie QuantiqueS (PHELIQS, CEA / Université Grenoble Alpes)
- LIP6 (CNRS / Sorbonne Université)
- Matherials (MATHematics for MatERIALS, Inria / Écolex Nationale des Ponts et Chaussées)
- Mocqua (Inria / CNRS / Université de Lorraine)
- PACAP (Performance des Applications par la Compilation et l’Architecture des Processeurs, Inria)
- QInfo (Inria / ENS de Lyon / Université Claude Bernard / Université Grenoble Alpes)
- Quacs (Inria / Université Paris Saclay)