Ce mémoire est consacré à la théorie des invariants des hypermatrices. <br />L'origine de la théorie des invariants date du milieu du XIX ième siècle. Le problème général, tel qu'il fut énoncé par Cayley en 1843, consiste à trouver une description de l'algèbre des polynômes invariants dans le but d'automatiser le raisonnement géométrique. <br />Assez rapidement de fortes limitations dues à la taille des calculs se manifestèrent et cette discipline se trouva de moins en moins étudiées jusque dans les années 1950 lorsque fut développée la théorie géométrique des invariants. De nos jours, l'accroissement de la puissance de calcul permet de compléter d'anciens travaux qui n'avaient pu aboutir faute de moyen informatique ainsi que de traiter de nouveaux cas. L'intérêt de cette discipline s'est accru depuis peu grâce à la découverte d'un lien avec une notion issue de la mécanique quantique et qui est à la base de l'informatique quantique: l'intrication. Le phénomène d'intrication est apparu en 1937, sous la plume sceptique de trois physiciens, Einstein , Podolsky et Rozen qui voyaient en lui une preuve de la non consistance de la théorie quantique, et est connu depuis sous le nom de paradoxe EPR. Depuis, de nombreuses expériences, dont la célèbre expérience d'Alain Aspect, ont confirmé l'existence des états intriqués.<br />Ce mémoire se décompose en deux parties. Dans la première, nous exposons les techniques fondamentales de la théorie des invariants ainsi que le lien avec l'intrication tel qu'il a été proposé par A. Klyachko. Nous montrons que l'implémentation de l'algorithme de Gordan sur un système de calcul formel permet de calculer des ensembles fondamentaux d'invariants et de covariants de certaines formes multilinéaires. En particulier, nous illustrons ce type de calcul en donnant un système complet de générateurs de l'algèbre des covariants pour une forme quadrilinéaire (système de 4-qubits). Nous montrons aussi les limites de cette approche : en donnant des éléments de calcul de la forme quintilinéaire (système de 5-qubits), nous voyons que la complexités sur-exponentielle des algèbres d'invariants interdit la généralisation de cette méthode. Pire, même si la description de ces algèbres en terme de générateurs et relations pouvait être obtenue, celle-ci serait humainement inexploitable. Nous proposons alors des pistes consistant à ne considérer que certains invariants ayant des propriétés remarquables (par exemple en étudiant la structure de Cohen-Macaulay de ces algèbres). La seconde partie est consacrée à un invariant particulier, l'hyperdéterminant. Ce polynôme généralise le déterminant de la façon la plus simple possible : il s'agit d'une somme multi-alternée sur le produit de plusieurs groupes symétriques. Après avoir donné quelques propriétés générales, nous étudions certains cas particuliers comme les hyperdéterminants de Hankel, ou les hyperdéterminants de tenseurs dont les entrées ne dépendent que du pgcd des indices etc... De nombreux résultats de cette partie sont appliqués au calcul d'intégrales itérés. En particulier, nous donnons une généralisation du théorème de Heine, une preuve alternative de l'intégrale de Selberg et des généralisations des intégrales de de Bruijn.

Quelques systèmes quantiques ouverts sont étudiés par la récente théorie des systèmes dynamiques. Un système est couplé à un réservoir, une équation de Volterra dirige son évolution. La limite faible conduit aux résultats markoviens de Davies introduisant les opérateurs de Davies et de Van Hove, calculés formellement. Le semi-groupe de générateur de Davies agit sur les observables du système. On précise des conditions à la complète positivité satisfaites par les modèles connus. Une méthode explicite résout l'équation maîtresse pour un système, formé d'oscillateurs harmoniques, et donne le retour rapide vers l'équilibre. La formule de Feshbach relie la résolvante projetée du liouvillien au générateur de Davies. Des hypothèses spécifiques d'un champ bosonique génèrent des processus gaussiens stationnaires représentés à l'aide d'un mouvement brownien complexe. L'existence d'une mesure invariante prouve l'évolution markovienne de la matrice de densité du système

La magnétohydrodynamique, ou effet dynamo, consiste en la génération d'énergie électrique à partir d'énergie mécanique. Plus précisément, on étudie l'évolution d'un champ magnétique généré par un fluide conducteur. Ce phénomène se retrouve dans les planètes, les étoiles, ou même les galaxies, où le champ magnétique provient du mouvement interne. Dans cette thèse, nous nous intéressons plus précisément aux instabilités en magnétohydrodynamique : partant d'un fluide conducteur sans champs magnétique, est-ce qu'une perturbation légère de l'écoulement et du champ magnétique (par exemple, un résidu de champs magnétique arrivant d'un autre système) peut engendrer une amplification de ce champ magnétique, créant ainsi une dynamo ? La deuxième interrogation consiste en le temps nécessaire pour obtenir une telle amplification du champ magnétique. Cette thèse consiste donc en l'étude de ces deux questions, et donne deux résultats d'ordre théorique et deux résultats d'ordre numérique.

Ce manuscrit se décompose en deux parties principales, associées à deux types d'applications assez différentes. Dans la première partie qui comprend les deux premiers chapitres, je m'intéresse à des systèmes issus de problèmes de contrôle et d'estimation en physique quantique; dans la deuxième partie (troisième chapitre du manuscrit), j'étudie la propagation d'ondes électriques le long des fils classiques dans un réseau de lignes de transmission et je considère certains problèmes d'estimation de paramètres. Dans le premier chapitre nous étudions le problème de la planification de trajectoires pour des systèmes quantiques fermés modélisés par des équations de Schrödinger bilinéaire. Nous démontrons alors des résultats de la stabilisation approchée pour le cas d'une boite quantique infinie ainsi que pour le cas d'un potentiel décroissant. Dans les deux cas, le manque de pré-compacité des trajectoires dans des espaces fonctionnels appropriés nous oblige à proposer des méthodes de Lyapunov qui évitent des phénomènes de perte de masse à l'infini. Dans le deuxième chapitre nous étudions le problème de stabilisation de systèmes quantiques en observation. Cette observation nécessite l'ouverture du système à son environnement. Les modèles pertinents pour l'évolution de ce type de systèmes sont des modèles stochastiques basés sur des trajectoires de Monte-Carlo quantiques. Nous étudions alors certains problèmes de stabilisation qui parviennent de vraies expériences physiques. Enfin, dans le chapitre 3 nous considérons le problème d'estimation de paramètres pour un réseau de fils de câblage électrique. Dans ce but, nous étudions deux approches : l'approche temporelle et l'approche fréquentielle. Dans l'approche temporelle, nous considérons le réseau le plus simple qui consiste d'une seule ligne de transmission et nous proposons un algorithme d'identification pour l'équation d'onde associé qui est basé sur l'application des observateurs asymptotiques. Dans l'approche fréquentielle, nous considérons un réseau plus compliqué de la forme étoile. Nous proposons alors des résultats d'identifiabilité basés sur des techniques de l'inverse scattering.

Cette thèse est consacrée à l'étude mathématique des propriétés de stabilité de systèmes quantiques infinis, décrits par des modèles non linéaires. Dans les chapitres 1 et 2, on étudie l'instabilité du vide relativiste menant au phénomène de création de paires électron-positron. Dans le chapitre 3, on considère la dynamique de ce même vide relativiste couplé à un champ scalaire. Les chapitres 4 et 5 sont consacrés au caractère dispersif de la dynamique non linéaire de Hartree pour des perturbations de la mer de Fermi, et en particulier à sa stabilité orbitale et asymptotique. Enfin, le chapitre 6 introduit une notion générale d'entropie relative entre deux états comportant une infinité de particules.

Since the advent of the first ionizing radiation imaging devices initiated by Godfrey Newbold Hounsfield and Allan MacLeod Cormack, Nobel Prizes in 1979, the requirement for new non-invasive imaging techniques has grown. These techniques rely upon the properties of penetration in the matter of X and gamma radiation for detecting a hidden structure without destroying the illuminated environment. They are used in many fields ranging from medical imaging to non-destructive testing through. However, the techniques used so far suffer severe degradation in the quality of measurement and reconstructed images. Usually approximated by a noise, these degradations require to be compensated or corrected by collimating devices and often expensive filtering. These degradation is mainly due to scattering phenomena which may constitute up to 80% of the emitted radiation in biological tissue. In the 80's a new concept has emerged to circumvent this difficulty : the Compton scattering tomography (CST).This new approach proposes to measure the scattered radiation considering energy ranges ( 140-511 keV) where the Compton effect is the phenomenon of leading broadcast. The use of such imaging devices requires a deep understanding of the interactions between radiation and matter to propose a modeling, consistent with the measured data, which is essential to image reconstruction. In conventional imaging systems (which measure the primary radiation) the Radon transformdefined on the straight lines emerged as the natural modeling. But in Compton scattering tomography, the measured information is related to the scattering energy and thus the scattering angle. Thus the circular geometry induced by scattering phenomenon makes the classical Radon transform inadequate.In this context, it becomes necessary to provide such Radon transforms on broader geometric manifolds.The study of the Radon transform on new manifolds of curves becomes necessary to provide theoretical needs for new imaging techniques. Cormack, himself, was the first to extend the properties of the conventional Radon transform of a family of curves of the plane. Thereafter several studies have been done in order to study the Radon transform defined on different varieties of circles, spheres, broken lines ... . In 1994 S.J. Norton proposed the first modality in Compton scattering tomography modeled by a Radon transform on circular arcs, the CART1 here. In 2010, Nguyen and Truong established the inversion formula of a Radon transform on circular arcs, CART2, to model the image formation in a new modality in Compton scattering tomography. The geometry involved in the integration support of new modalities in Compton scattering tomography lead them to demonstrate the invertibility of the Radon transform defined on a family of Cormack-type curves, called C_alpha. They illustrated the inversion procedure in the case of a new transform, the CART3, modeling a new modeling of Compton scattering tomography. Based on the work of Cormack and Truong and Nguyen, we propose to establish several properties of the Radon transform on the family C_alpha especially on C1. We have thus demonstrated two inversion formulae that reconstruct the original image via its circular harmonic decomposition and itscorresponding transform. These formulae are similar to those established by Truong and Nguyen. We finally established the well-known filtered back projection and singular value decomposition in the case alpha = 1. All results established in this study provide practical problems of image reconstruction associated with these new transforms. In particular we were able to establish new inversion methods for transforms CART1,2,3 as well as numerical approaches necessary for the implementation of these transforms. All these results enable to solve problems of image formation and reconstruction related to three Compton scattering tomography modalities.In addition we propose to improve models and algorithms es

Les contributions de cette thèse portent sur deux sujets. La première partie est dédiée à l'étude de modèles de champ moyen pour la structure électronique de matériaux avec des défauts. Dans le chapitre 2, nous introduisons et étudions le modèle de Hartree-Fock réduit (rHF) pour des cristaux désordonnés. Nous prouvons l'existence d'un état fondamental et établissons, pour les interactions de Yukawa (à courte portée), certaines propriétés de cet état. Dans le chapitre 3, nous considérons des matériaux avec des défauts étendus. Dans le cas des interactions de Yukawa, nous prouvons l'existence d'un état fondamental, solution de l'équation auto-cohérente. Nous étudions également le cas de cristaux avec une faible concentration de défauts aléatoires. Dans le chapitre 4, nous présentons des résultats de simulations numériques de systèmes aléatoires en dimension un. Dans la deuxième partie, nous étudions des modèles Monte-Carlo cinétique multi-échelles en temps. Nous prouvons, pour les trois modèles présentés au chapitre 6, que les variables lentes convergent, dans la limite de la grande séparation des échelles de temps, vers une dynamique effective. Nos résultats sont illustrés par des simulations numériques.

Cette thèse porte sur la modélisation des piles à combustible à membrane d'échange de protons (PEMFC), en vue de leur surveillance et de leur diagnostic par spectroscopie d'impédance. La première partie du document présente le principe de fonctionnement de ces piles, ainsi que l'état de l'art de la modélisation et des méthodes de surveillance et diagnostic. Le modèle physique multi échelle particulièrement détaillé publié en 2005 par A.A. Franco sert de point de départ. Il est simplifié de façon à aboutir à un système d'équations aux dérivées partielles en une unique dimension spatiale. L'objectif principal de la seconde partie est l'analyse harmonique du fonctionnement de la pile. En s'inspirant de travaux classiques sur l'analyse géométrique de réseaux de réactions électrochimiques, un modèle réduit compatible avec la thermodynamique est obtenu. Cette classe de systèmes dynamiques permet de déterminer, pour un tel réseau, une formule analytique de l'impédance de l'anode et de la cathode d'une pile PEMFC. Un modèle complet de la pile est obtenu en connectant ces éléments à des éléments représentant la membrane, les couches diffuses et les couches de diffusion des gaz. Les modèles précédents supposent la pile représentée par une cellule unique et homogène. Afin de permettre d'en décrire les hétérogénéités spatiales, nous proposons finalement un résultat de modélisation réduite d'un réseau de cellules représentées par leur impédance. Ce modèle approxime l'impédance globale du réseau par une "cellule moyenne", connectée à deux cellules "série" et "parallèle" représentatives d'écart par rapport à la moyenne.

Aujourd'hui, une large communauté de scientifiques travaille en vue de la réalisation d'un ordinateur quantique, une machine dont il est montré qu'elle peut offrir, au moins en théorie, et en particulier pour les problèmes dont la complexité croît exponentiellement avec la taille du système, des performances inaccessibles à ses homologues classiques. Cette thèse s'intéresse à la possibilité de réaliser une approche semi-classique de l'information quantique dans deux domaines d'intérêt : celui du clonage approché d'un qubit, et celui de l'amplification de spins dans des chaînes de spins. Dans la première partie de cette thèse est étudié le rôle de l'interférence dans les cloneurs quantiques. Nous étudions en particulier le cas de cloneurs sans interférence (au sens définit dans la thèse) qui se révèle être un cas intermédiaire (que l'on peut qualifier de semi-classique) entre les cloneurs purement quantiques (qui propagent cohérences et probabilités des matrices densités) et les cloneurs classiques (qui ne propagent que les probabilités). Dans la seconde partie, on s'intéresse au phénomène d'amplification de spin qui permet d'amplifier l'état d'un spin unique comme état de polarisation de la chaîne toute entière, problème pour lequel l'approche semi-classique (valable en raison du grand nombre de spins) est utilisée pour montrer l'importance inattendue jouée par les effets de bords dans de tels systèmes.

Dans cette thèse, je m'intéresse à des modèles stochastiques de particules sur réseaux qui suivent une dynamique de Glauber avec contraintes cinétiques (KCSM), et particulièrement aux modèles Est et FA-1f. Ces modèles sont apparus en physique pour l'étude des systèmes vitreux. Dans ce document se trouve d'abord un résumé en français de son contenu. Puis viennent trois chapitres présentant le cadre dans lequel mes travaux s'inscrivent et montrant à la fois leurs contributions et à quelles notions et techniques ils font appel. Je centre ma présentation des KCSM sur les objets et résultats qui ont joué un rôle direct dans mes recherches. Mes articles sont regroupés en annexe avec éventuellement quelques extensions retranchées pour la publication. Le premier chapitre est une introduction aux KCSM. Le deuxième chapitre présente des résultats hors équilibre pour les KCSM. J'expose d'abord des résultats de relaxation locale ; pour le modèle FA-1f il s'agit d'un travail commun avec N. Cancrini, F. Martinelli, C. Roberto et C. Toninelli. J'étudie ensuite la progression d'un front dans le modèle Est, et montre un théorème de forme ainsi qu'un résultat d'ergodicité pour le processus vu du front. Ce résultat repose sur la quantification de la relaxation locale du processus vu du front plutôt que sur des arguments classiques de sous-additivité. Le dernier chapitre explore des questions liées à la dynamique des KCSM à basse température (soit à haute densité). Je rappelle des résultats asymptotiques sur le trou spectral des modèles Est et FA-1f et propose quelques heuristiques et conjectures. Je m'intéresse ensuite au comportement à basse température du coefficient de diffusion d'un traceur dans un KCSM, dans l'optique de donner des réponses rigoureuses à des questions posées dans la littérature physique.