Cette thèse s'attaque à deux problèmes majeurs de l'information quantique: - Comment caractériser efficacement un système quantique? - Comment stocker de l'information quantique? Elle se divise done en deux parties distinctes reliées par des éléments techniques communs. Chacune est toutefois d'un intérêt propre et se suffit à elle-même. Caractérisation pratique des systèmes quantiques. Le calcul quantique exige un très grand contrôle des systèmes quantiques composés de plusieurs particules, par exemple des atomes confinés dans un piège électromagnétique ou des électrons dans un dispositif semi-conducteur. Caractériser un tel système quantique consiste à obtenir de l'information sur l'état grâce à des mesures expérimentales. Or, chaque mesure sur le système quantique le perturbe et doit done être effectuée après avoir repréparé le système de façon identique. L'information recherchée est ensuite reconstruite numériquement à partir de l'ensemble des données expérimentales. Les expériences effectuées jusqu'à présent visaient à reconstruire l'état quantique complet du système, en particulier pour démontrer la capacité de préparer des états intriqués, dans lesquels les particules présentent des corrélations non-locales. Or, la procédure de tomographie utilisée actuellement n'est envisageable que pour des systèmes composés d'un petit nombre de particules. Il est donc urgent de trouver des méthodes de caractérisation pour les systèmes de grande taille. Dans cette thèse, nous proposons deux approches théoriques plus ciblées afin de caractériser un système quantique en n'utilisant qu'un effort expérimental et numérique raisonnable. - La première consiste à estimer la distance entre l'état réalisé en laboratoire et l'état cible que l'expérimentateur voulait préparer. Nous présentons un protocole, dit de certification, demandant moins de ressources que la tomographie et très efficace pour plusieurs classes d'états importantes pour l'informatique quantique. - La seconde approche, dite de tomographie variationnelle, propose de reconstruire l'état en restreignant l'espace de recherche à une classe variationnelle plutôt qu'à l'immense espace des états possibles. Un état variationnel étant décrit par un petit nombre de paramètres, un petit nombre d'expériences peut suffire à identifier les paramètres variationnels de l'état expérimental. Nous montrons que c'est le cas pour deux classes variationnelles très utilisées, les états à produits matriciels (MPS) et l'ansatz pour intrication multi-échelle (MERA). Mémoires quantiques auto-correctrices 2D. Une mémoire quantique auto-correctrice est un système physique préservant de l'information quantique durant une durée de temps macroscopique. Il serait done l'équivalent quantique d'un disque dur ou d'une mémoire flash équipant les ordinateurs actuels. Disposer d'un tel dispositif serait d'un grand interêt pour l'informatique quantique. Une mémoire quantique auto-correctrice est initialisée en préparant un état fondamental, c'est-à-dire un état stationnaire de plus basse énergie. Afin de stocker de l'information quantique, il faut plusieurs états fondamentaux distincts, chacun correspondant à une valeur différente de la mémoire. Plus précisément, l'espace fondamental doit être dégénéré. Dans cette thèse, on s'intéresse à des systèmes de particules disposées sur un réseau bidimensionnel (2D), telles les pièces sur un échiquier, qui sont plus faciles à réalisér que les systèmes 3D. Nous identifions deux critères pour l'auto-correction: - La mémoire quantique doit être stable face aux perturbations provenant de l'environnement, par exemple l'application d'un champ magnétique externe. Ceci nous amène à considérer les systèmes topologiques 2D dont les degrés de liberté sont intrinsèquement robustes aux perturbations locales de l'environnement. - La mémoire quantique doit être robuste face à un environnement thermique. Il faut s'assurer que les excitations thermiques n'amènent pas deux états fondamentaux distincts vers le même état excité, sinon l'information aura été perdue. Notre résultat principal montre qu'aucun système topologique 2D n'est auto-correcteur: l'environnement peut changer l'état fondamental en déplaçant aléatoirement de petits paquets d'énergie, un mécanisme cohérent avec l'intuition que tout système topologique admet des excitations localisées ou quasiparticules. L'intérêt de ce résultat est double. D'une part, il oriente la recherche d'un système auto-correcteur en montrant qu'il doit soit (i) être tridimensionnel, ce qui est difficile à réaliser expérimentalement, soit (ii) être basé sur des mécanismes de protection nouveaux, allant au-delà des considérations énergétiques. D'autre part, ce résultat constitue un premier pas vers la démonstration formelle de l'existence de quasiparticules pour tout système topologique.
Cette thèse s'attaque à deux problèmes majeurs de l'information quantique: - Comment caractériser efficacement un système quantique? - Comment stocker de l'information quantique? Elle se divise done en deux parties distinctes reliées par des éléments techniques communs. Chacune est toutefois d'un intérêt propre et se suffit à elle-même. Caractérisation pratique des systèmes quantiques. Le calcul quantique exige un très grand contrôle des systèmes quantiques composés de plusieurs particules, par exemple des atomes confinés dans un piège électromagnétique ou des électrons dans un dispositif semi-conducteur. Caractériser un tel système quantique consiste à obtenir de l'information sur l'état grâce à des mesures expérimentales. Or, chaque mesure sur le système quantique le perturbe et doit done être effectuée après avoir repréparé le système de façon identique. L'information recherchée est ensuite reconstruite numériquement à partir de l'ensemble des données expérimentales. Les expériences effectuées jusqu'à présent visaient à reconstruire l'état quantique complet du système, en particulier pour démontrer la capacité de préparer des états intriqués, dans lesquels les particules présentent des corrélations non-locales. Or, la procédure de tomographie utilisée actuellement n'est envisageable que pour des systèmes composés d'un petit nombre de particules. Il est donc urgent de trouver des méthodes de caractérisation pour les systèmes de grande taille. Dans cette thèse, nous proposons deux approches théoriques plus ciblées afin de caractériser un système quantique en n'utilisant qu'un effort expérimental et numérique raisonnable. - La première consiste à estimer la distance entre l'état réalisé en laboratoire et l'état cible que l'expérimentateur voulait préparer. Nous présentons un protocole, dit de certification, demandant moins de ressources que la tomographie et très efficace pour plusieurs classes d'états importantes pour l'informatique quantique. - La seconde approche, dite de tomographie variationnelle, propose de reconstruire l'état en restreignant l'espace de recherche à une classe variationnelle plutôt qu'à l'immense espace des états possibles. Un état variationnel étant décrit par un petit nombre de paramètres, un petit nombre d'expériences peut suffire à identifier les paramètres variationnels de l'état expérimental. Nous montrons que c'est le cas pour deux classes variationnelles très utilisées, les états à produits matriciels (MPS) et l'ansatz pour intrication multi-échelle (MERA). Mémoires quantiques auto-correctrices 2D. Une mémoire quantique auto-correctrice est un système physique préservant de l'information quantique durant une durée de temps macroscopique. Il serait done l'équivalent quantique d'un disque dur ou d'une mémoire flash équipant les ordinateurs actuels. Disposer d'un tel dispositif serait d'un grand interêt pour l'informatique quantique. Une mémoire quantique auto-correctrice est initialisée en préparant un état fondamental, c'est-à-dire un état stationnaire de plus basse énergie. Afin de stocker de l'information quantique, il faut plusieurs états fondamentaux distincts, chacun correspondant à une valeur différente de la mémoire. Plus précisément, l'espace fondamental doit être dégénéré. Dans cette thèse, on s'intéresse à des systèmes de particules disposées sur un réseau bidimensionnel (2D), telles les pièces sur un échiquier, qui sont plus faciles à réalisér que les systèmes 3D. Nous identifions deux critères pour l'auto-correction: - La mémoire quantique doit être stable face aux perturbations provenant de l'environnement, par exemple l'application d'un champ magnétique externe. Ceci nous amène à considérer les systèmes topologiques 2D dont les degrés de liberté sont intrinsèquement robustes aux perturbations locales de l'environnement. - La mémoire quantique doit être robuste face à un environnement thermique. Il faut s'assurer que les excitations thermiques n'amènent pas deux états fondamentaux distincts vers le même état excité, sinon l'information aura été perdue. Notre résultat principal montre qu'aucun système topologique 2D n'est auto-correcteur: l'environnement peut changer l'état fondamental en déplaçant aléatoirement de petits paquets d'énergie, un mécanisme cohérent avec l'intuition que tout système topologique admet des excitations localisées ou quasiparticules. L'intérêt de ce résultat est double. D'une part, il oriente la recherche d'un système auto-correcteur en montrant qu'il doit soit (i) être tridimensionnel, ce qui est difficile à réaliser expérimentalement, soit (ii) être basé sur des mécanismes de protection nouveaux, allant au-delà des considérations énergétiques. D'autre part, ce résultat constitue un premier pas vers la démonstration formelle de l'existence de quasiparticules pour tout système topologique.
La recherche en informatique quantique a pris de l’ampleur dans les deux dernières décennies, notamment grâce aux financements massifs des gouvernements et de l’industrie dans les technologies quantiques. L’ordinateur quantique promet de résoudre des problèmes qui jusqu’à présent restaient insurmontables à cause du temps déraisonnable qu’il faudrait pour les résoudre sur les ordinateurs classiques les plus puissants. L’idée de l’ordinateur quantique consiste à utiliser des propriétés quantiques de la matière, telles que l’intrication et la superposition quantique des états, pour effectuer des calculs d’une nouvelle manière. L’informatique quantique requiert un nouveau type d’ordinateur où les bits d’information classique, généralement représentés par la présence ou non de courant à l’entrée d’un transistor, sont remplacés par des bits quantiques aussi appelés qubits, et qui sont représentés par l’état d’un système quantique. De plus, il est nécessaire de développer de nouveaux algorithmes capables d’être implémentés sur un ordinateur quantique et capables de tirer parti de l’avantage quantique. Cette thèse porte sur ces deux composantes complémentaires : la construction de portes logiques, un bloc fondamental de tout ordinateur, et la création de meilleurs algorithmes pour résoudre des problèmes pertinents sur ces machines. Parmi les plateformes les plus avancées pour l’ordinateur quantique, on trouve les circuits supraconducteurs, qui sont la plateforme sur laquelle ont misé Google, IBM, Alice&Bob, Nord Quantique et bien d’autres compagnies. Malgré les avancées des dernières décennies, de nombreux défis restent à être relevés pour que les machines existantes soient en mesure de résoudre des problèmes pertinents et surpassent les ordinateurs classiques. L’un des défis auquel cette thèse s’attaque est la réalisation de portes logiques à deux qubits rapides et à haute fidélité. La rapidité est cruciale pour pouvoir réaliser le plus d’opérations possible avant que les qubits ne perdent leur cohérence quantique, et une haute fidélité est requise pour minimiser les erreurs de calcul et permettre d’implémenter de la correction d’erreurs quantiques. De plus, certains qubits supraconducteurs sont connus pour être affectés par une interaction indésirable, l’interaction ZZ qui, même si relativement faible, affecte la fidélité des portes logiques quantiques, empêchant d’atteindre des fidélités supérieures à 99.9% nécessaires à la correction d’erreurs. En parallèle avec l’amélioration des composantes de l’ordinateur quantique, il est important de développer des applications pour ce nouveau type de machine. Parmi les approches étudiées, les algorithmes quantiques variationnels (VQA) sont ceux qui sont les plus susceptibles d’être déployés sur les ordinateurs quantiques de petites tailles existants. Ce sont des algorithmes hybrides qui nécessitent à la fois de la puissance de calcul classique et quantique. Ces algorithmes semblent prometteurs pour résoudre de nombreux problèmes concrets d’intérêt industriel, comme obtenir les propriétés de molécules ou trouver les solutions de problèmes d’optimisation combinatoire. En effet, ces problèmes peuvent être formulés sous forme d’un Hamiltonien et résolus en déterminant son état fondamental. Dans ce but, les VQAs utilisent un circuit quantique paramétré appelé ansatz, dont les paramètres sont optimisés pour s’approcher de l’état fondamental. Un premier défi consiste à trouver un ansatz qui permette, pour un problème donné, de converger le plus efficacement possible vers la solution. Un deuxième défi est de trouver un circuit fait de portes logiques facilement implémentables sur les plateformes physiques actuelles. Les travaux effectués dans cette thèse apportent des contributions à ces deux défis. Dans la première partie de la thèse, nous introduisons le dispositif que nous avons conçu et qui permet de réaliser des portes d’intrication paramétrique entre deux qubits supraconducteurs. Cette approche a permis à nos collaborateurs du groupe d’Andrew Houck de l’Université de Princeton de réaliser expérimentalement une opération de type √iSWAP en 15 ns avec une fidélité de 98.8%, et ce dans un dispositif où l’interaction ZZ est supprimée. Dans la seconde partie de la thèse, nous avons développé un ansatz pour les VQAs permettant de résoudre le modèle de Fermi Hubbard. Ce nouvel ansatz utilise les avantages de deux ansätze préexistants, et permet d’obtenir l’énergie et l’état fondamental du FHM avec une précision de plusieurs ordres de grandeur supérieure aux ansätze standards, et ce en réduisant significativement le nombre de portes d’intrication CNOT qui sont généralement imparfaites et longues à implémenter.
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.
Géométrie, topologie et dynamique des systèmes à N corps : perspectives quantiques et classiques Dans la présente thèse, nous étudions diverses instances de systèmes à N corps, tant quantiques et classiques, en adoptant une perspective géométrique et topologique. Les systèmes comportant un grand nombre de degrés de liberté peuvent présenter une grande variété de phénomènes émergents, allant de la métastabilité aux transition de phase, et leurs propriétés complexes échappent souvent à notre compréhension complète. Grâce à une inspection minutieuse des structures géométriques sous-jacentes à ces objets complexes et à l'aide de divers outils mathématiques, dont certains sont empruntés au domaine de la géométrie et de la topologie riemanniennes, nous tentons de caractériser leurs aspects les plus importants.La première partie de cette thèse se concentre sur le domaine de l'information quantique, explorant notamment les notions d'intrication quantique et de corrélations dans les systèmes quantiques discrets, d'abord dans des états purs, puis dans des états mixtes.Nous proposons une nouvelle mesure de l'intrication pour les états quantiques purs, l'entanglement distance, la discutons et la testons sur divers exemples.Nous étudions ensuite les états purs maximalement intriqués, révélant en partie leurs structures internes, en utilisant les notion intuitive de corrélation et de mesure projective. Ce faisant, nous sommes en mesure de montrer des relations simples entre les corrélations pré-mesure et les valeurs moyennes post-mesure, et de fournir une limite supérieure à la persistance d'intrication de tels états.Nous démontrons en outre comment les propriétés de connectivité d'un modèle paradigmatique de l'informatique quantique, le graph state, peuvent être sondées grâce à l'utilisation appropriée de corrélateurs quantiques.Notre étude est ensuite étendue au cadre des états quantiques mixtes. Nous déduisons de l'entanglement distance définie sur les états purs, les mesures induites de la corrélations quantique d'une part, et de l'intrication des états mixtes d'autre part. Nous soulignons les forces et les limites de cette dernière mesure, en particulier la lourde procédure d'optimisation qu'elle implique, et pour laquelle nous proposons une solution de contournement. Enfin, nous étudions la transition superradiante présente dans le modèle de Tavis-Cummings et révélons qu'elle s'accompagne d'un saut dans la corrélation quantique et l'intrication entre les atomes.Dans la deuxième partie de notre travail, nous abordons deux modèles classiques, tous deux possédant des comportements non ergodiques et fortement non-linéaires.Nous présentons d’abord une étude complète, à la fois numérique et analytique, d’un modèle jouet, exemple prototypique de modèle fortement non-additif à interaction à longue portée : l'Hamiltonien de champ moyen (HMF). À basse énergie dans l’ensemble microcanonique, un état métastable peut apparaître, appelé bicluster. En inspectant la dynamique d'une quantité macroscopique, la magnétisation, et en observant l'apparition de deux échelles de temps distinctes dans le système, nous proposons un scénario assez intuitif et cohérent expliquant la grande stabilité des biclusters, qui se maintiennent pendant de très longues durées.Nous introduisons enfin les résultats d'une étude numérique approfondie, appliquant la théorie topologique des transitions de phase à un modèle de verre. De tels systèmes sont notoirement difficiles à simuler et à équilibrer, en raison de leur dynamique très lente, caractéristique de la phase vitreuse, et de leur tendance à rester coincée dans de petites régions de l'espace des phases. Dans un cadre microcanonique, un complexe algorithme de Monte Carlo a été développé. Nos résultats, bien que préliminaires, sont encourageants : la chaleur spécifique présente des pics clairs pour deux valeurs de l'énergie, indiquant une transition du second ordre en deux étapes, en correspondance avec les changements topologiques des ensembles de niveaux équipotentiels sur lesquels le système est confiné.
Le travail aborde deux grandes problématiques d'actualité des systèmes quantiques. La première concerne les systèmes quantiques ouverts, typiquement un bit quantique (qubit) couplé à un bain. Dans cette partie on présente l'étude de la décohérence et la relaxation du qubit. La seconde partie concerne les systèmes quantiques isolés. Dans cette partie on présente l'étude de la thermalisation de deux systèmes quantiques macroscopiques après un quench Décohérence et relaxation d'un qubit. L'étude de la dynamique réduite d'un qubit couplé à un réservoir est intéressant pour deux points de vue complémentaires, l'un lié à l'informatique quantique et l'autre lié à la physique quantique de N corps. Pour construire des ordinateurs quantiques, il est nécessaire de comprendre l'effet de l'environnement sur la décohérence des qubits. D'autre part, d'un point de vue de la physique des systèmes quantiques, ou bien des systèmes quantiques hors équilibre, les qubits peuvent être utilisés pour mesurer et comprendre les propriétés thermodynamiques et dynamiques du bain. Dans ce second sens, tout à fait d'actualité, il existent nombreux travaux théoriques et expérimentales récentes. Des expériences récentes suggèrent utiliser des dispositifs semi-conducteurs tels que les Josephson jonctions ou des spins dans les boîtes quantiques pour l'informatique et la communication quantique. Ces appareils ont l'avantage de taille par rapport aux autres systèmes physiques qui ont également été proposées pour l'informatique quantique, comme des atomes en cavité, les ions piégés dans un champ magnétique ou des molécules en résonance magnétique nucléaire . L'unité de base de ces dispositifs est un système quantique à deux niveaux, connu dans la littérature comme un quantum bit ou qubit. L'utilisation de bits quantiques (qubits) dans n'importe quel contexte est limitée par interaction avec leur environnement (réservoir ou bain). En fait, l'interaction leur fait perdre leur caractère quantique, un processus appelé décohérence. Les premiers études qui ont modelé la perte de la cohérence sont ceux de Caldeira et Leggett dans les années quatre-vingt. Dans ces études le réservoir était composé des bosons indépendants. Le modèle proposé, appelé Spin-Boson, est pertinente lorsque l'on considère un bain des photons ou des phonons. Cependant, dans le cas des dispositifs semi-conducteurs mentionnés au paragraphe précédent, des expériences ont montré qu'il est nécessaire d'envisager des réservoirs plus complexes composés des spins et électrons en interaction. De plus, il est important de considérer les effets non markoviens (effets de mémoire sur la dynamique des qubits. Le traitement théorique de bains quantiques avec interactions est beaucoup plus difficile que le traitement pour le bain des bosons indépendants et nous devons recourir à des méthodes théoriques puissantes. Le chapitre introductif présente les techniques d'opérateurs de projection qui sert a dériver les équations maîtresses qui régissent l'évolution du qubit, dans la thèse on se concentre sur les approximations Nakajima Zwanzig (NZ) et Time convolutionless technique (TCL). Ces techniques sont élégantes et, bien que perturbatives, sont capables de décrire certains aspects non markoviens de la dynamique. Nous avons étudie dans une première partie, la décohérence et relaxation d'un qubit couplé a un bain électronique sans interaction décrivant un métal ou un semi-conducteur Les résultats reflètent la richesse car la dynamique réduite du qubit dépend de façon subtile de plusieurs paramètres: la densité d'états des électrons, le champ magnétique, etc. Dans le chapitre 3 nous avons considéré un qubit couplé à un bain possédant un ordre supraconducteur. Pour un couplage de type Kondo à température fini nous avons trouvé une décohérence et relaxation non markoviens et ultra rapides, pour un couplage direct au paramètre d'ordre nous avons trouvé une dynamique plus complexe qui dépend des conditions initiales. Pour certaines conditions initiales la dynamique est sensible aux fluctuations de spin et ressemble a la situation du couplage Kondo. Pour autres conditions initiales, la dynamique est sensible aux fluctuations de charge et relaxe de façon markovien. Ces résultats donnent des pistes pour réduire les effets de décohérence dans les dispositifs et motivent des nombreux questions. Ces travaux ont aboutit à la publication des articles suivantes: Effect of a gap on the decoherence of a qubit J. Restrepo, E. Dupont, S. Camalet, R. Chitra (submitted to Phys Rev B) Decoherence induced by an ordered environment J. Restrepo, S. Camalet, R. Chitra (in preparation) Thermalisation d'un système quantique isolé. L'étude de la dynamique hors équilibre après un quench est devenu particulièrement d'actualité depuis l'avènement des expériences d'atomes ultra-froids qui représentent des systèmes quantiques isolés idéaux Pour les systèmes quantiques, la plupart des questions fondamentales sur la thermalisations restent ouvertes. Il y a deux types de questions : Quel est l'état asymptotique après un quench ? Est-il un état d'équilibre ? Quels sont les mécanismes qui expliquent la thermalisation ? Jusqu'au présent, il existent soit des hypothèses générales avec aucune preuve rigoureuse soit des résultats particuliers. Les résultats sont obtenus analytiquement lorsque le système est intégrable et numériquement quand il ne l'est pas. Dans notre travail (chapitre 4), nous abordons la question de la stabilité de l'équilibre thermique dans les systèmes quantiques, nous modélisons les systèmes quantiques par des champs bosoniques libres. L intérêt de ce modèle est de pouvoir apporter des réponses claires à certaines des questions fondamentales sur la thermalisation. Il a deux ingrédients intéressantes. Tout d'abord, il considère un état initial qui n'est pas l'état fondamental. Deuxièmement, il considère un système composite où les deux parties sont de taille comparable, ce qui permet de voir comment l'état asymptotique est atteint dans l'espace. L'effet d'avoir des champs bosoniques libres conduit à un hamiltonien quadratique pour lequel on a calculé l'énergie et les fonctions de corrélation de façon exacte aux temps longs. Ainsi on a pu montré que dans le cas d'un contact thermique modifié soudainement, le système n'atteint pas un état stationnaire, et il ne se produit pas de relaxation. Ces résultats peuvent en fait être partiellement compris du fait de la nature particulière du spectre des excitations. Néanmoins, ils motivent des nombreuses questions. Ce travail a abouti à la publication de l'article suivante: Sudden Change of the thermal contact between two quantum systems New Journal of Physics 12 055011, 2010.
Cette thèse étudie l'apport du calcul quantique bruité pour l’algorithme phare des fortes corrélations, la théorie du champ moyen dynamique (DMFT). Elle vise à mettre à profit les premiers dispositifs de calcul quantique, malgré leurs imperfections liées à un degré de contrôle expérimental encore limité. Dans un premier temps, une version améliorée de la méthode variationnelle de préparation de l'état fondamental du modèle d'impureté est proposée. Elle consiste en la réalisation de mises à jour de la base à une particule dans laquelle est décrit le Hamiltonien d'impureté. Ces mises à jour sont entrelacées avec des optimisations variationnelles de l'état, et guidées par la matrice densité à une particule de l'état variationnel optimisé courant. Cet algorithme nous a permis de réaliser la première implémentation hybride bruitée d'un schéma assimilé à la DMFT avec un système auxiliaire à deux impuretés. Aussi, nous montrons sur plusieurs exemples que cette méthode est capable d'augmenter la capacité d'un circuit variationnel donné à représenter l'état cible. Enfin, nous proposons de combiner les mises à jour de la base à une particule avec un algorithme variationnel dit adaptatif, qui construit le circuit itérativement. Nous montrons que cette approche permet de réduire, à précision donnée sur l'énergie de l'état optimisé, le nombre de portes du circuit. Dans un second temps, nous proposons de mettre à profit la dissipation qui affecte les qubits afin de diminuer les effets de la troncation du bain sur l'ajustement de l'hybridation du bain à celle de la DMFT. Nous montrons qu'une réduction en termes de sites de bain est bien à la portée d'une telle méthode. Cependant, nous faisons l'hypothèse d'un processus dissipatif qui n'est pas réaliste : la méthode doit donc encore être étudiée via un modèle plus proche des conditions expérimentales.
Cette thèse se trouve à l'intersection de la théorie des matrices aléatoires, des probabilités libres et de la théorie de l'information quantique. La plus grande partie des travaux présentés se concentrent sur les aspects probabilistes de l'information quantique et, en particulier, sur l'usage des matrices aléatoires dans différents modèles en théorie quantique. Une autre partie de cette thèse est dédiée à la théorie des probabilités libres et à ses liens avec les matrices aléatoires et l'information quantique. En théorie quantique de l'information, il existe différents modèles de matrices densités aléatoires. On s'intéresse, dans l'esprit de la théorie des matrices aléatoires, au comportement asymptotique des matrices densités, dans la limite où la taille du système converge vers l'infini. Le point de vue pris dans cette thèse est celui des systèmes quantiques ouverts, où l'espace qui nous intéresse est couplé avec l'environnement et le système composé se trouve dans un état pur uniforme. En prenant la trace partielle sur l'environnement, on obtient des matrices densités aléatoires que l'on étudie dans deux régimes asymptotiques. En exploitant des liens avec l'ensemble des matrices aléatoires dites de Wishart, on obtient les densités spectrales limites et les fluctuations des valeurs propres extrémales. En collaboration avec Clément Pellegrini, on étudie des interactions répétées entre un système quantique et une chaîne de systèmes auxiliaires. Nous avons introduit des éléments aléatoires dans ce modèle, soit en considérant que les états de la chaîne sont des variables indépendantes et identiquement distribuées, soit en choisissant, à chaque interaction, une matrice unitaire d'interaction aléatoire uniforme. On s'intéresse aux propriétés asymptotiques des matrices, après un grand nombre d'interactions. Au passage, on introduit un nouveau modèle de matrices densités aléatoires que l'on compare avec les modèles existants dans la littérature. Un problème qui occupe une place centrale dans cette thèse est la conjecture de Nielsen sur la catalyse en théorie quantique de l'information. En collaboration avec Guillaume Aubrun, nous avons progressé vers la preuve de cette conjecture et nous l'avons par la suite généralisée dans différentes directions. L'outil principal utilisé dans ces travaux nous vient de la théorie des probabilités : la théorie des grandes déviations nous permet de comparer stochastiquement des puissances de convolution des mesures de probabilités. Les techniques introduites et le lien avec la théorie des grandes déviations nous ont permis de voir ce problème sous un autre angle et de donner aux théoriciens de l'information quantique un outil de travail puissant. Enfin, toujours en lien avec les matrices aléatoires, cette thèse a donné lieu à deux travaux en probabilités libres. Les ensembles de matrices aléatoires sont des exemples importants et simples où l'on peut observer l'indépendance libre; il est donc naturel de se demander s'il est possible d'obtenir la notion de liberté avec des matrices déterministes. Une telle construction a été proposée par Philippe Biane, en utilisant des sommes de transpositions dans l'algèbre du groupe symétrique. Avec Florent Benaych-Georges, on a pu généraliser les résultats de P. Biane à des cycles quelconques. Notre approche est combinatoire ce qui nous a permis d'aboutir à des formules explicites pour les moments et les cumulants libres des variables à la limite. Grâce à cette même approche nous avons élaboré un modèle analogue en probabilités classiques en remplaçant le groupe symétrique par le groupe abélien des parties d'un ensemble fini, muni de l'opération de différence symétrique. En collaboration avec Stéphane Attal, nous avons construit une approximation de l'espace de Fock libre (qui joue un rôle central en théorie des probabilités non-commutatives) par un produit libre dénombrable d'espaces discrets. Cette idée généralise au cas libre une construction similaire pour l'espace de Fock symétrique, introduite et étudié par S. Attal. En même temps nous avons obtenu une approximation des opérateurs fondamentaux de création, d'annihilation et de jauge par des opérateurs construits à partir des matrices de taille 2. En utilisant ces constructions sont ensuite utilisées pour retrouver quelques approximations connues du mouvement brownien libre et du processus de Poisson libre. Tous ces résultats se généralisent au cas des espaces de Fock de multiplicité supérieure, qui permettent d'approcher des processus multidimensionnels. En conclusion, l'ensemble des travaux scientifiques présentés dans cette thèse se situe à l'intersection de trois grandes directions: les matrices aléatoires, les probabilités libres et la théorie quantique de l'information, l'accent étant mis sur les interactions et sur les liens entre ces domaines.