TBA
GT IA
Tous les séminaires
Mai 2027
Avril 2027
Nicolas Schreuder
Mars 2027
TBA
GT IA
Février 2027
Jennifer Brown (Hamburg)
Hoel Queffelec (IF)
Janvier 2027
Renaud Detcherry (IMB)
TBA
GT IA
Batisse Thomas
Thomas Lepoutre
...
Afficher le résumé
...
Anne-Laure Thiel (IMB)
Décembre 2026
Thomas Gerber (ICJ)
Enumération des blocs de défaut zéro
Afficher le résumé
En théorie des groupes finis, les représentations modulaires s'organisent en blocs. Un théorème célèbre affirme que, à quelques exceptions près en caractéristique 2 et 3, tout groupe fini simple possède un bloc de défaut 0 (c’est-à-dire un bloc réduit à un seul élément).
Dans cet exposé, j’expliquerai comment établir des résultats similaires dans deux directions différentes : d’une part, pour les représentations unipotentes des groupes classiques finis et, d’autre part, pour les représentations des algèbres de Hecke. Dans notre contexte, les blocs seront indexés par des multipartitions coeurs et notre approche sera entièrement combinatoire.
Il s'agit d'un travail en commun avec Emily Norton (Kent).
Dans cet exposé, j’expliquerai comment établir des résultats similaires dans deux directions différentes : d’une part, pour les représentations unipotentes des groupes classiques finis et, d’autre part, pour les représentations des algèbres de Hecke. Dans notre contexte, les blocs seront indexés par des multipartitions coeurs et notre approche sera entièrement combinatoire.
Il s'agit d'un travail en commun avec Emily Norton (Kent).
Laurence Reboul
TBA
Maria Corte-Real Santos (ENS Lyon)
TBA
Afficher le résumé
TBA
TBA Groupe reflexion IA
TBA Groupe reflexion IA
Alberge Thomas
François Dumas (UCA)
Invariants rationnels finis pour les algèbres de Poisson polynomiales en deux variables
Afficher le résumé
On considère un anneau de polynômes commutatif \(k[x,y]\) à coefficients dans un corps, muni d'un crochet de Poisson. Ce dernier se prolonge canoniquement au corps de fractions rationnelles \(K=k(x,y)\). Pour \(G\) un sous-groupe fini de \(k\)-automorphismes de \(K\) compatibles avec le crochet, on étudie la structure de Poisson induite sur le sous-corps d'invariants \(K^G\).
On situera cette question par rapport à divers problèmes classiques dans le cadre desquels elle s'inscrit : problème de Noether pour les invariants rationnels, structure du groupe de Cremona, passage à la limite semi-classique pour des analogues non-commutatifs. On présentera quelques résultats originaux issus d'un travail en commun avec Vincent Beck et César Lecoutre.
On situera cette question par rapport à divers problèmes classiques dans le cadre desquels elle s'inscrit : problème de Noether pour les invariants rationnels, structure du groupe de Cremona, passage à la limite semi-classique pour des analogues non-commutatifs. On présentera quelques résultats originaux issus d'un travail en commun avec Vincent Beck et César Lecoutre.
Novembre 2026
TBA
GT IA
Leon Goertz (UCA)
Simon Coste
Barjot Arthur
(à venir)
Robert Wilms (Université de Caen Normandie)
TBA
Afficher le résumé
TBA
Saoussen Latrach
Analyse mathématique du blocage des phénomènes d’invasion : applications aux maladies inflammatoires et au remplacement des populations
Afficher le résumé
Les maladies inflammatoires chroniques de l’intestin (MICI) et les épidémies transmises par les moustiques constituent des enjeux majeurs de santé publique. Cette présentation développe et analyse des modèles de réaction-diffusion afin d’étudier les dynamiques de propagation et les conditions conduisant à son blocage dans ces systèmes biologiques.
La première étude porte sur la rectocolite hémorragique (RCH), une MICI caractérisée par une inflammation continue du côlon. Nous proposons un modèle mathématique décrivant les interactions entre un agent pathogène et le système immunitaire, puis établissons l’existence d’ondes progressives représentant la propagation de l’inflammation dans un milieu homogène. Nous déterminons ensuite les conditions permettant le blocage de cette propagation dans un environnement hétérogène et validons les résultats obtenus à l’aide de simulations numériques.
La seconde étude porte sur une stratégie de lutte contre les maladies transmises par les moustiques, fondée sur la propagation de la bactérie Wolbachia, qui réduit la transmission d’agents pathogènes tels que celui de la dengue. Nous analysons l’effet de l’hétérogénéité spatiale de la capacité de charge et identifions les conditions conduisant à l’échec de la propagation, Nous validons ensuite les résultats obtenus à l’aide de simulations numériques.
La première étude porte sur la rectocolite hémorragique (RCH), une MICI caractérisée par une inflammation continue du côlon. Nous proposons un modèle mathématique décrivant les interactions entre un agent pathogène et le système immunitaire, puis établissons l’existence d’ondes progressives représentant la propagation de l’inflammation dans un milieu homogène. Nous déterminons ensuite les conditions permettant le blocage de cette propagation dans un environnement hétérogène et validons les résultats obtenus à l’aide de simulations numériques.
La seconde étude porte sur une stratégie de lutte contre les maladies transmises par les moustiques, fondée sur la propagation de la bactérie Wolbachia, qui réduit la transmission d’agents pathogènes tels que celui de la dengue. Nous analysons l’effet de l’hétérogénéité spatiale de la capacité de charge et identifions les conditions conduisant à l’échec de la propagation, Nous validons ensuite les résultats obtenus à l’aide de simulations numériques.
Alexis Imbert
Bernard Leclerc (LMNO)
Caractères et \(q\)-caractères : des groupes algébriques aux algèbres quantiques de lacets.
Afficher le résumé
Dans un article fondateur de 1998, E. Frenkel et N. Reshetikhin ont introduit la notion de \(q\)-caractère d’une représentation de dimension finie d’une algèbre quantique de lacets \(U_q(L\mathfrak{g})\). Lorsque l’algèbre de Lie sous-jacente \(\mathfrak{g}\) est de type A, D, E, ils ont conjecturé une description géométrique de l’homomorphisme de \(q\)-caractère en termes du groupe de lacets \(LG\) associé à \(\mathfrak{g}\). Cette description est vue comme un analogue pour \(LG\) d’un théorème classique de Steinberg sur les classes de conjugaison d’éléments réguliers du groupe algébrique \(G\). Après avoir rappelé ce résultat de Steinberg, j’expliquerai une reformulation plus précise de la conjecture de Frenkel et Reshetikhin, et je donnerai une idée de sa démonstration. Il s’agit d’un travail commun avec Luca Francone.
Andrzej Stos
TBA Groupe reflexion IA
Eveline Legendre (ICJ)
Reporté ultérieurement
Afficher le résumé
Reporté
Juanita Duque-Rosero (Rijksuniversiteit Groningen)
Triangular modular curves
Afficher le résumé
Triangular modular curves are a generalization of modular curves and arise from quotients of the complex upper half-plane by congruence subgroups of hyperbolic triangle groups. They are connected to Darmon’s program for determining the rational points on generalized Fermat equations. In this talk, we will focus on their arithmetic and will classify the Borel-kind triangular modular curves by their genera. This is joint work with John Voight.
Octobre 2026
Harun Kir (ENS de Lyon)
Rapid mixing in superspecial isogeny graphs
Afficher le résumé
The l-isogeny graph, where vertices are supersingular elliptic curves and
edges are isogenies of prime degree l, is a fundamental building block in isogeny-based
cryptography. Understanding the expansion properties of these graphs is crucial for
assessing the security of the underlying cryptographic problems. In dimension 1 (in the
elliptic curve case), we know these graphs are Ramanujan, exhibiting optimal
expansion. But what happens to this landscape when we move to higher dimensions?
In this talk, we will explore the expansion properties of higher-dimensional isogeny
graphs, both with and without level structure. While we show that these higher-
dimensional analogues lose their Ramanujan property, we will demonstrate that they still
maintain remarkably strong expansion. Finally, we will discuss the practical applications
of these findings, specifically focusing on how they allow us to remove the heuristics from
the Costello-Smith algorithm for solving the dimension-2 isogeny problem.
This is based on joint work with M. Corte-Real Santos, O. Taïbi, and B. Wesolowski.
edges are isogenies of prime degree l, is a fundamental building block in isogeny-based
cryptography. Understanding the expansion properties of these graphs is crucial for
assessing the security of the underlying cryptographic problems. In dimension 1 (in the
elliptic curve case), we know these graphs are Ramanujan, exhibiting optimal
expansion. But what happens to this landscape when we move to higher dimensions?
In this talk, we will explore the expansion properties of higher-dimensional isogeny
graphs, both with and without level structure. While we show that these higher-
dimensional analogues lose their Ramanujan property, we will demonstrate that they still
maintain remarkably strong expansion. Finally, we will discuss the practical applications
of these findings, specifically focusing on how they allow us to remove the heuristics from
the Costello-Smith algorithm for solving the dimension-2 isogeny problem.
This is based on joint work with M. Corte-Real Santos, O. Taïbi, and B. Wesolowski.
émilien zabeth
Intervalles de prédiction conforme pour la saturation en oxygène chez les athlètes de haut niveau. Résumé:
Afficher le résumé
Je présenterai les travaux réalisés ces derniers mois en collaboration avec le CNEA (Centre national d’entraînement en altitude). L’objectif est de construire, pour chaque athlète et chaque nuit, un intervalle de référence dans lequel la SpO2 nocturne devrait se situer compte tenu des covariables observées. La cohorte comprend 51 triathlètes ayant effectué des stages d’entraînement entre 2020 et 2026, au cours desquels ils dormaient en chambre hypoxique, l’altitude simulée étant ajustée par le staff.
Nous appliquons pour cela la régression quantile conformalisée (Romano, Patterson & Candès, 2019). Cette méthode produit des intervalles de prédiction dont la couverture marginale est garantie en échantillon fini, sans hypothèse sur la loi de la réponse, sous la seule condition d’échangeabilité entre l’échantillon de calibration et l’observation testée.
En fournissant des plages de référence individualisées et statistiquement calibrées, cette approche pourrait aider à affiner les protocoles d’acclimatation à l’altitude pour chaque athlète, à étayer les décisions concernant les paliers d’altitude et la charge d’entraînement, ainsi qu’à détecter des réponses physiologiques atypiques pouvant signaler une acclimatation inadéquate ou nécessiter une surveillance accrue.
Nous appliquons pour cela la régression quantile conformalisée (Romano, Patterson & Candès, 2019). Cette méthode produit des intervalles de prédiction dont la couverture marginale est garantie en échantillon fini, sans hypothèse sur la loi de la réponse, sous la seule condition d’échangeabilité entre l’échantillon de calibration et l’observation testée.
En fournissant des plages de référence individualisées et statistiquement calibrées, cette approche pourrait aider à affiner les protocoles d’acclimatation à l’altitude pour chaque athlète, à étayer les décisions concernant les paliers d’altitude et la charge d’entraînement, ainsi qu’à détecter des réponses physiologiques atypiques pouvant signaler une acclimatation inadéquate ou nécessiter une surveillance accrue.
TBA
GT IA (14h-16h30)
Nourine Hanane
Apprentissage par renforcement : des robots aux données médicales
Afficher le résumé
Cette présentation porte sur l'apprentissage par renforcement. Dans ce cadre, un agent apprend à prendre de bonne décisions en interagissant avec un environnement, pour maximiser une récompense reçue au fil du temps. Nous présenterons le cadre mathématique qui formalise ce problème, les processus de décision markoviens, et l'équation de Bellman qui permet de le résoudre. Nous verrons ensuite les grandes familles d'algorithmes : ceux qui supposent que les règles de l'environnement sont connues, et ceux, plus réalistes, où l'agent doit tout apprendre par l'expérience, y compris à grande échelle. Je parlerai surtout des méthodes qui apprennent un comportement directement, comme REINFORCE. Pour illustrer, je prendrai un exemple de ma thèse : réduire les données pour mieux regrouper des patients atteints de fibromyalgie.
Pierre Fima (IMJ-PRG)
Sous-C*-algèbres aléatoires
Afficher le résumé
Cet exposé porte sur un travail en collaboration avec H. Oppelmayer et L. Tao. Nous étudions la topologie de Wijsman sur l’espace des sous C*-algèbres unifères d’une C*-algèbre unifère donnée A. Lorsque A est séparable, l’espace des sous algèbres est un espace Polonais. Nous montrons que celui-ci est localement compact si et seulement si il est compact si et seulement si A est de dimension finie. Nous introduisons et étudions la notion de sous-algèbre aléatoire: c’est une mesure de probabilité borélienne sur l’espace des sous algèbres. Le but de l’exposé sera de présenter une nouvelle caractérisation de la simplicité de l’algèbre réduite d’un groupe discret dénombrable en termes de sous-algèbres aléatoires.
Rémi Boutin
Introduction à l'IA
Afficher le résumé
Cet exposé vise à introduire les différentes notions qui composent ce que l'on appelle communément l'intelligence artificielle. Je commencerai par présenter quelques bases de l'apprentissage automatique et de l'apprentissage profond, puis j'aborderai la brique élémentaire des modèles de langage, appelée mécanisme d'attention, avant de prendre du recul pour adopter une vision plus globale des grands modèles de langage (encodeurs-décodeurs, BERT, GPT). Cette présentation, qui se veut proche de la pratique, évoquera également les avancées logicielles récentes ayant contribué à l'amélioration des capacités de ces modèles en matière de résolution de problèmes mathématiques.
Septembre 2026
Simon Riche (LMBP)
Dualité de Serre relative pour les bimodules de Soergel (d’après C. Sandvik)
Afficher le résumé
La « dualité de Serre relative » est un isomorphisme entre deux foncteurs naturels reliant des catégories de bimodules de Soergel, initialement démontré pour les groupes symétriques et conjecturée en général par Gorsky-Hogancamp-Mellit-Nakagane en lien avec des questions liées à l’homologie de Khovanov-Rozansky. Cet énoncé a ensuite été prouvé dans un cadre plus général par Ho-Li, puis dans une généralité optimale par Sandvik en utilisant notamment des outils que j’avais développés avec Pramod Achar et Cristian Vay. Dans cet exposé j’essayerai d’expliquer quelques motivations pour cette question, et de dire quelques mots de la stratégie de preuve de Sandvik (qui reprend de nombreux arguments de Ho-Li).
Pierre Druilhet
Les deux paradigmes Bayésiens et leurs paradoxes.
Afficher le résumé
Nous montrons qu'un prior peut être vu comme deux objets mathématiques distincts ayant des propriétés différentes, selon qu'on se place d'un point de vue objectif ou subjectif.
Dans certaines situations, ne pas prendre en compte cette distinction peut engendrer des comportements paradoxaux, comme en choix de modèle ou test. Nous donnons également des contre-exemples à la conjecture de Berger, Bernardo et Sun (2009, aos) selon laquelle la notion d’expected logarithmic convergence serait indépendante du choix de la suite de compacts utilisée pour approcher la loi a priori. Enfin, nous établissons que cette conjecture est vérifiée lorsqu’il y a incohérence (strong inconsistency) entre les inférences bayésienne et fréquentiste.
(travail en collaboration avec Erwan Saint Loubert Bié).
Dans certaines situations, ne pas prendre en compte cette distinction peut engendrer des comportements paradoxaux, comme en choix de modèle ou test. Nous donnons également des contre-exemples à la conjecture de Berger, Bernardo et Sun (2009, aos) selon laquelle la notion d’expected logarithmic convergence serait indépendante du choix de la suite de compacts utilisée pour approcher la loi a priori. Enfin, nous établissons que cette conjecture est vérifiée lorsqu’il y a incohérence (strong inconsistency) entre les inférences bayésienne et fréquentiste.
(travail en collaboration avec Erwan Saint Loubert Bié).
Metodiev Martin
Bayesian approaches to model selection based on MCMC simulations, with applications in the social sciences (Soutenance Blanche)
Afficher le résumé
This talk is primarily concerned with the marginal likelihood. The act of reflecting on possible future scenarios based on the marginal likelihood does not impact prior belief due to Bayes’ rule. It will be shown that Bayes’ rule is uniquely defined by this property, in a certain sense. In addition, a new marginal likelihood estimator will be developed, that acts on the output of a Markov chain Monte Carlo sampler by calculating the truncated harmonic mean of the unnormalised posterior densities from the sampled parameter values.
This talk is also concerned with applications in the social sciences. In the demographic context, an estimator of the covariance matrix of a model of the total fertility rate (TFR) of 195 countries in the United Nations (UN) will be developed. In the sociological context, marginal likelihood estimation will be performed to determine the number of clusters in a social network dataset based on the 2023 United Nations Climate Change Conference (COP28).
This talk is also concerned with applications in the social sciences. In the demographic context, an estimator of the covariance matrix of a model of the total fertility rate (TFR) of 195 countries in the United Nations (UN) will be developed. In the sociological context, marginal likelihood estimation will be performed to determine the number of clusters in a social network dataset based on the 2023 United Nations Climate Change Conference (COP28).
tous
Réunion Equipe PAS
Afficher le résumé
A partir de 12h30 (et dès que possible pour ceux ayant cours jusque 12h45) nous nous réunirons autour d'une collation afin d’accueillir nos nouveaux membres : Louise Alamichel qui nous rejoint en MCF stat, Rodolphe Loubaton de Vetagrosup qui rejoindra certainement notre équipe de recherche et Eya Zougar qui rejoint le BUT a Aurillac. Nous en profiterons pour que Pierre fasse le bilan de l'an passé et pour préparer l'avenir.
Antoine Rembauville (Université du Mans)
Filtrage pour des processus à mémoire longue
Afficher le résumé
Cette présentation porte sur le filtrage. Il consiste à estimer un processus non observable à partir d’observations bruitées. Nous nous intéresserons au comportement asymptotique de l’erreur de filtrage pour des processus à mémoire longue. Deux exemples seront étudiés en particulier : les processus FARIMA(0, d, 0) et le bruit gaussien fractionnaire (FGN). Nous étudierons notamment l’influence de leur densité spectrale sur l’erreur de filtrage asymptotique.