La premiere partie de la these est consacree a une formulation de la mecanique quantique en dimension n via une version multi-dimensionnelle appropriee de la transformee en ondelettes. Apres l'avoir definie, nous ecrivons et etudions les operateurs de base de la mecanique quantique dans cette representation. La famille d'ondelettes (en dimension un) que nous proposons ensuite, mene a une forme explicite de la matrice de l'operateur d'evolution libre dont l'etude a temps fini est l'objet du dernier chapitre. L'etude des proprietes, notamment de localisation, de la matrice permet de retrouver celles de l'operateur. Enfin, nous construisons un couple admissible d'ondelettes adapte a l'operateur, c'est-a-dire, tel que le probleme d'evolution se ramene a la solution d'un systeme d'equations differentielles ordinaires de petite dimension. Dans la deuxieme partie, nous construisons une base d'ondelettes associees a une famille de grilles irregulieres. Contrairement au cas regulier, les espaces d'approximation formant l'analyse multi-resolution pour de telles grilles, sont associes a toute une gamme d'echelles. Nous montrons que, modulo une condition sur la geometrie de la grille, les supplementaires orthogonaux aux espaces d'approximation peuvent etre construits a la main et presentent le comportement homogene que l'on souhaitait obtenir. Nous proposons ensuite un algorithme rapide d'analyse et de synthese sur grille irreguliere utilisant une deuxieme base d'ondelettes construite a cet effet. La stabilite de l'algorithme de synthese est prouvee tandis que celle de l'algorithme d'analyse reste un probleme ouvert
La premiere partie de la these est consacree a une formulation de la mecanique quantique en dimension n via une version multi-dimensionnelle appropriee de la transformee en ondelettes. Apres l'avoir definie, nous ecrivons et etudions les operateurs de base de la mecanique quantique dans cette representation. La famille d'ondelettes (en dimension un) que nous proposons ensuite, mene a une forme explicite de la matrice de l'operateur d'evolution libre dont l'etude a temps fini est l'objet du dernier chapitre. L'etude des proprietes, notamment de localisation, de la matrice permet de retrouver celles de l'operateur. Enfin, nous construisons un couple admissible d'ondelettes adapte a l'operateur, c'est-a-dire, tel que le probleme d'evolution se ramene a la solution d'un systeme d'equations differentielles ordinaires de petite dimension. Dans la deuxieme partie, nous construisons une base d'ondelettes associees a une famille de grilles irregulieres. Contrairement au cas regulier, les espaces d'approximation formant l'analyse multi-resolution pour de telles grilles, sont associes a toute une gamme d'echelles. Nous montrons que, modulo une condition sur la geometrie de la grille, les supplementaires orthogonaux aux espaces d'approximation peuvent etre construits a la main et presentent le comportement homogene que l'on souhaitait obtenir. Nous proposons ensuite un algorithme rapide d'analyse et de synthese sur grille irreguliere utilisant une deuxieme base d'ondelettes construite a cet effet. La stabilite de l'algorithme de synthese est prouvee tandis que celle de l'algorithme d'analyse reste un probleme ouvert
Nous nous intéressons dans cette thèse à certains modèles mathématiques permettant une description de systèmes ouverts classiques et quantiques. Dans l'étude de ces systèmes en interaction avec un environnement, nous montrons que la dynamique induite par l'environnement sur le système donne lieu à l'apparition de bruits. Dans une première partie de la thèse, dédiée aux systèmes classiques, le modèle décrit est le schéma d'interactions répétées. Etant à la fois hamiltonien et markovien, ce modèle en temps discret permet d'implémenter facilement la dissipation dans des systèmes physiques. Nous expliquons comment le mettre en place pour des systèmes physiques avant d'en étudier la limite en temps continu. Nous montrons la convergence Lp et presque sûre de l'évolution de certains systèmes vers la solution d'une équation différentielle stochastique, à travers l'étude de la limite de la perturbation d'un schéma d'Euler stochastique. Dans une seconde partie de la thèse sur les systèmes quantiques, nous nous intéressons dans un premier temps aux actions d'environnements quantiques sur des systèmes quantiques aboutissant à des bruits classiques. A cette fin, nous introduisons certains opérateurs unitaires appelés « classiques », que nous caractérisons à l'aide de variables aléatoires dites obtuses. Nous mettons en valeur comment ces variables classiques apparaissent naturellement dans ce cadre quantique à travers des 3-tenseurs possédant des symétries particulières. Nous prouvons notamment que ces 3-tenseurs sont exactement ceux diagonalisables dans une base orthonormée. Dans un second temps, nous étudions la limite en temps continu d'une variante des interactions répétées quantiques dans le cas particulier d'un système biparti, c'est-à-dire composé de deux systèmes isolés sans interaction entre eux. Nous montrons qu'à la limite du temps continu, une interaction entre ces sous-systèmes apparaît explicitement sous forme d'un hamiltonien d'interaction; cette interaction résulte de l'action de l'environnement et de l'intrication qu'il crée
On a compris ces dernières années que certaines mesures d'intrications sont un outil efficace pour la compréhension et la caractérisation de phases nouvelles et exotiques de la matière, en particulier lorsque les méthodes traditionnelles basées sur l'identification d'un paramètre d'ordre sont insuffisantes. Cette thèse porte sur l'étude de quelques systèmes quantiques à basse dimension où un telle approche s'avère fructueuse. Parmi ces mesures, l'entropie d'intrication, définie via une bipartition du système quantique, est probablement la plus populaire, surtout à une dimension. Celle-ci est habituellement très difficile à calculer en dimension supérieure, mais nous montrons ici que le calcul se simplifie drastiquement pour une classe particulière de fonctions d'ondes, nommées d'après Rokhsar et Kivelson. L'entropie d'intrication peut en effet s'exprimer comme une entropie de Shannon relative à la distribution de probabilité générée par les composantes de la fonction d'onde du fondamental d'un autre système quantique, cette fois-ci unidimensionnel. Cette réduction dimensionnelle nous permet d'étudier l'entropie aussi bien par des méthodes numériques (fermions libres, diagonalisations exactes, ...) qu'analytiques (théories conformes). Nous argumentons aussi que cette approche permet d'accéder facilement à certaines caractéristiques subtiles et universelles d'une fonction d'onde donnée en général.Une autre partie de cette thèse est consacrée aux trempes quantiques locales dans des systèmes critiques unidimensionnels. Nous insisterons particulièrement sur une quantité appelée écho de Loschmidt, qui est le recouvrement entre la fonction d'onde avant la trempe et la fonction d'onde à temps t après la trempe. En exploitant la commensurabilité du spectre de la théorie conforme, nous montrons que l'évolution temporelle doit être périodique, et peut même être souvent obtenue analytiquement. Inspiré par ces résultats, nous étudions aussi la contribution de fréquence nulle à l'écho de Loschmidt après la trempe. Celle-ci s'exprime comme un simple produit scalaire -- que nous nommons fidélité bipartie -- et est une quantité intéressante en elle-même. Malgré sa simplicité, son comportement se trouve être très similaire à celui de l'entropie d'intrication. Pour un système critique unidimensionnel en particulier, notre fidélité décroît algébriquement avec la taille du système, un comportement rappelant la célèbre catastrophe d'Anderson. L'exposant est universel et relié à la charge centrale de la théorie conforme sous-jacente.
Algorithmes quantiques pour les équations aux dérivées partielles : circuits quantiques et applications physiques Les simulations classiques actuelles des phénomènes physiques présentent de nombreuses limitations, en particulier lorsqu'il s'agit de systèmes complexes tels que les fluides turbulents, les plasmas ou les matériaux quantiques fortement corrélés. Ces simulations rencontrent souvent des difficultés liées à des coûts de calculs élevés, une mise à l'échelle limitée à travers plusieurs dimensions ou échelles temporelles, ainsi qu'à la complexité de capturer des dynamiques intrinsèquement non-linéaires ou chaotiques. Même avec l'accès à des ressources de calcul haute performance (HPC), la résolution précise des dynamiques à fine échelle ou des évolutions sur de longues périodes reste un défi majeur. Le développement de nouvelles méthodes numériques est donc essentiel, tant pour la recherche académique que pour les applications industrielles. Les ordinateurs quantiques émergent comme de nouveaux outils numériques pour l'étude de tels systèmes et la résolution des équations aux dérivées partielles qui les modélisent. Grâce aux propriétés de superposition et d'intrication des qubits, les calculs numériques peuvent être réalisés de manière inédite, offrant des avantages théoriques prometteurs pour certains problèmes. Dans ce contexte, cette thèse contribue au développement et à la compréhension des algorithmes quantiques, allant de la conception de circuits quantiques à la résolution numérique d'équations différentielles partielles et ordinaires. Dans une première partie, des circuits quantiques efficaces sont présentés pour l'implémentation de routines couramment utilisées dans les algorithmes quantiques (opérations multi-contrôlées, préparation d'états quantiques, opérations diagonales), ainsi que pour une nouvelle routine : la transformée de Laplace quantique. Ces routines limitaient l'efficacité des algorithmes quantiques en raison d'implémentations génériques dont la complexité croissait de manière exponentielle avec le nombre de qubits. Désormais, ces tâches peuvent être réalisées à l'aide de circuits quantiques adaptés qui exploitent la structure des problèmes physiques. Dans une seconde partie, des schémas numériques quantiques sont introduits pour résoudre des équations de transport anisotropes et des équations différentielles ordinaires hamiltoniennes non linéaires. Ces schémas se composent de trois étapes (initialisation, évolution et mesure) et reposent sur des approximations en différences finies d'ordre élevé et des formules de Trotterisation. Des protocoles efficaces pour mesurer des grandeurs d'intérêt sont présentés, et une nouvelle analyse numérique, basée sur la norme vectorielle plutôt que sur la norme d'opérateur générique, est introduite. Cette approche permet d'atteindre une précision donnée tout en réduisant le nombre de pas de temps par un facteur qui croît de manière exponentielle avec le nombre de qubits. De plus, une étude de différentes transformations de Madelung non linéaires est présentée afin de résoudre certaines équations fluides sur ordinateur quantique. Les différents résultats de cette thèse sont illustrés par des simulations classiques des algorithmes quantiques ainsi que par des simulations sur des processeurs quantiques actuels. Ce travail pose les bases de la simulation pratique de systèmes physiques classiques, aussi bien sur les dispositifs quantiques actuels de type NISQ (noisy intermediate-scale quantum) que sur les futurs ordinateurs quantiques tolérants aux erreurs.
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.
Bruit et capacité d'apprentissage en apprentissage automatique quantique Cette thèse est consacrée à l'exploration de l'interface entre l'informatique quantique et l'apprentissage automatique, en mettant l'accent sur les effets du bruit et de la décohérence. Dans la première partie, nous étudions l'utilisation de systèmes quantiques ouverts pour la réalisation de tâches classiques de reconnaissance des formes. En particulier, nous nous intéressons à l'impact du bruit sur les machines à noyau quantique dans une configuration de calcul à réservoir. Les modèles que nous considérons sont basés sur l'utilisation d'un système quantique de grande taille et non contrôlé, un réservoir, qui est excité par un signal d'entrée à traiter. Des mesures sont ensuite effectuées sur le système et une combinaison linéaire des résultats est optimisée afin de réaliser la tâche souhaitée. Dans le cadre théorique associé aux méthodes à noyau, nous analysons l'effet de la dissipation sur l'expressivité de ces modèles. Nous montrons que le bruit affectant le réservoir peut agir comme une régularisation implicite qui aide à prévenir l'ajustement excessif. Ces résultats sont accompagnés d'une étude numérique d'un ensemble de machines à noyaux bruitées basées sur des chaînes de spins quantiques sujets à de la décohérence, et dont l'évolution markovienne est décrite par une équation maîtresse de type Lindblad. Dans la deuxième partie de la thèse, nous nous concentrons sur les algorithmes quantiques variationnels. Nous y présentons un schéma de simulation classique efficace pour estimer des quantités moyennées à la sortie d'un circuit quantique paramétré dont les paramètres de rotation sont choisis aléatoirement. Nous étudions d'abord les canaux quantiques associés aux moyennes de rotations aléatoires d'un et de deux qubits autour d'un axe Z. Sous certaines hypothèses, nous montrons que ces canaux peuvent être décomposés en sommes convexes de canaux associés à des transformations unitaires de Clifford. Ce résultat peut être interprété comme un effet de décohérence artificiel induit par le choix aléatoire des angles de rotation. Il nous permet construire un schéma de simulation efficace basé sur le célèbre théorème de Gottesman-Knill. Cette méthode permet notamment d'estimer efficacement l'amplitude moyenne du gradient de la fonction de coût par des simulations classiques avec une complexité polynomiale en le nombre de qubits. Elle peut donc être utilisée pour explorer des stratégies de conception de circuits variationnels quantiques permettant d'éviter les difficultés d'entrainement due à une disparition du gradient.
La méthode de Brisure de Symétrie/Restauration de Symétrie est un outil largement utilisé pour traiter un ensemble de particules en interaction. Cette méthode permet souvent d'améliorer l'approximation de l'énergie de l'état fondamental d'un Hamiltonien dans un cadre variationnel. Dans cette technique, certaines symétries du système sont brisées intentionnellement dans la fonction d'onde utilisée lors de la recherche de l'état fondamental. Ce processus permet de capturer des corrélations complexes entre les particules à un coût numérique plus faible par rapport à un cadre qui préserve ces symétries. Étant donné que le véritable état fondamental doit respecter les symétries du problème, une étape de restauration de symétrie est a priori nécessaire pour revenir dans le sous-espace approprié de l'espace de Hilbert total.Cette thèse examine comment mettre en œuvre le schéma de Brisure de Symétrie/Restauration de Symétrie à l'aide d'ordinateurs quantiques. L'algorithme quantique que nous utilisons pour la composante variationnelle est la méthode de ``Variational Quantum Eigensolver (VQE)". Son but est de préparer une approximation de l'état fondamental en utilisant une fonction d'onde paramétrisée afin de minimiser l'énergie associée au Hamiltonien. L'ansatz quantique de Bardeen-Cooper-Schrieffer (BCS) a été utilisé comme ansatz brisant les symétries, et les techniques développées ont été testées en utilisant les Hamiltoniens d'appariement et le modèle de Hubbard. Nous avons également utilisé la transformation de Jordan-Wigner pour encoder les opérateurs présents dans le Hamiltonien. Avec ces outils, à l'instar des calculs sur ordinateurs classiques, deux manières d'utiliser le processus de Brisure de Symétrie/Restauration de Symétrie en conjonction avec la méthode VQE sont développés : nous pouvons varier les paramètres d'un ansatz de Brisure de Symétrie avant ou après la restauration de symétrie. La première approche est identifiée comme Projection Quantique Après Variation, tandis que la dernière est nommée Variation Quantique Après Projection.L'un des aboutissements de cette thèse est le développement de diverses techniques pour la restauration de symétrie. Certaines d'entre elles sont basées sur l'algorithme d'Estimation de Phase Quantique (QPE), ce qui comprend les méthodes de QPE itérative et de Rodéo. Nous avons également étudié d'autres techniques basées sur le concept ``d'Oracles quantiques", telles que les méthodes Oracle+Hadamard et Grover-Hoyer. L'algorithme de Combinaison Linéaire d'opérateurs Unitaires a été utilisé pour implémenter directement soit la projection, soit l'oracle. Nous avons également adapté le formalisme de ``Classical Shadows" pour la restauration de symétries dans le but d'optimiser les ressources quantiques nécessaires. Les différentes méthodes de restauration de symétrie sont illustrées à travers la thèse pour les symétries associées au nombre de particules et au spin total.Dans la dernière partie de la thèse, des techniques dites hybrides quantiques-classiques sont présentées, qui peuvent aider à extraire des informations précieuses sur le spectre de basse énergie du Hamiltonien. En supposant qu'il est possible d'extraire avec précision les moments du Hamiltonien à partir de leur fonction génératrice à l'aide d'un ordinateur quantique, nous introduisons deux méthodes d'analyse des spectres : la méthode de t-expansion, qui combine l'évolution en temps imaginaire et l'approximation de Padé, et la méthode de Krylov, une méthode d'expansion du sous-espace quantique qui peut fournir des informations sur les valeurs propres du Hamiltonien et sur l'évolution de la probabilité de survie. De plus, nous présentons également des résultats de la méthode Krylov Quantique. Cette technique donne des informations similaires à la méthode de Krylov, mais sans avoir besoin d'estimer les moments du Hamiltonien, une tâche qui reste difficile sur un ordinateur quantique actuellement.