L’intrication quantique est un des phénomènes les plus intéressants et intriguant en Mécanique Quantique, et de surcroît en Théorie de l’Information Quantique. Ressource fondamentale pour le calcul quantique, son rôle dans l’efficacité et la fiabilité des protocoles ou algorithmes quantiques n’est toujours pas totalement compris. Dans cette thèse, nous étudions l’intrication quantique des états multipartites, et notamment la nature de sa présence dans les algorithmes quantiques. L’étude de l’intrication se fait d’un point de vue théorique, en utilisant principalement des outils issus de la géométrie algébrique.Nous nous intéressons alors aux algorithmes de Grover et de Shor et déterminons quelles sont les classes d’intrication présentes (ou non) dans ces algorithmes, et ceci constitue donc une étude qualitative de l’intrication. De plus, nous mesurerons l’intrication quantitativement, à l’aide de mesures algébriques et géométriques, et étudions son évolution tout au long des différentes étapes de ces algorithmes. Nous proposons également des interprétations géométriques originales de ces résultats numériques.D’autre part, nous cherchons également à développer et exploiter de nouveaux outils pour mesurer, caractériser et classifier l’intrication quantique. Ceci se fait dans un premier temps d’un point de vue mathématique en étudiant les singularités des hypersurfaces liées aux systèmes quantiques pour caractériser différentes classes d’intrication. Dans un second temps, nous proposons des candidats pour les états maximalement intriqués, notamment pour les états symétriques et fermioniques, en utilisant des polynômes invariants et une mesure géométrique de l’intrication pour quantifier l’intrication. Enfin, nous avons également adopté une approche de type Machine Learning, notamment en entraînant des réseaux de neurones artificiels de manière supervisée, afin de reconnaitre certaines variétés algébriques modélisant certains types d’intrication précis.
L’intrication quantique est un des phénomènes les plus intéressants et intriguant en Mécanique Quantique, et de surcroît en Théorie de l’Information Quantique. Ressource fondamentale pour le calcul quantique, son rôle dans l’efficacité et la fiabilité des protocoles ou algorithmes quantiques n’est toujours pas totalement compris. Dans cette thèse, nous étudions l’intrication quantique des états multipartites, et notamment la nature de sa présence dans les algorithmes quantiques. L’étude de l’intrication se fait d’un point de vue théorique, en utilisant principalement des outils issus de la géométrie algébrique.Nous nous intéressons alors aux algorithmes de Grover et de Shor et déterminons quelles sont les classes d’intrication présentes (ou non) dans ces algorithmes, et ceci constitue donc une étude qualitative de l’intrication. De plus, nous mesurerons l’intrication quantitativement, à l’aide de mesures algébriques et géométriques, et étudions son évolution tout au long des différentes étapes de ces algorithmes. Nous proposons également des interprétations géométriques originales de ces résultats numériques.D’autre part, nous cherchons également à développer et exploiter de nouveaux outils pour mesurer, caractériser et classifier l’intrication quantique. Ceci se fait dans un premier temps d’un point de vue mathématique en étudiant les singularités des hypersurfaces liées aux systèmes quantiques pour caractériser différentes classes d’intrication. Dans un second temps, nous proposons des candidats pour les états maximalement intriqués, notamment pour les états symétriques et fermioniques, en utilisant des polynômes invariants et une mesure géométrique de l’intrication pour quantifier l’intrication. Enfin, nous avons également adopté une approche de type Machine Learning, notamment en entraînant des réseaux de neurones artificiels de manière supervisée, afin de reconnaitre certaines variétés algébriques modélisant certains types d’intrication précis.
L’intrication quantique est un des phénomènes les plus intéressants et intriguant en Mécanique Quantique, et de surcroît en Théorie de l’Information Quantique. Ressource fondamentale pour le calcul quantique, son rôle dans l’efficacité et la fiabilité des protocoles ou algorithmes quantiques n’est toujours pas totalement compris. Dans cette thèse, nous étudions l’intrication quantique des états multipartites, et notamment la nature de sa présence dans les algorithmes quantiques. L’étude de l’intrication se fait d’un point de vue théorique, en utilisant principalement des outils issus de la géométrie algébrique.Nous nous intéressons alors aux algorithmes de Grover et de Shor et déterminons quelles sont les classes d’intrication présentes (ou non) dans ces algorithmes, et ceci constitue donc une étude qualitative de l’intrication. De plus, nous mesurerons l’intrication quantitativement, à l’aide de mesures algébriques et géométriques, et étudions son évolution tout au long des différentes étapes de ces algorithmes. Nous proposons également des interprétations géométriques originales de ces résultats numériques.D’autre part, nous cherchons également à développer et exploiter de nouveaux outils pour mesurer, caractériser et classifier l’intrication quantique. Ceci se fait dans un premier temps d’un point de vue mathématique en étudiant les singularités des hypersurfaces liées aux systèmes quantiques pour caractériser différentes classes d’intrication. Dans un second temps, nous proposons des candidats pour les états maximalement intriqués, notamment pour les états symétriques et fermioniques, en utilisant des polynômes invariants et une mesure géométrique de l’intrication pour quantifier l’intrication. Enfin, nous avons également adopté une approche de type Machine Learning, notamment en entraînant des réseaux de neurones artificiels de manière supervisée, afin de reconnaitre certaines variétés algébriques modélisant certains types d’intrication précis.
Le développement de machines quantiques de tailles modestes accessibles en ligne permet aujourd'hui de réaliser des expériences sur des calculateurs à distance. L'avantage de l'informatique quantique repose sur des phénomènes strictement non classiques, tels que la superposition et l'intrication, qui sont des ressources maintenant bien connues. Le phénomène non-classique de la contextualité est peut-être moins bien établi bien qu'il ouvre aussi des perspectives très intéressntes à travers de nombreuses applications telles que la cryptographie quantique, les codes d'accès aléatoires, les codes correcteurs d'erreurs et l'avantage du coût de la mémoire pour la simulation des mesures quantiques. L'objectif de cette thèse est triple : développer de nouveaux tests résistants au bruit pour démontrer la contextualité avec des ordinateurs quantiques bruités d'échelle intermédiaire ; concevoir des algorithmes quantiques pour calculer les limites classiques de ces tests, avec une meilleure complexité par rapport aux algorithmes existants ; interpreter les invariants algébriques, utilisés pour distinguer les classes d'intrication, en termes d'observables à base d'opérateurs de Pauli. À ces fins, l'utilisation de configurations géométriques telles que les espaces polaires symplectiques et leurs sous-géométries est largement exploitée, permettant d'établir un lien solide entre le domaine, relativement ancien des géométries finies, et les concepts plus récents de la théorie de l'information quantique. Pour le premier objectif, nous utilisons l'apport de la géométrie pour fournir des tests de contextualité qui violent largement les limites classiques sur tous les ordinateurs quantiques IBM. Ces tests démontrent empiriquement l'absence de modèles à variables cachées non contextuelles décrivant le système sous-jacent. C'est un résultat d'intérêt ontologique. Plus précisément, il s'agit de la première violation connue du jeu de pseudotélépathie de Mermin sur de telles machines, et des plus grandes violations du test de Rio Negro. Concernant le deuxième objectif, nous nous appuyons sur les symétries de nos géométries pour construire un algorithme quantique basé sur l'algorithme de recherche de Grover. Cet algorithme identifie une affectation optimale de variables cachées classiques avec une complexité comparable à l'algorithme de Grover. Un tel avantage algorithmique est intéressant dans une grande famille de problèmes, connus sous le nom de Max Lin 2, où plusieurs contraintes sur un ensemble de données ne peuvent pas être satisfaites simultanément. Ainsi, l'étude de la contextualité - qui peut être vue comme une limitation de la satisfaction logique pour décrire les systèmes physiques - peut apporter de nouvelles perspectives à des problèmes où la satisfaction d'instruction logique simultanée n'est pas viable. Enfin, pour le troisième objectif, nous proposons de nombreuses connexions entre les géométries finies et les invariants algébriques, en commençant par des liens entre les quadrangles généralisés et les invariants cubiques de Cartan, puis en montrant comment les géométries maximalement mixtes permettent de reconstruire les polynômes de Mermin, et finalement en décrivant les sous-ensembles minimaux d'opérateurs de Pauli qui permettent de calculer les hyperdéterminants. On peut ainsi, grâce à ces invariants, identifier la classe d'intrication de systèmes de qubits N=2,3,4 par des mesures sans avoir besoin d'une tomographie complète du système. En résumé dans cette thèse, nous abordons une grande variété de questions à l'intersection de la géométrie finie et de l'informatique quantique - de la conception de tests de contextualité à l'étude de la non-localité à travers des invariants algébriques en passant par le calcul quantique de bornes classiques. Les idées proposées dans ce travail pourront être utiles à la fois pour l'étude des fondements de la mécanique quantique et pour son application à l'informatique quantique.
L'information quantique est un nouveau domaine de la physique, qui consiste à employer les systèmes quantiques dans le calcul et la transmission de l'information. Cette thèse est consacrée à l'étude de certains aspects théoriques de l'information quantique. Les ordinateurs quantiques utilisent les lois de la mécanique quantique pour exécuter des calculs d'une manière bien plus efficace que les ordinateurs existants. Les ordinateurs quantiques envisageables dans la pratique seraient influencés par des perturbations diverses. Parmi ces sources de perturbations, les interactions résiduelles statiques (indépendantes du temps) à l'intérieur de l'ordinateur sont connues pour être les plus dangereuses dans le sens où elles peuvent s'ajouter de façon cohérente, tandis que les autres perturbations ont la forme d'un bruit aléatoire avec une moyenne égale à zéro. Nous étudions, dans les cas de deux calculs quantiques très différents, l'efficacité des ordinateurs quantiques en présence d'imperfections statiques. Nous trouvons le domaine des paramètres dans lequel l'ordinateur quantique est robuste en présence des imperfections. Une des raisons fondamentales de l'efficacité extraordinaire de l'ordinateur quantique et de l'existence d'autres applications de l'information quantique est l'effet de l'intrication quantique. L'intrication consiste dans l'impossibilité de considérer un état pur générique d'un système quantique composé comme le simple produit des états purs de ses sous-systèmes. Dans cette thèse nous étudions certaines propriétés importantes d'une certaine mesure quantitative d'intrication largement utilisée. Nous considérons également l'entropie informationnelle moyenne des états quantiques, puis nous trouvons une expression explicite pour cette quantité et étudions ses propriétés les plus importantes.
Contextualité quantique, géométries finies & informatique quantique Le développement de machines quantiques de tailles modestes accessibles en ligne permet aujourd'hui de réaliser des expériences sur des calculateurs à distance. L'avantage de l'informatique quantique repose sur des phénomènes strictement non classiques, tels que la superposition et l'intrication, qui sont des ressources maintenant bien connues. Le phénomène non-classique de la contextualité est peut-être moins bien établi bien qu'il ouvre aussi des perspectives très intéressntes à travers de nombreuses applications telles que la cryptographie quantique, les codes d'accès aléatoires, les codes correcteurs d'erreurs et l'avantage du coût de la mémoire pour la simulation des mesures quantiques. L'objectif de cette thèse est triple : développer de nouveaux tests résistants au bruit pour démontrer la contextualité avec des ordinateurs quantiques bruités d'échelle intermédiaire ; concevoir des algorithmes quantiques pour calculer les limites classiques de ces tests, avec une meilleure complexité par rapport aux algorithmes existants ; interpreter les invariants algébriques, utilisés pour distinguer les classes d'intrication, en termes d'observables à base d'opérateurs de Pauli. À ces fins, l'utilisation de configurations géométriques telles que les espaces polaires symplectiques et leurs sous-géométries est largement exploitée, permettant d'établir un lien solide entre le domaine, relativement ancien des géométries finies, et les concepts plus récents de la théorie de l'information quantique. Pour le premier objectif, nous utilisons l'apport de la géométrie pour fournir des tests de contextualité qui violent largement les limites classiques sur tous les ordinateurs quantiques IBM. Ces tests démontrent empiriquement l'absence de modèles à variables cachées non contextuelles décrivant le système sous-jacent. C'est un résultat d'intérêt ontologique. Plus précisément, il s'agit de la première violation connue du jeu de pseudotélépathie de Mermin sur de telles machines, et des plus grandes violations du test de Rio Negro. Concernant le deuxième objectif, nous nous appuyons sur les symétries de nos géométries pour construire un algorithme quantique basé sur l'algorithme de recherche de Grover. Cet algorithme identifie une affectation optimale de variables cachées classiques avec une complexité comparable à l'algorithme de Grover. Un tel avantage algorithmique est intéressant dans une grande famille de problèmes, connus sous le nom de Max Lin 2, où plusieurs contraintes sur un ensemble de données ne peuvent pas être satisfaites simultanément. Ainsi, l'étude de la contextualité - qui peut être vue comme une limitation de la satisfaction logique pour décrire les systèmes physiques - peut apporter de nouvelles perspectives à des problèmes où la satisfaction d'instruction logique simultanée n'est pas viable. Enfin, pour le troisième objectif, nous proposons de nombreuses connexions entre les géométries finies et les invariants algébriques, en commençant par des liens entre les quadrangles généralisés et les invariants cubiques de Cartan, puis en montrant comment les géométries maximalement mixtes permettent de reconstruire les polynômes de Mermin, et finalement en décrivant les sous-ensembles minimaux d'opérateurs de Pauli qui permettent de calculer les hyperdéterminants. On peut ainsi, grâce à ces invariants, identifier la classe d'intrication de systèmes de qubits N=2,3,4 par des mesures sans avoir besoin d'une tomographie complète du système. En résumé dans cette thèse, nous abordons une grande variété de questions à l'intersection de la géométrie finie et de l'informatique quantique - de la conception de tests de contextualité à l'étude de la non-localité à travers des invariants algébriques en passant par le calcul quantique de bornes classiques. Les idées proposées dans ce travail pourront être utiles à la fois pour l'étude des fondements de la mécanique quantique et pour son application à l'informatique quantique.
L'étude des structures fondamentales du traitement de l'information quantique est un défi majeur, dont l'un des objectifs est de mieux cerner les capacités et les limites de l'ordinateur quantique, tout en contribuant à sa réalisation physique notamment en s'intéressant aux ressources du calcul quantique. Les ressources d'un calcul quantique incluent le temps et l'espace mais également la taille des opérations utilisées et la quantité d'intrication. Cette thèse contribue de plusieurs manières à la recherche de ressources minimales dans le cadre de modèles de calcul quantique ouvrant de prometteuses perspectives de réalisations physiques. Ces modèles sont le calcul par consommation d'intrication et le calcul par mesures projectives. Cette thèse a également permis de réduire les ressources en temps et en espace nécessaires à la préparation de certains états quantiques, les états graphes. Etudier la réduction des ressources nécessite l'abstraction et la formalisation des modèles de calcul quantique mettant en évidence les structures même du traitement de l'information quantique. Le q-calcul et les machines de Turing contrôlées classiquement, introduits dans cette thèse, ont cet objectif. Des modèles plus spécifiques au calcul par consommation d'intrication, ou au calcul par mesures projectives sont également considérés.
Cette thèse explore la mesure de l'intrication dans certains états hypergraphiques, dans certains algorithmes quantiques tels que les algorithmes quantiques d'estimation de phase et de comptage, ainsi que dans les circuits d'agents réactifs, à l'aide de la mesure géométrique de l'intrication, d'outils issus des polynômes de Mermin et des matrices de coefficients. L'intrication est un concept présent en physique quantique qui n'a pas d'équivalent connu à ce jour en physique classique.Le coeur de notre recherche repose sur la mise en place de dispositifs de détection et de mesure de l'intrication afin d'étudier des états quantiques du point de vue de l'intrication.Dans cette optique, des calculs sont d'abord effectués numériquement puis sur simulateur et ordinateur quantiques. Effectivement, trois des outils exploités sont implémentables sur machine quantique, ce qui permet de comparer les résultats théoriques et "réels".