David Cattanéo - Modélisation combinatoire en informatique quantique

Le formalisme des états graphes  consiste à modéliser  des états quantiques par des graphes. Ce formalisme permet l'utilisation des notions et des outils de théorie des graphes  (e.g. flot, domination, méthodes probabilistes) dans le domaine du traitement de l'information quantique.
Ces dernières années, cette modélisation combinatoire a permis plusieurs avancées décisives,  notamment (i) dans la  compréhension des propriétés de l'intrication quantique; dans (ii) dans l'étude des modèles de calcul particulièrement prometteurs en terme d'implémentation physique; et (iii) dans l'analyse et la construction de protocoles de cryptographie quantique.
L'objectif de cette thèse est d'étudier les propriétés graphiques émergeant des problématiques d'informatique quantique. Seront notamment considérés les problèmes de couverture dans les
graphes avec en particulier des contraintes de parité. Des propriétés invariantes par complémentation locale seront également explorées.