Tri :
Date
Titre
Auteur
|
|
Mathématiques et applications
/ 07-11-2012
Dérian Pierre
Voir le résumé
Voir le résumé
Ces travaux se situent dans la problématique d'élaboration d'outils de mesure adaptés aux caractéristiques des écoulements fluides. Le développement de l'imagerie digitale, associée à l'utilisation de techniques de visualisation d'écoulements en mécanique des fluides, permet d'envisager l'extraction, à l'aide de méthodes de vision par ordinateur, du mouvement d'écoulements perçu dans des séquences d'images. L'objectif consiste ici à proposer une nouvelle approche de type « flux optique » pour l'estimation multiéchelle de mouvements de fluides, en s'appuyant sur une représentation en ondelettes du mouvement recherché. Cette formulation en ondelettes introduit un formalisme multiéchelle, intéressant tant du point de vue de l'estimation du flux optique que de la représentation de champs de vitesse turbulents. Elle permet en outre la construction de bases à divergence nulle, respectant ainsi une contrainte issue de la physique des fluides. Plusieurs types de régularisation sont présentés; la plus simple procède par troncature de la base aux petites échelles, la plus complexe utilise les coefficients de connexion de la base d'ondelette pour construire des schémas d'ordre élevé. Les approches proposées sont évaluées sur des images synthétiques dans un premier temps, puis sur des images expérimentales d'écoulements caractéristiques. Les résultats obtenus sont comparés à ceux fournis par la méthode usuelle des « corrélations croisées », mettant en avant les intérêts et les limites de l'estimateur.
|
|
Mathématiques et leurs Interactions
/ 18-12-2020
Vu Thi Minh Phuong
Voir le résumé
Voir le résumé
Soit X une variété rigide analytique lisse sur un corps non-archimédien complet de valuation discrète K de caractéristique mixte (0; p) et G un groupe p-adique qui agit continûment sur X. Le but de cette thèse est de développer une notion d'holonomicité faible pour des D-modules G-équivariants coadmissibles X. Nous donnerons dans ce qui suit un résumé pour chaque chapitre. Après avoir introduit la théorie des D-modules sur les espaces rigides analytiques et résumé les résultats principaux de la thèse dans le premier chapitre, nous rappelons dans le deuxième chapitre quelques notions et propriétés de base de la géométrie rigide analytique et du groupes de Lie p-adique, puis nous résumons quelques résultats importants de la théorie des D-modules
G-équivariant coadmissibles sur X. Dans le troisième chapitre, nous développons une théorie de dimension pour les D(X;G)-modules coadmissibles. Pour ce fait, nous montrons tout d'abord que la K-algèbre D(X;G) est coadmissiblement Auslander-Gorenstein de dimension au plus 2dimX. Ceci nous permet de définir correctement la fonction de dimension sur la catégorie des D(X;G)-modules coadmissibles. La quatrième partie de la thèse est consacrée la construction des foncteurs appelés Ext-foncteurs E^i pour tous i et aussi l'étude de l'holonomicité faible pour des D-modules G-équivariants coadmissibles. Dans la première partie de ce chapitre, nous allons travailler sur de nombreuses propositions techniques afin de définir, pour chaque i , le foncteur E^i sur la catégorie C des D-modules G-quivariant coadmissibles. Dans la deuxième partie du chapitre 4, nous définissons la notion de dimension d'un D-module G-équivariant coadmissible et nous prouvons que l'inégalité de Bernstein est vraie pour le cas des variétés de drapeaux rigides analytiques. Cela nous permet de définir une holonomicité faible dans ce cadre. Nous allons également montrer qu'il existe un foncteur de dualité D sur la catégorie des D-modules équivariants faiblement holonomes. Dans le dernier chapitre, nous présentons quelques exemples typiques de D-modules G-équivariants faiblement holonomes. Nous prouvons que l'extension de toute connexion intégrable équivariante est faiblement holonome. En particulier, nous montrons que le faisceau structural OX est un D- module G-équivariant faiblement holonæme. Le deuxième exemple vient du cas où X est une variété de drapeaux rigide analytique associée un groupe algébrique connexe déployé G sur K. Dans ce cas, nous montrons que la localisation d'un module d'Orlik-Strauch est un D-module G-équivariant faiblement holonome.
|
|
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 fondamentales et applications
/ 23-05-2013
Kammerer Jean-Gabriel
Voir le résumé
Voir le résumé
L'objet de cette thèse est l'étude de diverses primitives cryptographiques utiles dans des protocoles Diffie-Hellman. Nous étudions tout d'abord les protocoles Diffie-Helmman sur des structures commutatives ou non. Nous en proposons une formulation unifiée et mettons en évidence les différents problèmes difficiles associés dans les deux contextes. La première partie est consacrée à l'étude de pseudo-paramétrisations de courbes algébriques en temps constant déterministe, avec application aux fonctions de hachage vers les courbes. Les propriétés des courbes algébriques en font une structure de choix pour l'instanciation de protocoles reposant sur le problème Diffie-Hellman. En particulier, ces protocoles utilisent des fonctions qui hachent directement un message vers la courbe. Nous proposons de nouvelles fonctions d'encodage vers les courbes elliptiques et pour de larges classes de fonctions hyperelliptiques. Nous montrons ensuite comment l'étude de la géométrie des tangentes aux points d'inflexion des courbes elliptiques permet d'unifier les fonctions proposées tant dans la littérature que dans cette thèse. Dans la troisième partie, nous nous intéressons à une nouvelle instanciation de l'échange Diffie-Hellman. Elle repose sur la difficulté de résoudre un problème de factorisation dans un anneau de polynômes non-commutatifs. Nous montrons comment un problème de décomposition Diffie-Hellman sur un groupe non-commutatif peut se ramener à un simple problème d'algèbre linéaire pourvu que les éléments du groupe admettent une représentation par des matrices. Bien qu'elle ne soit pas applicable directement au cas des polynômes tordus puisqu'ils n'ont pas d'inverse, nous profitons de l'existence d'une notion de divisibilité pour contourner cette difficulté. Finalement, nous montrons qu'il est possible de résoudre le problème Diffie-Hellman sur les polynômes tordus avec complexité polynomiale.
|
|
Biologie. Mathématiques et applications
/ 21-10-2013
Eslami Aida
Voir le résumé
Voir le résumé
Ce travail concerne les analyses visant à étudier les données où les individus sont structurés en différents groupes (données multi-groupes). La thèse aborde la question des données multi-groupes ayant une structure en un seul tableau, plusieurs tableaux, trois voies et deux blocs (régression). Cette thèse présente plusieurs méthodes d'analyse de données multi-groupes dans le cadre de l'analyse factorielle. Notre travail comporte trois parties. La première partie traite de l'analyse de données multi-groupes (un bloc de variables divisé en sous-groupes d'individus). Le but est soit descriptif (analyse intra-groupes) ou prédictif (analyse discriminante ou analyse inter-groupe). Nous commençons par une description exhaustive des méthodes multi-groupes. En outre, nous proposons deux méthodes : l'Analyse Procrustéenne duale et l'Analyse en Composantes Communes et Poids Spécifiques duale. Nous exposons également de nouvelles propriétés et algorithmes pour l'Analyse en Composantes Principales multi-groupes. La deuxième partie concerne l'analyse multi-blocs et multi-groupes et l'analyse trois voies et multi-groupes. Nous présentons les méthodes existantes. Par ailleurs, nous proposons deux méthodes, l'ACP multi-blocs et multi-groupes et l'ACP multi-blocs et multi-groupes pondérée, vues comme des extensions d'Analyse en Composantes Principales multi-groupes. L'analyse en deux blocs et multi-groupes est prise en compte dans la troisième partie. Tout d'abord, nous présentons des méthodes appropriées pour trouver la relation entre un ensemble de données explicatives et un ensemble de données à expliquer, les deux tableaux présentant une structure de groupe entre les individus. Par la suite, nous proposons quatre méthodes pouvant être vues comme des extensions de la régression PLS au cas multi-groupes, et parmi eux, nous en sélectionnons une et la développons dans une stratégie de régression. Les méthodes proposées sont illustrées sur la base de plusieurs jeux de données réels dans le domaine de la biologie. Toutes les stratégies d'analyse sont programmées sur le logiciel libre R.
|
|
Mathématiques et leurs interactions
/ 13-07-2021
Morin Léo
Voir le résumé
Voir le résumé
Le Laplacien magnétique est un opérateur de Schrödinger en présence d'un champ magnétique, et le but de cette thèse est d'étudier son spectre dans la limite semiclassique. Nous considérons des champs qui ne s’annulent pas. Dans ce cas, les méthodes d'analyse microlocale et semiclassique permettent d'exhiber un oscillateur harmonique qui est induit par le champ lui-même : le mouvement cyclotron. Dans le cas d'un champ uniforme, cette oscillation quantifie le spectre en niveaux de Landau : des valeurs propres infiniment dégénérées. Si l'on ajoute des variations au champ, ces niveaux se divisent et contribuent à l'ensemble du spectre. Nous expliquons ce phénomène et en déduisons une description précise du spectre du Laplacien magnétique et de perturbations non nécessairement auto- adjointes de celui-ci, à l'aide de formes normales de Birkhoff. Nous exhibons en particulier l’influence de quantités géométriques comme les lignes de champ sur le spectre de l’opérateur. Le cas des puits magnétiques discrets est étudié en détail.
|
|
Mathématiques et leurs interactions
/ 12-02-2019
Pinier Benoît
Voir le résumé
Voir le résumé
Le modèle RANS à une équation de fermeture est utilisée avec une nouvelle longueur de mélange. par interpolation, notre loi est universelle. Nous avons étendue ce résultat pour considérer les fonds rugueux. L'existence d'une solution au système d'équation associée est montrée, c'est un problème elliptique avec un terme source dans L¹. Nous utilisons le modèle "under location uncertainty" pour obtenir un profil de vitesse cohérent dans toute la couche limite turbulente. Le raisonnement que nous apportons ici lie un terme sous-grille à ce profile. Nous apportons également une estimation des variances à temps courts dans la zone visqueuse.
|
|
Mathématiques et applications
/ 12-10-2017
Keriven Nicolas
Voir le résumé
Voir le résumé
Les bases de données modernes sont de très grande taille, parfois divisées et distribuées sur plusieurs lieux de stockage, ou encore sous forme de flux de données : ceci soulève de nouveaux défis majeurs pour les méthodes d’apprentissage statistique. Une des méthodes récentes capable de s’adapter à ces situations consiste à d’abord compresser les données en une structure appelée sketch linéaire, puis ensuite de réaliser la tâche d’apprentissage en utilisant uniquement ce sketch, ce qui est extrêmement rapide si celui-ci est de petite taille. Dans cette thèse, nous définissons une telle méthode pour estimer un modèle de mélange de distributions de probabilités à partir des données, en utilisant uniquement un sketch de celles-ci. Ce sketch est défini en s’inspirant de plusieurs notions venant du domaine des méthodes à noyaux : le plongement par noyau moyen et les approximations aléatoires de noyaux. Défini comme tel, le sketch correspond à des mesures linéaires de la distribution de probabilité sous-jacente aux données. Ainsi nous analysons le problème en utilisant des outils venant du domaine de l’acquisition comprimée, dans lequel un signal est mesuré aléatoirement sans perte d’information, sous certaines conditions. Nous étendons certains résultats de l’acquisition comprimée à la dimension infinie, donnons des conditions génériques garantissant le succès de notre méthode d’estimation de modèles de mélanges, et les appliquons à plusieurs problèmes, dont notamment celui d’estimer des mélanges de distributions stables multivariées, pour lequel il n’existait à ce jour aucun estimateur. Notre analyse est basée sur la construction d’opérateurs de sketch construits aléatoirement, qui satisfont une Propriété d’Isométrie Restreinte dans l’espace de Banach des mesures finies signées avec forte probabilité. Dans une second partie, nous introduisons un algorithme glouton capable heuristiquement d’estimer un modèle de mélange depuis un sketch linéaire. Cet algorithme est appliqué sur données simulées et réelles à trois problèmes : l’estimation de centres significatifs dans les données, pour lequel on constate que la méthode de sketch est significativement plus rapide qu’un algorithme de k-moyennes classique, l’estimation de mélanges de Gaussiennes, pour lequel elle est plus rapide qu’un algorithme d’Espérance-Maximisation, et enfin l’estimation de mélange de distributions stables multivariées, pour lequel il n’existait à ce jour, à notre connaissance, aucun algorithme capable de réaliser une telle tâche.
|
|
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
/ 24-06-2015
Basson Romain
Voir le résumé
Voir le résumé
L'objet de cette thèse est une description effective des espaces de modules des courbes hyper- elliptiques de genre 3 en caractéristiques positives. En caractéristique nulle ou impaire, on obtient une paramétrisation de ces espaces de modules par l'intermédiaire des algèbres d'invariants pour l'action du groupe spécial linéaire sur les espaces de formes binaires de degré 8, qui sont de type fini. Suite aux travaux de Lercier et Ritzenthaler, les cas des corps de caractéristiques 3, 5 et 7 restaient ouverts. Pour ces derniers, les méthodes classiques de la caractéristique nulle sont inno- pérantes pour l'obtention de générateurs pour les algèbres d'invariants en jeu. Nous nous sommes donc contenté d'exhiber des invariants séparants en caractéristiques 3 et 7. En outre, nos résultats concernant la caractéristique 5 suggèrent l'inadéquation de cette approche pour ce cas. À partir de ces résultats, nous avons pu expliciter la stratification des espaces de modules des courbes hyperelliptiques de genre 3 en caractéristiques 3 et 7 selon les groupes d'automorphismes et implémenté divers algorithmes, dont celui de Mestre, pour la reconstruction d'une courbe à partir de son module, ie la valeur de ses invariants. Pour cette phase de reconstruction, nous nous sommes notamment attaché aux questions arithmétiques, comme l'existence d'une obstruction à être un corps de définition pour le corps de module et, dans le cas contraire, à l'obtention d'un modèle de la courbe sur ce corps minimal. Enfin pour la caractéristique 2, notre approche est différente, dans la mesure où les courbes sont étudiées via leur modèle d'Artin-Schreier. Nous exhibons pour celles-ci des invariants bigradués qui dépendent de la structure arithmétique des points de ramifications des courbes.
|
|