Calcul Quantique Distribué : Algorithmes et Implémentations – DisQC

Bien que théoriquement réalisables, les algorithmes quantiques, la couche la plus élevée d'un écosystème d'informatique quantique distribuée, sont généralement considérés comme un sujet à long terme. En effet, il est communément admis que nous devrons d'abord construire de circuits de portes quantiques universelles avec une grande fidélité, puis mettre en œuvre des corrections d'erreurs quantiques. Malheureusement, la taille actuelle des ordinateurs quantiques et le contrôle imparfait du traitement de l'information quantique limitent considérablement les possibilités offertes par les dispositifs quantiques à court terme. Pour disposer d'un calcul quantique fiable, il est donc important d'étudier des schémas numériques précis et d'optimiser la taille et la profondeur des circuits. Les marches quantiques et leur généralisation, les automates cellulaires quantiques, constituent un sujet doublement stratégique à cet égard. Premièrement, elles ont été utilisées comme cadre mathématique pour exprimer de nombreux algorithmes quantiques. Deuxièmement, ils constituent une architecture prometteuse qui offre naturellement un degré de tolérance aux fautes en raison des interactions à courte portée, limitant la propagation des erreurs. Des fortes collaborations interdisciplinaires sont nécessaires pour relever les défis de l'informatique quantique tolérante aux fautes et pour acquérir de meilleures connaissances sur la manière d'y parvenir. Le projet vise à réunir des experts scientifiques des disciplines de l'informatique quantique et des algorithmes distribués afin de travailler ensemble dans le but commun 1) d'explorer et d'exploiter davantage les synergies entre ces domaines, 2) de comprendre comment le calcul quantique distribuée interagit avec des architectures distribués en presence de bruit à moyen et 3) long terme et 4) developer nouveaux algorithmes.