Cette thèse s'intéresse à la recherche de points rationnels sur les courbes elliptiques. Darmon et Logan ont proposé une construction conjecturale de points rationnels sur des courbes elliptiques modulaires définies sur un corps de nombres totalement réel. Cette construction va au delà de la construction classique des points de Heegner. C'est sur la généralisation de ces travaux que porte cette thèse. Après un premier chapitre de rappels concernant essentiellement les variétés de Shimura, on construit, dans le chapitre deux une forme différentielle dont l'ensemble des périodes est, sous une conjecture due à Yoshida, un réseau. On y définit aussi un ensemble de cycles dont la classe d'homologie est de torsion. A l'aide de ces données, on énonce au chapitre suivant une conjecture généralisant celle de Darmon et Logan. On s'interesse aussi aux propriétés de ces nouveaux points, principalement en lien avec les théorèmes "classiques" de Gross-Zagier et Gross-Kohnen-Zagier. Le chapitre 4 tente de rendre holomorphes les opérations du chapitre 2, et le chapitre 5 de les rendre plus explicites. Cette thèse comporte une annexe concernant les vérifications informatiques de la conjecture de Darmon.

Un principal résultat de la thèse est une preuve conceptionnelle du fait que le nombre pondéré de courbes tropicales de degré et genre donnés qui passent par le bon nombre de points en position générale dans $\RR^2$ (resp., qui passent par le bon nombre de points en position générale dans $ \RR^r $ et représentent un point fixé dans l'espace de modules de courbes tropicales abstraites de genre g ) ne dépend pas du choix de points. Un autre principal résultat est un nouveau théorème de correspondance entre les cycles tropicaux plans et les courbes algébriques elliptiques planes.

Cette thèse propose des améliorations aux problèmes de la multiplication et de la factorisation d'entier. <p> L'algorithme de Schönhage-Strassen pour la multiplication d'entier, publié en 1971, fut le premier à atteindre une complexité de O(n log (n) log(log(n))) pour multiplier deux entiers de n bits, et reste parmi les plus rapides en pratique. Il réduit la multiplication d'entier à celle de polynôme sur un anneau fini, en utilisant la transformée de Fourier rapide pour calculer le produit de convolution. Dans un travail commun avec Gaudry et Zimmermann, nous décrivons une implantation efficace de cet algorithme, basée sur la bibliothèque GNU MP; par rapport aux travaux antérieurs, nous améliorons l'utilisation de la mémoire cache, la sélection des paramètres et la longueur de convolution, ce qui donne un gain d'un facteur 2 environ. <p> Les algorithmes P-1 et P+1 trouvent un facteur p d'un entier composé rapidement si p-1, respectivement p+1, ne contient pas de grand facteur premier. Ces algorithmes comportent deux phases: la première phase calcule une grande puissance g₁ d'un élément g₀ d'un groupe fini défini sur F_p, respectivement F_p^2, la seconde phase cherche une collision entre puissances de g₁, qui est trouvée de manière efficace par évaluation-interpolation de polynômes. Dans un travail avec Peter Lawrence Montgomery, nous proposons une amélioration de la seconde phase de ces algorithmes, avec une construction plus rapide des polynômes requis, et une consommation mémoire optimale, ce qui permet d'augmenter la limite pratique pour le plus grand facteur premier de p-1, resp. p+1, d'un facteur 100 environ par rapport aux implantations antérieures. <p> Le crible algébrique (NFS) est le meilleur algorithme connu pour factoriser des entiers dont les facteurs n'ont aucune propriété permettant de les trouver rapidement. En particulier, le module du système RSA de chiffrement est choisi de telle sorte, et sa factorisation casse le système. De nombreux efforts ont ainsi été consentis pour améliorer NFS, de façon à établir précisément la sécurité de RSA. Nous donnons un bref aperçu de NFS et de son historique. Lors de la phase de crible de NFS, de nombreux petits entiers doivent être factorisés. Nous présentons en détail une implantation de P-1, P+1, et de la méthode ECM basée sur les courbes elliptiques, qui est optimisée pour de tels petits entiers. Finalement, nous montrons comment les paramétres de ces algorithmes peuvent étre choisis finement, en tenant compte de la distribution des facteurs premiers dans les entiers produits par NFS, et de la probabilité de trouver des facteurs premiers d'une taille donnée.

L'objet de cette thèse est la diffusion numérique sécurisée réalisée à l'aide de courbes elliptiques. Le premier chapitre est consacré au calcul de points de l-torsion sur une courbe elliptique définie sur un corps fini de caractéristique p. Plus précisément, nous combinons un algorithme rapide de calcul d'isogénies dû à Bostan, Morain, Salvy et Schost avec l'approche p-adique suivie par Joux et Lercier. Nous obtenons ainsi le premier algorithme valide sans limitation sur l et p dont la complexité est similaire à celle de l'algorithme proposé par Bostan et al. Dans le deuxième chapitre, nous développons un modèle générique de groupes avec couplage qui généralise les modèles présentés auparavant dans la littérature. Nous fournissons un cadre général permettant de prouver dans ce modèle les hypothèses cryptographiques reliées au problème du logarithme discret sur des groupes avec couplage. Dans le troisième chapitre, nous proposons et étudions un nouveau schéma de diffusion pour des récepteurs sans état. À la différence des schémas s'appuyant sur des techniques de recouvrement par des sous-ensembles définis par des arbres binaires, notre schéma considère que l'ensemble des récepteurs destinataires d'un message est décrit par des attributs. La taille du chiffré est linéaire en le nombre d'attributs utilisés dans cette description, mais ne dépend pas du nombre de destinataires. Par rapport à d'autres schémas basés sur des attributs, le déchiffrement nécessite des capacités de calculs bien plus faibles. Le dernier chapitre est consacré à un schéma de chiffrement avec traçage de traîtres, c'est-à-dire conçu pour lutter contre le piratage dans la distribution sécurisée de contenus vers de nombreux destinataires. Nous proposons un nouveau schéma, utilisant des techniques de marquage de contenu, présentant un taux de chiffrement constant et une sécurité contre des décodeurs pirates puissants. Une particularité de ce schéma est la possibilité pour un destinataire de déchiffrer à la volée le contenu transmis.

La thèse est composée de deux parties indépendantes.<br />Dans la première partie, on étudie le comportement asymptotique de problèmes elliptiques et paraboliques à données $L^1+W^{-1,p'}$ (respectivement $L^1+L^p(0,T;W^{-1,p'})$ dans le cas parabolique), dans des domaines devenant infiniment grands. En utilisant le cadre des solutions renormalisées et les résultats de régularité des solutions pour de telles données, on prouve, sous certaines hypothèses structurelles sur les variables d'espace, des résultats de convergence dans les espaces de régularité des solutions.<br />Dans la seconde partie, dans le cas de la dimension $2$, on étudie des systèmes de type Boussinesq. Ces systèmes dérivent de modèles de mécanique des fluides et consistent en un couplage des équations de Navier-Stokes incompressibles et de l'équation de la chaleur. On s'intéresse essentiellement aux questions d'unicité de la solution, particulièrement délicate à prouver du fait du couplage très non linéaire entre les équations. On travaille dans le cadre des solutions faibles pour les équations de Navier-Stokes et dans le cadre des solutions renormalisées pour des problèmes paraboliques pour l'équation de la chaleur. On établit tout d'abord des résultats de régularité pour ces équations puis on montre plusieurs résultats d'existence et d'unicité de la solution du système pour de petites données.

Les travaux présentés dans ce mémoire portent sur des problèmes d'équations ou de systèmes d'équations aux dérivées partielles (EDPs) elliptiques non linéaires. Ils apparaissent comme des équations d'Euler-Lagrange de problèmes de minimisation sous contrainte avec perte de compacité à l'infini. Ces problèmes sont de plus tous liés à des modèles de physique : strucure électronique des solides et (hyper)-élasticité non linéaire (chapitres 1,2 et 3 d'une part, et condensats de Bose-Einstein (chapitre 4) d'autre part.<br /><br />La base de travail des chapitres 1, 2 et 3 est le modèle de Thomas-Fermi-von Weizsäcker (TFW), ou certaines de ses extensions. Dans ce modèle, un système moléculaire est décrit par N noyaux, qui sont des particules classiques ponctuelles, et N électrons, qui sont des particules quantiques définies par leur densité collective. L'énergie TFW, qui dépend des positions des noyaux et de la densité électronique, est minimisée par rapport à cette dernière. Ce modèle est défini au départ pour un nombre fini de noyaux et d'électrons, et sa définition pour une infinité de particules est un problème non trivial. Ce problème, dit de limite thermodynamique, consiste à faire tendre conjointement le nombre de noyaux et d'électrons vers l'infini, en imposant une certaine géométrie (typiquement la périodicité) aux noyaux, et à obtenir la convergence de la densité d'électrons, ainsi que de l'énergie moyenne du système. Ce problème a été résolu dans le cas périodique par I. Catto, C. Le Bris et P.-L. Lions.<br /><br />Le chapitre 1 aborde le problème de la justification de la périodicité supposée dans l'ouvrage de Catto, Le Bris et Lions. Dans la section 1.3, on considère l'énergie TFW d'un cristal comme une fonction du réseau périodique définissant la position des noyaux, et on étudie l'existence d'un minimiseur. Un préliminaire à ce travail, présenté dans la section 1.2, est l'étude des cas dégénérés de réseaux périodiques, à savoir le cas où les noyaux sont répartis périodiquement sur un plan d'une part, et celui où les noyaux sont répartis périodiquement sur une droite d'autre part.<br /><br />Les sections 1.4 et 1.5 abordent le problème sans supposer la périodicité : on minimise l'énergie TFW par rapport à la densité électronque et par rapport à la position des noyaux, à N fixé, et on démontre alors que quand N tend vers l'infini, la configuration minimisante devient périodique. Ce problème est traité théoriquement pour le cas 1D (section 1.4), puis une étude numérique est faite sur le cas 2D (section 1.5), indiquant que le résultat est aussi vrai dans ce cas.<br /><br />Bien que la périodicité soit une bonne approximation pour les cristaux simples, il arrive souvent (dans le cas des polycristaux, des solides amorphes ou de solides cristallins présentant des dislocations par exemple) que cette hypothèse ne soit pas valable. C'est pourquoi on étudie dans le chapitre 2 les problèmes de définition du modèle TFW, pour des solides dont les positions de noyaux ne sont pas périodiques. Un cas déterministe est présenté dans la section 2.1.1, où l'on construit le cadre fonctionnel nécessaire à la définition du modèle, puis on résout le problème de limite thermodynamique associé. La section 2.1.2 présente un cas où les positions des noyaux sont stochastiques. Là aussi, on commence par construire un cadre stochastique (stationnaire ergodique) nécessaire, puis on résout le problème de limite thermodynamique correspondant.<br /><br />Outre ces problèmes de limite thermodynamique, qui font le lien entre un modèle moléculaire et le modèle de théorie des solides correspondant, on étudie dans la section 2.2 des modèles (dits "orbital-free'') plus élaborés utilisés dans certains codes de chimie, sans chercher à les justifier par limite thermodynamique. Cette étude montre que le problème variationnel est mal posé, et que le "minimum'' calculé est un minimum local vraisemblablement dépendant de la discrétisation utilisée et du point de départ de l'algorithme de minimisation.<br /><br />Le modèle TFW est un modèle microscopique. Il est cependant naturel, après l'avoir défini pour des solides (cristallins ou non), d'étudier le lien de ce modèle avec des modèles d'élasticité non linéaire. Ce problème est évoqué dans le chapitre 3, où on considère l'énergie d'un système atomique déformé par un diffémorphisme u, et on passe à la limite quand la distance inter-atomique tend vers 0. On obtient ainsi une énergie hyperélastique qui a la forme de celles utilisées en mécanique. La section 3.1 présente ce travail dans un cadre déterministe, la section 3.2 le même type de résultat dans le cas où les positions des noyaux sont stochastiques.<br /><br />La section 3.3 présente une étude similaire, mais dans le cas d'un joint collé, c'est-à-dire d'une interface d'épaisseur nulle au niveau macroscopique (mais infinie au niveau microscopique). Ce cas est particulier car il doit autoriser un saut de la déformation à travers l'interface, ce qui lui impose une régularité moindre que précédemment.<br /><br />Dans le même esprit, la section 3.4 présente l'analyse du couplage entre un modèle de mécanique des milieux continus et le modèle discret correspondant. L'idée est ici d'étudier la déformation d'un solide qui est régulière dans une partie du solide, mais présente des singularités. Là où la déformation est régulière, on utilise un modèle d'élasticité standard, et là où la déformation est singulière, on revient au modèle discret mettant en jeu les atomes et leurs interactions. Comme à notre connaissance aucune étude théorique n'existait sur ce type de théorie, nous avons étudié un cas très simple de dimension 1, et obtenu des résultats qui laissent penser que le modèle est "bon'' dans le cas convexe (i.e si le potentiel d'interaction des atomes est convexe), mais beaucoup plus douteux dans le cas contraire.<br /><br />Le chapitre 4 présente des travaux sur les condensats de Bose-Einstein. La première section porte sur l'écoulement d'un condensat autour d'un obstacle (physiquement, un laser). Nous établissons l'existence d'une solution sans vortex si la vitesse de translation de l'obstacle est suffisamment faible. Ce résultat avait déjà été établi pour un modèle de dimension 2, et nous l'avons étendu au cas plus réaliste de dimension 3, en étudiant en particulier la zone du bord du condensat où le modèle 2D n'est pas valable (contrairement au coeur du condensat).<br /><br />La section 4.3 concerne l'étude de condensats en rotation, et en particulier des vortex nucléés par cette rotation. Les résultats présentés portent sur la rotation rapide : si Omega est la vitesse de rotation, le système n'a de minimum d'énergie que si Omega < 1. La rotation rapide correspond à la limite Omega tend vers 1. Dans ce régime, la fonction d'onde peut être approximée avec une bonne précision par une fonction analytique multipliée par une gaussienne. Les vortex sont alors les zéros de cette fonction. Nous établissons une borne supérieure de l'énergie en utilisant une fonction test dont les zéros forment un réseau distordu sur les bords du condensat. Ceci est en accord avec les observations expérimentales et numériques.

Reproduction de : Thèse de doctorat : Mathématiques appliquées : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3608. Résumé. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 245-250.

Mémoire de DEA : Mathématiques appliqués : Lille 1 : 2002. / Bibliogr. : f. 47.

Dans cette thèse nous examinons en détail le problème du logarithme discret dans les corps finis. Dans la première partie, nous nous intéressons à la notion de friabilité et à l'algorithme ECM, le plus rapide test de friabilité connu. Nous présentons une amélioration de l'algorithme en analysant les propriétés galoisiennes des polynômes de division. Nous continuons la présentation par une application d'ECM dans la dernière étape du crible algébrique (NFS). Dans la deuxième partie, nous présentons NFS et son algorithme correspondant utilisant les corps de fonctions (FFS). Parmi les améliorations examinées, nous montrons qu'on peut accélérer le calcul de logarithme discret au prix d'un pré-calcul commun pour une plage de premiers ayant le même nombre de bits. Nous nous concentrons ensuite sur la phase de sélection polynomiale de FFS et nous montrons comment comparer des polynômes quelconques à l'aide d'une unique fonction. Nous concluons la deuxième partie avec un algorithme issu des récentes améliorations du calcul de logarithme discret. Le fait marquant est la création d'une procédure de descente qui a un nombre quasi-polynomial de nœuds, chacun exigeant un temps polynomial. Cela a conduit à un algorithme quasi-polynomial pour les corps finis de petite caractéristique.

Ma thèse porte sur l'étude des couplages, et plus particulièrement leur utilisation en cryptographie. Mes premiers travaux ont portés sur l'arithmétique des couplages à travers une comparaison des complexités en nombre d'opérations des couplages de Weil et Tate. Puis je me suis intéressée à l'étude de l'arithmétique utile pour les couplages. Un de mes travaux propose d'utiliser une représentation alternative des corps finis pour améliorer l'efficacité des calculs impliqués dans les couplages. Le second étudie en détail l'arithmétique des couplages pour les courbes dont le degré d'enfoncement est 15. Ces premiers travaux m'ont permis de me familiariser avec les couplages et je me suis alors orientée vers la résistance aux attaques par canaux cachés des algorithmes de couplage. J'ai étudié les faiblesses de l'algorithme de Miller lorsqu'il subit des attaques par analyse de consommation de courant et par injection de fautes.