Contrats doctoraux

 Les appels à candidature pour les thèses ont lieu chaque année au printemps.

De nouveaux sujets seront bientôt disponibles : restez à l'écoute et visitez cette page régulièrement ! 

Sujet : Géométrie analytique et représentations des groupes réels

Encadrement

Arthur-César Le Bras (IRMA, Strasbourg)
Raphaël Beuzart-Plessis (I2M, Marseille)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipe “AGA"

Description du sujet

Scholze dans une prépublication spectaculaire récente a proposé une reformulation géométrique de la correspondance de Langlands locale archimédienne, dans l’esprit du programme de Langlands géométrique. Elle repose sur la géométrie analytique, créée par Clausen-Scholze via le formalisme des mathématiques condensées. Cette géométrie permet de construire de nouveaux objets géométriques, dont l’existence est crucialement exploitée par Scholze. Le but du projet de thèse est de revisiter et généraliser certains résultats de la théorie des représentations des groupes réels, une théorie ancienne et très riche, dans ce nouveau langage. 

Compétences mathématiques requises

héorie des schémas
Algèbre homologique
Groupes de Lie
Théorie des représentations des groupes compacts, anneaux et champs analytiques.

Sujet : Schémas à toutes les vitesses pour les simulations numériques d'écoulement des fluides

Encadrement

Andrea Thomann (IRMA, Strasbourg)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipe MOCO

Description du sujet

Les écoulements faiblement compressibles à faible nombre de Mach se rencontrent dans de nombreuses applications telles que la météorologie, l'astrophysique ou l'ingénierie aérospatiale. Ils sont difficiles à simuler avec des méthodes numériques standard, telles que la méthode des volumes finis (MVF) [1] ou la méthode Lattice-Boltzmann (LBM) [3]. La première raison est que les schémas explicites en temps ne sont que conditionnellement stables. En effet, les ondes acoustiques rapides, qui sont caractéristiques des écoulements à faible nombre de Mach, imposent une condition CFL très contraignante et donc des pas de temps décroissants lorsque le nombre de Mach diminue. La deuxième raison est que la viscosité numérique, qui est importante pour stabiliser les méthodes numériques, est imposée par la vitesse de l'onde la plus rapide et est généralement trop importante dans la FVM ou trop faible dans la LBM pour résoudre avec précision les ondes matérielles lentes. La troisième raison est que la résolution des petites échelles instationnaires nécessite des mailles très fines. Cela réduit également les coûts de calcul, ce qui signifie que le logiciel de simulation doit être soigneusement optimisé. Le processus d'optimisation est complexe, long et sujet aux erreurs. L'approche traditionnelle pour résoudre la première difficulté consiste à adopter (au moins partiellement) des schémas implicites. Cependant, cela conduit à la résolution de grands systèmes non linéaires et est très coûteux en termes de calcul. Les solutions à la deuxième difficulté peuvent être basées soit sur la résolution directe des équations limites à faible Mach (équations incompressibles), soit sur des schémas récents, basés sur une analyse minutieuse de l'effet de la viscosité numérique sur toutes les ondes [2, 4]. A notre connaissance, le troisième défi est aujourd'hui principalement relevé par un long développement de logiciels par essais et erreurs. L'objectif de ce projet de recherche est de tester une nouvelle méthode explicite de Lattice-Boltzmann adaptée à la résolution d'écoulements de fluides faiblement compressibles. L'équipe IRMA-MOCO a récemment développé des schémas LBM avec une très faible dissipation, mais avec une stabilité entropique prouvée [5, 6]. La méthode LBM est connue pour son bon comportement dans les écoulements incompressibles et est donc prometteuse pour une extension aux écoulements faiblement compressibles. Ces dernières années, le MOCO a développé des schémas cinétiques explicites, mais sans CFL, pour des systèmes de conservation hyperboliques généraux [7]. L'idée est de représenter les équations par un ensemble équivalent d'équations cinétiques couplées par un terme de relaxation rigide. Le nombre de vitesses cinétiques reste faible et le modèle cinétique est résolu par des solveurs de transport sans CFL très efficaces. Telle quelle, la méthode peut être appliquée aux écoulements compressibles. Mais on s'attend à une perte de précision à faible Mach. Nous proposons d'augmenter le nombre de vitesses cinétiques afin d'améliorer la précision de l'approximation des ondes lentes. Le nouveau schéma, avec deux familles de vitesses cinétiques (lente et rapide), sera analysé du point de vue de la stabilité et de la précision. La théorie a été développée dans l'équipe [5, 10] et sera adaptée à ce cas. Une partie du travail sera consacrée à l'optimisation du LBM avec de nouveaux outils développés dans le projet ANR OptiTrust d'ICUBE-ICPS. Ces outils permettent de tester rapidement les transformations de code, qui sont vérifiées par Coq, afin de s'assurer que le code optimisé effectue exactement les mêmes calculs que le code source non optimisé. 

[1] Guillard, H., & Viozat, C. (1999). On the behaviour of upwind schemes in the low Mach number limit. Computers & fluids, 28(1), 63-86.
[2] Farag, G., Zhao, S., Coratger, T., Boivin, P., Chiavassa, G., & Sagaut, P. (2020). A pressure-based regularized lattice-Boltzmann method for the simulation of compressible flows. Physics of Fluids, 32(6).
[3] Frapolli, N., Chikatamarla, S. S., & Karlin, I. V. (2015). Entropic lattice Boltzmann model for compressible flows. Physical Review E, 92(6), 061301.
[4] Chalons, C., Girardin, M., & Kokh, S. (2017). An all-regime Lagrange- Projection like scheme for 2D homogeneous models for two-phase flows on unstructured meshes. Journal of Computational Physics, 335, 885-904.
[5] Lukáová-Medvidová, M., Puppo, G., & Thomann, A. (2023). An all Mach number finite volume method for isentropic two-phase flow. Journal of Numerical Mathematics, 31(3), 175-204.
[6] Bellotti, T., Helluy, P., & Navoret, L. (2024). Fourth-order entropystable lattice Boltzmann schemes for hyperbolic systems. arXiv preprint arXiv:2403.13406.
[7] Gerhard, P., Helluy, P., Michel-Dansac, V., & Weber, B. (2024). Parallel kinetic schemes for conservation laws, with large time steps. Journal of Scientific Computing, 99(1), 5.

Compétences mathématiques requises

Expérience en mécanique des fluides avec un accent sur les équations aux dérivées partielles hyperboliques, les modèles cinétiques et les méthodes numériques, en particulier la méthode de Lattice-Boltzmann.
Des connaissances en informatique théorique et appliquée sont souhaitables, en particulier en informatique scientifique.
Une expérience dans des projets interdisciplinaires est souhaitée ainsi qu'un niveau avancé d'anglais et de français.

Sujet : Modèle asymptotique de type Schrödinger pour la propagation de vague

Encadrement

Raphaël Côte et Benjamin Mélinand (IRMA, Strasbourg)

Laboratoire et équipe d'accueil

IRMA, Strasbourg - Équipes “MOCO" et "Analyse"

Description du sujet

Dans ce sujet de thèse nous nous intéressons à l'étude mathématique de la propagation de vague au travers de différents modèles asymptotiques ayant un comportement Schrödinger en haute fréquence. Dans un premier axe, nous souhaitons dériver rigoureusement puis étudier un modèle asymptotique unidirectionnel des équations des vagues. Cette équation s'écrit sous la forme √(1-∂_x^2 ) ∂_t u+ ∂_x u+ ∂_x^3 u+u ∂_x u=0, (t,x)∈R ×R. À basse fréquence, le symbole de l'opérateur linéaire est du type Korteweg-de Vries (KdV) et à haute fréquence, du type Schrödinger. À notre connaissance, ce modèle est le premier à faire apparaître ce comportement mixte associant deux des équations dispersives les plus intensément étudiées. Il s'agit dans un premier temps de montrer que cette équation approche l'équation des vagues avec la même précision que l'équation de KdV ou de BBM. On utilisera pour cela la méthodologie décrite dans [Lan13]. Dans un deuxième temps, on s'intéressera au caractère bien-posé et globalement bien-posé de cette équation, avec une attention particulière sur la régularité requise pour la donnée initiale. Ce point se rapproche des travaux effectués sur l’équation de BBM (voir par exemple [BT09]). Ensuite, on souhaite étudier l'existence et la stabilité de solitons (ondes qui se propage en conservant leur forme, et qui réalisent ainsi un équilibre entre les effets dispersif et nonlinéaire). Nous avons en tête d'appliquer les techniques utilisées dans [KLPS25] et les références associées. Insistons sur deux points. Premièrement le comportement haute fréquence de type Schrödinger est un point important pour obtenir l'existence de tels objets : en effet, on se ramènera à une équation elliptique non locale. Deuxièmement le fait d'avoir un résultat d'existence à basse régularité est très important pour étudier la stabilité. Enfin, on souhaite aussi étudier le comportement de ces solitons suivant leur vitesse. À petite vitesse, on s'attend à ce qu'ils se comportent comme les solitons de KdV, avec possiblement des propriété de monotonie/Kato smoothing; et à de grandes vitesses comme ceux de l'équation de Schrödinger à nonlinéarité quadratique. Il s'agira de rendre cette intuition rigoureuse. Pour compléter notre étude on pourra s'appuyer sur des simulations numériques (comme cela a par exemple été fait dans [KLPS25] sur d'autres équations). Nous avons typiquement en tête d'étudier numériquement le comportement en temps long. Le deuxième axe de recherche est de construire un modèle asymptotique vérifiant les mêmes propriétés que notre équation scalaire, mais en s'affranchissant du caractère unidirectionnel. Il s'agit donc de dériver un système d'équations (typiquement en la surface et la vitesse du fluide). On souhaite également que ce système soit globalement bien posé, pour des données initiales avec faible régularité. Pour cela on partira des systèmes de Boussinesq dits abcd, dérivés pour la première fois dans [BCS02] et que l'on modifiera pour obtenir les propriétés souhaitées. Une fois cela fait, on étudiera aussi dans ce nouveau cadre l'existence et la stabilité de solitons. 

Références
[BCS02] J. L. Bona, M. Chen, and J.-C. Saut. Boussinesq equations and other systems for small-amplitude long waves in nonlinear dispersive media. I. Derivation and linear theory. J. Nonlinear Sci., 12(4) :283–318, 2002.
[BT09] J. Bona and N/ Tzvetkov. Sharp well-posedness results for the BBM equation. Discrete Contin. Dyn. Syst., 23(4) :1241–1252, 2009.
[KLPS25] C. Klein, F. Linares, D. Pilod, and J.-C. Saut. On the Benjamin and related equations. Bull. Braz. Math. Soc. (N.S.), 56(1) :Paper No. 4, 27, 2025.
[Lan13] D. Lannes. The water waves problem, volume 188 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2013. Mathematical analysis and asymptotics.

Compétences mathématiques requises

M2 Analyse & EDP

Sujet : Etude de la topologie de la Réionisation modélisée par le nouveau code de simulation cosmologique Dyablo

Encadrement

Dominique Aubert (ObAS, Strasbourg)

Laboratoire et équipe d'accueil

ObAS, Strasbourg - Equipe "GALHECOS"

Description du sujet

L'époque de la réionisation (EoR) s'est déroulée lors du premier milliard d'années de l'histoire de l'Univers et a vu l'apparition des premières structures telles que les galaxies, les noyaux actifs de galaxie, les premières étoiles et les trous noirs supermassifs. Le rayonnement produit par ces objets a conduit au milieu intergalactique chaud et ionisé tel que nous le connaissons aujourd’hui. Entrant dans une ère qui promet d’être riche en résultats nouveaux (JWST) ou prochainement disponibles (SKA), les études de l’EoR constituent un cas scientifique idéal pour pousser le développement de méthodes numériques : construction de codes, production de simulations de pointe, post-traitement de grands ensembles de données et diffusion des produits de simulation. En particulier, les modèles d’EoR présentent des défis spécifiques car ils nécessitent simultanément de grands volumes simulés (typiquement 200 cMpc), suffisamment résolus à l'échelle galactique (idéalement<1 kpc) tout nécessitant du calcul intensif pour, par exemple, le transfert radiatif. La prochaine génération de supercalculateurs, devant franchir la barrière dite de l’Exaflop grâce notamment aux cartes graphiques (GPU), fournira les moyens de répondre à ces défis. En octobre 2024, nous (D. Aubert & P. Ocvirk) avons démarré le projet ANR ExaSKAle pour 48 mois et qui vise à 1/ développer la prochaine génération de code de simulation EoR pour les machines Exascale 2/ produire des simulations EoR sur supercalculateurs pendant cette période 3/ utiliser ces simulations pour analyser conjointement la réionisation du milieu intergalactique et les premières galaxies dans un cadre unifié. En particulier, nous nous appuierons sur le projet Dyablo [1], mené par le CEA afin de construire un nouveau framework AMR (Raffinement adpatatif de maille) pour les simulations en astrophysique et pour lequel l'Observatoire de Strasbourg a activement contribué depuis quelques années. Dyablo est conçu pour être massivement parallèle (y compris sur GPUs), agnostique en termes d'architecture et constitue une expérience de co-conception de code entre astrophysiciens et informaticiens. Il fait également partie des démonstrateurs de l'initiative Exa-DI Numpex. À ce jour, le code est capable de produire des simulations EoR avec une modélisation ad-hoc des sources de rayonnement astrophysiques. Les objectifs de la thèse dans ce contexte seraient doubles : 1/ contribuer au projet ExaSKAle en développant le code Dyablo, notamment pour y inclure des modèles astrophysiques de formation de sources 2/ étudier la topologie du processus de réionisation dans les simulations Dyablo en utilisant les concepts de la théorie de Morse. La première partie pourrait être basée sur les modules de formation d'étoiles de Dyablo actuellement développés par nos collaborateurs de l'Institut d'astrophysique de Paris ou sur des prescriptions semi-analytiques pour la production de rayonnement par les halos non-resolus à grand redshift (z>20) [2], que nous ré-implémentons actuellement dans le cadre d'un stage de Master. Cette partie du travail nécessite du développement de code C++ de Dyablo et d’être capable de tester et de valider ces implémentations sur des infrastructures HPC. Pour la seconde partie, le doctorant produira et analysera des simulations Dyablo pour réévaluer la topologie de la propagation du processus de réionisation, en suivant une méthodologie développée récemment à Strasbourg [3]. En particulier, la thèse visera à tester à nouveau la validité de l'hypothèse d'un champ aléatoire gaussien pour les champs de temps de réionisation produits dans les simulations et à voir si les prédictions sur les statistiques des pics, les isocontours et le squelette sont toujours valables. À partir de là, il s’agira d’étudier comment les propriétés des galaxies peuvent être reliées à la topologie de l'EoR, toutes deux observables en principe par des expériences telles que le JWST et le SKA [4]. 

[1] Delorme, M., Durocher, A., Aubert, D., Brun, A. S., & Marchal, O. (2024), SF2A-2024 Proceedings
[2] Meriot, R., & Semelin, B. (2024), A&A, 683, A24.
[3] Thélie, E., Aubert, D., Gillet, N., Hiegel, J., & Ocvirk, P. (2023), A&A, 672, A184.
[4] Hiegel, J., Thélie, É., Aubert, D., Chardin, J., Gillet, N. et al. (2023), A&A, 679, A125.

Compétences mathématiques requises

Capacité en programmation Python et C++
Connaissance des outils de développement informatique collaboratif
Aisance raisonnable avec une approche "formelle" et mathématique en Physique : théorie des champs gaussien, modèle de Press-Schechter

Les sujets de thèse ci-dessus ont été proposés par des membres de l'ITI IRMIA++, pour des contrats doctoraux débutant en septembre-octobre 2025.

Pour candidater, veuillez cliquer sur le bouton ci-dessous pour accéder au formulaire de candidature et sélectionner le profil Contrats doctoraux / Candidat:

Formulaire de candidature

Vous devrez fournir les informations et documents suivants :

  • le sujet de thèse choisi (Attention : les candidatures ne précisant pas le sujet choisi ne seront pas examinées)
  • votre CV
  • une lettre de motivation
  • vos relevés de notes de master
  • vos lettres de recommandation.

Date limite de réception des candidatures : 14 Avril 2025


Si vous souhaitez débuter une thèse sur un sujet n'apparaissant pas dans cette liste, veuillez contacter directement les chercheurs et chefs d'équipe concernés.

Si vous démarrez une thèse dans une équipe de l'ITI IRMIA++, nous pouvons vous proposer une aide financière pour votre installation !
Plus d'informations sur la page dédiée.

INRIA
UFR de mathématique et d'informatique
Faculté de physique et ingénierie
ICUBE
IRMA
Observatoire astronomique de Strasbourg