La simulation numérique de systèmes d'équations différentielles raides ordinaires ou algébriques est devenue partie intégrante dans le processus de conception des systèmes mécaniques à dynamiques complexes. L'objet de ce travail est de développer des méthodes numériques pour réduire les temps de calcul par le parallélisme en suivant deux axes : interne à l'intégrateur numérique, et au niveau de la décomposition de l'intervalle de temps. Nous montrons l'efficacité limitée au nombre d'étapes de la parallélisation à travers les méthodes de Runge-Kutta et DIMSIM. Nous développons alors une méthodologie pour appliquer le complément de Schur sur le système linéarisé intervenant dans les intégrateurs par l'introduction d'un masque de dépendance construit automatiquement lors de la mise en équations du modèle. Finalement, nous étendons le complément de Schur aux méthodes de type "Krylov Matrix Free". La décomposition en temps est d'abord vue par la résolution globale des pas de temps dont nous traitons la parallélisation du solveur non-linéaire (point fixe, Newton-Krylov et accélération de Steffensen). Nous introduisons les méthodes de tirs à deux niveaux, comme Parareal et Pita dont nous redéfinissons les finesses de grilles pour résoudre les problèmes raides pour lesquels leur efficacité parallèle est limitée. Les estimateurs de l'erreur globale, nous permettent de construire une extension parallèle de l'extrapolation de Richardson pour remplacer le premier niveau de calcul. Et nous proposons une parallélisation de la méthode de correction du résidu.

Submitted by ANA KARLA PEREIRA RODRIGUES (anakarla_@hotmail.com) on 2017-08-22T13:57:08Z No. of bitstreams: 1 arquivototal.pdf: 1762696 bytes, checksum: 53bf47b7590ebc1271d2f0d81822f00c (MD5) / Made available in DSpace on 2017-08-22T13:57:08Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1762696 bytes, checksum: 53bf47b7590ebc1271d2f0d81822f00c (MD5) Previous issue date: 2017-02-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / This work aims to determine the maximum number of pairwise disjoint lines that a non-singular surface of degree d in P3 can contain. In the case of degrees d = 1 and d = 2 we found that these values are zero and in nite, respectively. Furthermore, in the case of degree d = 3 we did show that the maximum number of pairwise disjoint lines is 6, these con gurations were studied in 1863 by the Swiss Ludwig Schl a i (1814-1895) in [15]. For the case d = 4, in 1975 the Russian Viacheslav Nikulin in [10] showed that non-singular quartic surfaces contain at most 16 pairwise disjoint lines. In our work, we have been able to show that Schur's famous quartic achieves this bound and that Fermat's quartic has at most 12 pairwise disjoint lines. We also determined lower bounds for the maximum number of pairwise disjoint lines in the case of non-singular surfaces of degree d 5. For example, the Rams's family in [11] allows us to nd one of these lower bounds. / Este trabalho objetiva determinar a quantidade máxima de retas duas a duas disjuntas que uma superfície não singular de grau d em P3 pode conter. No caso dos graus d = 1 e d = 2 verificamos que estes valores s~ao zero e in nito, respectivamente. Al em disso, no caso de grau d = 3 mostramos que o n umero m aximo de retas duas a duas disjuntas e 6, ditas con gura c~oes foram estudadas em 1863 pelo sui co Ludwig Schl a i (1814-1895) em [15]. Para o caso d = 4, em 1975 o russo Viacheslav Nikulin em [10] mostrou que as superf cies qu articas n~ao singulares cont^em no m aximo 16 retas duas a duas disjuntas. No nosso trabalho, conseguimos mostrar que a famosa qu artica de Schur atinge essa cota e que qu artica de Fermat possui no m aximo 12 retas duas a duas disjuntas. Determinamos ainda cotas inferiores para o n umero m aximo de retas duas a duas disjuntas no caso de superf cies n~ao singulares de grau d 5. Por exemplo, a fam lia de Rams em [11] nos permite achar uma dessas cotas inferiores.

Cette thèse est consacrée aux résultats asymptotiques pour les modèles ARX en poursuite adaptative. Elle est constituée de quatre parties. La première partie est une brève introduction sur les modèles ARMAX et un état de l’art des principaux résultats de la littérature en poursuite adaptative. La seconde partie porte sur l’introduction d’un nouveau concept de contrôlabilité forte pour les modèles ARX en poursuite adaptative. Il permet de généraliser les résultats antérieurs. On montre la convergence presque sûre des algorithmes des moindres carrés ordinaires et pondérés. On établit également le théorème de la limite centrale ainsi que la loi du logarithme itéré pour ces deux algorithmes. La troisième partie est dédiée aux modèles ARX qui ne sont pas fortement contrôlables. On montre que, via un contrôle de poursuite excité, il est possible de s’affranchir de l’hypothèse de forte contrôlabilité. La quatrième partie est consacrée au comportement asymptotique de la statistique de Durbin-Watson pour les modèles ARX en poursuite adaptative via des arguments martingales. / This thesis is devoted to asymptotical results for ARX models in adaptive tracking. It is divided into four parts. The first part is a short introduction on ARMAX models together with a state of the art on the main results in the literature on adaptive tracking. The second part deals with a new concept of strong controllability for ARX models in adaptive tracking. This new notion allows us to extend the previous convergence results. We prove the almost sure convergence for both least squares and weighted least squares algorithms. We also establish a central limit theorem and a law of iterated logarithm for these two algorithms. The third part is dedicated to ARX models that are not strongly controllable. Thanks to a persistently excited adaptive tracking control, we show that it is possible to get rid of the strong controllability assumption. The fourth part deals with the asymptotic behaviour of the Durbin-Watson statistic for ARX models in adaptive tracking via a martingale approach.

Cette thèse porte sur plusieurs questions liées aux mesures de Yang-Mills planaires et aux champs markoviens d'holonomies planaires. Les problèmes sont de deux sortes : étude des champs markoviens d'holonomies planaires pour un groupe de structure donné et l'étude asymptotique des mesures de Yang-Mills lorsque la dimension du groupe tend vers l'infini. On définit la notion de champs markoviens d'holonomies planaires qui axiomatise la notion de mesures de Yang-Mills planaires. En utilisant une nouvelle symétrie en théorie des probabilités, l'invariance par tresse, on construit, caractérise et classifie les champs markoviens d'holonomies planaires. Nous montrons que tout champ markovien d'holonomies planaire est associé à un processus de Lévy qui satisfait une condition de symétrie et vice-versa. Ceci nous permet de caractériser, pour les surfaces sphériques, les champs markoviens d'holonomies tels que définis précédemment par Thierry Lévy. Lorsque le groupe de structure est le groupe symétrique, on peut construire le champ markovien d'holonomies planaire associé grâce à un modèle de revêtements aléatoires. On prouve la convergence des monodromies de ce revêtement aléatoire en s'appuyant sur l'étude, développée dans cette thèse, de l'asymptotique des matrices aléatoires invariantes par conjugaison par le groupe symétrique. / This thesis focuses on planar Yang-Mills measures and planar Markovian holonomy fields. We consider two different questions : the study of planar Markovian holonomy fields with fixed structure group and the asymptotic study of the planar Yang-Mills measures when the dimension of the structure group grows. We define the notion of planar Markovian holonomy fields which generalizes the concept of planar Yang-Mills measures. We construct, characterize and classify the planar Markovian holonomy fields by introducing a new symmetry : the invariance under the action of braids. We show that there is a bijection between planar Markovian holonomy fields and some equivalent classes of Lévy processes. We use these results in order to characterize Markovian holonomy fields on spherical surfaces. The Markovian holonomy fields with the symmetric group as structure group can be constructed using random ramified coverings. We prove that the monodromies of these models of random ramified coverings converge as the number of sheets of the covering goes to infinity. To prove this, we develop general tools in order to study the limits of families of random matrices invariant by the symmetric group. This allows us to generalize ideas, developped by Thierry Lévy in order to study the planar Yang-Mills measure with the unitary structure group, to the setting where the structure group is the symmetric group.

Gegenstand der vorliegenden Arbeit ist die numerische Simulation piezoelektrischen Materialverhaltens, sowie spezieller Probleme aus der Mechanik (inkompressibles Materialverhalten) unter Anwendung der Methode der finiten Elemente. Hierbei wird die Strategie der adaptiven Netzsteuerung angewendet, welche mit Hilfe einer lokalisierten a-posteriori Fehlerschätzung erlaubt, den lokalen Feinheitsgrad der Diskretisierung den Besonderheiten der Aufgabenstellung anzupassen. Beide betrachteten Problemklassen führen nach der Diskretisierung und FEM auf Gleichungssysteme in spezieller Blockstruktur, die insgesamt symmetrisch, aber nicht positiv definit ist. Als Löser kann nicht der gewöhnliche CG verwendet werden, stattdessen wird eine Variante des Bramble-Pasciak-CGs benutzt, welcher als Speziallöser die Matrizenstruktur ausnutzt. Für diesen Löser wird eine Strategie zur Parameterwahl vorgeschlagen sowie die Wirksamkeit einer Vorkonditionierung im piezoelektrischen Fall theoretisch nachgewiesen. Weiterhin wird die FEM einschließlich Adaptivität für Piezomaterialien auf rotationssymmetrische Probleme erweitert, so daß diese spezielle Problemklasse zweidimensional gerechnet werden kann. Numerische Vergleiche mit echter 3D-Rechnung illustrieren enorme Vorteile in Genauigkeit und Rechenaufwand. Im letzten Kapitel werden in piezoelektrische Materialien hineinwachsende Risse betrachtet und entsprechende Anpassungen vorgenommen. Mit Wahl geeigneter Datenstrukturen und einer passenden Vorkonditionierung ist es möglich, eine Simulationssoftware bereitzustellen welche als Grundlage zum Test von Bruchkriterien verwendet werden kann. Die beschriebenen numerischen Methoden wurden in ein bestehendes adaptives 2D-FEM-Programm implementiert, und an ausgewählten Beispielen ein Vergleich mit einer analytischen Lösung durchgeführt sowie die Effektivität der Rechnung getestet.

Cette thèse porte sur les phénomènes critiques survenant dans les modèles bidimensionnels sur réseau. Les résultats sont l'objet de deux articles : le premier porte sur la mesure d'exposants critiques décrivant des objets géométriques du réseau et, le second, sur la construction d'idempotents projetant sur des modules indécomposables de l'algèbre de Temperley-Lieb pour la chaîne de spins XXZ. Le premier article présente des expériences numériques Monte Carlo effectuées pour une famille de modèles de boucles en phase diluée. Baptisés "dilute loop models (DLM)", ceux-ci sont inspirés du modèle O(n) introduit par Nienhuis (1990). La famille est étiquetée par les entiers relativement premiers p et p' ainsi que par un paramètre d'anisotropie. Dans la limite thermodynamique, il est pressenti que le modèle DLM(p,p') soit décrit par une théorie logarithmique des champs conformes de charge centrale c(\kappa)=13-6(\kappa+1/\kappa), où \kappa=p/p' est lié à la fugacité du gaz de boucles \beta=-2\cos\pi/\kappa, pour toute valeur du paramètre d'anisotropie. Les mesures portent sur les exposants critiques représentant la loi d'échelle des objets géométriques suivants : l'interface, le périmètre externe et les liens rouges. L'algorithme Metropolis-Hastings employé, pour lequel nous avons introduit de nombreuses améliorations spécifiques aux modèles dilués, est détaillé. Un traitement statistique rigoureux des données permet des extrapolations coïncidant avec les prédictions théoriques à trois ou quatre chiffres significatifs, malgré des courbes d'extrapolation aux pentes abruptes. Le deuxième article porte sur la décomposition de l'espace de Hilbert \otimes^nC^2 sur lequel la chaîne XXZ de n spins 1/2 agit. La version étudiée ici (Pasquier et Saleur (1990)) est décrite par un hamiltonien H_{XXZ}(q) dépendant d'un paramètre q\in C^\times et s'exprimant comme une somme d'éléments de l'algèbre de Temperley-Lieb TL_n(q). Comme pour les modèles dilués, le spectre de la limite continue de H_{XXZ}(q) semble relié aux théories des champs conformes, le paramètre q déterminant la charge centrale. Les idempotents primitifs de End_{TL_n}\otimes^nC^2 sont obtenus, pour tout q, en termes d'éléments de l'algèbre quantique U_qsl_2 (ou d'une extension) par la dualité de Schur-Weyl quantique. Ces idempotents permettent de construire explicitement les TL_n-modules indécomposables de \otimes^nC^2. Ceux-ci sont tous irréductibles, sauf si q est une racine de l'unité. Cette exception est traitée séparément du cas où q est générique. Les problèmes résolus par ces articles nécessitent une grande variété de résultats et d'outils. Pour cette raison, la thèse comporte plusieurs chapitres préparatoires. Sa structure est la suivante. Le premier chapitre introduit certains concepts communs aux deux articles, notamment une description des phénomènes critiques et de la théorie des champs conformes. Le deuxième chapitre aborde brièvement la question des champs logarithmiques, l'évolution de Schramm-Loewner ainsi que l'algorithme de Metropolis-Hastings. Ces sujets sont nécessaires à la lecture de l'article "Geometric Exponents of Dilute Loop Models" au chapitre 3. Le quatrième chapitre présente les outils algébriques utilisés dans le deuxième article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2", constituant le chapitre 5. La thèse conclut par un résumé des résultats importants et la proposition d'avenues de recherche qui en découlent. / This thesis is concerned with the study of critical phenomena for two-dimensional models on the lattice. Its results are contained in two articles: A first one, devoted to measuring geometric exponents, and a second one to the construction of idempotents for the XXZ spin chain projecting on indecomposable modules of the Temperley-Lieb algebra. Monte Carlo experiments, for a family of loop models in their dilute phase, are presented in the first article. Coined "dilute loop models (DLM)", this family is based upon an O(n) model introduced by Nienhuis (1990). It is defined by two coprime integers p,p' and an anisotropy parameter. In the continuum limit, DLM(p,p') is expected to yield a logarithmic conformal field theory of central charge c(\kappa)=13-6(\kappa+1/\kappa), where the ratio \kappa=p/p' is related to the loop gas fugacity \beta=-2\cos\pi/\kappa. Critical exponents pertaining to valuable geometrical objects, namely the hull, external perimeter and red bonds, were measured. The Metropolis-Hastings algorithm, as well as several methods improving its efficiency, are presented. Despite the extrapolation of curves presenting large slopes, values as close as three to four digits from the theoretical predictions were attained through rigorous statistical analysis. The second article describes the decomposition of the XXZ spin chain Hilbert space \otimes^nC^2 using idempotents. The model of interest (Pasquier & Saleur (1990)) is described by a parameter-dependent Hamiltonian H_{XXZ}(q), q\in C^\times, expressible as a sum of elements of the Temperley-Lieb algebra TL_n(q). The spectrum of H_{XXZ}(q) in the continuum limit is also believed to be related to conformal field theories whose central charge is set by q. Using the quantum Schur-Weyl duality, an expression for the primitive idempotents of End_{TL_n}\otimes^nC^2, involving U_qsl_2 elements, is obtained. These idempotents allow for the explicit construction of the indecomposable TL_n-modules of \otimes^nC^2, all of which are irreducible except when q is a root of unity. This case, and the case where q is generic, are treated separately. Since a wide variety of results and tools are required to tackle the problems stated above, this thesis contains many introductory chapters. Its layout is as follows. The first chapter introduces theoretical concepts common to both articles, in particular an overview of critical phenomena and conformal field theory. Before proceeding to the article entitled \emph{Geometric Exponents of Dilute Loop Models} constituting Chapter 3, the second chapter deals briefly with logarithmic conformal fields, Schramm-Loewner evolution and the Metropolis-Hastings algorithm. The fourth chapter defines some algebraic concepts used in the second article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2" of Chapter 5. A summary of the main results, as well as paths to unexplored questions, are suggested in a final chapter.

Cette thèse présente une méthode de résolution parallèle de systèmes linéaires creux qui combine efficacement les techniques de résolutions directes et itératives en utilisant une approche de type complément de Schur. Nous construisons une décomposition de domaine. L'intérieur des sous-domaines est éliminé de manière directe pour se ramener à un problème sur l'interface. Ce problème est résolu grâce à une méthode itérative préconditionnée par une factorisation incomplète. Un réordonnancement de l'interface permet la construction d'un préconditionneur global du complément de Schur. Des algorithmes minimisant le pic mémoire de la construction du préconditionneur sont proposés. Nous exploitons un schéma d'équilibrage de charge utilisant une répartition de multiples sous-domaines sur les processeurs. Les méthodes sont implémentées dans le solveur HIPS et des résultats expérimentaux parallèles sont présentés sur de grands cas tests industriels. / This thesis presents a parallel resolution method for sparse linear systems which combines effectively techniques of direct and iterative solvers using a Schur complement approach. A domain decomposition is built ; the interiors of the subdomains are eliminated by a direct method in order to use an iterative method only on the interface unknowns. The system on the interface (Schur complement) is solved thanks to an iterative method preconditioned by a global incomplete factorization. A special ordering on the Schur complement allows to build a scalable preconditioner. Algorithms minimizing the memory peak that appears during the construction of the preconditioner are presented. The memory is balanced thanks to a multiple domains per processors parallelization scheme. The methods are implemented in the HIPS solver and parallel experimental results are presented on large industrial test cases.

Cette thèse porte sur les phénomènes critiques survenant dans les modèles bidimensionnels sur réseau. Les résultats sont l'objet de deux articles : le premier porte sur la mesure d'exposants critiques décrivant des objets géométriques du réseau et, le second, sur la construction d'idempotents projetant sur des modules indécomposables de l'algèbre de Temperley-Lieb pour la chaîne de spins XXZ. Le premier article présente des expériences numériques Monte Carlo effectuées pour une famille de modèles de boucles en phase diluée. Baptisés "dilute loop models (DLM)", ceux-ci sont inspirés du modèle O(n) introduit par Nienhuis (1990). La famille est étiquetée par les entiers relativement premiers p et p' ainsi que par un paramètre d'anisotropie. Dans la limite thermodynamique, il est pressenti que le modèle DLM(p,p') soit décrit par une théorie logarithmique des champs conformes de charge centrale c(\kappa)=13-6(\kappa+1/\kappa), où \kappa=p/p' est lié à la fugacité du gaz de boucles \beta=-2\cos\pi/\kappa, pour toute valeur du paramètre d'anisotropie. Les mesures portent sur les exposants critiques représentant la loi d'échelle des objets géométriques suivants : l'interface, le périmètre externe et les liens rouges. L'algorithme Metropolis-Hastings employé, pour lequel nous avons introduit de nombreuses améliorations spécifiques aux modèles dilués, est détaillé. Un traitement statistique rigoureux des données permet des extrapolations coïncidant avec les prédictions théoriques à trois ou quatre chiffres significatifs, malgré des courbes d'extrapolation aux pentes abruptes. Le deuxième article porte sur la décomposition de l'espace de Hilbert \otimes^nC^2 sur lequel la chaîne XXZ de n spins 1/2 agit. La version étudiée ici (Pasquier et Saleur (1990)) est décrite par un hamiltonien H_{XXZ}(q) dépendant d'un paramètre q\in C^\times et s'exprimant comme une somme d'éléments de l'algèbre de Temperley-Lieb TL_n(q). Comme pour les modèles dilués, le spectre de la limite continue de H_{XXZ}(q) semble relié aux théories des champs conformes, le paramètre q déterminant la charge centrale. Les idempotents primitifs de End_{TL_n}\otimes^nC^2 sont obtenus, pour tout q, en termes d'éléments de l'algèbre quantique U_qsl_2 (ou d'une extension) par la dualité de Schur-Weyl quantique. Ces idempotents permettent de construire explicitement les TL_n-modules indécomposables de \otimes^nC^2. Ceux-ci sont tous irréductibles, sauf si q est une racine de l'unité. Cette exception est traitée séparément du cas où q est générique. Les problèmes résolus par ces articles nécessitent une grande variété de résultats et d'outils. Pour cette raison, la thèse comporte plusieurs chapitres préparatoires. Sa structure est la suivante. Le premier chapitre introduit certains concepts communs aux deux articles, notamment une description des phénomènes critiques et de la théorie des champs conformes. Le deuxième chapitre aborde brièvement la question des champs logarithmiques, l'évolution de Schramm-Loewner ainsi que l'algorithme de Metropolis-Hastings. Ces sujets sont nécessaires à la lecture de l'article "Geometric Exponents of Dilute Loop Models" au chapitre 3. Le quatrième chapitre présente les outils algébriques utilisés dans le deuxième article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2", constituant le chapitre 5. La thèse conclut par un résumé des résultats importants et la proposition d'avenues de recherche qui en découlent. / This thesis is concerned with the study of critical phenomena for two-dimensional models on the lattice. Its results are contained in two articles: A first one, devoted to measuring geometric exponents, and a second one to the construction of idempotents for the XXZ spin chain projecting on indecomposable modules of the Temperley-Lieb algebra. Monte Carlo experiments, for a family of loop models in their dilute phase, are presented in the first article. Coined "dilute loop models (DLM)", this family is based upon an O(n) model introduced by Nienhuis (1990). It is defined by two coprime integers p,p' and an anisotropy parameter. In the continuum limit, DLM(p,p') is expected to yield a logarithmic conformal field theory of central charge c(\kappa)=13-6(\kappa+1/\kappa), where the ratio \kappa=p/p' is related to the loop gas fugacity \beta=-2\cos\pi/\kappa. Critical exponents pertaining to valuable geometrical objects, namely the hull, external perimeter and red bonds, were measured. The Metropolis-Hastings algorithm, as well as several methods improving its efficiency, are presented. Despite the extrapolation of curves presenting large slopes, values as close as three to four digits from the theoretical predictions were attained through rigorous statistical analysis. The second article describes the decomposition of the XXZ spin chain Hilbert space \otimes^nC^2 using idempotents. The model of interest (Pasquier & Saleur (1990)) is described by a parameter-dependent Hamiltonian H_{XXZ}(q), q\in C^\times, expressible as a sum of elements of the Temperley-Lieb algebra TL_n(q). The spectrum of H_{XXZ}(q) in the continuum limit is also believed to be related to conformal field theories whose central charge is set by q. Using the quantum Schur-Weyl duality, an expression for the primitive idempotents of End_{TL_n}\otimes^nC^2, involving U_qsl_2 elements, is obtained. These idempotents allow for the explicit construction of the indecomposable TL_n-modules of \otimes^nC^2, all of which are irreducible except when q is a root of unity. This case, and the case where q is generic, are treated separately. Since a wide variety of results and tools are required to tackle the problems stated above, this thesis contains many introductory chapters. Its layout is as follows. The first chapter introduces theoretical concepts common to both articles, in particular an overview of critical phenomena and conformal field theory. Before proceeding to the article entitled \emph{Geometric Exponents of Dilute Loop Models} constituting Chapter 3, the second chapter deals briefly with logarithmic conformal fields, Schramm-Loewner evolution and the Metropolis-Hastings algorithm. The fourth chapter defines some algebraic concepts used in the second article, "The idempotents of the TL_n-module \otimes^nC^2 in terms of elements of U_qsl_2" of Chapter 5. A summary of the main results, as well as paths to unexplored questions, are suggested in a final chapter.

Dans cette thèse, nous nous intéressons à la résolution parallèle de grands systèmes linéaires creux. Nous nous focalisons plus particulièrement sur les solveurs linéaires creux hybrides directs itératifs tels que HIPS, MaPHyS, PDSLIN ou ShyLU, qui sont basés sur une décomposition de domaine et une approche « complément de Schur ». Bien que ces solveurs soient moins coûteux en temps et en mémoire que leurs homologues directs, ils ne sont néanmoins pas exempts de surcoûts. Dans une première partie, nous présentons les différentes méthodes de réduction de la consommation mémoire déjà existantes et en proposons une nouvelle qui n’impacte pas la robustesse numérique du précondionneur construit. Cette technique se base sur une atténuation du pic mémoire par un ordonnancement spécifique des tâches de calcul, d’allocation et de désallocation des blocs, notamment ceux se trouvant dans les parties « couplage » des domaines.Dans une seconde partie, nous nous intéressons à la question de l’équilibrage de la charge que pose la décomposition de domaine pour le calcul parallèle. Ce problème revient à partitionner le graphe d’adjacence de la matrice en autant de parties que de domaines désirés. Nous mettons en évidence le fait que pour avoir un équilibrage correct des temps de calcul lors des phases les plus coûteuses d’un solveur hybride tel que MaPHyS, il faut à la fois équilibrer les domaines en termes de nombre de noeuds et de taille d’interface locale. Jusqu’à aujourd’hui, les partitionneurs de graphes tels que Scotch et MeTiS ne s’intéressaient toutefois qu’au premier critère (la taille des domaines) dans le contexte de la renumérotation des matrices creuses. Nous proposons plusieurs variantes des algorithmes existants afin de prendre également en compte l’équilibrage des interfaces locales. Toutes nos modifications sont implémentées dans le partitionneur Scotch, et nous présentons des résultats sur de grands cas de tests industriels. / In this thesis, we focus on the parallel solving of large sparse linear systems. Our main interestis on direct-iterative hybrid solvers such as HIPS, MaPHyS, PDSLIN or ShyLU, whichrely on domain decomposition and Schur complement approaches. Althrough these solvers arenot as time and space consuming as direct methods, they still suffer from serious overheads. Ina first part, we thus present the existing techniques for reducing the memory consumption, andwe present a new method which does not impact the numerical robustness of the preconditioner.This technique reduces the memory peak by doing a special scheduling of computation, allocation,and freeing tasks in particular in the Schur coupling blocks of the matrix. In a second part,we focus on the load balancing of the domain decomposition in a parallel context. This problemconsists in partitioning the adjacency graph of the matrix in as many domains as desired. Wepoint out that a good load balancing for the most expensive steps of an hybrid solver such asMaPHyS relies on the balancing of both interior nodes and interface nodes of the domains.Through, until now, graph partitioners such as MeTiS or Scotch used to optimize only thefirst criteria (i.e., the balancing of interior nodes) in the context of sparse matrix ordering. Wepropose different variations of the existing algorithms to improve the balancing of interface nodesand interior nodes simultaneously. All our changes are implemented in the Scotch partitioner.We present our results on large collection of matrices coming from real industrial cases.

Ce mémoire révèle la structure des représentations des algèbres de Temperley-Lieb affines aTLN(β) sur les espaces propres CN(q,v,d) (du spin total Sz) des chaînes de spins XXZ périodiques. En particulier, on y démontre que ces représentations, introduites dans Martin/Saleur et Morin-Duchesne/Saint-Aubin, admettent toujours une structure similaire à celle des représentations de Feigin-Fuchs de l’algèbre de Virasoro Vir et que les différentes possibilités, pour la structure d’un Vir-module de Feigin-Fuchs, sont toutes réalisées par un espace propre donné. On introduit aussi une pléthore d’applications aTLN(β)-linéaires entre différents espaces propres en considérant une action naturelle de l’extension de Lusztig LUqsl2 sur les chaînes XXZ périodiques et on caractérise entièrement le noyau ainsi que l’image de ces applications à l’aide de longues suites exactes et d’une décomposition de Clebsch-Gordan généralisée. Finalement, on identifie l’image du morphisme iNd(q,v) défini par Morin-Duchesne/Saint-Aubin et on donne également une nouvelle réalisation explicite pour les couvertures projectives de la catégorie modLUqsl2. / This master’s thesis reveals the structure of the representations of the affine Temperley-Lieb algebras aTLN(β) on the eigenspaces CN(q,v,d) (of the total spin Sz) of the periodic XXZ spin chains. In particular, we show that these representations, introduced by Martin/Saleur and Morin-Duchesne/Saint-Aubin, always admit a structure akin that of the Feigin-Fuchs representations of the Virasoro Vir algebra and that the different possibilities, for the structure of a Feigin-Fuchs Vir-module, are all realized by a given eigenspace. We also give a plethora of aTLN(β)-linear maps between different eigenspaces by considering a natural action of the Lusztig extension LUqsl2 on the periodic XXZ chains and we then fully characterize the kernel and image of these morphisms by means of long exact sequences and a generalized Clebsch-Gordan decomposition. Finally, we explicitly give the image of the intertwiner iNd(q,v) defined by Morin-Duchesne/Saint-Aubin and we also introduce a new explicit realization for the projective covers in the category modLUqsl2.