Tri :
Date
Titre
Auteur
|
|
Mathématiques et applications
/ 20-10-2014
Bessac Julie
Voir le résumé
Voir le résumé
Mon travail porte sur la construction de générateurs aléatoires de conditions de vent en Bretagne. Ces modèles permettent de simuler artificiellement des conditions météorologiques réalistes et sont couramment utilisés pour la gestion des risques liés aux aléas climatiques. Ils sont construits sur la base de données historiques dans le but de produire des simulations cohérentes avec le climat actuel mais peuvent intégrer des scénarios de changement climatique. Les séquences simulées permettent de pallier le manque de données réelles et sont utilisées en entrée de modèles économiques ou écologiques.
|
|
Mathématiques et leurs interactions
/ 16-11-2018
Boil Grégory
Voir le résumé
Voir le résumé
La propagation des états cohérents est un sujet actif de la recherche de ces dernières décennies. Un état cohérent est la modélisation quantique d'une particule classique. La trajectoire d'une particule chargée dans un champ magnétique fort, i.e. qui ne s'annule pas, est donnée par le mouvement centre guide : il s'agit d'oscillations rapides autour d'un centre virtuel dont la dynamique plus lente suit les lignes de champ magnétique. Le sujet de ma thèse est d'étudier le pendant magnétique de ce résultat. Il est connu que pour des temps courts, c'est à dire bornés en le paramètre semi-classique h, la dynamique d'un état cohérent est donnée par la dynamique classique de la particule associée. Le problème est alors l'étude de la dynamique en temps longs de tels états. Pour des états cohérents de basses énergies, en utilisant des résultats de forme normale et de régularité elliptique magnétique, on prouve le résultat suivant de propagation magnétique en temps longs. Un état cohérent sous un champs magnétique se propage pour des temps de l'ordre de l'inverse de h en une somme d'états cohérents évoluant sur une même trajectoire, mais à des vitesses différentes.
|
|
Doctorat de l'université de Rennes1 mention mathématiques fondamentales et applications
/ 24-11-2011
Bonnéry Daniel
Voir le résumé
Voir le résumé
Étant donné un modèle de super-population (des variables aléatoires sont générées indépendamment et selon une même loi initiale sur une population) et un plan de sondage informatif, une loi de probabilité limite et une densité de probabilité limite des observations sur l’échantillon sont définies correspondant à des tailles de population et d'échantillon tendant vers l'infini. Le processus aléatoire de sélection peut induire une dépendance entre les observations sélectionnés. Un cadre asymptotique et des conditions faibles sur le processus de sélection sont donnés, sous lesquels les propriétés asymptotiques classiques sont conservées malgré la dépendance des données : la convergence uniforme de la fonction de répartition empirique. Par ailleurs, nous donnons la vitesse de convergence de l’estimateur à noyau de la densité vers la densité limite de l’échantillon. Ces résultats constituent des indications selon lesquelles il est parfois possible de considérer que les réalisations sur l’échantillon sont id et suivent approximativement la densité limite définie, notamment dans une perspective d’inférence sur le modèle de super-population. Par exemple, étant donné un modèle paramétrique on peut définir la vraisemblance approchée de l’échantillon comme produit de densités limites et un estimateur de maximum de vraisemblance approchée, dont on établit la normalité asymptotique . La dernière partie traite de tirage équilibré : des algorithmes de calcul de probabilités d’inclusion minimisant une approximation de la variance de l’estimateur de Horvitz-Thompson d'un total sont proposés.
|
|
Mathématiques et applications
/ 08-12-2016
Bouette Margot
Voir le résumé
Voir le résumé
Un groupe de Baumslag-Solitar est un groupe dont la présentation est, pour p et q entiers non nuls. A chaque groupe de Baumslag-Solitar est associé un espace de déformation D p, q d'actions sur des arbres analogue à l'outre espace. Aut(BS(p, q)) agit sur cet espace ce qui induit une action du groupe des automorphismes extérieurs Out(BS(p,q)). Nous nous intéresserons au cas plus complexe où q est un multiple de p et dans un premier temps, nous démontrerons que tout automorphisme de BS(p, pn) est réductible ce qui signifie qu'il existe un BS(p,pn)-arbre T et une application laissant invariante un certain type de forêt. Ce résultat nous amènera à introduire un nouvel espace de déformation et une classification des automorphismes de BS(p, pn) en trois catégories : elliptique, parabolique ou hyperbolique. A l'aide de cette classification, nous démontrerons que tout automorphisme est à croissance soit polynomiale soit exponentielle.
|
|
Mathématiques et applications
/ 29-06-2016
Bouguet Florian
Voir le résumé
Voir le résumé
L'objet de cette thèse est d'étudier une certaine classe de processus de Markov, dits déterministes par morceaux, ayant de très nombreuses applications en modélisation. Plus précisément, nous nous intéresserons à leur comportement en temps long et à leur vitesse de convergence à l'équilibre lorsqu'ils admettent une mesure de probabilité stationnaire. L'un des axes principaux de ce manuscrit de thèse est l'obtention de bornes quantitatives fines sur cette vitesse, obtenues principalement à l'aide de méthodes de couplage. Le lien sera régulièrement fait avec d'autres domaines des mathématiques dans lesquels l'étude de ces processus est utile, comme les équations aux dérivées partielles. Le dernier chapitre de cette thèse est consacré à l'introduction d'une approche unifiée fournissant des théorèmes limites fonctionnels pour étudier le comportement en temps long de chaînes de Markov inhomogènes, à l'aide de la notion de pseudo-trajectoire asymptotique.
|
|
Mathématiques et leurs interactions
/ 22-06-2023
Bouillet Alice
Voir le résumé
Voir le résumé
Les objets principaux de cette thèse sont les schémas en groupes définis sur un schéma de base de caractéristique p > 0. Le point de vue adopté ici est l’étude de ces objets en famille. Plus précisément, nous commençons par étudier l’espace de modules des schémas en groupes finis sur un schéma de caractéristique p > 0, localement libres de hauteur 1. Ce cadre est plaisant car ces groupes sont caractérisés par leur algèbre de Lie, qui est naturellement munie d’une structure supplémentaire, appelée p-application. Nous explorons alors en détail l’espace de modules des p-algèbres de Lie localement libres de rang fini. Nous allons voir que les espaces de module qui apparaissent sont des champs non séparés, et nous proposons alors d’étudier leur défaut de séparation en étudiant leurs modèles. Ainsi en deuxième partie nous développons les bases de l'étude des modèles d'un schéma en groupe fini en famille, et nous illustrons les résultats obtenus. Nous faisons notamment le lien avec la première partie en étudiant également les modèles de schémas en groupes de hauteur 1 et ceux de leur p-algèbre de Lie.
|
|
Mathématiques et applications
/ 01-07-2013
Bui Quang Paul
Voir le résumé
Voir le résumé
La thèse porte sur l'apport de la méthode de Laplace pour l'approximation du filtre bayésien dans des modèles de Markov cachés généraux, c'est-à-dire dans un cadre séquentiel, avec comme domaine d'application privilégié la poursuite de cibles mobiles. A la base, la méthode de Laplace est une méthode asymptotique pour le calcul d'intégrales, c'est-à-dire dans un cadre statique, valide en théorie dès que la fonction à intégrer présente un maximum de plus en plus significatif, lequel apporte la contribution essentielle au résultat. En pratique, cette méthode donne des résultats souvent très précis même en dehors de ce cadre de validité théorique. Les deux contributions principales de la thèse sont les suivantes. Premièrement, nous avons utilisé la méthode de Laplace en complément du filtrage particulaire : on sait en effet que les méthodes de Monte Carlo séquentielles basées sur l'échantillonnage pondéré sont mises en difficulté quand la fonction de pondération (ici la fonction de vraisemblance) est trop localisée, par exemple quand la variance du bruit d'observation est trop faible, or c'est précisément là le domaine où la méthode de Laplace est efficace et justifiée théoriquement, d'où l'idée naturelle de combiner les deux points de vue. Nous proposons ainsi un algorithme associant la méthode de Laplace et le filtrage particulaire, appelé le Laplace particle filter. Deuxièmement, nous avons analysé l'approximation du filtre bayésien grâce à la méthode de Laplace seulement (c'est-à-dire sans génération d'échantillons aléatoires) : il s'agit ici de contrôler la propagation de l'erreur d'approximation d'un pas de temps au pas de temps suivant, dans un cadre asymptotique approprié, par exemple quand le bruit d'observation tend vers zéro, ou quand le bruit d'état et le bruit d'observation tendent conjointement (et à la même vitesse) vers zéro, ou plus généralement quand l'information contenue dans le système tend vers l'infini, avec une interprétation en terme d'identifiabilité.
|
|
Mathématiques et applications
/ 02-06-2014
Carcaud Pierre
Voir le résumé
Voir le résumé
L'étude de l'évolution de galaxies, et tout particulièrement du phénomène d'évaporation, a été pour la première fois menée à l'aide de modèles physiques, par Chandrasekhar notamment, dans les années 40. Depuis, de nouveaux modèles plus sophistiqués ont été introduits par les physiciens. Ces modèles d'évolution des galaxies sont des modèles cinétiques; bien connus et bien étudiés par les mathématiciens. Cependant, l'aspect évaporation (le fait que des étoiles sortent du système étudié) n'avait pas encore été étudié mathématiquement, à ma connaissance. La galaxie est vue comme un gaz constitué d'étoiles et le modèle consiste en une équation de Vlasov-Poisson, l'interaction étant la gravitation universelle, couplée avec au second membre un terme de collision de type Landau. On rajoute à ce modèle une condition d'évaporation qui consiste à dire que les étoiles dont l'énergie cinétique est suffisamment élevée pour quitter le système sont exclues. Ce modèle étant trop compliqué à étudier tel quel, je propose dans cette thèse plusieurs modèles simplifiés qui sont des premières étapes nécessaires à l'étude du modèle général et qui permettent de mieux comprendre les difficultés à surmonter. Dans une première partie, je m'intéresse au cas homogène en espace, pour lequel le terme de Vlasov-Poisson est remplacé par une simple dérivée en temps. Je fais une étude précise du cas à symétrie radiale en vitesse avec un potentiel Maxwellien, le terme de Landau étant alors remplacé par un terme de type Fokker-Planck, et je montre dans ce cas l'existence et l'unicité d'une solution régulière et l'existence d'un profil asymptotique des solutions. Dans le cas homogène général, je montre l'existence et l'unicité d'une solution régulière tout pendant que la masse ne s'est pas totalement évaporée. J'illustre ces résultats théoriques par des simulations numériques réalisés à l'aide de schéma numériques conservateurs. Dans une seconde partie, je m'intéresse au cas non homogène en espace en dérivant un modèle hydrodynamique pour un modèle de type Vlasov-BGK (plus simple que le modèle Vlasov-Poisson-Landau) avec évaporation.
|
|
Mathématiques et applications
/ 22-10-2013
Caruso Sandrine
Voir le résumé
Voir le résumé
La théorie des groupes de tresses s'inscrit au croisement de plusieurs domaines des mathématiques, en particulier, l'algèbre et la géométrie. La recherche actuelle s'étend dans chacune de ces directions, et de riches développements naissent du mariage de ces deux aspects. D'un point de vue géométrique, le groupe des tresses à n brins est vu comme le groupe modulaire d'un disque à n trous, avec composante de bord. On peut représenter une tresse par un diagramme de courbes, c'est-à-dire l'image d'une famille fixée d'arcs sur le disque, par l'élément correspondant du groupe modulaire. Dans cette thèse est présenté l'algorithme de relaxations par la droite, qui permet de retrouver, étant donné un diagramme de courbes, la tresse à partir de laquelle il a été obtenu. Cet algorithme aide à faire le lien entre des propriétés géométriques du diagramme de courbes, et des propriétés algébriques du mot de tresse, en permettant de repérer de grandes puissances d'un générateur sous forme de spirales dans le diagramme de courbes. D'un point de vue algébrique, le groupe de tresses est l'exemple classique de groupe de Garside. L'un des objectifs actuels des recherches en théorie de Garside est d'obtenir un algorithme de résolution en temps polynomial du problème de conjugaison dans les groupes de tresses. À cette fin, on cherche à exploiter les propriétés de certains ensembles finis de conjugués d'une tresse, qui sont des invariants de conjugaison. L'un des résultats de cette thèse concerne la taille d'un de ces invariants, l'ensemble super-sommital : on exhibe une famille de tresses pseudo-anosoviennes dont l'ensemble super-sommital est de taille exponentielle. González-Meneses avait déjà établi le résultat similaire pour une famille de tresses réductibles. La conséquence de ces résultats est qu'on ne peut pas espérer résoudre le problème de conjugaison en temps polynomial au moyen de cet ensemble, et qu'il vaut mieux chercher à exploiter des invariants plus petits. Dans le cas des tresses pseudo-anosoviennes, des espoirs résident actuellement en l'ensemble des circuits glissants. Dans cette thèse, un algorithme en temps polynomial s'appuyant sur ce dernier ensemble résout génériquement le problème de conjugaison, c'est-à-dire qu'il le résout pour une proportion de tresses tendant exponentiellement vite vers 1 lorsque la longueur de la tresse tend vers l'infini. On montre également que, dans une boule du graphe de Cayley avec pour générateurs les tresses simples, une tresse générique est pseudo-anosovienne, ce qui était une conjecture bien connue des spécialistes de la théorie de Garside.
|
|
Mathématiques et leurs interactions
/ 13-12-2018
Cauchois Victor
Voir le résumé
Voir le résumé
Cette thèse s’intéresse à deux aspects de la cryptologie symétrique liés à l’utilisation de matrices MDS dans les couches de diffusion linéaires de primitives. Une première partie se fonde sur les conceptions de couches de diffusion linéaires de schémas de chiffrement symétrique à partir de matrices MDS. Les associations entre matrices récursives, respectivement circulantes, et polynômes sont calquées pour construire de nouvelles associations entre d’autres structures de matrices et des éléments d’anneaux de polynômes non commutatifs de Ore. À l’instar des matrices récursives et circulantes, ces structures bénéficient d’implémentations matérielles légères. Des codes de Gabidulin dérivent des méthodes de construction directe de telles matrices, optimales en termes de diffusion, proches d’involutions pour l’implémentation. La seconde partie développe une attaque par différenciation de permutations dont l’architecture s’inspire de l’AES. L’utilisation d’une couche de diffusion linéaire locale avec une matrice MDS induit une description macroscopique de la propagation de valeurs de différences à travers les étapes du chiffrement. Des chemins différentiels tronqués apparaissent, qui servent de point de départ à la conception d’attaques rebond. Les travaux présentés généralisent les attaques rebond connues à l’exploitation de chemins différentiels tronqués structurés non issus d’avalanches libres. Cette structure permet de ne pas consommer tous les degrés de libertés au cours d’une seule étape algorithmique mais de les répartir en trois étapes. Une attaque sur 11 tours d’une permutation de Grostl-512 est alors déployée.
|
|