Thèse soutenue

Manier le ZX-calcul : flexsymétrie, systèmes ouverts et limandes
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Titouan Carette
Direction : Emmanuel JeandelSimon Perdrix
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance le 23/11/2021
Etablissement(s) : Université de Lorraine
Ecole(s) doctorale(s) : École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine
Partenaire(s) de recherche : Laboratoire : Laboratoire lorrain de recherche en informatique et ses applications
Jury : Président / Présidente : Paul-André Melliès
Examinateurs / Examinatrices : Emmanuel Jeandel, Simon Perdrix, Paweł Sobociński, Aleks Kissinger, Caroline Collange, Miriam Backens
Rapporteurs / Rapporteuses : Paul-André Melliès, Paweł Sobociński

Résumé

FR  |  
EN

Cette thèse concerne l'application de langages graphiques à l'informatique quantique. Par langages graphiques on entends l'usage de diagrammes, très similaire au circuits, représentant des évolutions de systèmes quantique. La thèse introduit ces langages dans le formalisme de la théorie des catégories et s’intéresse en particulier a un langage : le ZX-calcul, ainsi qu'a ses proche parent le ZW-calcul et le ZH-calcul. La notion de flexsymmetrie est introduite, décrivant des diagrammes dont les entrés et sorties sont toutes interchangeables entre elles. La notion et ensuite utilisée pour classifier tout les langage similaire au ZX-calcul. Il est montré que les seuls langages admissibles sont le ZX-calcul, le ZW-calcul et le ZH-calcul. Ensuite est abordée la question de l'extension de ces langages au cas de systèmes mixtes classique-quantique. Une construction catégorique générale est proposée et est utilisée pour étendre les différent langages. Enfin la thèse introduit des notations permettant de représenter de manière compact des algorithmes quantiques mettant en jeux des diagrammes arbitrairement grand. Afin d'en éprouver l'efficacité, ces notations sont utilisé pour montrer graphiquement la correction de différents algorithmes quantiques.