Dispositifs quantiques à court terme: complexité, vérification et applications – NISQ-TCS

Nous constatons actuellement des progrès continus dans le développement des technologies quantiques. Ce sont des résultats remarquables en ingénierie et en physique expérimentale bien qu'ils ne permettent pas du calcul quantique universel. Vu leur taille limitée et le fait qu'ils ne sont pas tolérants aux fautes, ils ont été appelés "noisy intermediate-scale quantum devices" (NISQ), et ils jouent un rôle fondamental pour démontrer l'avantage des dispositifs quantiques.

D'un point de vue théorique, les dispositifs NISQ renforcent l'importance de plusieurs questions: Quels modèles non universels de calcul quantique permettent l'avantage quantique? Jusqu'à quel point on peut les simuler de manière classique? Peut-on leur trouver des applications pratiques? ...

Notre objectif dans ce projet est d'étudier les dispositifs NISQ du point de vue de l'informatique théorique, en comblant les écarts entre les expériences de supériorité quantique et notre compréhension de celles-ci.