Tri :
Date
Titre
Auteur
|
|
Mathématiques et applications
/ 16-12-2016
Ghammam Loubna
Voir le résumé
Voir le résumé
Les couplages sont des outils mathématiques introduits par André Weil en 1948. Ils sont un sujet très en vogue depuis une dizaine d'années en cryptographie asymétrique. Ils permettent en effet de réaliser des opérations cryptographiques impossible à réaliser simplement autrement tel que la signature courte et la cryptographie basée sur l'identité. Ces dernières années, le calcul des couplages est devenu plus facile grâce à l'introduction de nouvelles méthodes de calculs mathématiques particulièrement efficaces sur les courbes elliptiques dites les courbes bien adaptées aux couplages. Aujourd'hui, nous sommes au stade de transfert de cette technologie, de la théorie vers la mise en œuvre pratique, sur des composants électroniques. Ce transfert soulève de nombreuses problématiques qui s'avèrent difficile à surmonter à cause de la différence de culture scientifique entre mathématiciens et micro-électroniciens. Dans le présent document, en premier lieu, nous avons étudié le problème de l'implémentation du couplage dans des environnements restreints. En effet, le calcul du couplage de Tate, ou aussi de l'une de ses variantes, nécessite plusieurs variables pour être implémenté, par conséquent, il nécessite une bonne partie de la mémoire du composant électronique sur lequel nous souhaitons implémenter un tel couplage.
Dans ce contexte, en faisant des optimisations mathématiques, nous avons pu implémenté ces couplages dans des environnements retreints. Le deuxième problème que nous avons traité dans cette thèse est celui de la sécurité des protocoles cryptographiques basés sur les couplages. Dans ce contexte, puisque les couplages sur les courbes elliptiques sont censés d'être matériellement attaqués, nous devons le protéger contre ces attaques. Nous avons étudié les attaques sur les couplages et nous avons proposé une contre-mesure.
|
|
Mathématiques et applications
/ 04-05-2017
Soumana Hima Abdoulaye
Voir le résumé
Voir le résumé
Depuis la publication de l'ouvrage de Choquet (1955), la théorie d'espérance non linéaire a attiré avec grand intérêt des chercheurs pour ses applications potentielles dans les problèmes d'incertitude, les mesures de risque et le super-hedging en finance. Shige Peng a construit une sorte d'espérance entièrement non linéaire dynamiquement cohérente par l'approche des EDP. Un cas important d'espérance non linéaire cohérente en temps est la G-espérance, dans laquelle le processus canonique correspondant (B_{t})_{t≥0} est appelé G-mouvement brownien et joue un rôle analogue au processus de Wiener classique. L'objectif de cette thèse est d'étudier, dans le cadre de la G-espérance, certaines équations différentielles stochastiques rétrogrades (G-EDSR) à croissance quadratique avec applications aux problèmes de maximisation d'utilité robuste avec incertitude sur les modèles, certaines équations différentielles stochastiques (G-EDS) réfléchies et équations différentielles stochastiques rétrogrades réfléchies avec générateurs lipschitziens. On considère d'abord des G-EDSRs à croissance quadratique. Dans le Chapitre 2 nous fournissons un resultat d'existence et unicité pour des G-EDSRs à croissance quadratique. D'une part, nous établissons des estimations a priori en appliquant le théorème de type Girsanov, d'où l'on en déduit l'unicité. D'autre part, pour prouver l'existence de solutions, nous avons d'abord construit des solutions pour des G-EDSRs discretes en résolvant des EDPs non-linéaires correspondantes, puis des solutions pour les G-EDSRs quadratiques générales dans les espaces de Banach. Dans le Chapitre 3 nous appliquons les G-EDSRs quadratiques aux problèmes de maximisation d'utilité robuste. Nous donnons une caratérisation de la fonction valeur et une stratégie optimale pour les fonctions d'utilité exponentielle, puissance et logarithmique. Dans le Chapitre 4, nous traitons des G-EDSs réfléchies multidimensionnelles. Nous examinons d'abord la méthode de pénalisation pour résoudre des problèmes de Skorokhod déterministes dans des domaines non convexes et établissons des estimations pour des fonctions α-Hölder continues. A l'aide de ces résultats obtenus pour des problèmes déterministes, nous définissons le G-mouvement Brownien réfléchi et prouvons son existence et son unicité dans un espace de Banach. Ensuite, nous prouvons l'existence et l'unicité de solution pour les G-EDSRs multidimensionnelles réfléchies via un argument de point fixe. Dans le Chapitre 5, nous étudions l'existence et l'unicité pour les équations différentielles stochastiques rétrogrades réfléchies dirigées par un G-mouvement brownien lorsque la barrière S est un processus de G-Itô.
|
|
Mathématiques et applications
/ 13-06-2017
Pillet Basile
Voir le résumé
Voir le résumé
L'objet de cette thèse est la construction d'objets géométriques sur une variété C paramétrant des courbes rationnelles dans l'espace des twisteurs d'une variété hyperkählérienne. On établira une correspondance entre la géométrie complexe de l'espace des twisteurs et des propriétés différentielles sur C (opérateurs différentiels et courbure de la structure riemanienne complexe héritée de la variété hyperkählérienne). Les premiers chapitres précisent le cadre et les résultats connus. Dans les chapitres 4, 5 et 6 on établit une équivalence de catégories entre fibrés triviaux en restriction à chaque droite de l'espace des twisteurs et les fibrés à connexion sur C satisfaisant une condition de courbure. Le chapitre 7 prolonge cette correspondance sur le plan cohomologique tandis que le chapitre 8 en fait l'étude infinitésimale en reliant la courbure de la connexion avec les épaississements infinitésimaux des fibrés le long des droites.
|
|
Mathématiques et applications
/ 14-06-2017
Dubarry Blandine
Voir le résumé
Voir le résumé
L'objet de cette thèse est l'étude du comportement asymptotique des systèmes de fonctions itérées (IFS). Dans un premier chapitre, nous présenterons les notions liées à l'étude de tels systèmes et nous rappellerons différentes applications possibles des IFS telles que les marches aléatoires sur des graphes ou des pavages apériodiques, les systèmes dynamiques aléatoires, la classification de protéines ou encore les mesures quantiques répétées. Nous nous attarderons sur deux autres applications : les chaînes de Markov d'ordre infini et d'ordre variable. Nous donnerons aussi les principaux résultats de la littérature concernant l'étude des mesures invariantes pour des IFS ainsi que ceux pour le calcul de la dimension de Hausdorff. Le deuxième chapitre sera consacré à l'étude d'une classe d'IFS composés de contractions sur des intervalles réels fermés dont les images se chevauchent au plus en un point et telles que les probabilités de transition sont constantes par morceaux. Nous donnerons un critère pour l'existence et pour l'unicité d'une mesure invariante pour l'IFS ainsi que pour la stabilité asymptotique en termes de bornes sur les probabilités de transition. De plus, quand il existe une unique mesure invariante et sous quelques hypothèses techniques supplémentaires, on peut montrer que la mesure invariante admet une dimension de Hausdorff exacte qui est égale au rapport de l'entropie sur l'exposant de Lyapunov. Ce résultat étend la formule, établie dans la littérature pour des probabilités de transition continues, au cas considéré ici des probabilités de transition constantes par morceaux. Le dernier chapitre de cette thèse est, quant à lui, consacré à un cas particulier d'IFS : les chaînes de Markov de longueur variable (VLMC). On démontrera que sous une condition de non-nullité faible et de continuité pour la distance ultramétrique des probabilités de transitions, elles admettent une unique mesure invariante qui est attractive pour la convergence faible.
|
|
Mathématiques et applications
/ 04-07-2017
Fontaine Adrien
Voir le résumé
Voir le résumé
Cette thèse décrit comment les ondes électromagnétiques se propagent dans les plasmas magnétisés, lorsque les fréquences sollicitées sont proches de la fréquence électron cyclotron. Elle porte sur l’analyse mathématique des variétés caractéristiques qui sont associées à des systèmes de type Vlasov-Maxwell relativiste avec paramètres rapides.
La première partie s’intéresse aux plasmas froids des magnétosphères planétaires. On explique comment obtenir les relations de dispersion dans le cas d’un dipôle magnétique. Cela conduit à l’étude détaillée de certaines variétés algébriques de l’espace cotangent : les cônes et les sphères dits ordinaires et extraordinaires. La description géométrique de ces cônes et de ces sphères donne accès à une classification complète des ondes électromagnétiques susceptibles de se propager. Diverses applications sont proposées, concernant l’équation eikonale et l’absence de propagation en mode parallèle, ou encore concernant la structure des ondes dites en mode siffleur.
La seconde partie porte sur la modélisation des plasmas chauds, typiquement ceux qui sont mis en jeu dans les tokamaks. On prouve dans un contexte réaliste que la propagation des ondes électromagnétiques s’effectue au travers d’un tenseur dielectrique. Ce tenseur est obtenu via une analyse fine des résonances cinétiques qui sont issues des interactions entre les particules (Vlasov) et les ondes (Maxwell). Il s’exprime comme une somme infinie d’intégrales singulières, faisant intervenir l’opérateur de Hilbert. Le sens mathématique de la formule donnant accès à ce tenseur est rigoureusement justifié.
|
|
Mathématiques et applications
/ 31-08-2017
Le Meur Alexandre
Voir le résumé
Voir le résumé
Les formules de Thomae classiques (1869) permettent de relier au moyen d'une relation algébrique les points branches d'une courbe hyperelliptique avec les thêta constantes de sa jacobienne. Ces formules donnent notamment un moyen de calculer les thêta constantes d'une courbe hyperelliptique connaissant ses points de ramification ou bien, à l'inverse, de retrouver la courbe en connaissant le theta null point de sa jacobienne. Ceci fournit une réalisation effective du théorème de Torelli. Plus récemment, plusieurs auteurs dont Zemel et Farkas ont proposé une généralisation de ces formules pour des courbes cycliques totalement ramifiées sur la droite projective. Nous nous intéressons dans cette thèse à une généralisation de ces formules pour des courbes galoisiennes résolubles de degré n sur la droite projective. La construction de telles formules suit la stratégie décrite par Farkas et Zemel. Cependant, les points non totalement ramifiés ne décrivent pas des points de n-torsion de la Jacobienne de la courbe via l'application d'Abel-Jacobi. Pour remédier à cet obstacle, nous composons T par theta, où T agit comme une moyenne décrite par un sous-groupe du groupe de Galois de la courbe possédant certaines propriétés. Afin de décrire les zéros de translatés de cette application composée, nous écrivons un analogue du théorème de Riemann sur les zéros de theta. Enfin, nous exhibons un exemple d'une courbe définie par un revêtement de degré 2 suivi de deux revêtements de degré 3 dans laquelle on obtient des formules de Thomae généralisées.
|
|
Mathématiques et applications
/ 07-09-2017
Lo Bianco Federico
Voir le résumé
Voir le résumé
Cette thèse se situe à l'interface entre la géométrie algébrique et les systèmes dynamiques. Le but est d'analyser la dynamique des automorphismes (ou, plus généralement, des transformations birationnelles) de variété compactes kaehleriennes avec première classe de Chern nulle, notamment des variétés hyperkaehleriennes. J'étudie l'existence de structures géométriques invariantes par la dynamique, en particulier fibrations et feuilletages, sous des hypothèses sur l'action en cohomologie de la transformation considérée
|
|
Mathématiques et applications
/ 28-09-2017
Urech Christian
Voir le résumé
Voir le résumé
Le groupe de Cremona en n variables Cr_n(C) est le groupe des transformations birationnelles de l'espace projectif complexe de dimension n. Dans cette thèse, on étudie les groupes de Cremona en considérant certaines classes de „grands'' sous-groupes. Dans la première partie on considère des plongements algébriques de Cr_2(C) vers Cr_n(C). On décrit notamment quelques propriétés géométriques d'un plongement de Cr_2(C) dans Cr_5(C) dû à Gizatullin. En outre, on classifie tous les plongements algébriques de Cr_2(C) dans Cr_3(C) et on généralise ce résultat partiellement pour les plongements de Cr_n(C) dans Cr_{n+1}(C). Dans la deuxième partie, on regarde les suites des degrés des transformations birationnelles des variétés définies sur un corps quelconque. On montre qu'il n'existe qu'un nombre dénombrable de telles suites et on donne de nouvelles contraintes sur la croissance des degrés des automorphismes de l'espace affine de dimension n. Dans la troisième partie, on classifie les sous-groupes de Cr_2(C) qui ne contiennent que des éléments elliptiques, c'est-`a-dire des éléments dont les degrés des itérés sont bornés. On en déduit notamment l'alternative de Tits pour les sous-groupes quelconques de Cr_2(C). Dans la dernière partie on montre que tous les sous-groupes simples de type fini de Cr_2(C) sont finis et, sous l'hypothèse d'un lemme conjectural, qu'un groupe simple se plonge dans Cr_2(C) si et seulement s'il se plonge dans PGL_3(C).
|
|
Mathématiques et applications
/ 16-10-2017
Rogue Axel
Voir le résumé
Voir le résumé
Cette thèse concerne les propriétés dynamiques des endomorphismes holomorphes du plan projectif complexe. La première partie introduit et minore les dimensions directionnelles du courant de Green. Nos résultats mènent une analyse multifractale des tranches de ce courant par des coordonnées locales, relativement aux mesures ergodiques dilatantes. Une première application montre que, relativement à toute mesure ergodique de grande entropie, tout courant positif fermé possède une dimension directionnelle strictement plus grande que deux, ce qui répond à une question de de Thélin-Vigny. Comme deuxième application, nous décrivons les dimensions directionnelles du courant de Green des endomorphismes semi-extrémaux de Dujardin, c'est à dire ceux dont la mesure d'équilibre est absolument continue par rapport à la mesure trace du courant de Green. Dans la deuxième partie, nous majorons les dimensions directionnelles du courant de Green en utilisant des techniques de Théorie du pluripotentiel. En combinant ces résultats à ceux de la première partie, nous montrons une propriété de séparation des dimensions directionnelles du courant de Green relativement à la mesure d'équilibre. Dans la dernière partie, nous étudions la régularité des tranches du courant de Green dans deux situations semi-extrémales. Nous montrons que la dérivée de Radon-Nikodym des tranches stables est bornée presque partout. Cette propriété, proche de l'absolue continuité par rapport à la mesure de Lebesgue, apporte une précision à nos résultats précédents. Les techniques utilisées ont également permis d'obtenir une nouvelle majoration de la dimension locale des mesures ergodiques dilatantes. Cette majoration nous rapproche de la conjecture de Binder-DeMarco concernant la dimension de la mesure d'équilibre.
|
|
Informatique
/ 20-10-2017
Hristova Hristina
Voir le résumé
Voir le résumé
Les contributions de cette thèse sont divisées en trois parties principales. Dans la partie 1, nous proposons une méthode locale utilisant une distribution GGM pour approcher les distributions des images en les subdivisant en groupe de pixels que nous appelons dorénavant clusters. L'idée principale consiste à déterminer quelle caractéristique (couleur, luminance) est plus représentative pour une image donnée. Puis nous utilisons cette caractéristique pour subdiviser l'image en clusters. Quatre stratégies de mise en correspondance des clusters de l'image d'entrée avec ceux de l'image cible sont proposées. Ces stratégies ont pour but de produire des images photoréalistes dont le style ressemble à celui de l'image cible (dans notre cas le style d'une image est défini en termes de couleur et luminosité). Nous étendons le principe de transfert de couleur au transfert simultané de couleur et de gradient. Afin de pouvoir décrire las distributions de couleur et de gradient par une seule distribution, nous adoptons le modèle MGGD (multivariate generalized Gaussian distributions). Nous proposons une nouvelle transformation de distribution MGGD pour des applications de traitement d'image telles que le transfert multi-dimensionnel de caractéristiques d'image, de couleur, etc. De plus, nous adoptons aussi un modèle de distribution plus précis (distribution Beta bornée) pour représenter des distributions de couleur et de luminosité. Nous proposons une transformation de distribution Beta qui permet d'effectuer un transfert de couleur entre images et qui s'avère plus performante que celles basées sur les distributions Gaussiennes. Dans la partie 2, nous introduisons une nouvelle méthode permettant de créer des images HDR à partir d'une paire d'images, l'une prise avec flash et l'autre pas. Notre méthode consiste en l'utilisation d'une fonction de luminosité (brightness) simulant la fonction de réponse d'une caméra, et d'une nouvelle fonction d'adaptation de couleur (CAT), appelée CAT bi-locale (bi-local CAT), permettant de reproduire les détails de l'image flash. Cette approche évite toutes les limitations inhérentes aux méthodes classiques de création d'images HDR. Dans la partie 3, nous exploitons le potentiel de notre adaptation bi-locale CAT pour diverses applications d'édition d'image telles que la suppression de bruit (dé-bruitage), suppression de flou, transfert de texture, etc. Nous introduisons notre nouveau filtre guidé dans lequel nous incorporons l'adaptation bi-locale CAT dans la partie 3.
|
|