Cette thèse contribue au développement d’approches diagrammatiques systématiques pour le problème quantique à N corps, qui consistent à calculer une expansion en diagrammes de Feynman à un ordre arbitraire sans contrainte de paramètre petit. La forme standard du problème de signe fermionique - augmentation exponentielle de l’erreur statistique avec le volume - n’affecte pas ces méthodes car elles fonctionnent directement dans la limite thermodynamique. Par conséquent, elles sont un outil puissant pour la simulation de la matière quantique. La partie I de la thèse est consacrée au gaz de Fermi unitaire, un modèle de fermions fortement corrélés réalisé avec précision dans des expériences d’atomes froids. Nous montrons que les quantités physiques peuvent être extraites de la série diagrammatique divergente par une transformation de Borel conforme spécifiquement conçue. Nos résultats, qui sont en accord avec les expériences, démontrent qu’une série diagrammatique peut être resommée de manière fiable pour une théorie fermionique sans contrainte de paramètre petit. Dans la partie II, nous présentons un nouvel algorithme pour calculer les expansions diagrammatiques à ordre élevé. Tous les diagrammes Feynman connectés sont sommés à un ordre donné avec un temps de calcul beaucoup plus petit que le nombre de diagrammes. En utilisant cette technique, on peut simuler des fermions sur un réseau infini en temps polynomial. Pour preuve, nous l’appliquons au modèle d’Hubbard à couplage faible, en obtenant des résultats avec une précision record. Enfin, dans la partie III, nous abordons le problème de la convergence erronée des schémas diagrammatiques habillés, qui est lié à une ramification de la fonctionnelle de Luttinger-Ward. Après avoir étudié un modèle-jouet, nous montrons que le caractère erroné de la convergence peut être exclu pour une grande classe de schémas diagrammatiques, et aussi pour le schéma complètement habillé, sous certaines conditions.
Cette thèse contribue au développement d’approches diagrammatiques systématiques pour le problème quantique à N corps, qui consistent à calculer une expansion en diagrammes de Feynman à un ordre arbitraire sans contrainte de paramètre petit. La forme standard du problème de signe fermionique - augmentation exponentielle de l’erreur statistique avec le volume - n’affecte pas ces méthodes car elles fonctionnent directement dans la limite thermodynamique. Par conséquent, elles sont un outil puissant pour la simulation de la matière quantique. La partie I de la thèse est consacrée au gaz de Fermi unitaire, un modèle de fermions fortement corrélés réalisé avec précision dans des expériences d’atomes froids. Nous montrons que les quantités physiques peuvent être extraites de la série diagrammatique divergente par une transformation de Borel conforme spécifiquement conçue. Nos résultats, qui sont en accord avec les expériences, démontrent qu’une série diagrammatique peut être resommée de manière fiable pour une théorie fermionique sans contrainte de paramètre petit. Dans la partie II, nous présentons un nouvel algorithme pour calculer les expansions diagrammatiques à ordre élevé. Tous les diagrammes Feynman connectés sont sommés à un ordre donné avec un temps de calcul beaucoup plus petit que le nombre de diagrammes. En utilisant cette technique, on peut simuler des fermions sur un réseau infini en temps polynomial. Pour preuve, nous l’appliquons au modèle d’Hubbard à couplage faible, en obtenant des résultats avec une précision record. Enfin, dans la partie III, nous abordons le problème de la convergence erronée des schémas diagrammatiques habillés, qui est lié à une ramification de la fonctionnelle de Luttinger-Ward. Après avoir étudié un modèle-jouet, nous montrons que le caractère erroné de la convergence peut être exclu pour une grande classe de schémas diagrammatiques, et aussi pour le schéma complètement habillé, sous certaines conditions.
Contributions aux theories diagrammatiques non-biasees des fermions en interaction Cette thèse contribue au développement d’approches diagrammatiques systématiques pour le problème quantique à N corps, qui consistent à calculer une expansion en diagrammes de Feynman à un ordre arbitraire sans contrainte de paramètre petit. La forme standard du problème de signe fermionique - augmentation exponentielle de l’erreur statistique avec le volume - n’affecte pas ces méthodes car elles fonctionnent directement dans la limite thermodynamique. Par conséquent, elles sont un outil puissant pour la simulation de la matière quantique. La partie I de la thèse est consacrée au gaz de Fermi unitaire, un modèle de fermions fortement corrélés réalisé avec précision dans des expériences d’atomes froids. Nous montrons que les quantités physiques peuvent être extraites de la série diagrammatique divergente par une transformation de Borel conforme spécifiquement conçue. Nos résultats, qui sont en accord avec les expériences, démontrent qu’une série diagrammatique peut être resommée de manière fiable pour une théorie fermionique sans contrainte de paramètre petit. Dans la partie II, nous présentons un nouvel algorithme pour calculer les expansions diagrammatiques à ordre élevé. Tous les diagrammes Feynman connectés sont sommés à un ordre donné avec un temps de calcul beaucoup plus petit que le nombre de diagrammes. En utilisant cette technique, on peut simuler des fermions sur un réseau infini en temps polynomial. Pour preuve, nous l’appliquons au modèle d’Hubbard à couplage faible, en obtenant des résultats avec une précision record. Enfin, dans la partie III, nous abordons le problème de la convergence erronée des schémas diagrammatiques habillés, qui est lié à une ramification de la fonctionnelle de Luttinger-Ward. Après avoir étudié un modèle-jouet, nous montrons que le caractère erroné de la convergence peut être exclu pour une grande classe de schémas diagrammatiques, et aussi pour le schéma complètement habillé, sous certaines conditions.
Les diagrammes sont omniprésents en physique et ont catalysé le progrès à de nombreuses reprises. Des réseaux tensoriels aux circuits quantiques en passant par les diagrammes de Feynman, rares sont les domaines de la physique qui ne font pas appel à un raisonnement informel par l'image. Ces diagrammes représentent les opérations mathématiques sous-jacentes et facilitent l'interprétation physique, mais ne peuvent généralement pas être calculés directement. Dans cette thèse, le ZXH-calcul, un langage graphique basé sur le ZX-calcul, est proposé comme prototype d'un outil de calcul diagrammatique formel pour la physique théorique impliquant le spin. Cela permet d'étendre le calcul ZXH (et plus largement la famille de calculs ZX à laquelle il appartient) au-delà de son domaine traditionnel qui a été largement dominé par l'informatique quantique. Pour ce faire, les réseaux de spin issus de la physique de la matière condensée sont étudiés. Il est également montré comment les réseaux de spins de la forme souvent considérée comme l'espace d'état de la gravité quantique à boucles (LQG) peuvent être diagrammatisés avec les opérateurs qui agissent sur eux.Pour y parvenir, une forme diagrammatique de la théorie des représentations SU(2) est exposée. Un certain nombre de résultats sont ensuite présentés dans la matière condensée. L'état 1D AKLT, un état topologique protégé par symétrie, est exprimé dans le calcul ZXH en développant une représentation des spins supérieurs à 1/2 dans le calcul. En exploitant le pouvoir de simplification des règles du calcul ZXH, on montre comment cette représentation permet de retrouver directement la représentation de l'état AKLT par produit de matrice, l'existence d'états de bord topologiquement protégés et la non-vanie d'un paramètre d'ordre de chaîne. Au-delà de ces propriétés connues, l'approche diagrammatique permet également de dériver analytiquement que la phase de Berry de toute chaîne AKLT 1D de longueur finie est π. En outre, une preuve alternative que l'état AKLT 2D sur un réseau hexagonal peut être réduit à un état de graphe, démontrant qu'il s'agit d'une ressource universelle de calcul quantique. En continuant sur le thème de la matière condensée, on montre ensuite comment on peut construire des phases topologiques d'ordre supérieur en 2D de manière schématique, ce qui est utilisé pour illustrer une transition de phase avec rupture de symétrie.En ce qui concerne la LQG, la première étape est l'analyse des diagrammes de Yutsis, un calcul graphique standard utilisé en chimie quantique et en gravité quantique, qui capture les principales caractéristiques de la théorie des représentations SU(2). Ensuite, on montre comment il s'intègre dans le calcul de binor de Penrose. Les deux sont ensuite subsumés et réécrits en diagrammes ZXH. Dans ce processus, nous montrons comment l'invariance SU(2) des symboles de Wigner peut être prouvée de manière triviale dans le calcul ZXH. En outre, nous montrons comment nous pouvons calculer explicitement les symboles 3jm, 4jm et 6j dans le diagramme. On pense depuis longtemps que la gravité quantique devrait être étroitement liée à la théorie de l'information quantique. Dans cet article, nous présentons une façon de rendre cette connexion exacte, en écrivant les réseaux de spin de la gravité quantique à boucles dans le langage ZX-diagrammatique du calcul quantique. Enfin, après avoir exposé les raisons de considérer les réseaux de spins comme la quantification de l'espace, nous discutons des opérateurs géométriques et, dans des cas spécifiques, nous fournissons des versions diagrammatiques des opérateurs. Plus généralement, ce qui est fait ici montre une voie par laquelle LQG peut être interprété en termes d'information quantique en réécrivant ses états cinématiques comme des réseaux de qubits dans ZXH.
Les diagrammes sont omniprésents en physique et ont catalysé le progrès à de nombreuses reprises. Des réseaux tensoriels aux circuits quantiques en passant par les diagrammes de Feynman, rares sont les domaines de la physique qui ne font pas appel à un raisonnement informel par l'image. Ces diagrammes représentent les opérations mathématiques sous-jacentes et facilitent l'interprétation physique, mais ne peuvent généralement pas être calculés directement. Dans cette thèse, le ZXH-calcul, un langage graphique basé sur le ZX-calcul, est proposé comme prototype d'un outil de calcul diagrammatique formel pour la physique théorique impliquant le spin. Cela permet d'étendre le calcul ZXH (et plus largement la famille de calculs ZX à laquelle il appartient) au-delà de son domaine traditionnel qui a été largement dominé par l'informatique quantique. Pour ce faire, les réseaux de spin issus de la physique de la matière condensée sont étudiés. Il est également montré comment les réseaux de spins de la forme souvent considérée comme l'espace d'état de la gravité quantique à boucles (LQG) peuvent être diagrammatisés avec les opérateurs qui agissent sur eux.Pour y parvenir, une forme diagrammatique de la théorie des représentations SU(2) est exposée. Un certain nombre de résultats sont ensuite présentés dans la matière condensée. L'état 1D AKLT, un état topologique protégé par symétrie, est exprimé dans le calcul ZXH en développant une représentation des spins supérieurs à 1/2 dans le calcul. En exploitant le pouvoir de simplification des règles du calcul ZXH, on montre comment cette représentation permet de retrouver directement la représentation de l'état AKLT par produit de matrice, l'existence d'états de bord topologiquement protégés et la non-vanie d'un paramètre d'ordre de chaîne. Au-delà de ces propriétés connues, l'approche diagrammatique permet également de dériver analytiquement que la phase de Berry de toute chaîne AKLT 1D de longueur finie est π. En outre, une preuve alternative que l'état AKLT 2D sur un réseau hexagonal peut être réduit à un état de graphe, démontrant qu'il s'agit d'une ressource universelle de calcul quantique. En continuant sur le thème de la matière condensée, on montre ensuite comment on peut construire des phases topologiques d'ordre supérieur en 2D de manière schématique, ce qui est utilisé pour illustrer une transition de phase avec rupture de symétrie.En ce qui concerne la LQG, la première étape est l'analyse des diagrammes de Yutsis, un calcul graphique standard utilisé en chimie quantique et en gravité quantique, qui capture les principales caractéristiques de la théorie des représentations SU(2). Ensuite, on montre comment il s'intègre dans le calcul de binor de Penrose. Les deux sont ensuite subsumés et réécrits en diagrammes ZXH. Dans ce processus, nous montrons comment l'invariance SU(2) des symboles de Wigner peut être prouvée de manière triviale dans le calcul ZXH. En outre, nous montrons comment nous pouvons calculer explicitement les symboles 3jm, 4jm et 6j dans le diagramme. On pense depuis longtemps que la gravité quantique devrait être étroitement liée à la théorie de l'information quantique. Dans cet article, nous présentons une façon de rendre cette connexion exacte, en écrivant les réseaux de spin de la gravité quantique à boucles dans le langage ZX-diagrammatique du calcul quantique. Enfin, après avoir exposé les raisons de considérer les réseaux de spins comme la quantification de l'espace, nous discutons des opérateurs géométriques et, dans des cas spécifiques, nous fournissons des versions diagrammatiques des opérateurs. Plus généralement, ce qui est fait ici montre une voie par laquelle LQG peut être interprété en termes d'information quantique en réécrivant ses états cinématiques comme des réseaux de qubits dans ZXH.
Simulation quantique pour électrons fortement corrélés avec des atomes neutres : vers une simulation de matériaux d'intérêts La simulation quantique fait entrevoir la promesse d’améliorer les simulations atomiques utilisées à EDF pour anticiper le vieillissement des matériaux d’intérêts. Un simulateur en particulier semble particulièrement adapté pour modéliser des électrons en interaction : les atomes de Rydberg. Le premier travail de cette thèse est de concevoir un algorithme variationnel implémentable sur un simulateur à atomes de Rydberg pour la chimie. Cet algorithme est spécialement conçu pour cette plateforme et optimisé par des outils théoriques récents. Nous comparons nos résultats numériques, obtenus avec une émulation d’une vraie expérience, avec d’autres approches et montrons que notre méthode est plus efficace. Enfin, nous montrons qu’en limitant le nombre de mesures pour que l’expérience soit réalisable sur une vraie architecture, nous pouvons atteindre l’énergie fondamentale des molécules H2, LiH et BeH2 avec 5% d’erreur.Pour un deuxième algorithme, nous avons utilisé la méthode des spins “esclaves” afin d’implémenter la physique du modèle de Fermi-Hubbard 2D sur un simulateur à atomes de Rydberg. L’idée est de découpler les degrés de liberté de charges et des spins “esclaves” à l’aide d’un champ moyen pour obtenir deux Hamiltoniens auto-cohérents : un résolvable classiquement et un Hamiltonien d’Ising qui peut être reproduit sur un simulateur quantique. Nous montrons numériquement que nous pouvons retrouver une transition de Mott du modèle initial avec cette méthode même en émulant le bruit d’une vraie expérience et nous montrons que nous pouvons aussi retrouver la dynamique des électrons hors équilibre dans ce même paradigme avec de bons résultats. Les deux algorithmes peuvent potentiellement être améliorés théoriquement jusqu’à atteindre des matériaux d’intérêts, mais ils sont aussi implémentables sur les architectures existantes aujourd’hui, pour atteindre un potentiel avantage quantique
Nouveaux algorithmes pour l’étude des propriétés d’équilibre et hors d’équilibre des systèmes quantiques fortement corrélés Quel est le point commun entre les étoiles formant une galaxie, les gouttes d'eau s'écoulant dans une rivière, et les électrons d'une céramique superconductrice lévitant au-dessus d'un aimant ? Tous ces systèmes ne peuvent être décrits par le mouvement isolé d'une seule de leurs composantes. C'est l'ensemble des particules et de leurs interactions qui fait émerger leurs singulières propriétés : on parle du problème à N corps.Dans cette Thèse, nous nous intéressons aux propriétés des systèmes d'électrons fortement corrélés, dont la physique est gouvernée par les principes de la mécanique quantique. Les méthodes analytiques étant rapidement limitées, nous développons de nouvelles approches numériques afin de quantifier précisément les propriétés de matériaux dans lesquels les interactions entre particules deviennent importantes.Nous nous intéressons tout d'abord aux propriétés d'équilibre de la pérovskite Sr2IrO4, un matériau structurellementéquivalent au cuprate supraconducteur La2CuO4. Nous mettons en évidence l'existence d'un pseudogapet décrivons la structure électronique de ce matériau en fonction du dopage.Nous développons ensuite des extensions aux algorithmes de Monte Carlo déterminantaux pour l'étude de quantités dynamiquescomme l'énergie propre, et nous montrons qu'il est possible de regrouper un nombre factoriel de diagrammes en une somme de déterminants, réduisantainsi fortement le problème de signe fermionique.Dans un deuxième temps, nous décrivons les systèmes fortement corrélés hors d'équilibre.Nous commençons par revisiter le Monte Carlo diagrammatique en temps réel dans une nouvelle base qui permet aux diagrammes du vide de s'annulerdirectement. Au cours d'un échantillonnage statistique, ceci permetd'atteindre la limite de long temps nécessaire à l'étude des états stationnaires des systèmes hors d'équilibre.Pour terminer, nous étudions la transition métal-isolant induite par un champ électrique de Ca2RuO4, qui coexiste avec une transition structurelle.Un algorithme basé sur l'approximation sans croisement nous permettent de calculer le courant en fonction du champ crystallin dans ce matériauet de comparer nos résultats aux données expérimentales.
Dans cette thèse sont principalement étudiés des systèmes quantiques intégrables critiques avec l’ansatz de Bethe qui ont la propriété particulière d’être non-unitaires ou non-compacts. Ceci concerne des modèles de physique statistique non-locaux tels que la percolation, mais aussi par exemple les systèmes désordonnés. Ce manuscrit présente à la fois des études détaillées de la limite continue de modèles intégrables sur réseau, et développe de nouvelles techniques pour étudier cette correspondance. Dans une première partie nous étudions en détail la limite continue de chaînes de superspins non-unitaires (et parfois non-compactes) qui ont une symétrie orthosymplectique. Nous montrons qu’il s’agit de modèles sigma sur supersphère en calculant leur spectre avec la théorie des champs, avec l’ansatz de Bethe, et numériquement. Leur non-unitarité autorise une brisure spontanée de symétrie habituellement interdite par le théorème de Mermin-Wagner. Leur caractère de perturbation marginale d’une théorie conforme des champs logarithmique est particulièrement étudié. Nous établissons également une correspondance précise entre le spectre et des configurations de boucles avec intersections, et obtenons de nouveaux exposants critiques pour les chemins non-recouvrants compacts ainsi que leurs corrections logarithmiques multiplicatives. Cette étude fut par ailleurs l’occasion de développer une nouvelle méthode pour calculer le spectre d’excitation d’une chaîne de spin quantique critique à partir de l’ansatz de Bethe, incluant les corrections logarithmiques, également en présence de racines de Bethe dites ’en chaînes’, et qui évite les méthodes de Wiener-Hopf et les équations intégrales non-linéaires. Dans une deuxième partie nous abordons l’influence d’un champ magnétique sur une chaîne de spin quantique et montrons que des séries convergentes peuvent être obtenues pour plusieurs quantités physiques telles que l’aimantation acquise ou les exposants critiques, dont les coefficients peuvent être calculés efficacement par récurrence. La structure de ces relations de récurrence permet d’étudier génériquement le spectre d’excitation, et elles sont applicables y compris dans certains cas où les racines de Bethe sont sur une courbe dans le plan complexe. Nous espérons que l’étude de la continuation analytique de ces séries puisse être utile pour les chaînes non-compactes. Par ailleurs, nous montrons que les fluctuations à l’intérieur de la courbe arctique du modèle à six vertex avec conditions aux bords de type mur sont décrites par un champ Gaussien libre avec une constante de couplage dépendant de la position, qui peut être calculée à partir de l’énergie libre de la chaîne XXZ avec une torsion imaginaire dans un champ magnétique.