Dans cette thèse, nous utilisons la théorie des espaces twistoriels afin de construire des structures complexes non standards (en un sens bien précis) sur des produits de 4-variétés réelles avec la sphère de dimension deux. Pour cela nous explicitons l'ensemble des surfaces complexes dont le fibré twistoriel est topologiquement trivial. Dans un deuxième temps nous déterminons parmi ces surfaces celles qui peuvent être munies d'une métrique riemannienne anti-autoduale. De ces résultats, nous déduisons une famille d'exemples simples de 4-variétés réelles parallélisables sans structure complexe. L'espace twistoriel associé à ces variétés admet une structure complexe. C'est notre première classe de 6-variétés munies d'une structure complexe non standard. Une deuxième classe d'exemple sera construite à partir de ces travaux. Enfin, et de façon indépendante, nous étudions brièvement les propriétés de connexités rationnelles des espaces twistoriels.

Notre contribution concerne les trois domaines complémentaires suivants: la différentiation automatique de programmes, l'optimisation de formes pour de grands systèmes, l'adaptation de maillages. Dans le chapitre 1 de la partie 1, nous exposons une méthode de calcul de gradients par Différentiation Automatique pour un problème classique d'optimisation de formes. Nous expliquons comment déduire un gradient exact basé sur un état adjoint sans stocker explicitement le jacobien. Le mode adjoint de la DA que nous proposons utilise beaucoup moins d'espace mémoire. Dans le chapitre 2 de la partie 2, nous proposons une méthode de type SQP pour résoudre une classe de problèmes d'optimisation avec contraintes égalités. Le nouvel algorithme permet une résolution simultanée du système d'optimalité. Cette méthode one shot combine efficacité et robustesse. Dans le chapitre 3 de la partie 2, nous étudions une nouvelle stratégie de préconditionnement pour l'optimisation de formes. Nous construisons un préconditionnement multiniveau additif à partir du principe classique de Bramble-Pasciak-Xu et du principe d'agglomération. Nous spécifions aisément le gain en régularité de notre préconditionneur avec un seul paramètre réel. Dans le chapitre 1 de la partie 3, nous étudions le problème du meilleur maillage adapté pour de l'interpolation pure. La résolution du système d'optimalité donne une expression complètement explicite de la métrique optimale en fonction de la fonction à adapter. Dans le chapitre 2 de la partie 3, nous étendons la méthode du chapitre précédent au problème de l'adaptation de maillage pour EDP. Notre méthode repose sur une analyse a priori rigoureuse puis sur une modélisation.

This work is to give an overview over the research that I've done up to now. The overall idea behind my interests has been that of understanding analytical and geometrical properties of non smooth spaces both from both a theoretical and a practical point of view. The two main classes of spaces on which I focussed are: the Wasserstein space (P2(M),W2) built over a Riemannian manifold, and abstract metric and metric-measure spaces, in particular those with Ricci curvature bounded below.

Dans la première partie de la thèse, nous étudions le problème de l'équivalence quantique de modèles sigma reliés entre eux par la T-dualité non-abelienne. Nous prouvons que la renormalisabilité à une boucle de divers modèles initiaux implique la renormalisabilité à une boucle de leur partenaire dualisé, et qu'ils partagent les mêmes fonctions beta. Ceci est fait pour tous les modèles sigma principaux (G_L X G_R)/G_D, quelle que soit la brisure de G_R, ainsi que pour la large classe de métriques à quatre dimensions, inhomogènes et d'isométrie SU(2) X U(1). Pour l'exemple simple du modèle sigma T-dualisé SU(2), dont la non-renormalisabilité à deux boucles a été démontrée dans le schéma dimensionel minimal, nous prouvons qu'il est encore possible, à cet ordre, de définir une théorie quantique correcte en modifiant, à l'ordre \hbar, la métrique de l'espace cible de façon finie. Dans la seconde partie, nous construisons de façon explicite, grâce au super-espace harmonique et à l'approche du quotient quaternionique, une extension quaternion-Kähler de la métrique hyper-Kähler à deux centres la plus générale. Elle possède le groupe d'isométrie U(1) X U(1) et contient comme cas particuliers les extensions quaternion-Kähler des métriques de Taub-NUT et d'Eguchi-Hanson. Elle fait aussi apparaître un paramètre supplémentaire qui disparaît dans la limite hyper-Kähler.

Les séquences d'ADN peuvent être considérées comme des textes écrits dans un alphabet de 4 lettres. Des techniques inspirées de l'analyse textuelle permettent donc de les caractériser, entre autres à partir de fréquences d'apparition de courtes suites de caractères (les oligonucléotides ou mots). L'ensemble des fréquences des mots d'une longueur donnée est appelé « signature génomique » (cet ensemble est spécifique de l'espèce, ce qui justifie le terme de « signature »). La signature d'espèce est observable sur la plupart des courts fragments d'ADN, ce qui donne à penser qu'elle résulte d'un « style d'écriture ». De plus, la proximité entre espèces du point de vue de la signature génomique correspond bien souvent à une proximité en terme taxonomique. Pourtant, l'analyse des signatures génomiques se confronte rapidement à des limitations dues à la malédiction de la dimension. En effet, les données de grande dimension (la signature génomique a généralement 256 dimensions) montrent des propriétés qui mettent en défaut l'intuition. Par exemple, le phénomène de concentration des distances euclidiennes est bien connu.<br />Partant de ces constatations, nous avons mis en place des procédures d'évaluation des distances entre signatures de façon à rendre plus manifeste les informations biologiques sur lesquelles s'appuient nos analyses. Une méthode de projection non-linéaire des voisinages y est associée ce qui permet de s'affranchir des problèmes de grande dimension et de visualiser l'espace occupé par les données. L'analyse des relations entre les signatures pose le problème de la contribution de chaque variable (les mots) à la distance entre les signatures. Un Z-score original basé sur la variation de la fréquence des mots le long des génomes a permis de quantifier ces contributions. L'étude des variations de l'ensemble des fréquences le long d'un génomes permet d'extraire des segments originaux. Une méthode basée sur l'analyse du signal permet d'ailleurs de segmenter précisément ces zones originales.<br />Grâce à cet ensemble de méthodes, nous proposons des résultats biologiques. En particulier, nous mettons en évidence une organisation de l'espace des signatures génomiques cohérente avec la taxonomie des espèces. De plus, nous constatons la présence d'une syntaxe de l'ADN : il existe des « mots à caractère syntaxique » et des « mots à caractère sémantique », la signature s'appuyant surtout sur les mots à caractère syntaxique. Enfin, l'analyse des signatures le long du génome permet une détection et une segmentation précise des ARN et de probables transferts horizontaux. Une convergence du style des transferts horizontaux vers la signature de l'hôte a d'ailleurs pu être observée.<br />Des résultats variés ont été obtenus par analyse des signatures. Ainsi, la simplicité d'utilisation et la rapidité de l'analyse des séquences par signatures en font un outil puissant pour extraire de l'information biologique à partir des génomes.

Cette thèse est essentiellement consacrée au comportement asymptotique de champs et de suites stationnaires de variables aléatoires réelles. Dans le premier chapitre, nous mettons en évidence que le principe d'invariance de Dedecker (2001) pour des processus de sommes partielles issus d'un champ stationnaire $(X_{i})_{i\in\Z^{d}}$ de variables aléatoires réelles bornées et indexés par les ensembles d'une classe $\A$ n'a plus nécessairement lieu si on considère des champs de variables aléatoires qui sont seulement $p$-intégrables ($0

Le but de cette thèse est d'étudier les trois problèmes suivantes : 1) On s'intéresse à la stabilité des cônes normaux et des sous-différentiels via deux types de convergence d'ensembles et de fonctions : La convergence au sens de Mosco et celle d'Attouch-Wets. Les résultats obtenus peuvent être vus comme une extension du théorème d'Attouch aux fonctions non nécessairement convexes sur des espaces de Banach localement uniformément convexes. 2) Pour une bornologie β donnée sur un espace de Banach X, on étudie la validité de la formule suivante (…). Ici Tβ(C; x) et Tc(C; x) désignent le β -cône tangent et le cône tangent de Clarke à C en x. On montre que si, X x X est ∂β-« trusted » alors cette formule est valable pour tout ensemble fermé non vide C ⊂ X et x ∈ C. Cette classe d'espaces contient les espaces ayant une norme équivalent β-différentiable, etplus généralement les espaces possédant une fonction "bosse" lipschitzienne et β-différentiable). Comme conséquence, on obtient que pour la bornologie de Fréchet, cette formule caractérise les espaces d'Asplund. 3) On examine la convexité des ensembles de Chebyshev. Il est bien connu que, dans un espace normé réflexif ayant la propriété Kadec-Klee, tout ensemble de Chebyshev faiblement fermé est convexe. On démontre que la condition de faible fermeture peut être remplacée par la fermeture faible locale, c'est-à-dire pour tout x ∈ C il existe ∈ > 0 tel que C ∩ B(x, ε) est faiblement fermé. On montre aussi que la propriété Kadec-Klee n'est plus exigée lorsque l'ensemble de Chebyshev est représenté comme une union d'ensembles convexes fermés. / The aim of this thesis is to study the following three problems: 1) We are concerned with the behavior of normal cones and subdifferentials with respect to two types of convergence of sets and functions: Mosco and Attouch-Wets convergences. Our analysis is devoted to proximal, Fréchet, and Mordukhovich limiting normal cones and subdifferentials. The results obtained can be seen as extensions of Attouch theorem to the context of non-convex functions on locally uniformly convex Banach space. 2) For a given bornology β on a Banach space X we are interested in the validity of the following "lim inf" formula (…).Here Tβ(C; x) and Tc(C; x) denote the β-tangent cone and the Clarke tangent cone to C at x. We proved that it holds true for every closed set C ⊂ X and any x ∈ C, provided that the space X x X is ∂β-trusted. The trustworthiness includes spaces with an equivalent β-differentiable norm or more generally with a Lipschitz β-differentiable bump function. As a consequence, we show that for the Fréchet bornology, this "lim inf" formula characterizes in fact the Asplund property of X. 3) We investigate the convexity of Chebyshev sets. It is well known that in a smooth reflexive Banach space with the Kadec-Klee property every weakly closed Chebyshev subset is convex. We prove that the condition of the weak closedness can be replaced by the local weak closedness, that is, for any x ∈ C there is ∈ > 0 such that C ∩ B(x, ε) is weakly closed. We also prove that the Kadec-Klee property is not required when the Chebyshev set is represented by a finite union of closed convex sets.