Nous discutons certains liens reliant les paradigmes classique et quantique non pas en tentant d'établir comment l'un se résout á l'autre, mais plutôt en montrant un certain enchevêtrement, une intrication entre ces deux mondes. Aprés avoir discuté de l'incidence du classique sur le quantique, par exemple dans la construction des objets dynamiques, nous montrons comment des traces quantiques peuvent perdurer á la limite classique. Nous établissons enfin comment les deux notions si ''typées" d'imprédictibilité (classique) et d'indéterminisme (quantique) se superpose dans certaines situations.
Nous discutons certains liens reliant les paradigmes classique et quantique non pas en tentant d'établir comment l'un se résout á l'autre, mais plutôt en montrant un certain enchevêtrement, une intrication entre ces deux mondes. Aprés avoir discuté de l'incidence du classique sur le quantique, par exemple dans la construction des objets dynamiques, nous montrons comment des traces quantiques peuvent perdurer á la limite classique. Nous établissons enfin comment les deux notions si ''typées" d'imprédictibilité (classique) et d'indéterminisme (quantique) se superpose dans certaines situations.
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.
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.
Dynamique hors-équilibre des systèmes quantiques maximalement chaotiques Cette thèse porte sur l’étude de la dynamique hors-équilibre des systèmes quantiques à N-corps maximalement chaotiques. Le chaos est un élément clé du processus de thermalisation des systèmes quantiques. Une mesure possible du chaos est la vitesse à laquelle l’information se propage et se brouille à travers un système. Le taux auquel ce brouillage se produit est en réalité borné, et les systèmes maximalement chaotiques sont ceux au taux le plus élevé. Le modèle de Sachdev-Ye-Kitaev (SYK) constitue un exemple type de système maximalement chaotique, amplement étudié ces dernières années. Ce modèle a la particularité de ne posséder aucune description en terme de quasi-particules, une propriété particulièrement interessante pour l’étude de la phase de métal étrange des supraconducteurs à haute température. Le modèle SYK présente également des liens étroits avec la physique des trous noirs. Dans cette thèse, nous cherchons à analyser comment le chaos maximal ansi que l’absence de quasi-particules peuvent affecter les propriétés dynamiques d’un système quantique dans diverses situations hors-équilibre. Dans un premier temps, nous étudions la dynamique après un quench d’une version déformée du modèle SYK, qui présente à l’équilibre une transition entre un comportement de liquide de Fermi et de non-liquide de Fermi. Nous résolvons les équations du mouvement numériquement et nous montrons que le système atteint l’équilibre thermodynamique après le quench. Nous montrons également que le changement de comportement entre liquide de Fermi et non-liquide de Fermi s’observe dans l’état stationnaire thermalisé, ainsi que dans la dynamique vers cet état. Dans un second temps, nous examinons si un système maximalement chaotique, comme le modèle SYK, peut agir comme un reservoir d’énergie efficace pour un autre système quantique. Nous montrons par des méthodes numériques et analytiques qu’il existe en effet un régime de paramètres pour lesquels la dynamique vers l’équilibre thermodynamique du système en contact avec le réservoir est plus rapide si le réservoir est maximalement chaotique que s’il est composé de particules sans interactions comme habituellement supposé. Dans un troisième temps, nous analysons le transport d’énergie entre deux reservoirs thermiques décrits par le modèle SYK et couplés par une jonction de petite taille sans interactions. Nous établissons une expression exacte pour la densité de courant d’énergie dans la limite thermodynamique, et nous montrons que les propriétés de criticalité quantique du modèle SYK ont une forte influence sur la dépendance en température de la conductivité thermique. Enfin, dans la dernière partie nous explorons les connections entre les systèmes maximalement chaotiques et le comportement non-liquide de Fermi en calculant le taux de brouillage de l’information pour le modèle de Kondo multicanal sur-écranté dans la limite de grand spin et de grand nombre de canaux. Nous montrons que le taux de brouillage dépend du rapport entre la taille du spin et le nombre de canaux, et que le chaos maximal est atteint lorsque ce rapport est égal à l’unité.
Depuis une dizaine d'annees, le calcul quantique est un domaine de recherche tres actif. Surtout depuis le fameux algorithme de factorisation de nombres en temps polynomial par un ordinateur quantique (shor 95) la recherche dans cette discipline a declenche. Mon travail porte sur deux aspects du calcul quantique lies a l'algorithmique et a la cryptographie quantiques. Algorithmique : nous initions l'etude de la generalisation des marches aleatoires sur les graphes finis au monde quantique. La methode des chaines de markov, basee sur l'echantillonnage rapide d'une distribution probabilistique a permis de resoudre efficacement une grande classe de problemes en informatique classique. En quantique, de telles marches aleatoires ne convergent pas a priori vers une distribution stationnaire. Neanmoins en relaxant les definitions de facon appropriee, nous obtenons des mesures de vitesse pour lesquelles la marche quantique se disperse. Nous etablissons des definitions (comme temps de melange) donnant un sens theorique aux chaines de markov quantiques. Nous demontrons que sur le modele du cercle, les mesures de vitesse de convergence sont quadratiquement plus rapides que dans le cas classique. Nous etablissons des bornes inferieures de l'acceleration quantique sur les graphes generaux. Cryptographie : nous etudions l'enchevetrement quantique sous trois aspects : - nous analysons la possibilite de convertir des etats quantiques enchevetres par des moyens locaux ou encore par l'utilisation d'information stockee cachee : nous montrons que des etats localement iso spectraux ne peuvent pas etre convertis entre eux localement. Ceci donne lieu a un nouveau protocole du secret-sharing. - nous etablissons un nouveau critere pour determiner si un etat quantique donne est enchevetre (base sur la theorie de majoration probabiliste). - nous etudions le comportement d'un modele physique pour le clonage quantique et demontrons son optimalite.