ACTUALITÉS

PARI/GP est un système de calcul formel conçu pour la recherche en théorie des nombres. Son développement a commencé en 1983 au sein du laboratoire de mathématiques de Bordeaux et s’appuie encore aujourd’hui énormément sur des chercheurs et ingénieurs de recherche de l’IMB. Ce logiciel vient de recevoir le prix "prix science ouverte du logiciel libre de la recherche 2024" dans la catégorie "Communauté". Toutes nos félicitations à Henri Cohen, Karim Belabas, Bill Allombert et Aurel Page, ainsi que tous les membres de l’IMB qui ont participé à des activités autour de PARI/GP".

DeepInverse, une bibliothèque pour résoudre des problèmes inverses avec de l’apprentissage profond, vient de recevoir le "prix science ouverte du logiciel libre de la recherche 2024" espoir dans la catégorie "Documentation". L’un des quatre co-auteurs, Samuel Hurault, s’est investi dans ce projet au cours de sa thèse à l’IMB soutenue l’an dernier. Félicitation à lui !

Le projet pluridisciplinaire de développement de plateformes de publications et de données scientifiques LUMEN, financé par l’Union Européenne, va démarrer en janvier 2025. Sandrine Layrisse, Sylvain Allemand et Philippe Depouilly participent tous les trois à ce projet. Pour en savoir plus.

L’édition 2025 de la semaine MIMM, "Moi Informaticienne, Moi Mathématicienne", aura lieu du 22 au 25 Avril 2025 sur le campus de Talence.

Interview de Magalie Bénéfice qui vient d’obtenir un post-doctorat long en Mathématiques au sein de l’Institut Elie-Cartan de Lorraine (IECL) à Nancy.

Les inscriptions pour les demandes de stages de seconde seront ouvertes à partir du 2 janvier 2025.

Le programme Partenariats Hubert Curien vient d’attribuer un financement à Jasmin Raissy, afin de développer les échanges scientifiques internationaux avec l’università degli studi di Parma.

Le "Plan de conservation partagée des périodiques imprimés de Mathématiques" (PCMath) est lauréat du Cristal collectif 2024. A travers la qualité de son fond documentaire et l’implication de deux membres de l’IMB dans le Comité de pilotage du Plan, la BMI et l’IMB occupent une place prépondérante au sein du réseau national des bibliothèques de mathématiques et du PCMath.

Félicitations à Marius Tucsnak qui vient d’être nommé membre Senior de l’Institut Universitaire de France.

Le prix ECCOMAS Jacques-Louis Lions pour jeune chercheur a été décerné à Walter Boscheri. Ce prix est décerné à de jeunes chercheurs ayant apporté une contribution exceptionnelle dans le domaine des mathématiques.

Dons pour l’Ukraine.

L'IMB en bref

Institut de Mathématiques de Bordeaux UMR 5251

Directeur : Vincent Koziarz


L’Institut de Mathématiques de Bordeaux (IMB) est une unité mixte de recherche (UMR 5251) CNRS - Université de Bordeaux - Bordeaux INP.

Laboratoire d’accueil de l’Ecole Doctorale de Mathématiques et Informatique, l’IMB regroupe l’essentiel de la recherche en mathématiques du site bordelais.
La recherche à l’IMB est structurée autour de sept équipes :
 Analyse (responsable : M. Tucsnak)
 Calcul scientifique et Modélisation (responsable : R. Loubère)
 EDP et Physique mathématique (responsable : L. Michel)
 Géométrie (responsable : L. Bessières)
 Image Optimisation et Probabilités (responsable : J. Bigot)
 Optimisation Mathématique Modèle Aléatoire et Statistique (responsable : B. Detienne)
 Théorie des Nombres (responsable : D.Tossici)

L’IMB collabore avec le centre Inria de l’université de Bordeaux au sein des équipes-projets ASTRAL, CANARI, CARDAMOM, CARMEN, EDGE, MEMPHIS, MONC.

L’IMB participe à un Laboratoire Transfrontalier Commun avec le Basque Center for Applied Mathematics, l’Université du Pays Basque et Tecnalia. L’IMB est aussi partenaire du CEA Cesta via le LRC Anabase, de l’ONERA via la chaire PROVE, et de Naval Group via l’EPC Astral. Il participe actuellement à 35 projets ANR et 6 projets européens, compte 3 membres IUF (dont 1 sénior) et 1 ERC Starting Grant.

Les membres de l’IMB sont localisés sur trois sites :
 Sur le campus de Talence, l’IMB occupe une partie du bâtiment A33 qu’il partage entre autres avec l’UF Mathématiques et Interactions et la Bibliothèque de Mathématiques et Informatique.
 Sur le campus de Talence, dans le centre Inria de l’Université de Bordeaux
 Sur le site de l’hôpital Xavier Arnozan à Pessac au sein de l’IHU Liryc

Pour leurs enseignements, les membres de l’IMB sont affectés aux structures associées :
 UF Mathématiques et Interactions
 ENSEIRB-MATMECA
 IUT Bordeaux
 INSPÉ de l’académie de Bordeaux
 ENSC

AGENDA

  • Le 9 décembre 2024 à 10:20 au 13 décembre 2024 à 12:00
  • Manifestations Scientifiques
    Salle de conférences
    Organisateurs : Slavyana Geninska - Aurel Page - Bram Petri - Jean Raimbault
    Arithmetic groups, hyperbolic manifolds and computation

  • Le 10 décembre 2024 à 08:00 au 13 décembre 2024 à 18:00
  • Informations Diverses
    Bureaux 225 et 270
    La Cellule Informatique IMB
    Accueil réduit du 10 au 13 décembre 2024

    Exceptionnellement, l'accueil de la Cellule Informatique au bureau 225

    • ne sera ouvert que de 10h à 12h et de 14h à 16h
    • et sera fermé vendredi

    en raison de la participation d'une partie de l'équipe informatique aux JRES (journées réseaux de l'enseignement et de la recherche).

    • -> Pensez à anticiper les retraits de matériel de prêt.

  • Le 11 décembre 2024 à 17:00
  • Séminaire Lambda
    Salle 285
    Fabrice Etienne IMB
    Computing class groups of number fields inductively with generalised norm relations

    In this talk, we will define the class group of a number field, which is an important object in number theory and in some areas of cryptography.

    Given a number field K, there exists a classic algorithm to compute its class group Cl(K) : the Buchmann algorithm. However, the time complexity is exponential in the degree d of the number field K.

    The goal in the second part will be to describe some algorithms that can compute the class group of a large degree number field K inductively, by reducing the problem to the same computation over others smaller degree number fields.

    These methods make use of the properties of norm relations and generalised norm relations, which are relations in the G-module Q[G], where G is the Galois group of the Galois closure of K.


  • Le 12 décembre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Thibault Prunet Ecole des Ponts ParisTech
    Decision-focused learning: theory, applications and recent algorithmic developments

    Real-world industrial applications frequently confront the task of decision-making under uncertainty. The classical paradigm for these complex problems is to use both machine learning (ML) and combinatorial optimization (CO) in a sequential and independent manner. ML learns uncertain quantities based on historical data, which are then used used as an input for a specific CO problem. Decision-focused learning is a recent paradigm, which directly trains the ML model to make predictions that lead to good decisions. This is achieved by integrating a CO layer in a ML pipeline, which raises several theoretical and practical challenges.

    In this talk, we aim at providing a comprehensive introduction to decision-focused learning. We will first introduce the main challenges raised by hybrid ML/CO pipelines, the theory of Fenchel-Young losses for surrogate differentiation, and the main applications of decision-focused learning. As a second objective, we will present our ongoing works that aim at developing efficient algorithms based on the Bregman geometry to address the minimization of the empirical regret in complex stochastic optimization problems.


  • Le 12 décembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle 1
    Jordan Serres INSA
    (proba-stats) Statistical estimation in a geometric context

    Statistical estimation in a geometric context has become an increasingly important issue in recent years, not least due to the development in ML of non-linear dimension reduction techniques, which involve projecting high-dimensional data onto a much lower-dimensional sub-manifold. The search for statistical guarantees justifying both the use and the effectiveness of these algorithms is now a much-studied area. In this talk, we will take a geometric view of the issue, and see how some usual curvature quantities are translated into algorithmic guarantees. First, we will see that upper bounds on sectional curvatures give good properties for barycenter estimation, and then we will see that a lower bound on Ricci curvature implies the existence of depth points, giving rise to robust statistical estimators. Those works are based on joint works with Victor-Emmanuel Brunel (ENSAE Paris) and Shin-ichi Ohta (Osaka University).


  • Le 12 décembre 2024 à 14:00
  • Soutenances
    Ada Lovelace Centre Inria de l'Université de Bordeaux
    Michele ROMANELLI
    Titre de la thèse : "Lois de Paroi à Apprentissage Profond pour Simulations Aérodynamiques". Directeur de thèse Heloise Beaugendre. Co-directeur : Michel Bergmann

  • Le 12 décembre 2024 à 14:00
  • Séminaire d'Analyse
    Salle 1
    Jordan Serres Toulouse
    Stability in geometric and functional inequalities

    Given a functional inequality whose extremizers are known, the question of stability is as follows: If a function almost saturates the inequality, is it close to some extremizer? The most famous example is perhaps that of the isoperimetric inequality: The extremizers are the balls, and the question of stability comes down to showing that the isoperimetric deficit controls a certain distance from the ball. There are 4 methods for obtaining such results: the symmetrisation method, the transport mass approach, the selection principle and the ABP method. In this talk, I will present a recent work in which I introduce a fifth method, Stein's method. In particular, I will show how it proves a stability result for the first Steklov eigenvalue.

    In addition, I will also present a stability result for the Brascamp-Lieb inequality, which is a functional inequality encoding certain weighted isoperimetric properties. This last result is based on joint work in progress with Bonnefont (IMB Bordeaux) and Joulin (IMT Toulouse).


  • Le 12 décembre 2024 à 15:30
  • Le Colloquium
    Salle 1
    Vittoria Bussi
    Mathematics in professional cycling: an interview with Vittoria Bussi.

  • Le 13 décembre 2024 à 11:00
  • Séminaire de Géométrie
    Salle de conférences
    Jean Lécureux (Orsay Paris)
    L'alternative de Tits pour les groupes agissant sur les immeubles

    On dit qu'une classe de groupes de type fini satisfait une alternative de Tits si chacun de ces groupes est soit "petit" (le sens peut dépendre du contexte), soit contient un groupe libre. L'alternative de Tits originelle concerne les groupes linéaires (et dans ce cas petit signifie virtuellement résoluble). Depuis, elle a été démontrée dans de nombreux contextes géométriques, souvent en courbure négative : groupes agissant sur des espaces hyperboliques, sous-groupes de groupes modulaires de surfaces ou de Out(F_N), groupes agissant sur des complexes simpliciaux avec des bonnes propriétés de courbure, etc.

    Je présenterai une nouvelle preuve de l'alternative de Tits pour les groupes agissant sur des immeubles de type Ã_2 (objets que j'introduirai). La nouveauté de notre approche est qu'elle se base sur des marches aléatoires. On démontre également au passage un théorème "local-global" : un groupe dont tous les éléments fixent un point a un point fixe global. C'est un travail en commun avec Corentin Le Bars et Jeroen Schillewaert.


  • Le 13 décembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle 1
    Martin Azon (Université Clermont-Auvergne)
    Surfaces abéliennes sur $\mathbb{F}_q(t)$ avec des groupes de Tate-Shafarevich grands

    Dans cet exposé nous étudierons la taille du groupe de Tate-Shafarevich de certaines surfaces abéliennes sur le corps de fonctions $\mathbb{F}_q(t)$. Hindry et Pacheco ont montré que, pour les variétés abéliennes sur des corps de fonctions, la taille du Sha (dès que finie) est majorée par la hauteur exponentielle. Nous montrerons qu'en dimension 2 leur borne est optimale. Pour cela, on construira une suite de Jacobiennes vérifiant la conjecture de BSD, puis nous calculerons explicitement leur fonction L à l'aide de sommes de caractères. Grâce à des méthodes analytiques, nous estimerons la taille de la valeur spéciale, pour retrouver finalement la borne souhaitée sur le cardinal de leur groupe de Sha.


    En savoir plus