Cette thèse s'inscrit dans l'étude mathématique de la percolation, qui regroupe une famille de modèles présentant une transition de phase. Des avancées majeures au cours des quinze dernières années, notamment l'invention du SLE et la preuve de l'invariance conforme de la percolation de Bernoulli critique, nous permettent aujourd'hui d'avoir une image très complète de la percolation de Bernoulli sur le réseau triangulaire. Cependant, de nombreuses questions demeurent ouvertes, et ont motivé notre travail.La première d'entre elle est l'universalité de la percolation plane, qui affirme que les propriétés macroscopiques de la percolation plane critique ne devraient pas dépendre du réseau sous-jacent à sa définition. Nous montrons, dans le cadre de la percolation Divide and Color, un résultat qui va dans le sens de cette universalité et identifions, dans ce contexte, des phénomènes macroscopiques indépendants du réseau microscopique. Une version plus faible d'universalité est donnée par la théorie de Russo-Seymour-Welsh (RSW), et sa validité est connue pour la percolation de Bernoulli (sans dépendance) sur les réseaux plans suffisamment symétriques. Nous étudions de nouveaux arguments de type RSW pour des modèles de percolation avec dépendance. La deuxième question que nous avons abordée est celle de l'absence d'une composante connexe ouverte infinie au point critique, une question importante du point de vue physique, puisqu'elle traduit la continuité de la transition de phase. Dans deux travaux en collaboration avec Hugo Duminil-Copin et Vladas Sidoravicius, nous montrons que la transition de phase est continue pour la percolation de Bernoulli sur le graphe Z^2x{0,...,k}, et pour la percolation FK sur le réseau carré avec paramètre q inférieur ou égal à 4. Enfin, la dernière question qui nous a guidés est la localité du point critique : la donnée des boules de grands rayons d'un graphe suffit-elle à identifier avec une bonne précision la valeur du point critique? Dans un travail en collaboration avec Sébastien Martineau, nous répondons de manière affirmative à cette question dans le cadre des graphes de Cayley de groupes abéliens.

Les travaux de ma thèse s'articulent en trois parties distinctes.Dans la première partie j'étudie les mesures de Malliavin-Shavguldize sur les difféomorphismes du cercle et de l'intervalle. Il s'agit de mesures de type " Haar " pour ces groupes de dimension infinie : elles furent introduites il a une vingtaine d'années pour permettre une étude de leur théorie des représentations. Un premier chapitre est dédié à recueillir les résultats présents dans la littérature et et les représenter dans une forme plus étendue, avec un regard particulier sur les propriétés de quasi-invariance de ces mesures. Ensuite j'étudie de problèmes de nature plus dynamique : quelle est la dynamique qu'on doit s'attendre d'un difféomorphisme choisi uniformément par rapport à une mesure de Malliavin-Shavguldize ? Je démontre en particulier qu'il y a une forte présence des difféomorphismes de type Morse-Smale.La partie suivante vient de mon premier travail publié, obtenu en collaboration avec Andrés Navas. Inspirés d'un théorème récent de Avila et Kocsard sur l'unicité des distributions invariantes par un difféomorphisme lisse minimal du cercle, nous analysons le même problème en régularité faible, avec des argument plus géométriques.La dernière partie est constituée des résultats récemment obtenus avec Mikhail Khristoforov et Victor Kleptsyn. Nous abordons les problèmes reliés à la gravité quantique de Liouville en étudiant des espaces auto-similaires qui sont la limite de graphes finis. Nous démontrons qu'il est possible de trouver des distances aléatoires non-triviales sur ces espaces qui sont compatibles avec la structure auto-similaire.

Cette thèse porte sur l'étude de modèles non linéaires issus de la mécanique quantique relativiste.Dans la première partie, nous démontrons à l'aide d'une méthode de tir l'existence d'une infinité de solutions d'équations de Dirac non linéaires provenant d'un modèle de hadrons et d'un modèle de la physique des noyaux.Dans la seconde partie, nous prouvons par des méthodes variationnelles l'existence d'un état fondamental et d'états excités pour deux modèles de la physique des hadrons. Par la suite, nous étudions la transition de phase reliant les deux modèles grâce à la Gamma-convergence.La dernière partie est consacrée à l'étude d'un autre modèle de hadrons dans lequel les fonctions d'onde des quarks sont parfaitement localisées. Nous énonçons quelques résultats préliminaires que nous avons obtenus.

L'objet de cette thèse est d'étudier divers problèmes de statistique non-paramétrique dans le cadre d'un modèle d'interactions poissoniennes. De tels modèles sont, par exemple, utilisés en neurosciences pour analyser les interactions entre deux neurones au travers leur émission de potentiels d'action au cours de l'enregistrement de l'activité cérébrale ou encore en génomique pour étudier les distances favorisées ou évitées entre deux motifs le long du génome. Dans ce cadre, nous introduisons une fonction dite de reproduction qui permet de quantifier les positions préférentielles des motifs et qui peut être modélisée par l'intensité d'un processus de Poisson. Dans un premier temps, nous nous intéressons à l'estimation de cette fonction que l'on suppose très localisée. Nous proposons une procédure d'estimation adaptative par seuillage de coefficients d'ondelettes qui est optimale des points de vue oracle et minimax. Des simulations et une application en génomique sur des données réelles provenant de la bactérie E. coli nous permettent de montrer le bon comportement pratique de notre procédure. Puis, nous traitons les problèmes de test associés qui consistent à tester la nullité de la fonction de reproduction. Pour cela, nous construisons une procédure de test optimale du point de vue minimax sur des espaces de Besov faibles, qui a également montré ses performances du point de vue pratique. Enfin, nous prolongeons ces travaux par l'étude d'une version discrète en grande dimension du modèle précédent en proposant une procédure adaptative de type Lasso.

Soit p un nombre premier. Les résultats de cette thèse s'inscrivent dans le cadre du programme de Langlands p-adique. Lorsque V est une représentation p-adique de dimension 2 du groupe Gal(\bar{Qp}/Qp), on sait lui associer une représentation p-adique continue B(V) de GL₂(Qp). Si F est une extension finie non triviale de Qp, la question d'associer des représentations p-adiques de GL₂(F) aux représentations p-adiques de dimension 2 de Gal(\bar{Qp}/F) dans l'esprit d'une correspondance locale à la Langlands s'annonce beaucoup plus délicate. Dans ce texte, nous considérons des espaces de Banach p-adiques, munis d'une action linéaire continue de GL₂(F), qui sont des complétions unitaires universelles de certaines représentations localement Qp-analytiques de GL₂(F). Celles-ci sont susceptibles de jouer un rôle important dans une éventuelle correspondance de Langlands locale p-adique pour GL₂(F). Le résultat principal de cette thèse est démontré dans le Chapitre 3 et généralise des résultats antérieurs de Berger et Breuil. Il consiste en une description explicite de ces complétés unitaires universels à l'aide des fonctions continues sur F d'un certain type. Pour ce faire, nous introduisons dans le Chapitre 2 des espaces de Banach de fonctions de classe C^r, où r est un nombre rationnel positif, et leurs espaces duaux de distributions d'ordre r. Nous construisons une base de Banach et nous donnons un critère de prolongement des formes linéaires définies sur un espace de fonctions localement Qp-polynomiales en distributions d'ordre r. Ce faisant, nous généralisons des résultats classiques dus à Amice-Vélu et Vishik. Dans le Chapitre 4, nous exhibons des cas de non nullité pour les complétions unitaires universelles considérées par construction explicite de réseaux invariants. Cela donne de nouveaux cas de la conjecture proposée par Breuil et Schneider sur l'équivalence entre l'existence de normes invariantes sur certaines représentations localement algébriques de GL_d(F) et l'existence de certaines représentations de de Rham de Gal(\bar{Qp}/F).

Cette thèse se concentre sur l'étude de quelques propriétés arithmétiques de certaines variétés algébriques qui sont ''les plus simples'' en un sens géométrique et qui sont définies sur des corps de type géométrique. Elle se compose de trois chapitres. Dans le premier chapitre, indépendant des deux autres, on s'intéresse à la propriété d'approximation faible pour une variété projective lisse rationnellement connexe X définie sur le corps de fonctions K=k(C) d'une courbe algébrique C sur un corps k. Supposons que X possède un K-point rationnel. En utilisant des méthodes géométriques, on démontre que X(K) est Zariski dense dans X si k est un corps fertile, et que l'approximation faible en un certain ensemble de places de bonne réduction vaut pour X sous des hypothèses supplémentaires convenables. Lorsque k est un corps fini, on obtient l'approximation faible en une place quelconque de bonne réduction pour une surface cubique lisse sur K ainsi qu'un résultat sur l'approximation faible d'ordre zéro pour des hypersurfaces cubiques de dimension supérieure sur K.Les deux autres chapitres forment la seconde partie de la thèse, où on travaille sur le corps des fractions K d'un anneau intègre local R, hensélien, excellent de dimension 2 dont le corps résiduel k est souvent supposé fini et où on emploie des outils plus algébriques. On étudie d'abord la ramification et la cyclicité des algèbres à division sur un tel corps K. On démontre en particulier que toute classe de Brauer d'ordre n premier à la caractéristique résiduelle sur K est d'indice divisant n^2 et que la cyclicité d'une classe de Brauer d'ordre premier peut être testée localement sur les corps complétés par rapport aux valuations discrètes de K. Ces résultats sont appliqués dans le dernier chapitre pour étudier l'arithmétique des formes quadratiques sur K. On montre que toute forme quadratique de rang \ge 9 sur K possède un zéro non trivial. Si K est le corps des fractions d'un anneau de séries formelles A[[t]] sur un anneau de valuation discrète complet A, on a prouvé le principe local-global pour toute forme quadratique de rang \ge 5 sur K. Pour K général on a établi le principe local-global pour les formes de rang 5. Le cas des formes de rang 6,7 ou 8 est ouvert.

Cette thèse possède un double objectif : le premier est l'amélioration des techniques de contrôle en mécanique quantique, et plus particulièrement en RMN, grâce aux techniques du contrôle optimal géométrique. Le second consiste à étudier l'influence des singularités hamiltoniennes dans les systèmes physiques contrôlés. Le chapitre traitant du contrôle optimal étudie trois problèmes classiques en RMN : l'inversion simultanée de deux spins, l'inclusion des termes non-linéaires dans le modèle et la méthode du point fixe. Ensuite, nous appliquons le PMP au problème de transfert de population dans un système quantique à trois niveaux pour retrouver le processus STIRAP. Les deux chapitres suivants étudient les singularités hamiltoniennes. Nous montrons comment l'étude des singularités hamiltoniennes permet de contrôler la polarisation dans différentes fibres optiques. Ensuite, nous montrons l'existence d'une monodromie hamiltonienne généralisée dans le spectre vibrationnel de la molécule HOCl. Enfin, nous donnons une méthode de mesure de la monodromie hamiltonienne dynamique dans deux systèmes classiques en optique non-linéaire : le modèle de Bragg et le mélange à trois ondes

Cette thèse est consacrée à la modélisation mathématique de l'hématopoïèse et des maladies sanguines. Plusieurs modèles traitant d'aspects différents et complémentaires de l'hématopoïèse y sont étudiés.Tout d'abord, un modèle multi-échelle de l'érythropoïèse est analysé, dans lequel sont décrits à la fois le réseau intracellulaire, qui détermine le comportement individuel des cellules, et la dynamique des populations de cellules. En utilisant des données expérimentales sur les souris, nous évaluons les rôles des divers mécanismes de retro-contrôle en réponse aux situations de stress.Ensuite, nous tenons compte de la distribution spatiale des cellules dans la moelle osseuse, question qui n'avait pas été étudiée auparavant. Nous décrivons l'hématopoïèse normale à l'aide d'un système d'équations de réaction-diffusion-convection et nous démontrons l'existence d'une distribution stationnaire des cellules. Puis, nous introduisons dans le modèle les cellules malignes. Pour certaines valeurs des paramètres, la solution "disease-free" devient instable et une autre solution, qui correspond à la leucémie, apparaît. Cela mène à la formation d'une tumeur qui se propage dans la moelle osseuse comme une onde progressive. La vitesse de cette propagation est étudiée analytiquement et numériquement. Les cellules de la moelle osseuse échangent des signaux qui régulent le comportement cellulaire. Nous étudions ensuite une équation integro-différentielle qui décrit la communication cellulaire et nous prouvons l'existence d'une solution du type onde progressive en utilisant la théorie du degré topologique et la méthode de Leray et Schauder. L'approche multi-agent est utilisée afin d'étudier la distribution des différents types de cellules dans la moelle osseuse.Finalement, nous étudions un modèle de type "Physiologically Based Pharmacokinetics-Pharmacodynamics" du traitement de la leucémie par l'AraC. L'AraC agit comme chimiothérapie et induit l'apoptose de toutes les cellules proliférantes, saines et malignes. La pharmacocinétique donne accès à la concentration intracellulaire d'AraC. Cette dernière, à son tour, détermine la dynamique des populations cellulaires et, par conséquent, l'efficacité de différents protocoles de traitement.

La thèse traite des rapports entre documentations individuelle et communautaire des enseignants de mathématiques. L'étude est conduite sur deux terrains contrastés. Le premier est constitué d'une communauté institutionnelle : des enseignants de mathématiques d'un lycée, dont les classes sont simultanément équipées d'une technologie complexe ; le deuxième est constitué d'une communauté associative : un groupe de travail de l'association Sésamath engagé dans la conception d'un manuel numérique pour la classe de seconde. Dans les deux cas, l'étude s'intéresse plus particulièrement à l'enseignement de l'analyse, du fait de l'importance et de la complexité de ce domaine au niveau du lycée. La thèse propose des concepts (visions, monde du professeur, monde de la communauté) et des développements méthodologiques pour saisir les documentations individuelle et communautaire dans leur structure, leur dynamique et leurs interactions. Elle met en évidence, sur les deux terrains d'étude, des moments critiques de ces processus, les incidents documentaires, qui apparaissent à la fois comme des révélateurs et des accélérateurs. Elle montre enfin le potentiel qu'ont ces incidents pour le développement des articulations, globales ou locales, des documentations individuelles et communautaires.

Rank-metric codes recently attract a lot of attention due to their possible application to network coding, cryptography, space-time coding and distributed storage. An optimal-cardinality algebraic code construction in rank metric was introduced some decades ago by Delsarte, Gabidulin and Roth. This Reed-Solomon-like code class is based on the evaluation of linearized polynomials and is nowadays called Gabidulin codes. This dissertation considers block and convolutional codes in rank metric with the objective of designing and investigating efficient decoding algorithms for both code classes. After giving a brief introduction to codes in rank metric and their properties, we first derive sub-quadratic-time algorithms for operations with linearized polynomials and state a new bounded minimum distance decoding algorithm for Gabidulin codes. This algorithm directly outputs the linearized evaluation polynomial of the estimated codeword by means of the (fast) linearized Euclidean algorithm. Second, we present a new interpolation-based algorithm for unique and (not necessarily polynomial-time) list decoding of interleaved Gabidulin codes. This algorithm decodes most error patterns of rank greater than half the minimum rank distance by efficiently solving two linear systems of equations. As a third topic, we investigate the possibilities of polynomial-time list decoding of rank-metric codes in general and Gabidulin codes in particular. For this purpose, we derive three bounds on the list size. These bounds show that the behavior of the list size for both, Gabidulin and rank-metric block codes in general, is significantly different from the behavior of Reed-Solomon codes and block codes in Hamming metric, respectively. The bounds imply, amongst others, that there exists no polynomial upper bound on the list size in rank metric as the Johnson bound in Hamming metric, which depends only on the length and the minimum rank distance of the code. Finally, we introduce a special class of convolutional codes in rank metric and propose an efficient decoding algorithm for these codes. These convolutional codes are (partial) unit memory codes, built upon rank-metric block codes. This structure is crucial in the decoding process since we exploit the efficient decoders of the underlying block codes in order to decode the convolutional code.