IMB > Informations générales > Agendas

Evénements passés

  • Le 8 janvier 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    HGS IMB
    Réunion d'organisation
    Nous vous proposons une réunion d'organisation du groupe de travail pour la période 1/1/2024-31/6/2024.

    Voici un rappel de quelques principes de fonctionnement du groupe de travail : en complémentarité avec le séminaire, les exposés peuvent porter sur :
    - Exposés de doctorants
    - Minicours (remise à niveau pour doctorants et/ou collègues, notions d'actualité)
    - Présentation d'un article (avec éventuellement une séance d'introduction des notions nécessaires)
    - Présentation de techniques

    Il est envisageable de prendre une suite de plusieurs créneaux (comme p.ex. introduire les notions d'un article, ou dans le cadre d'un minicours de 2-3 séances). Sans rentrer dans de trop grandes technicités, expliquer des preuves est certainement un objectif.

    Peut-être vous avez déjà des propositions dans ce sens (ou autre), que l'on pourra inscrire dans un calendrier.
  • Le 9 janvier 2024 à 13:30
  • Direction
    Salle 285
    Conseil de laboratoire du 9 janvier 2024 à 13h30 en salle 285
    L'ordre du jour sera le suivant :
    1) Approbation du compte-rendu du conseil de laboratoire du 7 novembre 2023 (vote)
    2) Informations générales
    3) Informations sur la demande de repyramidage/rehaussement PR 26 (vote éventuel)
    4) Présentation des dotations annuelles Bdx INP/CNRS/UB 2024
    5) Questions diverses
    Pensez à donner votre procuration
  • Le 11 janvier 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Valentin Debarnot University of Basel
    Algorithmes de deep-learning pour la reconstruction en microscopie électronique et à fluorescence.
    Dans cette présentation, je présenterai différents aspects qui limitent la résolution en microscopie électronique et à fluorescence. Après avoir défini ces problèmes dans un formalisme de problème inverse, j'introduirai différents outils qui nous ont permis d'atténuer certaines limitations, et je discuterais différentes pistes de recherche possibles pour prendre en compte les limitations restantes. J'utiliserais des outils de machine learning (e.g. réseau de neurones implicites, deep image prior, dérivation automatique) pour résoudre des problèmes inverses en microscopie.
  • Le 11 janvier 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Gautier Stauffer HEC Lausanne
    Horizontal collaboration in forestry: game theory models and algorithms for trading demands
    We introduce a new cooperative game theory model that we call production-distribution game to address a major open problem for operations research in forestry, raised by Rönnqvist et al. in 2015, namely, that of modelling and proposing efficient sharing principles for practical collaboration in transportation in this sector. The originality of our model lies in the fact that the value/strength of a player does not only depend on the individual cost or benefit of the goods she owns but also on her market shares (customers demand). We show that our new model is an interesting special case of a market game introduced by Shapley and Shubik in 1969. As such it exhibits the property of having a non-empty core. We prove that we can compute both the nucleolus and the Shapley value efficiently, in a nontrivial, interesting special case. We provide two algorithms to compute the nucleous: a simple separation algorithm and a fast primal-dual one. We also show that our results can be used to tackle more general versions of the problem and we believe that our contribution paves the way towards solving the challenging open problems herein.
  • Le 11 janvier 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Isabelle Chalendar U. Eiffel (Marne la Vallée)
    Les opérateurs de composition sur les espaces modèles
    Travail en collaboration avec Pavel Gumenyuk, et John E. Mc Carthy.

    Motivés par l'étude des opérateurs de composition sur les espaces modèles initiés par Mashreghi and Shabankha, nous avons considéré le problème suivant : étant donné
    une fonction intérieure $f$ qui n'est pas un automorphisme du disque unité, existe-t-il une fonction intérieure $g$ non constante et $\lambda$ une constante de module 1 telle que $g\circ f=\lambda g$ ?
    Nous avons obtenu une caractérisation complète des fonctions intérieures $f$ pour lequel ce problème a une solution.
  • Le 12 janvier 2024 à 10:45
  • Séminaire de Géométrie
    -
    Relâche

  • Le 13 janvier 2024 à 20:00 au 20 janvier 2024 à 20:00
  • Infos Site Cellule
    IMB
    La Cellule Informatique IMB
    Panne du webmail de l'IMB
    Depuis le week-end dernier, un problème matériel impacte la plateforme d’hébergement et rend inaccessibles certains services dont le webmail de l'IMB.
    La réparation risque de durer plus longtemps que prévue, nous avons donc mis en place un nouveau webmail : https://webmail.math.u-bordeaux.fr

    Celui-ci regroupe les différents services ci-dessous :

    - e-mails
    Vous pouvez consulter votre boite mail de l'IMB

    - agenda et carnet d'adresses
    Si vous aviez synchronisé vos agendas sur thunderbird/outlook/etc., vous pouvez les importer sur ce nouveau webmail :
    1) depuis Thunderbird/Outlook, exportez l'agenda au format ICS (clique-droit puis "Exporter l'agenda")
    2) allez sur le nouveau webmail, cliquez sur l'icone d'agenda en haut à droite. Dans la colonne de gauche, vous avez la liste de vos agendas, vous pouvez cliquer sur les 3 petits points à coté du nom d'un agenda puis cliquer sur "importer". Choisissez le fichier ICS précédent.

    - filtres
    les filtres déjà existants sont conservés mais non visibles sur le nouveau webmail. Si vous créez de nouveaux filtres, ils écraseront les existants !
  • Le 15 janvier 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférence
    Robert Deville IMB
    Fonctions Lipschitziennes (première partie)
    Savez-vous démontrer qu'une fonction Lipschitzienne définie sur un
    espace euclidien et à valeurs réelles, qui possède en un point une dérivée partielle
    égale à sa constante de Lipschitz, est différentiable en ce point ?

    Je propose un panorama de certaines propriétés des fonctions Lipschitziennes , et leur utilisation aux équations aux dérivées partielles et en géométrie des espaces de Banach.
  • Le 16 janvier 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Cyril Letrouit Paris-Saclay
    Multiplicité maximale des premières valeurs propres du Laplacien
    Je vais présenter un travail récent en collaboration avec Simon Machado (ETH Zürich) dans lequel nous prouvons une borne supérieure sur la multiplicité des premières valeurs propres du Laplacien sur une surface, supposée de courbure négative, en fonction de son genre. Notre méthode, qui repose sur des estimées du noyau de la chaleur et un argument géométrique provenant de la théorie des graphes, permet aussi de prouver une borne supérieure sur le nombre de valeurs propres dans une petite fenêtre spectrale, et cette dernière borne est quasiment optimale. Enfin, cette méthode s'étend aux variétés de dimension plus grande que 2.
  • Le 16 janvier 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Jean-Marc Couveignes IMB
    Effective aspects of Riemann-Roch spaces in the Hilbert class field
    Let $K$ be a finite field, $X$ and $Y$ two
    curves over $K$, and $Y\rightarrow X$ an unramified abelian
    cover with Galois group $G$. Let $D$ be a divisor on $X$
    and $E$ its pullback on $Y$. Under mild conditions the linear space
    associated with $E$ is a free $K[G]$-module. We study the
    algorithmic aspects and applications of these modules.
  • Le 18 janvier 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Mariam Sangare Universite de Montpellier
    A distributed scheduling method for demand response in energy communities with distributed generation and storage.
    We present a distributed optimization method for energy communities having distributed renewable generation and storage units. We explain how the resulting optimization problem can be cast as a bi-level optimization problem where the followers solve mixed-integer linear programs. Given the difficulty of these problems, we develop a heuristic where incentives are sent to the followers. Specifically, to maximize the collective-self consumption rate, we exploit the notion of allocation key traditionally used a posteriori for economic gain sharing to build an a priori incentive to demand response. The proposed method returns high-quality solutions to the optimal centralized real-world benchmark instances constructed over a month with accurate historical data from our demonstrator in South France.
  • Le 18 janvier 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Lorenzo Audibert ENSTA Paris
    [Seminaire CSM] An unexpected role of transmission eigenvalues in imaging algorithms
    Transmission eigenvalues are frequencies . Appearing naturally in the study of inverse scattering problems for inhomogeneous media, the associated spectral problem has a deceptively simple formulation but presents a puzzling mathematical structure, in particular it is a non-self-adjoint eigenvalue problem. It triggered a rich literature with a variety of theoretical results on the structure of the spectrum and also on applications for uniqueness results.
    For inverse shape problems, these special frequencies were first considered as bad values (for some imaging algorithms, e.g., sampling methods) as they are associated with non injectivity of the measurement operator. It later turned out that transmission eigenvalues can be used in the design of an imaging algorithm capable of revealing density of cracks in highly fractured domains, thus exceeding the capabilities of traditional approaches to address this problem. This new imaging concept has been further developed to produce average properties of highly heterogeneous scattering media at a fixed frequency (not necessarily a transmission eigenvalue) by encoding a special spectral parameter in the background that acts as transmission eigenvalues.
    While targeting this unexpected additional value of transmission eigenvalues in imaging algorithms, the talk will also provide an opportunity to highlight some key results and open problems related to this active research area.
    This is a joint work with Houssem Haddar, Fioralba Cakoni, Lucas Chesnel, Kevish Napal and Fabien Pourre.
  • Le 19 janvier 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Pascal Fong (Paris Orsay)
    Groupes des automorphismes des $\mathbb{P}^1$-fibrés sur les surfaces réglées
    La classification des sous-groupes algébriques des groupes des transformations birationnelles a été initiée par l’Ecole Italienne de la géométrie algébrique. Enriques et Fano énoncent la liste des sous-groupes algébriques connexes maximaux de $\mathrm{Bir}(\mathbb{P}^3)$ sur $\mathbb{C}$. En utilisant des méthodes analytiques, Umemura fournit une preuve de leur classification. Plus récemment, par des techniques purement algébriques, Blanc, Fanelli et Terpereau reconstituent la quasi-intégralité de cette preuve. En suivant les idées de Blanc, Fanelli et Terpereau, on classifie les couples $(X,\mathrm{Aut}^\circ(X))$ tels que $X$ est un espace fibré en $\mathbb{P}^1$ sur une surface réglée (non rationnelle) S et $\mathrm{Aut}^\circ(X)$ est un sous-groupe algébrique connexe maximal dans $\mathrm{Bir}(X/S)$.
  • Le 19 janvier 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Pierre Charollois (IMJ-PRG)
    Sur le rêve de jeunesse d'Eisenstein pour les corps cubiques complexes
    Dans un article méconnu de 1844, G. Eisenstein suggère une piste pour étendre la théorie des fonctions elliptiques au cas de "réseaux de rang 3". Il indique également que la nouvelle classe de produits infinis méromorphes qu’il considère possède de riches applications arithmétiques. Je présenterai des résultats de nature expérimentale et théorique qui donnent à penser qu’il avait effectivement mis à jour un analogue pour les corps cubiques complexes de la théorie CM des unités elliptiques.
    Il s’agit d’un travail en commun avec Nicolas Bergeron et Luis Garcia.
  • Le 22 janvier 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférence
    Robert Deville IMB
    Fonctions Lipschitziennes (deuxième partie)
    Une fonction différentiable à valeurs réelles, est-elle déterminée par le module de sa différentielle en chaque point et par sa valeur aux points critiques ?

    A. Daniilidis a récemment donné une réponse positive à cette question sous une hypothèse de coercivité, qui résulte d'un résultat plus général sur les fonctions localement
    Lipschitziennes.
  • Le 22 janvier 2024 à 14:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 285, IMB
    François Lamothe LAAS-CNRS\, Toulouse
    Idées et pistes pour l'amélioration des méthodes de décomposition en RO
    Les méthodes de décompositions sont des algorithmes d'optimisation largement utilisés en Recherche Opérationnelle. Malgré leur ancienneté, de nombreuses questions les concernant restent sans réponse certaine. Dans cette présentation, nous ferons une présentation géométrique de deux méthodes de décomposition (Dantzig-Wolfe et Benders) avant de proposer des pistes d'amélioration. Nous aborderons en particulier :
    - Le choix des coupes dans les méthodes de coupe type Benders
    - La dégénérescence dans la méthode de Dantzig-Wolfe
    - L'utilisation et l'interaction d'approximation interne et externe de polyèdres dans la méthode de Dantzig-Wolfe.
  • Le 23 janvier 2024 à 08:23
  • Direction
    Salle 285
    Le conseil scientifique se réunira le mardi 23 janvier à 13h30 en salle 285
    L'ordre du jour sera le suivant :
    1. Approbation des comptes rendus des deux dernières réunions du conseil scientifique (vote)
    2. Présentation de la composition des comités de recrutement pour les postes d'EC mis au concours à la prochaine campagne
    3. Nouvelles du conseil de laboratoire
    4. Examen des demandes d'HDR/ADT
    5. Présentation, puis classement (et vote) par le CS restreint, des propositions de sujets pour des contrats doctoraux fléchés de l'EDMI
    6. Questions diverses
  • Le 23 janvier 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Thomas Borsoni LJLL
    Transferring Cercignani’s conjecture-type inequalities from the classical to the fermionic Boltzmann equation
    The fermionic Boltzmann (Boltzmann-Fermi-Dirac or fermionic Nordheim) equation is a kinetic description of rarefied gases of fermions (e.g. electrons). The setting is similar to the classical Boltzmann equation, with a modification of the collision operator, in order to take into account the Pauli exclusion principle. As a result, the corresponding equilibrium distributions (Fermi distributions) and the relevant entropy (Fermi entropy) do also differ from their classical analogues (Maxwellian distribution and Boltzmann entropy).

    Entropy methods are a at the core of quantitative studies on relaxation to equilibrium. For the classical Boltzmann equation, the quantitative decay of the relative entropy to equilibrium is provided by a relationship between the relative entropy to equilibrium and its dissipation in time. These relationships are called « Cercignani’s conjecture-type » inequalities.

    In this talk, I present a method of « transfer » of inequalities, which establishes an (almost) equivalence, in terms of entropy inequalities, between the classical and the fermionic Boltzmann cases, hence providing a large class of such results for solutions to the fermionic Boltzmann equation, and therefore, quantitative rates of convergence towards equilibrium.
  • Le 23 janvier 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Vincent Neiger Sorbonne Université
    Faster modular composition of polynomials
    This talk is about algorithms for modular composition of univariate
    polynomials, and for computing minimal polynomials. For two univariate
    polynomials a and g over a commutative field, modular composition asks to
    compute h(a) mod g for some given h, while the minimal polynomial problem is
    to compute h of minimal degree such that h(a) = 0 mod g. We propose algorithms
    whose complexity bound improves upon previous algorithms and in particular upon
    Brent and Kung's approach (1978); the new complexity bound is subquadratic in
    the degree of g and a even when using cubic-time matrix multiplication. Our
    improvement comes from the fast computation of specific bases of bivariate
    ideals,
    and from efficient operations with these bases thanks to fast univariate
    polynomial
    matrix algorithms. We will also report on experimental results using the
    Polynomial Matrix Library.

    Contains joint work with Seung Gyu Hyun, Bruno Salvy, Eric Schost, Gilles
    Villard.
  • Le 25 janvier 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Paul Catala University of Osnabrückv
    Trigonometric approximations of the sparse super-resolution problem in Wasserstein distances
    In this talk, I will discuss the recovery of an arbitrary measure on the $d$-dimensional torus, given trigonometric moments up to degree $n$. Considering the convolution of the measure with powers of the Fejér kernel, which can be computed efficiently from the truncated moment sequence, I will provide rates of convergence of the resulting polynomial density towards the measure in the $p$-Wasserstein distance, as the degree $n$ increases. In particular, I will show that the best possible rate for polynomial approximation is inversely proportional to the degree, and that it is achieved by adequately choosing the power to which the kernel is raised. Finally, I will discuss another class of polynomial approximations, similar although not based on convolution, that converge pointwise to the characteristic function of the support of the measure. This is joint work with Mathias Hockmann, Stefan Kunis and Markus Wageringel.
  • Le 25 janvier 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Artur Pessoa Universidade Federal Fluminense (Brasil)
    New Results on Vehicle Routing Problems with Special Demand Structures
    In this work, we present new results of the ongoing work performed with two postgraduate students in UFF, Brazil. Both consider variants of the vehicle routing problem with special demand structures. The first is a new family of capacity-like cuts for a variant where visited points (facilities) differ from the demand points. In this variant, called m-CTP, each facility has an associated subset of demand points that can be attended by it. Experiments show that the proposed cut family allows for reducing the time required to solve some literature instances by more than one order of magnitude. The second result considers the vehicle routing problem with split deliveries. For this variant, we present a polynomial algorithm to recognise whether a set of graph edge multiplicities corresponds to a feasible solution or not. The new algorithm relies on a special property of the edge multiplicities that can be easily enforced by cuts in an MIP formulation. For general edge multiplicities, the recognition problem has been known as NP-hard for several years.
  • Le 25 janvier 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Adrien Richou IMB
    Quelques considérations sur les Équations différentielles stochastiques rétrogrades
    dans cet exposé, j'introduirai la notion d'équation différentielle stochastique
    rétrogrades (EDSR), un outil issu de la théorie du calcul stochastique.
    J'essayerai d'expliquer les liens avec les EDP non linéaires et les problèmes de contrôle stochastique.
    Enfin, si le temps le permet, j'expliquerai comment il est possible d'utiliser ces outils pour résoudre
    numériquement des EDP en grande dimension à l'aide de réseaux de neurones.
  • Le 25 janvier 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Thomas Bellotti IRMA (Strasbourg)
    [Séminaire CSM] Analyse numérique des schémas de Boltzmann sur réseau : des questions fondamentales aux méthodes adaptatives efficientes et précises
    L'exposé se veut un résumé de mes travaux de thèse, qui portent une attention particulière aux schémas de Boltzmann sur réseau. Cette classe de schémas est utilisée depuis la fin des années '80, en particulier en mécanique des fluides, et se caractérise par sa grande rapidité. Cependant, les méthodes de Boltzmann sur réseau sont très gourmandes en termes d'espace mémoire et conçues pour des maillages Cartésiens uniformes. De plus, nous manquons d'outils théoriques généraux qui permettent d'en analyser la consistance, la stabilité et enfin la convergence. Le travail s'articule autour de deux axes principaux. Le premier consiste à proposer une stratégie permettant d'appliquer les méthodes de Boltzmann sur réseau à des grilles de calcul non-uniformes adaptées dynamiquement en temps, afin de réduire le coût de calcul et de stockage. Le fait de pouvoir contrôler l'erreur commise et d'être en mesure d'employer la méthode quel que soit le schéma de Boltzmann sous-jacent sont des contraintes supplémentaires à prendre en compte. Pour cela, nous proposons d'adapter dynamiquement le réseau ainsi que d'ajuster toute méthode de Boltzmann à des maillages non-uniformes en nous appuyant sur la multirésolution. Cela a permis de proposer un cadre innovant pour des maillages mobiles en respectant les contraintes posées. Le second axe de recherche consiste à donner un cadre mathématiquement rigoureux aux méthodes de Boltzmann sur réseau, lié en particulier à leur consistance vis-à-vis des EDPs visées, leur stabilité et donc leur convergence. Pour cela, nous proposons une procédure, basée sur des résultats d'algèbre, pour éliminer les moments non-conservés de n'importe quel schéma de Boltzmann sur réseau, en le transformant en un schéma aux différences finies multi-pas sur les moments conservés. Les notions de consistance et stabilité pertinentes pour les méthodes de Boltzmann sur réseau sont donc celles des schémas aux différences finies. En particulier, tous les résultats concernant ces derniers, entre autres le théorème de Lax, se transpose naturellement aux schémas de Boltzmann sur réseau. Une étape ultérieure consiste à étudier la consistance et la stabilité directement sur le schéma de départ sans devoir calculer sa méthode aux différences finies ``correspondante''. Cela permet d'en obtenir les équations modifiées et de montrer le bien-fondé des analyses de stabilité à la von Neumann couramment utilisées au sein de la communauté.
  • Le 26 janvier 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Gerard Farré Puiggalí (Barcelone)
    On some applications of the Anosov-Katok method in Hamiltonian dynamics
    In this talk, I will introduce the Anosov-Katok method and explain how it can be used in order to construct examples of Hamiltonian systems with Lagrangian invariant tori that exhibit different types of unstable behaviour. In particular, we will focus in constructions that show the optimality of the effective stability bounds for these tori, that change depending on the regularity of the Hamiltonian.
  • Le 26 janvier 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Daniel Monclair (Paris Orsay)
    Géométrie anti-de Sitter et variétés de Gromov-Thurston
    Les variétés anti-de Sitter (i.e. lorentziennes à courbure -1) globalement hyperboliques de dimension 2+1 sont bien comprises depuis les travaux de Mess qui décrivent leurs espaces de modules. Le cas de la dimension plus grande reste assez énigmatique, et même les topologies possibles ne sont pas connues.
    Une variété lorentzienne globalement hyperbolique est toujours difféomorphe à un produit MxR. Dans les exemples connus, M est une variété hyperbolique. Je présenterai une construction, issue d'un travail en commun avec Jean-Marc Schlenker et Nicolas Tholozan, d'exemples pour lesquels M est une variété de Gromov-Thurston (une famille de variétés non hyperboliques à courbure négative).
  • Le 26 janvier 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Peter Koymans (ETH Zürich)
    Value sets of binary forms
    Given a binary form F with integer coefficients, we define its value set $Val(F)$ to be the set $F(x, y)$ for integers $x, y$. For two binary forms $F$ and $G$, what can we say if $Val(F) = Val(G)$? The goal of this talk is to show how one may give a complete answer to this question. This is joint work with Etienne Fouvry.
  • Le 29 janvier 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférence
    Andreas Hartmann IMB
    Estimating the solutions to the polynomial Bézout identity
    Le but de cet exposé est de revisiter le théorème de Bézout sur les solutions polynomiales minimales R et S de l'équation AR+BS=1, où A et B sont des polynômes. Nous nous intéressons en particulier à une estimation des normes de R et S en fonction de l'éloignement (défini de façon appropriée) des zéros de A et B. L'idée est d'utiliser une approche analytique (basée essentiellement sur la formule de Cauchy).
    L'identité de Bézout est lié au fameux théorème de la couronne de Carleson qui considère l'identité de Bézout pour des fonctions appartenant à l'espace H∞ des fonctions holomorphes bornées sur le disque unité.
    Nos résultats permettent d'obtenir des estimations de la norme de l'inverse de la matrice de Sylvester.

    Cette présentation est basée sur un travail en commun avec Emmanuel Fricain, William T. Ross et Dan Timotin.

    ---

    The aim of this talk is to revisit Bézout's theorem on minimal polynomial solutions R and S of the identity AR+BS=1 where A and B are given polynomials. We are in particulier interested in norm estimates of the norms of R and S depending in a suitable separation of the zeros of A and B. This will be achieved via an analytic approach (based essentially on Cauchy's formula).
    Bézout's identity is related to the famous Carleson corona theorem which considers such an identity for functions in the space H∞ of uniformly bounded holomorphic functions on the unit disk of the complex plane.
    Our results also yield estimates of the norm of the inverse to the Sylvester matrix.

    This presentation is based on a joint work with Emmanuel Fricain, William T. Ross and Dan Timotin.
  • Le 30 janvier 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Daniel Parra Vogel U. of Santiago (Chili)
    Continuum limit for a discrete Hodge-Dirac operator on square lattices
    We study the continuum limit for Dirac-Hodge operators defined on the $n$-dimensional square lattice $h\mathbb{Z}^n$ as $h$ goes to $0$. This result extends, to a first order discrete differential operator, the known convergence of discrete Schrödinger operators to their continuous counterpart.To establish this discrete analog, we introduce an alternative framework for higher-dimensional discrete differential calculus compared to the standard one defined on simplicial complexes. Subsequently, we express our operator as a differential operator acting on discrete forms, enabling us to demonstrate the convergence to the continuous Dirac-Hodge operator.
  • Le 30 janvier 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Thomas Decru Brussels\, Belgium
    Algorithmic aspects of isogeny-based cryptography
    One of the main struggles of isogeny-based cryptographic protocols is that they are still relatively slow compared to other post-quantum candidate schemes. In this talk we will provide some info on why this is, and elaborate on some of the recent results and ongoing work in this direction.
  • Le 30 janvier 2024 à 14:00
  • Direction
    Salle 285
    Le conseil scientifique se réunira le mardi 30 janvier à 14h en salle 285
    L'ordre du jour sera le suivant :
    Examen et classement (vote) des 6 propositions de sujet pour un contrat doctoral fléché retenues lors de la réunion du 23 janvier.
  • Le 1er février 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Jamal Najim Université Gustave Eiffel
    Equilibres de grands systèmes de Lotka-Volterra couplés par des matrices aléatoires non-hermitiennes
    Les systèmes de Lotka-Volterra sont des équations différentielles couplées par une matrice dite d’interactions. On s’intéressera au cas où la matrice d’interactions est une grande matrice aléatoire, modèle fréquemment utilisé en écologie théorique pour comprendre les réseaux trophiques. Dans les cas d’existence d’un équilibre stable, aléatoire par nature, on s’attachera à décrire certaines propriétés statistiques de cet équilibre, comme par exemple la proportion des composantes non nulles. On s’intéressera à des modèles matriciels non-hermitiens, de type Ginibre réel et plus généralement elliptique, et on montrera comment des algorithme de type AMP (Approximate Message Passing) permettent d’accéder aux propriétés statistiques de ces équilibres.

    Travail en collaboration avec Y. Gueddari et W. Hachem, voir aussi https://arxiv.org/abs/2302.07820
  • Le 1er février 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Tom ter Elst Auckland
    The Dirichlet problem for elliptic equations without the maximum principle
    The maximum principle plays an important role for the
    solution of the Dirichlet problem.
    Now consider the Dirichlet problem with respect to the elliptic operator
    $$
    - \sum_{k,l=1}^d \partial_k \, a_{kl} \, \partial_l
    - \sum_{k=1}^d \partial_k \, b_k
    + \sum_{k=1}^d c_k \, \partial_k
    + c_0
    $$
    on a bounded open set $\Omega \subset \mathbb{R}^d$,
    where $a_{kl}, c_k \in L_\infty(\Omega,\mathbb{R})$ and
    $b_k,c_0 \in L_\infty(\Omega,\mathbb{C})$.
    Suppose that the associated operator on $L_2(\Omega)$ with
    Dirichlet boundary conditions is invertible.
    Note that in general this operator does not satisfy the maximum principle.
    We define and investigate a solution
    of the Dirichlet problem with data in $C(\partial \Omega)$.
    We show that it coincides with the Perron solution,
    in case the maximum principle would be available.
    In the general setting we characterise this solution in different ways:
    by approximating the domain by smooth domains from the interior,
    by variational properties,
    by the pointwise boundary behaviour at regular boundary points.
    We also investigate for which boundary data the solution
    has finite energy.
    We show that the solution is obtained as an
    $H^1_0$-perturbation of a continuous function on~$\overline \Omega$.
    This is new even for the Laplacian.

    This is joint work with Wolfgang Arendt and Manfred Sauter.

    References:
    W. Arendt and A.F.M. ter Elst, The Dirichlet problem without
    the maximum principle, Annales de l'Institut Fourier, 69 (2019), 763--782.
    W. Arendt, A. F.~M. ter Elst and M. Sauter, The Perron solution
    for elliptic equations without the maximum principle, Math. Ann. (2023), In Press.
  • Le 1er février 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Madji Azaiez IPB
    [Séminaire CSM] Least-squares pressure recovery in Reduced Order Methods for incompressible flows
    We introduce a method to recover the reduced pressure for Reduced Order Models (ROMs) of incompressible flows. The pressure is obtained as the least-squares minimum of the residual of the reduced velocity with respect to a dual norm. We prove that this procedure provides a unique solution whenever the full-order pair of velocity-pressure spaces is inf-sup stable.
    We also prove that the proposed method is equivalent to solving the reduced mixed problem with reduced velocity basis enriched with the supremizers of the reduced pressure gradients.
    Optimal error estimates for the reduced pressure are obtained for general incompressible flow equations and specifically, for the transient Navier-Stokes equations. We also perform some numerical tests for the flow past a cylinder and the lid-driven cavity flow which confirm the theoretical expectations, and show an improved convergence with respect to other pressure recovery methods.
  • Le 2 février 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Nicolas Tholozan (ENS Paris)
    Rigidité locale du volume des variétés compactes localement symétriques
    Soit $G$ un groupe de Lie semisimple et $H$ le sous-groupe fixé par une involution de $G$. L’espace homogène $G/H$ possède une métrique pseudo-riemannienne et en particulier une forme volume $G$-invariante. Dans cet exposé, je montrerai que le volume d’une variété compacte localement isométrique à $G/H$ est invariant par déformation de la métrique. Même si les exemples connus de telles déformations sont rares, la preuve nécessite de bien comprendre toute l’algèbre des formes $G$-invariantes de $G/H$. J’expliquerai en quel sens cette algèbre est engendrée par des « formes de Chern—Weil » et des « formes de Chern—Simons ».
  • Le 2 février 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Rubén Muñoz--Bertrand (Université de Versailles Saint-Quentin-en-Yvelines)
    Witt, vite
    Du point de vue algorithmique, les opérations dans l'anneau des vecteurs de Witt sont coûteuses. Jusqu'à présent seul l'algorithme de Finotti, introduit en 2014, parvenait à faire mieux que le calcul direct des polynômes à coefficients entiers définissant ces opérations. Nous verrons comment l'application d'un isomorphisme d'Illusie permet de donner un nouvel algorithme pour l'addition de vecteurs de Witt à coefficients polynomiaux, plus efficace que celui de Finotti. Nous donnerons ensuite une application de cet algorithme au comptage de points employant des méthodes de cohomologie p-adique.
  • Le 5 février 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Andreas Hartmann IMB
    Estimating the solutions to the polynomial Bézout identity - part II
    Le but de cet exposé est de revisiter le théorème de Bézout sur les solutions polynomiales minimales R et S de l'équation AR+BS=1, où A et B sont des polynômes. Nous nous intéressons en particulier à une estimation des normes de R et S en fonction de l'éloignement (défini de façon appropriée) des zéros de A et B. L'idée est d'utiliser une approche analytique (basée essentiellement sur la formule de Cauchy).
    L'identité de Bézout est lié au fameux théorème de la couronne de Carleson qui considère l'identité de Bézout pour des fonctions appartenant à l'espace H∞ des fonctions holomorphes bornées sur le disque unité.
    Nos résultats permettent d'obtenir des estimations de la norme de l'inverse de la matrice de Sylvester.

    Cette présentation est basée sur un travail en commun avec Emmanuel Fricain, William T. Ross et Dan Timotin.

    ----

    The aim of this talk is to revisit Bézout's theorem on minimal polynomial solutions R and S of the identity AR+BS=1 where A and B are given polynomials. We are in particulier interested in norm estimates of the norms of R and S depending in a suitable separation of the zeros of A and B. This will be achieved via an analytic approach (based essentially on Cauchy's formula).
    Bézout's identity is related to the famous Carleson corona theorem which considers such an identity for functions in the space H∞ of uniformly bounded holomorphic functions on the unit disk of the complex plane.
    Our results also yield estimates of the norm of the inverse to the Sylvester matrix.

    This presentation is based on a joint work with Emmanuel Fricain, William T. Ross and Dan Timotin.
  • Le 6 février 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Christophe Levrat Télécom Paris
    l-adic point counting on surfaces: nearly almost halfway there?
    While point counting algorithms on algebraic curves over finite fields have been around for decades and seen considerable progress in the meantime, the question of counting points on algebraic surfaces without additional structure seems much more challenging. In this talk, we will present results concerning the classical l-adic method for surfaces fibered over the projective line, which was conjectured by Edixhoven and Couveignes to admit a polynomial-time complexity. This method boils down to computing the étale cohomology of a constructible sheaf: we will describe how to compute this cohomology once such a sheaf has been given, and outline a possible strategy that might allow to compute a usable description of this particular sheaf.
  • Le 6 février 2024 à 13:30
  • Direction
    Salle 285
    Conseil de laboratoire du 6 février 2024 à 13h30 en salle 285
    L'ordre du jour sera le suivant :
    1) Approbation du compte-rendu du conseil du 9 janvier (vote)
    2) Informations générales
    3) Présentation d'un projet de questionnaire proposé par le GT missions à destination de tous les membres de l'IMB
    4) Questions diverses
    Pensez à donner votre procuration
  • Le 7 février 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    BIHOREAU Simon IMB
    Numerical Modeling for Cardiac Ablation by Electroporation

    Cardiac arrhythmia is one of the world's leading causes of death. The electrical rhythm of the heart is disturbed, and one treatment is cardiac ablation, which aims to electrically isolate certain parts of the heart. The bidomain model is a very classical mathematical model for cardiac electrophysiology. However it turns out to be unsuitable to describe the application of short and intense electric pulses as used in pulsed electric field ablation (PFA) - a therapeutical innovation in the context of cardiac ablation. We propose a macroscopic model designed to account for PFA and be compatible with cardiac electrophysiology. After deriving it from the cell-scale equations of electrophysiology using two-scale convergence, we present some numerical simulations, followed by an overview of the perspectives from the mathematical point of view (proof of the convergence, analysis of the PDE system), from the modeling point of view (ionic term, fibers orientation) and from the simulation point of view (sensitivity analysis, data assimilation). Particular emphasis will be made on the mathematical homogenization process (two-scale convergence).


  • Le 8 février 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de Conférences
    Bastien Laville INRIA
    Some developments on off-the-grid curve reconstruction: divergence regularisation and untangling by Riemannian metric
    Recent years have seen the development of super-resolution variational optimisation in measure spaces. These so-called off-the-grid approaches offer both theoretical and numerical results, with very convincing results in biomedical imaging. However, the gridless variational optimisation is generally formulated for reconstruction of point sources, which is not always suitable for biomedical imaging applications: more realistic biological structures such as curves should also be reconstructed. In the first part of this talk, we propose a new strategy for the reconstruction of curves in an image through an off-the-grid variational framework, thanks to the sharp characterisation of the extreme points of the unit ball of a new regulariser thus enabling new theoretical and numerical results for optical imaging. In a second part of the talk, we investigate a new strategy for off-the-grid curve untangling, with some practical results for Localisation Microscopy.
  • Le 8 février 2024 à 12:00
  • Séminaire de EDP - Physique Mathématique
    Zoom depuis Bilbao
    Francesco Fanelli BCAM & Ikerbasque\, Bilbao
    Transport structures in incompressible fluid mechanics
    In this talk, we are interested in the well-posedness theory for a system of PDEs describing the dynamics of an incompressible fluidwhich presents non-dissipative viscosity effects. At the level of the mathematical model, the non-dissipative nature of the viscosity is encoded by a skew-symmetric term, dubbed odd viscosity tensor. Differently from classical viscosity, the odd viscosity term does not provide any gain of regularity; on the contrary, it is responsible for a loss of derivatives in the a priori estimates.
    In this talk, we show how to circumvent such a loss of derivatives and establish a well-posedness result in the framework of Sobolev (or, more generally, Besov) spaces of high enough regularity. The key is the identification of a suitable effective velocity in the model, which allows to recast the system as a system of transport equations.
    The talk is based on joint works with Rafael Granero-Belinchón (Universidad de Cantabria), Stefano Scrobogna (Università degli Studi di Trieste) and Alexis Vasseur (University of Texas Austin).
  • Le 8 février 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Philippe Souplet U. Sorbonne Paris-Nord
    Théorèmes de type Liouville, singularités et estimations universelles pour les problèmes elliptiques et paraboliques non linéaires
    Le théorème de Cauchy-Liouville établit qu'une fonction entière bornée d'une variable complexe est
    nécessairement constante. Une propriété liée et également très classique est que ceci reste vrai pour toute
    fonction harmonique bornée sur l'espace euclidien, en toute dimension.
    Dans le contexte des EDP, on entend par théorème de type Liouville un résultat affirmant la nonexistence de solutions
    dans l'espace entier (ou un domaine non borné approprié),
    les solutions étant parfois sujettes à certaines restrictions (e.g., non constante,
    ou avec conditions de signe ou de croissance).
    De nombreux résultats de ce type, avec des applications importantes, sont apparus au cours des années,
    conférant aux théorèmes de type Liouville un rôle notable dans la théorie des EDP
    et mettant en évidence des connections fortes avec d'autres domaines mathématiques
    (calcul des variations, géometrie, dynamique des fluides, contrôle optimal stochastique).

    Après un bref détour historique (surfaces minimales -- Lagrange, Bernstein, de Giorgi, Bombieri,...,
    théorie de la régularité pour les systèmes elliptiques linéaires -- Giaquinta, Necas,...),
    nous rappellerons les développements des années 1980-2000 sur les
    problèmes elliptiques non linéaires, conduisant à des outils robustes
    pour l'existence et les estimations a priori pour les problèmes de type Dirichlet (Gidas, Spruck, Caffarelli,...),
    basés sur la combinaison de théorèmes de type Liouville et de techniques de renormalisation.

    Dans une période plus récente, cette direction de recherche a conduit à des progrès dans l'étude des
    {\it singularités} des solutions, tant pour les équations elliptiques que paraboliques.
    En particulier, dans le cas des non-linéarités puissances,
    nous rappellerons l'équivalence entre théorèmes de Liouville et estimations universelles,
    établie par une méthode de renormalisation-doublement (travail en collaboration avec P.~Polacik et P.~Quittner, 2007).



    Puis nous présenterons des développements récents qui montrent que, par des modifications appropriées, ces méthodes de renormalisation peuvent être appliquées à des non-linearités sans invariance d'échelle,
    même asymptotique, et dont le comportement est très éloigné de celui d'une puissance.
    Dans ce cadre, nous montrons notamment que l'équivalence ci-dessus entre théorèmes de Liouville et estimations universelles reste valide. Ceci conduit à des résultats nouveaux
    pour les problèmes elliptiques et paraboliques sans invariance d'échelle, concernant les estimations des singularités en temps-espace, les vitesses d'explosion initiales et finales, et les vitesses de décroissance en temps et/ou espace.
    Nous illustrerons enfin cette approche par des exemples qui montrent l'optimalité des estimations et des hypothèses.
  • Le 8 février 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Julien Moatti Technische Universität Wien
    [Séminaire CSM] Schémas volumes finis préservant la structure pour des modèles de semi-conducteurs anisotropes
    Les modèles mathématiques des semi-conducteurs décrivent l'évolution des densités de charges électriques dans les composants électroniques. Dans l'industrie, le modèle le plus couramment utilisé est un système couplé de deux équations de convection-diffusion avec une équation de Poisson. Les méthodes numériques couramment employées sont basées sur des schémas volumes finis à deux points, robustes et garantissant la positivité des densités calculées.

    Dans cet exposé, je vais m'intéresser à une situation où le semi-conducteur est plongé dans un champ magnétique externe, induisant une rotation des charges. Dans ce cas, les équations de convection-diffusion deviennent anisotropes, et les schémas à deux points ne permettent plus d'obtenir une approximation correcte.

    Pour obtenir une approximation fiable, permettant de gérer à la fois l'anisotropie et des maillages polytopaux généraux, j'introduis un schéma non-linéaire basé sur la méthode des volumes finis hybrides. Le schéma est conçu pour préserver une structure d'entropie au niveau discret, assurant :
    i) l'existence de solutions et la positivité des densités ;
    ii) le comportement en temps long des solutions ;
    iii) la robustesse du schéma par rapport aux paramètres physiques et au maillage utilisé.

    Les résultats numériques obtenus corroborent ces garanties théoriques.

    Dans un second temps, je discuterai de l'intérêt d'utiliser des maillages généraux pour produire des raffinements locaux. En particulier, je m'intéresserai à l'exemple fondamental du calcul de courbes courant-tension.
  • Le 9 février 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Relâche

  • Le 9 février 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Anneloes Viergever (Leibniz Universität Hannover)
    The compactly supported $\mathbb{A}^1$-Euler characteristic of the symmetric powers of a cellular variety
    To a variety over a characteristic zero field, one can associate its compactly supported $\mathbb{A}^1$-Euler characteristic using motivic homotopy theory, as was done in work of Arcila-Maya, Bethea, Opie, Wickelgren and Zakharevich. These are quadratic forms, which carry a lot of information, but they are often difficult to compute in practice. I will discuss joint work in progress with Jesse Pajwani and Herman Rohrbach in which we apply the machinery of power structures on the Grothendieck-Witt ring as introduced in work of Pajwani and Pál to calculate the compactly supported $\mathbb{A}^1$-Euler characteristic of the symmetric powers of a cellular variety.
  • Le 12 février 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Sylvain Ervedoza IMB
    On the link between the reachable space for the heat equation and the heat semigroup
    The goal of this talk is to present some results on the reachable space for the heat equation, based on several works : SE, Kévin Le Balc’h & Marius Tucsnak; Mégane Bournissou, SE & Marius Tucsnak; SE & Adrien Tendani-Soler. As I will explain, this question is in fact closely related to the possibility to extend the heat semigroup on some spaces of holomorphic functions on an appropriate square. Note that this property is also the one essentially used in the work by Alexander Strohmaier and Alden Waters in their study of the reachable space of the heat equation thanks to the so-called Wick rotation. In particular, our work should --This is still an ongoing work ;-)-- allow to describe almost optimally the reachable space for the heat equation in the presence of lower order terms and non-linear terms.
  • Le 13 février 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Nicolas Raymond Université d'Angers
    Analyse spectrale asymptotique du Laplacien de Neumann avec champ magnétique variable sur un domaine régulier 3D
    Cet exposé, réalisé au tableau et à la craie, est consacré à l'analyse spectrale du Laplacien magnétique dans la limite semiclassique. Nous supposerons que le champ magnétique est génériquement variable et qu'il induit des effets de localisation des fonctions propres près du bord du domaine spatial. Nous expliquerons comment obtenir des développements asymptotiques de toutes les premières valeurs propres de cet opérateur. Cela résoudra une question ouverte posée dans la thèse de l'orateur et complètera également une série de travaux commencée il y a environ 12 ans. Il s'agit d'une collaboration angevino-nantaise avec Maha Aafarani, Khaled Abou Alfa et Frédéric Hérau.
  • Le 13 février 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    zoom 87807228123
    Semyon Novoselov University of Kaliningrad
    Approx-SVP in multiquadratic ideal lattices
    Multiquadratic fields are exceptional objects in computational number theory. Many hard computational problems are significantly simpler there. This includes unit/class group and discrete logarithm computations, as well as computing short generators of principal ideals. However, there are still many open questions in the area. In this talk, I describe recent progress towards the next milestone -- the approximate shortest vector problem in non-principal ideal lattices. In particular, I present an algorithm for a central subroutine -- the discrete logarithm computation based on reduction of the problem to subfields
  • Le 15 février 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2
    Alexandre Genadot IMB
    Principe d'estimation et de contrôle pour les processus de décision markoviens en temps continu

  • Le 15 février 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Sebastien Herbreteau EPFL
    Towards better conditioned and interpretable neural networks : a study of the normalization-equivariance property
    In many information processing systems, it may be desirable to ensure that any change in the input, whether by shifting or scaling, results in a corresponding change in the system response. While deep neural networks are gradually replacing all traditional automatic processing methods, they surprisingly do not guarantee such normalization-equivariance (scale & shift) property, which can be detrimental in many applications. Inspired by traditional methods in image denoising, we propose a methodology to adapt existing convolutional neural networks so that normalization-equivariance holds by design and without performance loss. Our main claim is that not only ordinary unconstrained convolutional layers, but also all activation functions, including the ReLU (rectified linear unit), which are applied element-wise to the pre-activated neurons, should be completely removed from neural networks and replaced by better conditioned alternatives. As a result, we show that better conditioning improves the interpretability but also the robustness of these networks to outliers, which is experimentally confirmed in the context of image denoising.
  • Le 15 février 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Hendrik Ranocha Mayence
    [Séminaire CSM] Structure-preserving numerical methods for nonlinear dispersive wave equations
    The numerical simulation of tsunami propagation is often based on the classical shallow water equations. However, there are several regimes where the assumptions used to derive this model are not satisfied. In this case, higher-order effects need to be taken into account, leading to nonlinear dispersive wave equations. Several variants of such models exist and are used in practice. In this talk, we will review some recent developments of structure-preserving numerical methods. In particular, we will consider invariants such as the total energy and study efficient numerical methods yielding qualitative and quantitative improvements compared to standard schemes. The numerical methods will use the framework of the method of lines. Thus, we will discuss both spatial semidiscretizations and time integration methods. To develop structure-preserving schemes, we make use of the general framework of summation-by-parts (SBP) operators in space, unifying the analysis of finite difference, finite volume, finite element, discontinuous Galerkin, and spectral methods. Finally, we combine structure-preserving spatial discretizations with relaxation methods in time to obtain fully-discrete, energy-conservative schemes.
  • Le 15 février 2024 à 15:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Saray Busto Santiago de Compostela
    [Seminaire CSM] Well-balanced divergence-free semi-implicit hybrid finite volume - finite element scheme for magnetohydrodynamics
    We present a novel exactly divergence-free and well-balanced hybrid finite volume / finite element scheme for the numerical solution of the incompressible viscous and resistive magnetohydrodynamics (MHD) equations on staggered unstructured mixed-element meshes. The algorithm is based on the splitting the equations into several subsystems so that each of them can be discretized with a particular scheme to preserve some fundamental structural features of the MHD system at the discrete level.
    The use of face-based staggered grids allows to account for the divergence-free conditions of the velocity and magnetic fields in a rather natural manner. The non-linear convective and the viscous terms in the momentum equation are solved at the aid of an explicit finite volume scheme. Then, the magnetic field is evolved in an exactly divergence-free manner via an explicit finite volume method based on a discrete form of the Stokes law stabilized by the proper choice of the numerical resistivity in the computation of the electric field in the edges. To achieve higher order of accuracy, a piecewise linear polynomial is reconstructed for the magnetic field, which is guaranteed to be exactly divergence-free via a constrained L^2 projection. Finally, a classical continuous finite element approach is employed to compute the pressure. Besides, we account for the known equilibrium solution at each step of the new algorithm so that the method becomes exactly well-balanced.
    Validation of the methodology includes a MHD lid-driven cavity benchmark and long-time simulations of Soloviev equilibrium solutions in simplified 3D tokamak configurations which show the capability of the method to maintain stationary equilibria exactly over very long integration times in general grids.
  • Le 16 février 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    David Solomon (University College London)
    Les SIC, les groupes de Heisenberg et les unités de Stark dans la $p^\infty$-tour sur un corps quadratique réel
    Les SIC, ou SIC-POVM, sont des systèmes maximaux de droites dites équiangulaires dans ${\mathbb C}^d$, $d>3$. Objets d'intérêt de la physique quantique et du "Design Theory" depuis les années 1970, on a constaté heuristiqument:
    a) que tous, sauf un, admettent une action unitaire du groupe de Heisenberg ${\mathcal{H}}({\mathbb Z}/d{\mathbb Z})$, l'ensemble des matrices unipotentes $3\times 3$ modulo $d$, et plus récemment,
    b) qu'ils ont les angles déterminés par des unités de Stark sur le corps quadratique réel $k={\mathbb Q}(\sqrt{(d-3)(d+1)})$.
    Ces derniers sont des célèbres unités spéciales dans les extensions abéliennes de $k$, dont l'existence, conjecturée par Harold Stark en 1976, mènerait à une solution du 12-ième problème sur $k$ de Hilbert, le "Jugendtraum" de Kronecker).

    Après avoir examiné ces phenomènes, encore assez mystérieux, d'un peu plus près, j'esquisserai des travaux en cours: en prenant $d=p^n$, pour un nombre premier $p$ décomposé dans $k$, et en faisant $n\rightarrow \infty$ on arrive à une théorie $p$-adique mettant en évidence une action de ${\mathcal{H}}({\mathbb Z}_p)$ sur les mesures $p$-adiques ainsi que les séries formelles de Coleman. On cherche ainsi à étudier l'action de Galois sur les unités de Stark à travers le groupe d'automorphismes ${\rm Aut}({\mathcal{H}}({{\mathbb Z}}_p))$ et certaines intégrales $p$-adiques.
  • Le 20 février 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Jean-Baptiste Burie IMB
    Propriété de métastabilité d'un modèle pour l'évolution génétique d'un agent pathogène
    Dans cet exposé, nous examinerons un modèle intégro-différentiel pour l'adaptation génétique d'un agent pathogène de type champignon. La population de l'agent pathogène se concentre asymptotiquement autour d'un trait phénotypique qui optimise la fonction de fitness. Dans certaines configurations spécifiques, nous sommes en mesure de décrire l'existence d'un régime transitoire long pendant lequel la population pathogène reste loin de cette valeur optimale du trait.
  • Le 20 février 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Florette Martinez Lip6
    Discussion autour du Générateur Sac à dos
    Le Générateur Sac à dos, proposé en 1985 par Rueppel et Massey est un
    générateur pseudo aléatoire (PRNG) qui combine un premier PRNG faible, le
    LFSR, et un problème dur ,le problème de la somme de sous-ensemble, dérivé du
    problème de sac à dos.
    Ce générateur a été attaqué avec succès par Knellwolf et Meyer en 2011. Je
    discuterais ici d'une variante plus efficace de ctette attaque et des différentes
    attaques que j'ai pu proposer avec Damien Vergnaud et Charles contre des
    variantes de ce générateur.
  • Le 20 février 2024 à 13:30
  • Direction
    Salle de conférences
    Le conseil scientifique se réunira le mardi 20 février à 13h30 en salle de conférences
    L'ordre du jour sera le suivant :
    1. Présentation par Philippe Jaming, responsable de la mention mathématiques et applications du master, d'une proposition de classement en vue de l'attribution des gratifications "blanches" de stage de M2 (vote).
    2. Approbation des comptes rendus des réunions du conseil scientifique du 23 janvier 2024 et du 30 janvier 2024 (vote).
    Les membres du conseil de laboratoire et la direction de l'UF seront invités à 14h pour participer à la suite de la réunion.
    3. Exposé scientifique de Damien Robert (CANARI/TDN) : Théorie des nombres pour la cryptographie post-quantique.
    4. Discussion autour de l'opportunité de formuler auprès de UB des demandes de CPJ.
    5. Informations et questions diverses.
  • Le 21 février 2024 à 09:00
  • Soutenances
    Salle de conférences
    Raphaël PAGES IMB
    Titre de la thèse :"Factorisation des opérateurs différentiels en caractéristique positive". Directeur de thèse : Xavier Caruso. Co-directeur : Alin Bostan

  • Le 22 février 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Léopold Trémant Strasbourg
    [Séminaire CSM] Learning non-canonical Hamiltonian dynamics
    Neural networks can fit data to learn unknown functions in a process called machine learning. Naturally, as numericists, we want to study this tool in its use for differential equations. Specifically here, we will be interested in non-canonical Hamiltonian problems, i.e. vector fields characterized by a symplectic form (non-canonical) and an invariant energy (Hamiltonian). Such problems include many plasma particle models and planar point vortices. Should the structure be
    hard-coded in neural networks? How important is the structure for long-time simulation? What are some differences between continuous and discrete dynamics? These are the questions that will guide this talk.
  • Le 22 février 2024 à 15:30
  • Le Colloquium
    Salle de Conférences
    Eleonora Di Nezza (Sorbonne Université et ENS Paris)
    Métriques sur la sphère de Riemann
    On va s’intéresser à comment mesurer la distance entre deux points sur la sphère de Riemann. Cela se fait à l’aide de métriques. On va donc étudier l’espace de toute les métriques avec l’espoir d’en trouver une plus spéciale que les autres. Mais, il faut faire attention : cet espace est de dimension infinie…
  • Le 23 février 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    David Aulicino (New York - Brooklyn College)
    Siegel-Veech Constants of Cyclic Covers of Generic Translation Surfaces
    We consider generic translation surfaces of genus $g>0$ with marked points and take covers branched over the marked points such that the monodromy of every element in the fundamental group lies in a cyclic group of order $d$. Given a translation surface, the number of cylinders with waist curve of length at most $L$ grows like $L^2$. By work of Veech and Eskin-Masur, when normalizing the number of cylinders by $L^2$, the limit as $L$ goes to infinity exists and the resulting number is called a Siegel-Veech constant. The same holds true if we weight the cylinders by their area. Remarkably, the Siegel-Veech constant resulting from counting cylinders weighted by area is independent of the number of branch points $n$. All necessary background will be given and a connection to combinatorics will be presented. This is joint work with Aaron Calderon, Carlos Matheus, Nick Salter, and Martin Schmoll.
  • Le 23 février 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Cédric Pépin Université Sorbonne Paris Nord
    Morphismes de Satake mod p dérivés pour les poids p-petits
    Soient $G$ un groupe réductif connexe déployé sur $\mathbf{Z}_p$, et $L$ une
    représentation algébrique irréductible de $G$ de poids dominant $p$-petit.
    Pour tout parabolique $P=MN$ de $G$, on construit un morphisme de la
    Ext-algèbre de Hecke sphérique de $G(\mathbf{Q}_p)$ vers la Ext-algèbre de Hecke
    sphérique de $M(\mathbf{Q}_p))$, à coefficients dans la réduction mod $p$ de $L$. En
    degré $0$, il coïncide avec le morphisme de Satake mod $p$ défini par Herzig
    et Henniart-Vignéras. Il s'agit d'un travail avec Karol Koziol.
  • Le 23 février 2024 à 15:30
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Yi Ouyang UST of China Hefei
    Unboundedness of Tate-Shafarevich groups in fixed cyclic extensions
    In this talk we prove two unboundedness results about the Tate-Shafarevich groups of abelian varieties in a fixed nontrivial cyclic extension $L/K$ of global fields, firstly in the case that $K$ is a number field and the abelian varieties are elliptic curves, secondly in the case that $K$ is a global field, $[L : K]$ is a $2$-power and the abelian varieties are principally polarized. This is a joint work with Jianfeng Xie.
  • Le 27 février 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Pas de séminaire

  • Le 27 février 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Pierre Briaud Inria Paris
    Variants of the Decoding Problem and algebraic cryptanalysis
    The intractability of decoding generic linear codes is at the core of an important branch of post-quantum cryptography.
    In this context, the code is random by design or it is assumed to be so in the security reduction.

    This talk will focus on versions of the Decoding Problem where the error vector is structured, in general to achieve better performance.
    While combinatorial techniques such as Information Set Decoding are often the method of choice to attack these versions, I will describe the potential of algebraic algorithms.

    I will mostly consider the Regular Syndrome Decoding Problem and a paper presented at Eurocrypt 2023.
    I will also mention ongoing work on an assumption used in the CROSS submission to new call for signature schemes launched by NIST.
  • Le 1er mars 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Vacances

  • Le 4 mars 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Bernard Haak IMB
    Théorèmes abstraits de type Fubini
    Soit $f: A \times B$ une fonction numérique de 2 variables, et soient
    $\mu$, $\phi$ deux fonctionnelles linéaires respectivement sur l'espace
    des fonctions de $A$ dans $C$ et de $B$ dans $C$.

    On pose la question sous quelles hypothèses on peut échanger leurs
    évaluations, i.e. obtenir une égalité
    $$ \mu( a\mapsto \phi (f(a,.)) ) = \phi( b\mapsto \mu (f(.,b)) )$$
    Un théorème, qui donne des cond. suffisantes pour ceci, sera appelé un
    "thm. de Fubini abstrait".

    Je présente dans cet exposé un résultat, où la fonction $f$ est supposée
    (pluri-) holomorphe en une des deux variables, lorsqu'on "gèle" l'autre.
    Les preuves ne font pas appel à la théorie de la mesure, mais uniquement
    à l'analyse fonctionnelle classique (mais moins connue), que je
    rappelle. Ensuite je compare le résultat à autre approches.
  • Le 5 mars 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences, Bordeaux & Zoom
    In-Jee Jeong NSU
    Confinement versus Singularity for incompressible Euler in high dimensions
    The three-dimensional incompressible Euler equations under axisymmetry have been widely studied. While the “no-swirl” assumption makes the system very similar to the two-dimensional vorticity equations, it is still possible for solutions to have unbounded vortex stretching. After reviewing classical confinement results in two dimensions, we report some progress on the issue of vortex stretching for Euler equations under rotational symmetries in three and higher dimensions. (Based on joint works with Kyudong Choi and Deokwoo Lim.)
  • Le 5 mars 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Yuri Bilu IMB
    Skolem meets Schanuel
    A linear recurrence of order~$r$ over a number field~$K$ is a map ${U:\mathbb{Z}\to K}$ satisfying a relation of the form
    $$
    U(n+r)=a_{r-1}U(n1)+ \cdots+ a_0U(n) \qquad (n\in \mathbb{Z}),
    $$
    where ${a_0, \ldots, a_{r-1}\in K}$ and ${a_0e 0}$. A linear recurrence is called simple if the characteristic polynomial ${X^r-a_{r-1}X^{r-1}-\ldots- a_0}$ has only simple roots, and non-degenerate if ${\lambda/\lambda'}$ is not a root of unity for any two distinct roots $\lambda, \lambda'$ of the characteristic polynomial. The classical Theorem of Skolem-Mahler-Lech asserts that a non-degenerate linear recurrence may have at most finitely many zeros. However, all known proofs of this theorem are non-effective and do not produce any tool to determine the zeros.


    In this talk I will describe a simple algorithm that, when terminates, produces the rigorously certified list of zeros of a given simple linear recurrence. This algorithm always terminates subject to two celebrated conjectures: the $p$-adic Schanuel Conjecture, and the Exponential Local-Global Principle. We do not give any running time bound (even conditional to some conjectures), but the algorithm performs well in practice, and was implemented in the \textit{Skolem tool}
    $$
    \text{https://skolem.mpi-sws.org/}
    $$
    that I will demonstrate. This is a joint work with Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser and James Worrell.
  • Le 6 mars 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    GUENNEC Antoine IMB
    Compressive sensing and image decomposition

    In many applications in signal/image processing and statistical problem, we wish to recover information from a limited amount of linear measurements, i.e solve an underdetermined system. Surprisingly, in the mid-2000 E. Candès, J. Romberg and T. Tao showed that under the assumption of an underlying sparsity, we could recover a signal with a small amount of measurement, largely surpassing the previous assumptions based upon the Shannon-Nyquist Sampling theorem. This is can be viewed as the birth of compressive sensing, a rich topic of mathematics that uses a wide array of branches of mathematics, e.g linear algebra, random matrices, convex analysis, optimization. In this talk, we shall discuss some of the main topics regarding compressive sensing and provide an overview of the conditions under which sparse and low-rank vectors/matrices may be recovered from a measurement. Finally, we shall see how this may relate to image decomposition.


  • Le 7 mars 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Radu-Alexandru Dragomir Telecom Paris
    Quartic Optimization Problems
    Many tasks in signal processing and machine learning involve minimizing polynomials of degree four. These include phase retrieval, matrix factorization, sensor network localization and many more. In this talk, I will give an overview of the challenges of quartic minimization as well as some complexity results. In particular, we will focus on a particular class of convex quartic problems, and we analyze the notion of quartic condition number. We design an algorithm for reducing this condition number. To do so, we build a preconditioner using a generalized version of the Lewis weights (a.k.a leverage scores), and we show that it is optimal in some specific sense.

    Based on joint work with Yurii Nesterov.
  • Le 7 mars 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Yannick Privat Nancy
    L’inégalité de Faber-Krahn en mécanique des fluides
    Cet exposé est dédié à la minimisation de la première valeur propre de l’opérateur de Dirichlet-Stokes incompressible (vectoriel). Nous prouvons le résultat surprenant suivant : alors que la boule est un minimiseur local de ce problème en dimension 2, ce n'est pas le cas en dimension 3, de sorte que l'inégalité de Faber-Krahn pour l'opérateur de Stokes est probablement vraie en $\mathbb{R}^2$, mais ne se vérifie pas dans $\mathbb{R}^3$.
    Cet exposé sera l’occasion de présenter quelques problèmes ouverts dans le domaine de l’optimisation de forme en mécanique des fluides.
    Il s’agit d’un travail en collaboration avec Idriss Mazari (univ. Paris Dauphine) et Antoine Henrot (univ. Lorraine)
  • Le 7 mars 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Salah-Eddine ZERROUQ Ensam
    [Seminaire CSM] Une méthode quasi-Newton pour le calcul de carènes optimales basée sur la formule de Michell pour des vitesses aléatoires
    Dans cet exposé on propose une discrétisation de la méthode de Newton pour l’optimisation de forme de carènes de bateaux, partie du navire sous l’eau, basé sur la résistance de Michell avec une vitesse "aléatoire". La théorie de Michell pour les bateaux à coque fine donne une formule explicite pour la résistance des vagues pour une vitesse donnée du navire. La question de trouver la carène optimale qui minimise la résistance des vagues de Mitchell pour une vitesse donnée a été examinée dans ref{2} pour un support fixe, et ensuite dans ref{1} pour un support variable. Suite au succès des résultats numériques, qui se rapprochent des formes utilisées dans l’industrie. il est naturel de se poser la question sur la forme de carène optimale pour des vitesses aléatoires. L’idée, donc, est de calculer la forme optimale qui minimise l’espérance de la résistance de Michell pour une distribution de vitesse donnée. Pour ce faire, le problème est réécrit comme un problème d’optimisation de forme : trouver le domaine optimal pour minimiser l’énérgie de Dirichlet avec un terme source f considéré comme l’éspérance du noyau de la résistance de Michell. Ce problème est bien étudié dans la littérature, et on dispose de nombreux résultats sur l’existence de solutions, sur les dérivées de forme ainsi que leur régularité qu’on peut exploiter pour effectuer une méthode de descente en faisant varier le domaine. Ces méthodes de variation du domaine, nécéssitent en général un nombre élevé d’itérations pour converger, ce problème, coupler avec le fait qu’on doit à chaque itération calculer une approximation de l’espérance du noyau de la résistance de Michell, dont la qualité dépendra de notre échantillonage des vitesses, fait qu’on se retrouve avec des temps de calcul trop élevé pour trouver une solution. D’où notre interêt à utiliser une méthode de Newton pour minimiser le nombre d’itérations de notre algorithme. Cette méthode a été étudiée dans ref{3}, et il est connu que beaucoup d’obstacle empêchent son utilisation pour l’optimisation de forme :
    1. Les formules pour la deuxième dérivée de forme d’une fonctionnelle J(Ω) sont complexes et nécessitent souvent la résolution de problèmes adjoints.
    2. Avoir une expression de cette dérivée sur le bord du domaine nécessitent une grande régularité du domaine considéré.
    3. À priori La matrice Hessienne n’a aucune raison d’être inversible.
    Dans ce travail on propose une discrétisation qui permet de contourner ces problèmes de régularité du bord et des dérivées de forme, et donc permet de trouver une solution avec, ou sans contrainte, même dans des situations où la deuxième dérivée n’est pas bien définie.

    - ref{1}: J. Dambrine, M. Pierre. Continuity with respect to the speed for optimal ship forms based on
    michell’s formula. Mathematical Control Related Fields, 0, –, 2021.
    - ref{2}: D. J., P. M., R. G. A theoretical and numerical determination of optimal ship forms based on michell’s wave resistance. ESAIM - Control, Optimisation and Calculus of Variations, 22(1), 88 – 111, 2016.
    - ref{3}: J.-L. Vie. Second-order derivatives for shape optimization with a level-set method. Ph.D. thesis, 2016. Thèse de doctorat dirigée par Cancès, Eric et Allaire, Grégoire Mathématiques Paris Est 2016.
  • Le 8 mars 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Guillaume Baverez (Berlin)
    The conformal blocks of Liouville conformal field theory
    Liouville CFT is one of the few non-trivial CFTs for which the path integral can be rigorously defined. Starting from this path integral, we give an intrinsic construction of the conformal blocks of the theory, and make contact with the usual formulation of CFT found in algebraic geometry. The key ingredients are a probabilistic construction of the Virasoro algebra, and the spectral resolution of the Hamiltonian. At the end, I will mention some questions left open, such as modular transformations and curvature properties of the bundle of blocks. Joint and ongoing works with Guillarmou, Kupiainen, Rhodes and Vargas.
  • Le 8 mars 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Matthew Satriano (University of Waterloo)
    Unifying the Batyrev-Manin and Malle Conjectures
    The Batyrev-Manin conjecture gives a prediction for the asymptotic growth rate of rational points on varieties over number fields when we order the points by height. The Malle conjecture predicts the asymptotic growth rate for number fields of degree d when they are ordered by discriminant. The two conjectures have the same form and it is natural to ask if they are, in fact, one and the same. We develop a theory of point counts on stacks and give a conjecture for their growth rate which specializes to the two aforementioned conjectures. This is joint work with Jordan Ellenberg and David Zureick-Brown. No prior knowledge of stacks will be assumed for this talk.
  • Le 11 mars 2024 à 08:00 au 15 mars 2024 à 18:00
  • Infos Site Cellule
    Bureaux 225 et 270
    La Cellule Informatique IMB
    Accueil du 11 au 15 mars 2024
    Exceptionnellement, l'accueil de la Cellule Informatique aux bureaux 225 et 270
    - sera fermé mercredi 13 et vendredi 15
    - sera ouvert de 10h à 12h lundi 11
    - sera ouvert de 10h à 12h et de 14h à 16h mardi 12 et jeudi 14
    en raison des Journées Mathrice à Grenoble où participe une partie de l'équipe informatique.

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

    Merci de votre attention,
  • Le 11 mars 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Jasmin Raissy IMB
    Perturbations of parabolic endomorphisms in dimension 2
    In this talk, I will present a work in progress with Matthieu Astorg and Lorena Lopez-Hernanz. We are interested in studying holomorphic endomorphisms of $\mathbb{C}^2$ which are tangent to the identity at the origin, and our goal is to understand how the dynamics changes when we perturb such maps. In particular, we generalize the results obtained by Bianchi and show a result "à la Lavaurs" when the unperturbed map admits a basin parabolic centered in a characteristic direction, but it does not fix a complex line.
  • Le 12 mars 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Kai Koike Tokyo Tech
    Long-time behavior of a harmonic oscillator in a 1D viscous compressible fluid
    We study the long-time behavior of a harmonic oscillator in a 1D viscous compressible fluid. It is shown that the displacement of the oscillator $X(t)$ satisfies a decay estimate $X(t)=O(t^{-3/2+\epsilon})$ for any $\epsilon>0$. This result is obtained as an application of pointwise estimates of solutions obtained through the use of Green’s function.
  • Le 12 mars 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Olivier Ruatta Université de Limoges
    Polynômes linéarisés et cryptographie en métrique rang
    Le lien entre polynômes linéarisés et codes en métrique rang est connu depuis longtemps puisque les codes de Gabidulin peuvent être vu comme codes d’évaluation de certains de ces polynômes. Nous donnerons d’autres constructions et verrons comment la “géométrisation” des corps finis grâce aux polynômes linéarisés permet de fournir des problèmes qui pourraient être appliqués dans des contextes cryptographiques.
  • Le 14 mars 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférences
    Jianyu Ma Université de Toulouse
    Displacement functional and absolute continuity of Wasserstein barycenters.
    Barycenters are defined to average probability measures on metric spaces.
    For Wasserstein spaces, (Wasserstein) barycenter is a direct generalization of the celebrated McCann interpolation, which corresponds to the barycenters of measures $\lambda \delta_{\mu_1} + (1 - \lambda) \delta_{\mu_2}$.
    In the talk, we consider Wasserstein barycenters on Riemannian manifolds,
    and discuss the displacement functional used by the author in arXiv:2310.13832 to prove their absolute continuity with lower Ricci curvature bound assumptions.
    It is different from the widely used displacement convexity property combined with gradient flow, but still manifests an intriguing connection with the curvature-dimension condition.
    If time allowed, we will also explain how the Souslin space theory is applied in the proof,
    which is an unexpected technique for optimal transport.
  • Le 14 mars 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Henri Lefebvre Department of Mathematics\, University Trier
    A Column-and-Constraint Generation Algorithm for Bilevel Optimization
    Bilevel optimization is a powerful tool for modeling complex hierarchical decisions. In particular, it addresses situations in which decision makers must take into account
    other agents having an independent utility function while making their decisions.
    Though challenging on their own, a lot of effort has been conducted by the research community to solve linear, at most convex, bilevel problems,
    in such a way that it is now conceivable to solve much larger problems than what was conceivable years ago.
    Unfortunately, most of the existing approaches rely on duality theory and, therefore, cannot be generalized to the nonconvex setting, occurring when all players solve a
    nonconvex problem. In this talk, we introduce a new algorithm for solving a class of bilevel optimization problems with nonconvex followers and binary leader decisions.
    This algorithm is based on approximating bilevel problems by generalized two-stage robust problems for which we design a column-and-constraint generation approach.
    Additionally, we present a stabilization scheme for our method and report some early computational experiments.
  • Le 14 mars 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Angkana Rüland Bonn
    On the (fractional) Calderon Problem
    In this talk I introduce and discuss two prototypical nonlinear inverse problems, the Calderón problem and its nonlocal counterpart, the fractional Calderón problem. In these problems one seeks to recover information on an unknown conductivity or potential through indirect measurements of the generalized voltage-to-current map at the boundary/complement of a given domain. I will particularly discuss the various novel features arising from nonlocality as well as a connection between the two problems.

    This is based on joint work with G. Covi, T. Ghosh, M. Salo and G. Uhlmann.
  • Le 14 mars 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Saale 2
    Xiaoqiu He IMB
    [Séminaire CSM] la bulle de savon, un nouveaux modèle de la convection thermique
    La convection thermique est un phénomène très ubiquitaire dans le monde physique. Il est aussi très important pour la vie de la sociale humaine : les écoulements d’air dans l’atmosphère ou des fluides dans les océans ont très grande influence au climat global. Afin de connaitre les mécanismes physiques profondes de la convection thermique, les physiciens ont proposés beaucoup de modèle de la convection thermique comme la convection de Rayleigh-Bénard très connue. Dans ce séminaire, je voudrais présenter un nouveau modèle de la convection : la bulle de savon qui est chauffée au fond. Ce modèle est premièrement réalisé dans les expérimentes par Prof. Hamid Kellay de LOMA. Par la méthode des simulations numériques directes (DNS), nous avons obtenues les champs complète de l’écoulement sur la bulle de savon. Nous avons trouvé que les tourbillons de grande taille sur la bulle ont beaucoup de ressemblance avec les cyclones dans l’atmosphères. Les traces des grands tourbillons et des cyclones respectent le même règlement. La structure des grands tourbillons et des cyclones aussi rassemblent beaucoup. De plus, la bulle de savon est aussi un modèle pour étudier la turbulence de deux dimensions. Nous avons trouvé le phénomène de la cascade d’énergie inverse qui engendre les grands tourbillons. Nous avons aussi vérifié que la loi d’échelle pour le statistique de perturbation coïncide la prédiction de théorie de BO59.
    En conclusion, la bulle est très riche des phénomènes physiques et nous offre les bonnes opportunités pour découvrir les nouvelles perspectives physiques de la convection thermique et aussi de la turbulence.
  • Le 15 mars 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Laurent Bessières (Bordeaux IMB)
    $\mu$-bulles et variétés à courbure scalaire strictement positive en dimensions 4 et 5, d'après O. Chodosh, C. Li et Y. Liokumovich
    Nous présentons les travaux récents de Chodosh-Li et Chodosh-Li-Liokumovich sur la courbure scalaire en dimension 4 et 5. La problématique générale est :

    Quelles variétés admettent des métriques riemanniennes complètes de courbure scalaire strictement positive ?

    En dimension 3, après les grandes avancées de Schoen et Yau et de Gromov et Lawson dans les années 80, la question a finalement été résolue par Perelman (pour les variétés fermées) : ce sont les sommes connexes de $\mathbf{S}^2 \times \mathbf{S^1}$ et de $\mathbf{S}^3/\Gamma$, $\Gamma \subset SO_4({\mathbb R})$. Les travaux présentés investiguent des généralisations de cette classification en dimension 4 et 5.
  • Le 15 mars 2024 à 11:00
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Nicolas Camps (Université de Nantes)
    A stability result for resonant Schrödinger equations on Diophantine tori

    This talk is devoted to the study of Schrödinger equations in the presence of resonant interactions that can lead to energy transfer. When the domain is a Diophantine torus we prove that, over very long time scales, the majority of small solutions in high regularity Sobolev spaces do not exchange energy from low to high frequencies. We first provide context on Birkhoff normal form approaches to study of the long-time dynamics of the solutions to Hamiltonian partial differential equations. Then, we introduce the induction on scales normal form, central to our proof. Throughout the iteration, we ensure appropriate non-resonance properties while modulating the frequencies (of the linearized system) with the amplitude of the Fourier coefficients of the initial data. Our main challenge is then to address very small divisor problems and to describe the set of admissible initial data.The results are based on a joint work with Joackim Bernier, and an ongoing joint work with Gigliola Staffilani.

    $$abla$$


  • Le 15 mars 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Francesco Baldassarri (Padova University)
    Analyse de Fourier sur Qp et un analogue p-adique des séries de Dirichlet
    Je cherche à donner une extension "canonique" des fonctions L de Dirichlet p-adiques de $\mathbf{Z}_p$ à $\mathbf{Q}_p$. On veut des fonctions localement analytiques, bien-sûr, mais aussi on pourrait demander que ces fonctions soient somme de leur série de Fourier, en un sens à définir, uniformément sur tout un voisinage tubulaire de $\mathbf{Q}_p$ dans la droite analytique sur $\mathbf{Q}_p$.

    Cela donnerait sinon l'existence, au moins l'unicité de l'extension. Je travaille avec des caractères additifs de $\mathbf{Q}_p$ qui ont justement la propriété ci-dessus et qui me rappellent les séries de Dirichlet classiques.
  • Le 18 mars 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Michel Bonnefont IMB
    Couplages stochastiques et décroissance de la distance en variation totale pour la loi de mouvements Browniens sous elliptiques sur le groupe de Heisenberg et les groupes de Carnot.
    Partie 1

    Travail en commun avec Marc Arnaudon, Magalie Bénéfice et Delphine Féral.
  • Le 19 mars 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférence
    Shu Nakamura Gakushuin University\, Tokyo
    Topics on the essential self-adjointness for Klein-Gordon type operators on spacetimes
    We discuss recent results on the essential self-adjointness of Klein-Gordon type operators on several classes of spacetimes. The first one is the asymptotically flat spacetime, which was studied previously by A. Vasy (J. Spectral Theory 2020) and by us (Ann. H. Lebesgue 2021), but we present a new simpler proof (Ann. H. Poincaré
    2023). We also discuss the essential self-adjointness for the asymptotically static spacetime, which is Cauchy compact (Comm. Math. Phys. 2023). These results are joint work with Kouichi Taira (Ritsumeikan University).
  • Le 19 mars 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Rocco Mora CISPA
    A new approach based on quadratic forms to attack the McEliece cryptosystem
    In this talk, I will present a novel algebraic approach for attacking the McEliece cryptosystem which is currently at the 4-th round of the NIST post-quantum standardization process. The contributions are twofold.
    (1) A new distinguisher on alternant and Goppa codes working in a much broader range of parameters than previous distinguishers is introduced and its complexity analysed;
    (2) With this approach, a polynomial-time key recovery attack on alternant and Goppa codes of high-rate and under some conditions on their field size and degree is also provided.
  • Le 20 mars 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    HAYANI Mounir IMB
    Prime Number Races

    Chebyshev's bias is the phenomenon stating that the number of prime numbers $p \leq x$ that are congruent to a non-square $a \mod q$, denoted $\pi(x;q,a)$, has strong tendency for these to to be larger than those congruent to a square $b \mod q$, $\pi(x;q,b)$. This bias was quantitatively proven by Rubinstein and Sarnak, in 1994, under some hypotheses, including the Generalized Riemann Hypothesis. In our talk, we will explore their results and extend the discussion to the equivalent concept of Chebyshev's bias in Number Fields.


  • Le 21 mars 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces.
    Laura Girometti et Léo Portales Université de Bologne et de Toulouse
    Deux exposés
    Title Léo : Convergence of the iterates of Lloyd's algorithm
    Summary : The finding of a discrete measure that approaches a target density, called quantization, is an important aspect of machine learning and is usually done using Lloyd’s algorithm; a continuous counterpart to the K-means algorithm. We have studied two variants of this algorithm: one where we specify the former measure to be uniform (uniform quantization) and one where the weights associated to each point is adjusted to fit the target density (optimal quantization). In either case it is not yet known in the literature whether the iterates of these algorithms converge simply. We proved so with the assumption that the target density is analytic and restricted to a semi algebraic compact and convex set. We do so using tools from o-minimal geometry as well as the Kurdyka-Lojasiewicz inequality. We also proved along the way the definability in an o-minimal structure of functions of the form Y := (y1, ..., yN ) → D(\mu,1/N sum_{i=1}^N \delta_{y_i}) for the following divergences D: the general Wp Wasserstein distance, the max-sliced Wasserstein distance and the entropic regularized Wasserstein distance.

    Title Laura : Quaternary Image Decomposition
    Summary : Decomposing an image into meaningful components is a challenging inverse problem in image processing and has been widely applied to cartooning, texture removal, denoising, soft shadow/spotlight removal, detail enhancement etc. All the valuable contributions to this problem rely on a variational-based formulation where the intrinsic difficulty comes from the numerical intractability of the considered norms, from the tuning of the numerous model parameters, and, overall, from the complexity of extracting noise from a textured image, given the strong similarity between these two components. In this talk, I will present a two-stage variational model for the additive decomposition of images into piecewise constant, smooth, textured and white noise components, focusing on the regularization parameter selection and presenting numerical results of decomposition of textured images corrupted by several kinds of additive white noises.
  • Le 21 mars 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Online
    Emmanuel Hebrard LAAS-CNRS-Toulouse
    An Efficient Constraint Programming Approach to Preemptive Job Shop Scheduling
    Constraint Programming (CP) has been widely, and very successfully, applied to scheduling problems. However, the focus has been on uninterruptible tasks, and preemptive scheduling problems are typically harder for existing constraint solvers. Indeed, one usually needs to represent all potential task interruptions thus introducing many variables and symmetrical or dominated choices.
    I will talk about CP approaches to both non-preemptive and preemptive job shop scheduling, and then I will show how methods for the former can be applied with very little change to the latter. The resulting approach does not require an explicit model of task interruptions and as a result significantly outperforms state-of-the-art dedicated approaches in our experimental results.
  • Le 21 mars 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Michael Hartz Saarland
    von Neumann's inequality on the polydisc
    The classical von Neumann inequality shows that for any contraction T on a Hilbert space, the operator norm of $p(T)$ satisfies
    $ \|p(T)\| \le \sup_{|z| \le 1} |p(z)|. $
    Whereas Ando extended this inequality to pairs of commuting contractions, the corresponding statement for triples of commuting contractions is false.
    However, it is still not known whether von Neumann's inequality for triples of commuting contractions holds up to a constant. I will talk about this question and about function theoretic upper bounds for $\|p(T)\|$.
  • Le 21 mars 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Mathieu Rigal IMB
    [Séminaire CSM] Boundary conditions for the Boussinesq-Abbott model with varying bottom
    In the littoral area, mechanisms behind the formation of extreme waves remain poorly understood despite their great socio-economic impact. In order to model these phenomena, it is especially important to take into account nonlinear and dispersive effects, which makes the Boussinesq-Abbott model a pertinent choice. However the presence of high order derivatives impedes the good handling of boundary conditions, which is crucial if one wishes to generate and evacuate waves from the computational domain. In order to raise this difficulty, an equivalent reformulation of this model has recently been proposed in the literature for the case of a flat bottom. This rewriting consists to get rid of the dispersive operator in exchange of a nonlocal flux and a dispersive boundary layer, and allows to efficiently prescribe the elevation of the free surface at the borders of the domain.
    The goal of this work is to extend this approach to the case of a varying bottom, while allowing to enforce more general boundary conditions. Once the nonlocal formulation of the model is established, numerical schemes of order 1 and 2 are proposed and validated through numerical experiments. The impact of different boundary conditions on the solutions is also investigated.
  • Le 22 mars 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Suzanne Schlich (Grenoble)
    Représentations de Bowditch et primitives-stables dans les espaces hyperboliques
    Dans cet exposé, on va introduire les représentations de Bowditch du groupe libre de rang deux (introduites par Bowditch en 1998) ainsi que les représentations primitives-stables (introduites par Minsky en 2010) à valeurs dans les groupes d'isométries d'espaces Gromov-hyperboliques. Minsky a initialement introduit les représentations primitives-stables dans PSL(2,C) afin de construire un domaine ouvert de discontinuité de la variété des caractères. Nous discuterons l'équivalence entre les représentations de Bowditch et les primitives-stables. Nous introduirons également les représentations simples-stables d'un groupe de surface et donnerons un résultat similaire dans le cas de la sphère à quatre trous.
  • Le 22 mars 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Cédric Pilatte (Oxford University)
    Bornes améliorées pour les corrélations logarithmique de fonctions multiplicatives
    La fonction de Liouville $\lambda(n)$ est définie comme étant égale à $+1$ si $n$ est un produit d'un nombre pair de nombres premiers, et à $-1$ dans le cas contraire. Le comportement statistique de $\lambda$ est étroitement lié à la distribution des nombres premiers. À bien des égards, la fonction de Liouville est supposée se comporter comme une séquence aléatoire de $+1$ et de $-1$. Par exemple, la conjecture de Chowla (binaire) prédit que la moyenne de $\lambda(n)\lambda(n+1)$ pour $n < x$ tend vers zéro lorsque $x$ tend vers l'infini. Dans cet exposé, je discuterai des bornes quantitatives pour une version logarithmique de ce problème.
  • Le 25 mars 2024 à 09:30
  • Soutenances
    Salle Ada Lovelace - Inria
    Narimane GASSA
    Titre de la thèse : "Méthodes numériques pour la résolution de problèmes cliniques en électrophysiologie cardiaque". Directeur de thèse : Nejim Zemzemi. Co-Directeur : Yves Coudière

  • Le 25 mars 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Michel Bonnefont IMB
    Couplages stochastiques et décroissance de la distance en variation totale pour la loi de mouvements Browniens sous elliptiques sur le groupe de Heisenberg et les groupes de Carnot.
    Partie 2

    Travail en commun avec Marc Arnaudon, Magalie Bénéfice et Delphine Féral.
  • Le 26 mars 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférence
    Samuel Tréton U. Rouen
    Bridging Bulk and Surface: An Interacting Particle System Journey towards the Field-Road Diffusion Model
    This presentation explores the field-road diffusion model developed in 2012 by Berestycki, Roquejoffre, and Rossi. This parabolic system aims to capture the significant dispersal effects induced by lines of fast diffusion, with wide-ranging applications in population dynamics, ecology, and epidemiology. Initially, we will introduce the model, emphasizing its ability to simulate accelerated spread phenomena. Subsequently, we will discuss the derivation of its governing equations from an interacting particle system, thus providing a stochastic foundation for the deterministic model. Lastly, we will concentrate on the explicit determination of the fundamental solution to the macroscopic model, achieved through the application of a double integral transform, namely Fourier and Laplace. This analytical framework offers clear insights into the model's dynamics and sets the stage for exploring non-linear issues such as "persistence vs. extinction" phenomena in the presence of reaction terms with the so-called Allee effect
  • Le 26 mars 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Bastien Pacifico LIRMM
    From Chudnovsky-type algorithms to locally recoverable codes
    Chudnovsky's method makes it possible to construct multiplication algorithms in finite fields with good bilinear complexity, i.e. a small number of bilinear multiplications in the base field. However, their total complexity and the difficulty of efficiently constructing these algorithms are unfavorable.

    Historically, these are evaluation/interpolation algorithms using rational points of algebraic curves/rational places of function fields. Using asymptotically optimal towers, the existence of algorithms with bilinear complexity that is linear in the degree of extension has been proven. But these algorithms are not constructible in polynomial time.
    Another approach is a recursive construction using places of increasing degrees. It provides algorithms with a quasi-linear bilinear complexity, but constructible in polynomial time.

    We will introduce a hybrid construction, taking the best of both strategies to obtain algorithms with linear bilinear complexity that can be constructed in polynomial time.

    Secondly, we will see that some locally recoverable codes, where the recovery of a corrupted symbol is possible using a small amount of other symbols, appear naturally in the recursive construction of Chudnovsky-type algorithms. We will define and study these codes.
  • Le 28 mars 2024 à 09:00 au 29 mars 2024 à 13:00
  • Manifestations Scientifiques
    Salle de conférences
    Organisateurs : Denis Benois - Mladen Dimitrov
    Modular varieties and L-functions : in memoriam Jan Nekovář

  • Le 28 mars 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Romain Guillaume IRIT\, Universite Toulouse - Jean Jaures
    Décision séquentielle sous incertitude
    L’incertitude est inhérente au problème de décision. Dans de nombreux contextes de conception de système de production : conception d’ateliers de fabrication additive, de chaînes logistiques inverses et de planification minière, de chaines d’assemblages aéronautiques, les décisions ne sont pas toutes prisent simultanément mais de façon séquentielle dépendant de la situation dans laquelle on se trouve et du niveau de connaissance. La connaissance sur les mondes possibles peut être plus ou moins précise. En fonction de ce degré de connaissance, différentes théories comme celles des probabilités, des fonctions de croyance, des possibilités peuvent être utilisées. L’aspect séquentielle des décisions complexifie l’adoption d’une stratégie optimale. Dans cette exposé, je présenterai dans une première partie les spécificités de la décision séquentielle sous incertitude, puis proposerai des nouveaux critères qui permettent de prendre en compte le comportement fasse a l'incertitude du décideur dans le cas d’incertitude totale et incertitude possibiliste. Une deuxième partie présentera deux théorèmes d’impossibilité permettant de mieux comprendre les difficultés de la décision séquentielle sous incertitude avec des fonctions de croyance. Et le premier critère satisfaisant les propriétés de la décision séquentielle avec fonction de croyance sera présenté.
  • Le 28 mars 2024 à 14:00
  • Séminaire d'Analyse
    Salle 285
    Eduardo Garibaldi Unicamp (Brazil)
    Vers une version du théorème de Contreras pour les shifts markoviens sur des alphabets dénombrables
    Le théorème de Contreras établit, pour une dynamique expansive sur un espace métrique compact, la
    généricité des potentiels lipschitziens qui admettent une seule probabilité de maximisation périodique.
    En collaboration avec J. T. A. Gomes (UFRB), dans le contexte de shifts markoviens sur des alphabets
    dénombrables, nous avons obtenu un résultat indiquant une densité de potentiels lipschitziens avec une
    seule probabilité de maximisation périodique. Ce résultat repose sur la garantie de l'existence d'une
    sous-action lipschitzienne, une nouveauté pour la classe globale des potentiels considérés.
  • Le 29 mars 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Xavier Roulleau (Angers)
    Courbes modulaires $X_1(n)$ et surfaces elliptiques modulaires, théorie des matroïdes et applications
    Les matroïdes sont des objets de nature combinatoire, qui peuvent par exemple encoder les incidences d'arrangements de droites ou de points du plan.
    Les courbes elliptiques modulaires $X_1(n)$ paramètrent à isomorphisme près les paires (E,t) où E est une courbe elliptique et t un point de torsion d'ordre $n$. La surfaces elliptique modulaire au dessus de $X_1(n)$ est une surface munie d'une fibration dans $X_1(n)$ dont la fibre au-dessus du point (E,t) est (isomorphe à) la courbe E.
    Les courbes $X_1(n)$ sont biens connues, elles s'obtiennent par uniformisation complexe : $X_1(n)$ est quotient du demi plan par l'action d'un groupe de congruence, $\Gamma_1(n)$. Les surfaces elliptiques modulaires ont été construites par Shioda, également par uniformisation complexe.
    Dans cet exposé j'expliquerai comment il est aussi possible d'obtenir à l'aide de la théorie des matroïdes un modèle entier des courbes $X_1(n)$ et des surfaces elliptiques modulaires.
    Pour $n$ petit, cette construction permet d'obtenir les relations polynomiales explicites entre formes modulaires de poids 1 sur le groupe $\Gamma_1(n)$.
    Travaux en partie en collaboration avec Lukas Kühne et avec Lev Borisov.
  • Le 29 mars 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Thomas Buchet (Université Côte d'Azur)
    Courbes de genre 4 : invariants et reconstruction
    Dans cet exposé, nous allons introduire des invariants algébriques pour les courbes non-hyperelliptiques de genre 4, qui caractérisent les classes d'isomorphismes de ces courbes (sur un corps algébriquement clos de caractéristique nulle). Ces invariants sont définis à l'aide d'opérateurs différentiels et rendent leur calcul très effectif. Il est donc facile de vérifier si, géométriquement, deux courbes sont dans la même classe d'isomorphisme.
    L'étude des classes d'isomorphismes des courbes non-hyperelliptiques de genre 4 se ramène à l'étude de certaines algèbres de polynômes sous l'action de groupes linéairement réductifs. Cela conduit à la recherche d'un système générateur de fonctions invariantes par ces actions, qui nous fournit ces fameux invariants algébriques. Après avoir introduit quelques outils de théorie classique des invariants qui nous ont permis de résoudre ce problème, nous donnerons les idées des preuves des principaux résultats.
    Enfin, nous expliciterons un algorithme qui, donné une liste d'invariants, reconstruit une courbe non-hyperelliptique de genre 4 qui possède ces invariants.
    Cet algorithme généralise celui de Mestre pour les formes binaires, et il fonctionne dans un cadre plus général que celui de l'exposé.
  • Le 2 avril 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences + zoom (BBT in Bordeaux)
    San Vu-Ngoc IRMAR
    Microlocal analysis of strong magnetic fields, from magnetic bottles to edge states
    I will talk about recent work with Rayan Fahs, Loïc Le Treust, Léo Morin, and Nicolas Raymond.
    It concerns the spectral study of purely magnetic Schrödinger operators in dimension 2, in the limit of large fields, which is transformed into a semiclassical limit.
    A precise geometric and microlocal analysis (of "normal forms" ) gives a very useful heuristic to reduce the problem to an effective 1D operator.
    I will present the case of the confinement of classical and quantum particles by a variable magnetic field, as well as more recent work on the appearance of edge states on bounded domains in the plane, with constant magnetic field.
    In both cases we obtain spectral asymptotics with 2 or more terms, for Weyl formulas but also for the precise individual descriptions of a large number of eigenvalues, and their relation with the Landau levels.
  • Le 2 avril 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Dmitrii Koshelev supported by Ethereum Foundation
    Generation of "independent" points on elliptic curves by means of Mordell-Weil lattices
    This talk is devoted to a novel method of generating "independent" points on an ordinary elliptic curve over a finite field of large characteristic. Such points are actively used, e.g., in the Pedersen vector commitment scheme and its modifications. The conventional generation consists in sampling points successively via a hash function to the elliptic curve. The new generation method equally satisfies the NUMS (Nothing Up My Sleeve) principle, but it works faster on average. In other words, instead of finding each point separately, it is suggested to sample several points at once with a non-small success probability. This means that in practice the new method finishes in polynomial time, unless one is mysteriously unlucky. More precisely, some explicit formulas participate in deriving up to four "independent" points on any curve of j-invariant 0. Such curves are known to be very popular in elliptic curve cryptography.
  • Le 2 avril 2024 à 13:30
  • Direction
    Salle 285
    Conseil de laboratoire du 2 avril 2024 à 13h30 en salle 285
    L'ordre du jour sera le suivant :
    1) Approbation du compte rendu du conseil du 6 février (vote)
    2) Informations générales
    3) Politique de l'IMB concernant les reliquats ADERA (vote)
    4) Présentation des résultats du questionnaire "Missions"
    5) Questions diverses
  • Le 3 avril 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    GIROMETTI Laura Université de Bologne
    Image decomposition: from modeling to parameter selection

    Decomposing an image into meaningful components is a challenging inverse problem in image processing and has been widely applied to cartooning, texture removal, denoising, soft shadow/spotlight removal, detail enhancement etc. In this talk, I will review the different approaches and models proposed during the years to tackle this problem, focusing on the crucial role played by parameter selection. Then, I will present a two-stage variational model for the additive decomposition of images into piecewise constant, smooth, textured and white noise components and show numerical results of decomposition of textured images corrupted by several kinds of additive white noises.


  • Le 4 avril 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    José Angel Pelaez\, Malaga
    Composition of analytic paraproducts and the radicality property for spaces of symbols of bounded integral operators
    Cf pdf.
  • Le 4 avril 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Lorenzo Audibert (EDF)
    [Séminaire CSM] An unexpected role of transmission eigenvalues in imaging algorithms
    Transmission eigenvalues are frequencies. Appearing naturally in the study of inverse scattering problems for inhomogeneous media, the associated spectral problem has a deceptively simple formulation but presents a puzzling mathematical structure, in particular it is a non self-adjoint-eigenvalue problem. It triggered a rich literature with a variety of theoretical results on the structure of the spectrum and also on applications for uniqueness results.
    For inverse shape problems, these special frequencies were first considered as bad values, for some imaging algorithms, e.g., sampling methods, as they are associated with non injectivity of the measurement operator. It later turned out that transmission eigenvalues can be used in the design of an imaging algorithm capable of revealing density of cracks in highly fractured domains, thus exceeding the capabilities of traditional approaches to address this problem. This new imaging concept has been further developed to produce average properties of highly heterogeneous scattering media at a fixed frequency, not necessarily a transmission eigenvalue, by encoding a special spectral parameter in the background that acts as transmission eigenvalues.
    While targeting this unexpected additional value of transmission eigenvalues in imaging algorithms, the talk will also provide an opportunity to highlight some key results and open problems related to this active research area.
    This is a joint work with Houssem Haddar, Fioralba Cakoni, Lucas Chesnel, Kevish Napal and Fabien Pourre.
  • Le 5 avril 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Alix Deruelle (Orsay)
    Autour de la conjecture d'Hamilton-Lott en dimensions supérieures
    La conjecture d’Hamilton-Lott porte sur la rigidité des métriques riemanniennes dites Ricci-pincées en dimension 3. Nous expliquerons comment le flot de Ricci permet de résoudre cette conjecture en démontrant un résultat de structure des solutions démarrant d'un cône métrique a priori non lisse. On verra que toutes ces solutions se comportent essentiellement comme des points fixes du flot, appelés également solutions auto-similaires. Cela donne une nouvelle preuve de cette conjecture en dimension 3 et permet de l'étendre en dimensions plus grandes dans un cadre non-effondré. Ce travail est le fruit d’une collaboration avec Felix Schulze et Miles Simon.
  • Le 5 avril 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Liana Heuberger (University of Bath)
    Construction des variétés de Fano
    L'inversion de Laurent est un algorithme pour construir des déformations qui sont au centre de la symétrie miroir des variétés de Fano. Le but de cette construction c'est de trouver une variété de Fano peu singulière à partir d'un certain polynôme de Laurent $f$. Je présenterai mes progrès dans le cas $ 3 $-dimensionnel.
    Soit $f$ un polynôme de Laurent dont le support est un polytope $P$, auquel on associe un variété de Fano torique $X_P$. Dans le cas le plus général, l'inversion de Laurent construit un plongement de $X_P$ dans une variété torique ambiente $Y$. Si en plus $X_P$ est une intersection complète donnée par des fibrés en droites sur $Y$, alors une section générale de ces fibrés est une variété de Fano $X$ dont une dégénéresence torique est $X_P$. La difficulté est donc d'en trouver un tel $Y$ permettant que $X$ soit le plus lisse que possible.
  • Le 8 avril 2024 à 08:00 au 10 avril 2024 à 18:00
  • Séminaire d'Analyse
    Bordeaux
    Conférence "Harmonic analysis, Operator and function theory, and their applications"

  • Le 8 avril 2024 à 13:30 au 10 avril 2024 à 12:00
  • Manifestations Scientifiques
    Salle de conférences
    Organisateurs : B. Haak- A. Hartmann - K. Kellay - S. Kupin - E. Strouse
    Harmonic analysis, Operator and function theory, and their applications - Conference in memoriam of Jean Esterle.

  • Le 9 avril 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Pas de séminaire (workshop EDP au BCAM)

  • Le 9 avril 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Simona Etinski CWI
    Asymptotics and Improvements of Sieving for Codes
    In this talk, I am going to present a joint work with Léo Ducas, Andre Esser, and Elena Kirshanova on sieving for codes. In this work, we provide an asymptotic analysis of the sieving for codes originally introduced in the paper by Guo, Johansson, and Nguyen (Eprint’23), after which we rely on a well-established lattice-based NNS machinery, known as Locality Sensitive Hashing and Filtering (LSH/F), to obtain a more systematic analysis of the sieving for codes. We thus introduce a baseline for the sieving approach for codes with a decoding complexity of 2^0.117n for the conventional worst parameters (full distance decoding, where complexity is maximized over all code rates). Our cumulative improvements eventually enable us to lower the hardest parameter decoding complexity for SievingISD algorithms to 2^0.101n. This approach outperforms the BJMM algorithm (Eurocrypt’12) but falls behind the most advanced conventional ISD approach by Both and May (PQCrypto’18). As in the case of lattices, we found that the Random-Spherical-Code-Product (RPC) gives the best asymptotic complexity. Moreover, we consider an alternative that seems specific to the Hamming Sphere, which we believe could be of practical interest as it plausibly hides less sub-exponential overheads than RPC. For more details, refer to the full version of the paper given at https://eprint.iacr.org/2023/1577.
  • Le 11 avril 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    salle de conférence
    François Chapon Université of Toulouse
    Spectres de matrices de Toeplitz à bande déformées
    Les matrices de Toeplitz sont des matrices non-normales, dont l'analyse spectrale en grande dimension est bien comprise. Le spectre de ces matrices est en particulier très sensible à de petites perturbations. On s'intéressera dans cet exposé aux matrices de Toeplitz à bande, dont le symbole est donné par un polynôme de Laurent, et perturbées par une matrice aléatoire. Le but est de décrire les valeurs propres hors du support de la mesure limite de la perturbation quand la dimension tend vers l'infini, appelées "outliers", et qui apparaissent en fonction de l'indice de la courbe du plan complexe déterminée par le symbole. Travail en cours et en collaboration avec Mireille Capitaine et Charles Bordenave.
  • Le 11 avril 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2
    Junkai He Télécom SudParis
    Maintenance Optimization for Complex Manufacturing Systems Using Stochastic Remaining Useful Life Prognostics
    We leverage Remaining Useful Life (RUL) prognostic information for preventive maintenance planning in complex manufacturing factories. Such a factory consists of multiple complex systems that use redundant components as backups to ensure system availability. The purpose is to minimize production fluctuations in the factory due to maintenance or system breakdown. To achieve this, we propose Mixed-Integer Linear Programming (MILP) models to minimize the overall production loss. Furthermore, we incorporate random RUL decrease rates according to reliability theory and extend the MILP model using chance-constrained programming. A novel approximation method for dealing with chance constraints is proposed and approximation properties are analyzed. Computational results demonstrate the efficacy of the proposed methods in maintenance planning under different levels of uncertainty.
  • Le 11 avril 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Alexandru Aleman Lund
    Invariant subspaces of generalized differentiation and Volterra operators.
    Cf pdf.
  • Le 11 avril 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Christian Klingenberg Université de Wurzburg
    The universe in a computer
    We will talk about our contribution to a large project with the goal of a self-consistent numerical simulation of the evolution of the universe beginning soon after the Big Bang and ending with the formation of realistic stellar systems like the Milky Way. This is a multi-scale problem of vast proportions. It requires the development of new numerical methods that excel in accuracy, parallel scalability to the processes relevant in galaxy formation. These numerical methods themselves require the development of mathematical theory in order to guarantee the above mentioned requirements. This is joint work among others with Volker Springel.
  • Le 12 avril 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Mehdi Badsi (Université de Nantes)
    Stabilité linéaire pour la gaine ionique cinétique en domaine borné

  • Le 12 avril 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Lilia Mehidi (Grenade Espagne)
    Quotients standards des espaces homogènes : cas des plane waves
    Il est bien connu, depuis le phénomène de Calabi et Markus par exemple, qu’un espace homogène $X=G/H$ d’un groupe de Lie $G$ n’admet pas toujours de variété compacte modelée sur lui (i.e. possédant une $(G,X)$-structure). Lorsque la structure est complète, une telle variété s’identifie à un quotient compact de l’espace homogène. Un quotient compact d’un espace homogène est dit standard si l’action du groupe fondamental $\Gamma$ s’étend en une action simple et transitive d’un sous-groupe de Lie connexe $L$ de $G$ (contenant $\Gamma$ comme réseau). C’est le cas pour certaines géométries affines plates. Ainsi, un résultat classique de Goldman, Fried et Kamishima montre qu’un quotient compact de l’espace de Minkowski (qui s’identifie à l’espace homogène ${\rm O}(n,1) \ltimes \mathbb{R}^{n+1}$ / ${\rm O}(n,1)$) est standard, généralisant le théorème de Bieberbach riemannien à la signature lorentzienne. Il s’avère que la recherche de quotients standards est un problème plus facile lors de l’étude de l’existence de quotients compacts d’espaces homogènes. Je discuterai le cas de certaines variétés lorentziennes homogènes, dites plane waves, qui peuvent être vues comme des déformations et des généralisations de l’espace de Minkowski. C’est un travail en commun avec M. Hanounah, I. Kath et A. Zeghib.
  • Le 12 avril 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Julia Schneider (University of Zürich)
    Le groupe de Cremona sur les corps imparfaits
    Le groupe de Cremona (du plan) sur un corps K est le groupe des transformations birationnelles du plan projectif définies sur K. Leur structure de groupe dépend du corps K. Si K est algébriquement clos l'étude de ces groupes est classique. Au cours des dernières années plusieurs résultats ont été obtenus spécifiquement pour des corps parfaits, utilisant le programme de Sarkisov où les surfaces del Pezzo de petit rang de Picard jouent un rôle clé. Dans cet exposé je vais expliquer comment passer des corps parfaits à des corps imparfaits, et présenter les progrès réalisés dans un travail en commun avec Fabio Bernasconi, Andrea Fanelli et Susanna Zimmermann.
  • Le 16 avril 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Relâche

  • Le 16 avril 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Fabrice Etienne IMB
    Computing Class Groups With an Inductive Algorithm
    In this talk, first, I will present a method by Biasse, Fieker, Hoffman and Page to compute the class group of some number fields inductively. This method uses the properties of norm relations, which are some relations in R[G] where R is a commutative ring and G a finite group. Then, I will discuss about how we can generalise the notion of norm relations and use this new kind of relations to obtain a similar method for computing class groups, that is more effective than the previous one.
  • Le 16 avril 2024 à 13:30
  • Direction
    Salle 285
    Le conseil scientifique se réunira le mardi 16 avril à 13h30 en salle 285

    L'ordre du jour sera le suivant :


    1. Approbation du compte rendu de la réunion du conseil scientifique du 20 février (vote)


    2. Exposé scientifique de Raphaël Loubère (CSM) : "Chaire PROVE et équipe projet MONADE"


    3. Examen de demandes d'ADT/HDR


    4. Informations de la direction


    5. Questions diverses.


  • Le 17 avril 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    DELANDE Loïs Institut de Mathématiques de Bordeaux
    A Snowflake of dimension 1.26... ??

    In this talk we are going to explore some parts of the concept of fractal! What are they? How can they possibly have a non-integer dimension? Is this useful? (of course not) The tools we will use come from undergraduate-level measure theory, and a bit of topology. Stay until the end and you will be able to enjoy some nice pictures o:


  • Le 18 avril 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférences
    Pierre-Loïc Méliot Paris-Saclay
    Ellis-Gärtner au second ordre pour des statistiques de tableaux et partitions aléatoires.
    Si (X_n) est une suite de variables aléatoires réelles, le théorème d'Ellis-Gärtner assure que les logarithmes des probabilités de grandes déviations log P[X_n > n x] sont reliées à l'asymptotique de la log-laplace renormalisée h -> (log E[e^{h X_n}])/n. Dans cet exposé, on expliquera à quelles conditions on peut enlever les logarithmes et obtenir un équivalent des probabilités P[X_n > n x]. Plus précisément, si

    log E[e^{z X_n}] = n Lambda(z) + Psi(z) + o(1)

    localement uniformément sur le plan complexe, alors une condition simple sur la partie réelle de la fonction Lambda(z) permet d'écrire un équivalent des probabilités de grandes déviations (sans logarithme). Ces techniques s'adaptent en particulier à des modèles mettant en jeu des partitions aléatoires ou des tableaux de Young standards aléatoires ; nous détaillerons dans ce cas les résultats obtenus et quelques techniques de preuve générales.
  • Le 18 avril 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Y. Tang U. Paris Eiffel
    Principe d’incertitude d’Heisenberg et ses analogues, par la méthode de Wigderson.

    Cf. https://plmbox.math.cnrs.fr/f/136ed3186ea241e8b980/


  • Le 19 avril 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Florence Fauquant-Millet (Saint-Etienne)
    Sections de Weierstrass pour certaines contractions de Inönü-Wigner

    En théorie des invariants, on est parfois amené à s'intéresser à la polynomialité de l'algèbre des invariants ${\mathbb C}[V]^G$ des fonctions polynomiales sur un espace vectoriel complexe $V$ de dimension finie, par l'action d'un groupe linéaire algébrique $G$.Par exemple si $G$ est connexe, semi-simple agissant par l'action adjointe (ou coadjointe) sur son algèbre de Lie $V=g$ (isomorphe à son dual), un théorème célèbre de Chevalley permet de conclure que l'algèbre des invariants ${\mathbb C}[V]^G$ est une algèbre de polynômes. D'autre part, un théorème de Kostant permet d'établir un isomorphisme d'algèbres entre ${\mathbb C}[g]^G$ et l'algèbre des fonctions polynomiales sur une "tranche de Kostant", par restriction des fonctions à cette tranche : cela donne ce que l'on peut nommer aussi une "section de Weierstrass" pour ${\mathbb C}[g]^G$.Je passerai d'abord en revue quelques exemples ou contre-exemples de polynomialité de certaines algèbres d'invariants obtenues en faisant agir $G$ sur le dual de son algèbre de Lie par l'action coadjointe, et donnerai quelques exemples de sections de Weierstrass obtenues dans le cas de certaines sous-algèbres paraboliques.Je définirai ensuite la contraction d'Inönü-Wigner d'une sous-algèbre parabolique $p$ d'une algèbre de Lie simple, que l'on peut voir comme une certaine dégénérescence de $p$.En m'appuyant sur des techniques employées pour les sous-algèbres paraboliques, je tenterai d'expliquer comment on peut obtenir des (semi)-invariants pour le cas où $V$ est le dual de la contraction d'Inönü-Wigner d'une sous-algèbre parabolique sur lequel agit le groupe adjoint de la contraction.En particulier, pour les contractions d'Inönü-Wigner de certaines sous-algèbres paraboliques maximales (notamment en type B), je donnerai des sections de Weierstrass pour les algèbres de semi-invariants correspondantes, ce qui prouvera en particulier la polynomialité de ces algèbres de semi-invariants.Ceci est un travail en cours, dont une partie se trouve sur arXiv :

    https://arxiv.org/abs/2310.06761


  • Le 19 avril 2024 à 11:00
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Lois Delande (Université de Bordeaux)
    Sharp spectral gap for degenerated Witten Laplacian

    In this talk I am interested in formulas describing the low-lying eigenvalues of the Witten Laplacian $\Delta_V = -h^2\Delta + | V^{\prime} |^2 - h V^{\prime \prime}$. The case where $V$ is a Morse function has been largely studied and here I try to obtain similar results when $V$ has some degeneracy. In the end of the presentation I will also give an example of new behaviors that were not observed in the Morse case.


  • Le 19 avril 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Xenia Dimitrakopoulou (University of Warwick)
    Anticyclotomic $p$-adic $L$-functions for families of $U_n \times U_{n+1}$
    I will report on recent work on the construction of anticyclotomic $p$-adic $L$-functions for Rankin-Selberg products. I will explain how by $p$-adically interpolating the branching law for the spherical pair $\left(U_n, U_n \times U_{n+1}\right)$, we can construct a $p$-adic $L$-function attached to cohomological automorphic representations of $U_n \times U_{n+1}$. Due to the recent proof of the unitary Gan-Gross-Prasad conjecture, this $p$-adic $L$-function interpolates the square root of all critical $L$-values, including anticyclotomic variation. Time allowing, I will explain how we can extend this result to the Coleman family of an automorphic representation.
  • Le 22 avril 2024 à 10:00
  • Soutenances
    Auditorium Energy Center - Torino Italie
    Beatrice BATTISTI
    Titre de la thèse : "Modélisation multi-échelle et multi-fidélité pour des extracteurs d'énergie marine". Directeur de thèse : Michel Bergmann. Codirecteur : Giovanni Bracco

  • Le 23 avril 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Pas de séminaire

  • Le 24 avril 2024 à 10:00
  • Soutenances
    Salle de conférences
    Tommaso TADDEI présentera son exposé en vue de son Habilitation à Diriger des Recherches
    Titre des travaux : "Contributions à la réduction de modèle pour des problèmes paramétriques et méchanique

  • Le 25 avril 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Maud Biquard ISAE-SUPAERO and CNES
    Variational Bayes image restoration with (compressive) autoencoders
    Regularization of inverse problems is of paramount importance in computational imaging. The ability of neural networks to learn efficient image representations has been recently exploited to design powerful data-driven regularizers. While state-of-the-art plug-and-play methods rely on an implicit regularization provided by neural denoisers, alternative Bayesian approaches consider Maximum A Posteriori (MAP) estimation in the latent space of a generative model, thus with an explicit regularization. However, state-of-the-art deep generative models require a huge amount of training data compared to denoisers. Besides, their complexity hampers the optimization involved in latent MAP derivation. In this work, we first propose to use compressive autoencoders instead. These networks, which can be seen as variational autoencoders with a flexible latent prior, are smaller and easier to train than state-of-the-art generative models. As a second contribution, we introduce the Variational Bayes Latent Estimation (VBLE) algorithm, which performs latent estimation within the framework of variational inference. Thanks to a simple yet efficient parameterization of the variational posterior, VBLE allows for fast and easy (approximate) posterior sampling. Experimental results on image datasets BSD and FFHQ demonstrate that VBLE reaches similar performance than state-of-the-art plug-and-play methods, while being able to quantify uncertainties faster than other existing posterior sampling techniques.
  • Le 25 avril 2024 à 14:00
  • Soutenances
    Salle de conférences
    Eki AGOUZAL
    Titre de la thèse : "Réduction de modèles en mécanique non-linéaire quasi-statique pour l’estimation de l’état par recalage en assimilation de données : application aux enceintes de confinement". Directeur de thèse : Michel Bergmann. Codirecteur : Tommaso Taddei

  • Le 26 avril 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Vacances

  • Le 29 avril 2024
  • Soutenances
    Salle ada Lovelace - Inria
    Tara VANHATALO
    Titre de la thèse : "Simulation en temps réel d'effets audio non-linéaires par intelligence artificielle". Directeur de thèse : Myriam de Sainte Catherine. Codirecteur : Pierrick Legrand.

  • Le 30 avril 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Pas de séminaire


  • Le 30 avril 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Lars Ran Radboud University
    Analysing multi-graded polynomial systems; a step towards more precise security estimations

    Generally, polynomial systems that arise in algebraic cryptanalysis have extra structure compared to generic systems, which comes from the algebraic modelling of the cryptographic scheme. Sometimes, part of this extra structure can be caught with polynomial rings with non-standard grading. For example, in the Kipnis-Shamir modelling of MinRank one considers the system over a bi-graded polynomial ring instead. This allows for better approximations of the solving degree of such systems when using Gröbner basis algorithms.

    In this talk, I will present ongoing work in which this idea is extended to multi-graded polynomial rings. Furthermore, I will show how we can use this grading to tailor existing algorithms to use this structure and speed up computation. 


  • Le 2 mai 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférences
    Jérôme Bolte Université de Toulouse 1
    Nonsmooth differentiation of algorithms and solution maps
    The recent surge in algorithmic differentiation through the massive use of TensorFlow and PyTorch "autodiff" has democratized "computerized differentiation" for a broad spectrum of applications and solvers. Motivated by the challenges of nonsmoothness (such as thresholding, constraints, and ReLU) and the need to adjust parameters in various contexts directly via these solvers, we have devised tools for nonsmooth differentiation compatible with autodiff. We have in particular developed a nonsmooth implicit function calculus, aiming to provide robust guarantees for prevalent differentiation practices. We will discuss applications of these findings through the differentiation of algorithms and equations.
  • Le 2 mai 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Victor Michel-Dansac Inria Strasbourg
    Recent advances on fully well-balanced methods: high-order accuracy, hydrodynamic reconstruction and hybridization with machine learning
    This talk is dedicated to the presentation of several recent papers, all dealing with the development of fully well-balanced (FWB) methods, i.e. numerical methods which exactly (or approximately) preserve the steady solutions of a system of hyperbolic balance laws. In addition, the schemes we describe share another property: they do not require the costly inversion of nonlinear systems.
    Namely, we will present results from https://hal.science/hal-03271103/document, https://hal.science/hal-04083181/document and https://hal.science/hal-04246991/document:
    1/ A high-order FWB scheme obtained by introducing a straightforward correction method, applicable to schemes of order 2 or higher, such as MUSCL-type schemes. This correction ensures exact preservation of steady solutions without the need to invert the underlying nonlinear system. This technique ends up being a way of making any first-order scheme exactly well-balanced, but it relies on a first-order FWB scheme to fall back to.
    2/ To that end, we also present an extension of the well-known hydrostatic reconstruction to preserve steady solutions of the shallow water system with nonzero velocity, without the need for specific numerical fluxes, and without having to solve a nonlinear system.
    3/ Finally, relaxing the constraint on "exact" preservation of the steady solution, we design new discontinuous Galerkin (DG) basis functions able to either exactly or approximately preserve steady solutions. The DG basis is enriched with a prior computed by a Physics-Informed Neural Network (PINN), maintaining the same convergence order but improving the error constant.
  • Le 3 mai 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Vladimiro Benedetti (Nice)
    K-théorie quantique des Grassmanniennes symplectiques
    A partir d'une variété complexe projective X, on peut construire différentes structures algébriques qui encodent des informations variées. Dans cet exposé on s'intéressera aux anneaux de Grothendieck, qui encodent le comportement des faisceaux cohérents sur X. L'anneau de Grothendieck peut être vu comme une généralisation de l'anneau d'intersection en cohomologie; on peut aussi définir un "anneau de Grothendieck quantique", qui est à la fois une déformation de l'anneau de Grothendieck classique et une version plus fine de l'anneau de cohomologie quantique. Pour comprendre la structure de cet anneau, il est nécessaire d'étudier les propriétés de rationalité de l'espace des courbes complexes de genre zéro dans X. Dans cet exposé, je présenterai des techniques qui permettent de calculer l'anneau de Grothendieck quantique d'une classe particulière de variétés homogènes, les Grassmanniennes symplectiques. Il s'agit d'un travail en commun avec Nicolas Perrin et Weihong Xu.
  • Le 3 mai 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Aurore Boitrel (Paris-Saclay)
    Groupes d'automorphismes des surfaces del Pezzo de degré 5

    Les surfaces del Pezzo et leurs groupes d'automorphismes jouent un rôle important dans l'étude des sous-groupes algébriques du groupe de Cremona du plan projectif.

    Sur un corps algébriquement clos, il est classique qu’une surface del Pezzo est soit isomorphe à $\mathbb{P}^{1} \times \mathbb{P}^{1}$ soit à l’éclatement de $\mathbb{P}^{2}$ en au plus $8$ points en position générale, et dans ce cas, les automorphismes des surfaces del Pezzo (de tout degré) ont été décrits. En particulier, il existe une unique classe d'isomorphismes de surfaces del Pezzo de degré $5$ sur un corps algébriquement clos. Dans cet exposé, nous nous intéresserons aux surfaces del Pezzo de degré $5$ définies sur un corps parfait. Dans ce cas, il y a beaucoup de surfaces supplémentaires (comme on peut déjà le voir si le corps de base est le corps des nombres réels), et la classification ainsi que la description du groupe d’automorphismes de ces surfaces sur un corps parfait $\mathbf{k}$ se ramènent à comprendre les actions du groupe de Galois $\operatorname{Gal}(\overline{\mathbf{k}}/\mathbf{k})$ sur le graphe des $(-1)$-courbes.


  • Le 6 mai 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Armand Koenig IMB
    Controllability, coercivity inequalities and Nullstellsensatz - partie 1

    Consider a control system 𝛛t f + Af = Bu. Assume that 𝛱 is

    a projection and that you can control both the systems

     𝛛t f + 𝛱Af = 𝛱Bu,

     𝛛t f + (1-𝛱)Af = (1-𝛱)Bu.

    Can you conclude that the first system itself is controllable ? We

    cannot expect it in general. But in a joint work with Andreas Hartmann,

    we managed to do it for the half-heat equation. It turns out that the

    property we need for our case is:

     If 𝛺 satisfies some cone condition, the set {f+g, f∈L²(𝛺), g∈L²(𝛺),

    f is holomorphic, g is anti-holomorphic} is closed in L²(𝛺).

     

    The first proof by Friedrichs consists of long computations, and is

    very "complex analysis". But a later proof by Shapiro uses quite

    general coercivity estimates proved by Smith, whose proof uses some

    tools from algebra : Hilbert's nullstellensatz and/or primary ideal

    decomposition.


    In this first talk, we will introduce the algebraic tools needed and

    present Smith's coercivity inequalities. In a second talk, we will

    explain how useful these inequalities are to study the control

    properties of the half-heat equation.


  • Le 7 mai 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Toulouse et via zoom
    Radu Ignat Institut de Mathématiques de Toulouse
    Minimality of the vortex solution for Ginzburg-Landau systems

    We consider the standard Ginzburg-Landau system for N-dimensional maps defined in the unit ball for some parameter eps>0. For a boundary data corresponding to a vortex of topological degree one, the aim is to prove the (radial) symmetry of the ground state of the system. We show this conjecture in any dimension N≥7 and for every eps>0, and then, we also prove it in dimension N=4,5,6 provided that the admissible maps are curl-free. This is part of joint works with L. Nguyen, M. Rus, V. Slastikov and A. Zarnescu.

    Lien zoom


  • Le 7 mai 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Félix Huber Labri
    From entanglement detection to trace polynomials

    We will make a tour of related concepts whose motivation lies in

    quantum information theory. We consider the detection of entanglement

    in unitarily-invariant states, a class of positive (but not completely

    positive) multilinear maps, and the construction of tensor polynomial

    identities. The results are established through the use of commutative

    and noncommutative Positivstellensätze and the representation theory of

    the symmetric group.


  • Le 10 mai 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Relâche (pont de l'Ascension)

  • Le 13 mai 2024 à 14:00
  • Soutenances
    Salle de conférences
    Mahdi ZREIK
    Titre de la thèse : "Propriétés spectrales d'opérateurs de Dirac sur certains domaines". Directeur de thèse : Vincent Bruneau. Codirecteur de thèse : Luis Vera Gonzalez

  • Le 13 mai 2024 à 15:30
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 1
    Eitan Tadmor Fondation Sciences Mathematiques de Paris\, LJLL\, Sorbonne University and University of Maryland\, College Park
    Swarm-Based Gradient Descent Method for Non-Convex Optimization

    We discuss a new swarm-based gradient descent (SBGD) method for non-convex optimization. The swarm consists of agents, each is identified with position $x$ and mass $m$. There are three key aspects to the SBGD dynamics: (i) persistent transition of mass from agents at high to lower ground; (ii) a random marching direction, aligned with the steepest gradient descent; and (iii) a time stepping protocol which decreases with $m$.

    The interplay between positions and masses leads to dynamic distinction between `heavier leaders’ near local minima, and `lighter explorers’ which explore for improved position with large(r) time steps. Convergence analysis and numerical simulations demonstrate the effectiveness of SBGD method as a global optimizer. 


  • Le 14 mai 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    David Krejcirik Czech Technical University in Prague
    Is the optimal rectangle a square?

    We give a light talk on optimality of shapes in geometry and physics. First, we recollect classical geometric results that the disk has the largest area (respectively, the smallest perimeter) among all domains of a given perimeter (respectively, area). Second, we recall that the circular drum has the lowest fundamental tone among all drums of a given area or perimeter and reinterpret the result in a quantum-mechanical language of nanostructures. In parallel, we discuss the analogous optimality of square among all rectangles in geometry and physics. As the main body of the talk, we present our recent attempts to prove the same spectral-geometric properties in relativistic quantum mechanics, where the mathematical model is a matrix-differential (Dirac) operator with complex (infinite-mass) boundary conditions. It is frustrating that such an illusively simple and expected result remains unproved and apparently out of the reach of current mathematical tools.


  • Le 14 mai 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Oana Padurariu Max-Planck-Institut für Mathematik Bonn
    Bielliptic Shimura curves $X_0^D(N)$ with nontrivial level
    In this talk, I explain how we work towards completely classifying all bielliptic Shimura curves X_0^D(N) with nontrivial level N, extending a result of Rotger that provided such a classification for level one. This allows us to determine the list of all pairs (D,N) for which X_0^D(N) has infinitely many degree 2 points, up to 3 explicit possible exceptions. This is joint work with Frederick Saia.
  • Le 14 mai 2024 à 14:00
  • Soutenances
    Salle de conférences
    Charu SHARDUL
    Titre de la thèse : "Contrôle stochastique de type champ moyen en horizon infini et approximation numérique des équations différentielles stochastiques rétrogrades en horizon infini". Directeur de thèse : Adrien Richou. Codirecteur : Emmanuel Gobet

  • Le 16 mai 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Bruno Galerne Université d'Orleans
    Scaling Painting Style Transfer

    Neural style transfer (NST) is a deep learning technique that produces an unprecedentedly rich style transfer from a style image to a content image. It is particularly impressive when it comes to transferring style from a painting to an image. NST was originally achieved by solving an optimization problem to match the global statistics of the style image while preserving the local geometric features of the content image. The two main drawbacks of this original approach is that it is computationally expensive and that the resolution of the output images is limited by high GPU memory requirements. Many solutions have been proposed to both accelerate NST and produce images with larger size. However, our investigation shows that these accelerated methods all compromise the quality of the produced images in the context of painting style transfer. Indeed, transferring the style of a painting is a complex task involving features at different scales, from the color palette and compositional style to the fine brushstrokes and texture of the canvas. This paper provides a solution to solve the original global optimization for ultra-high resolution (UHR) images, enabling multiscale NST at unprecedented image sizes. This is achieved by spatially localizing the computation of each forward and backward passes through the VGG network. Extensive qualitative and quantitative comparisons, as well as a user study, show that our method produces style transfer of unmatched quality for such high-resolution painting styles. By a careful comparison, we show that state of the art fast methods are still prone to artifacts, thus suggesting that fast painting style transfer remains an open problem.


    Joint work with Lara Raad, José Lezama and Jean-Michel Morel.


  • Le 16 mai 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Maxime Ferreira Da Costa L2S Supélec
    Extremal approximations in the bandlimit and the Rayleigh criterion for super-resolution

    The Beurling--Selberg extremal approximation problems aim to find optimal unisided bandlimited approximations of a target function of bounded variation. We present an extension of the Beurling--Selberg problems, which we call “of higher-order,” where the approximation residual is constrained to faster decay rates in the asymptotic, ensuring the smoothness of their Fourier transforms. Furthermore, we harness the solution’s properties to bound the extremal singular values of confluent Vandermonde matrices with nodes on the unit circle. As an application to sparse super-resolution, this enables the derivation of a simple minimal resolvable distance, which depends only on the properties of the point-spread function, above which stability of super-resolution can be guaranteed.


  • Le 16 mai 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Jose Daniel Galaz Mora EPI LEMON\, Inria Montpelier
    Coupling methods of phase-resolving coastal wave models

    The coupling of coastal wave models, such as Boussinesq-type (BT) and Saint-Venant (SV) equations, has been explored since the 1990s. Despite numerous models and coupling examples, the literature exhibits significant disagreement regarding induced artifacts and methods for their analysis. This work aims to elucidate these issues, proposing explanations and a method for evaluating and comparing coupling techniques. We ground our explanation in the mathematical properties of each model's Cauchy and half-line problems, highlighting the sensitivity of these models to numerical artifacts. Additionally, we demonstrate how one-way models provide insights into expected physical effects, unexpected artifacts, and errors relative to 3D models. We demonstrate this analysis with linearized models, where we establish the well-posedness of a popular coupling, characterize analytically the "coupling error" in terms of wave reflections, and prove its asymptotic behavior in shallow water. We will discuss how these insights can be applied to other linear/nonlinear models, providing a foundation for the evaluation and comparison of new coupled coastal wave models.


  • Le 16 mai 2024 à 15:30
  • Le Colloquium
    Salle de Conférences
    Antoine Chambert-Loir (Université Paris Cité)
    De Galois à Iwasawa, en passant par Jordan

    Les assistants de preuves sont des logiciels permettant de rédiger des énoncés mathématiques et leur démonstration, la compilation du tout garantissant (modulo d'infimes détails) la correction de l'ensemble. Après avoir été surtout promu par la communauté informatique, ils font l'objet d'un engouement croissant chez les mathématicien·nes.

    Il y a quelques mois, j'ai formalisé au sein du logiciel Lean/mathlib une démonstration d'un théorème classique, élémentaire, de théorie des groupes : la simplicité du groupe alterné sur au moins 5 lettres, via un critère d'Iwasawa généralement utilisé pour démontrer la simplicité des groupes géométriques.

    Je présenterai ce travail, son contexte, et quelques perspectives. (Aucune familiarité avec les assistants de preuve n'est requise.)


  • Le 17 mai 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Laurent Bonnet (Institut des Sciences Moléculaires - Bordeaux)
    Indices de phase en dynamique des collisions moléculaires: comment les calculer en pratique ?

    Nous considérerons l'interaction entre une molécule diatomique et un pulse laser et verrons comment calculer semi-classiquement la probabilité pour qu'elle change d'état rotationnel. Nous nous concentrerons en particulier sur le calcul de l'indexe de phase, crucial pour une prise en compte précise des interférences quantiques. 



  • Le 17 mai 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Hussein Mourtada (Paris Jussieu)
    Sur la notion de singularités quasi-ordinaires en caractéristiques positives

    Une singularité de dimension $d$ est quasi-ordinaire par rapport à une projection finie $X$ -----> ${\mathbb C}^d$ si le discriminant de la projection est un diviseur à croisements normaux. Les singularités quasi-ordinaires sont au cœur de l'approche de Jung de la résolution des singularités en caractéristique zéro. En caractéristiques positives, elles ne sont pas très utiles du point de vue de la résolution des singularités, le problème de leurs résolutions étant presque aussi compliqué que le problème de résolution des singularités en général. En utilisant une version pondérée du polyèdre caractéristique de Hironaka (ou tout simplement la géométrie des équations) et des plongements successifs dans des espaces affines de "grandes" dimensions, nous introduisons la notion de singularités Teissier qui coïncide avec les singularités quasi-ordinaires en caractéristiques zéro, mais qui en est différente en caractéristiques positives. Nous démontrons qu'une singularité Teissier définie sur un corps de caractéristique positive est la fibre spéciale d'une famille équisingulière sur une courbe de caractéristique mixte dont la fibre générique (en caractéristique zéro donc) a des singularités quasi-ordinaires. Ici, L'équisingularité de la famille correspond à l'existence d'une résolution plongée simultanée.

    Travail en collaboration avec Bernd Schober.


  • Le 17 mai 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Dino Lorenzini (UGA)
    Resolution of wild $Z/pZ$-quotient singularities

    The regular model of a curve is a key object in the study of the arithmetic of the curve, as information about the special fiber of a regular model provides information about its generic fiber (such as rational points through the Chabauty-Coleman method, index, Tamagawa number of the Jacobian, etc). Every curve has a somewhat canonical regular model obtained from the quotient of a regular semistable model by resolving only singularities of a special type called quotient singularities. We will discuss in this talk what is known about the resolution graphs of $Z/pZ$-quotient singularities in the wild case, when $p$ is also the residue characteristic. The possible singularities that can arise in this process are not yet completely understood, even in the case of elliptic curves in residue characteristic 2.


  • Le 21 mai 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Thomas Ourmières-Bonafos Aix-Marseille Université
    Graphes quantiques et résonances. Un exemple de résonances s’échappant à l’infini.

    Dans cet exposé nous discuterons des résonances pour un graphe quantique dont sa partie compacte est attachée en un sommet à une arête infinie. Les conditions de transmission à ce sommet dépendent d’un petit paramètre et nous démontrons sous certaines hypothèses sur la géométrie du graphe l’existence d’une famille de résonances dont la partie imaginaire tend vers l’infini.

    Ce travail est motivé par une question issue de la physique expérimentale où de telles familles de résonances ont été observées. Je montrerai comment avec des outils mathématiques élémentaires il est possible de montrer l’existence et la localisation de ces résonances.


    Il s’agit d’un travail interdisciplinaire en collaboration avec Maxime Ingremeau, Ulrich Kuhl, Olivier Legrand, Junjie Lu (Univ. Nice).


  • Le 22 mai 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    RAPION Eloan IMB
    O-minimal geometry and applications

    Monsters populate mathematics : topologist's sine, Vitali set, Weierstrass function… These counter-examples to naive intuitions often have in common that they are defined either in a convoluted way, either with an oscillating function like the sine. The o-minimal paradigm allows us to forget those oddness and to make our first intuitions true, by considering only objects that have a "reasonable" definition in a way. What is an o-minimal structure? What examples do we know of? What is happening there? How do they act in complex geometry, in number theory, in optimization?


  • Le 23 mai 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénce
    Stephane Dartois CEA
    Injective norm of random tensors and geometric entanglement of random quantum states

    In this talk, I will present the results of a collaboration with Benjamin McKenna on the injective norm of large random Gaussian tensors and uniform random quantum states and, time allowing, describe some of the context underlying this work. The injective norm is a natural generalization to tensors of the operator norm of a matrix and appears in multiple fields. In quantum information, the injective norm is one important measure of genuine multipartite entanglement of quantum states, known as geometric entanglement. In our recent preprint, we provide high-probability upper bounds in different regimes on the injective norm of real and complex Gaussian random tensors, which corresponds to lower bounds on the geometric entanglement of random quantum states, and to bounds on the ground-state energy of a particular multispecies spherical spin glass model. Our result represents a first step towards solving an important question in quantum information that has been part of folklore.


  • Le 23 mai 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Boris Detienne Universite de Bordeaux
    The Benders-by-batch algorithm to solve two-stage stochastic linear programs

    In this talk, we will introduce a new exact algorithm to solve two-stage stochastic linear programs. Based on the multicut Benders reformulation of such problems, with one subproblem for each scenario, this method relies on a partition of the subproblems into batches. The key idea is to solve at most iterations only a small proportion of the subproblems by detecting as soon as possible that a first-stage candidate solution cannot be proven optimal. We also propose a general framework to stabilize our algorithm, and show its finite convergence and exact behavior. We report an extensive computational study on large-scale instances of stochastic optimization literature that shows the efficiency of the proposed algorithm compared to nine alternative algorithms from the literature. We also obtain significant additional computational time savings using the primal stabilization schemes.


  • Le 23 mai 2024 à 14:00
  • Séminaire d'Analyse
    Salle des conférences
    Armand Koenig Bordeaux
    Séance du GDT: Controllability, coercivity inequalities and Nullstellsensatz (part 2)

  • Le 23 mai 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    salle 2
    Thomas Milcent I2M\, Univ. Bordeaux
    Analytic approach for the Moment-of-Fluid interface reconstruction in 3D

    Simuler numériquement de manière précise l'évolution des interfaces séparant différents milieux est un enjeu crucial dans de nombreuses applications (multi-fluides, fluide-structure, etc). La méthode MOF (moment-of-fluid), extension de la méthode VOF (volume-of-fluid), utilise une reconstruction affine des interfaces par cellule basée sur les fractions volumiques et les centroïdes de chaque phase. Cette reconstruction d'interface est solution d'un problème de minimisation sous contrainte de volume. Ce problème est résolu dans la littérature par des calculs géométriques sur des polyèdres qui ont un coût important en 3D. On propose dans cet exposé une nouvelle approche du calcul de la fonction objectif et de ses dérivées de manière complètement analytique dans le cas de cellules hexaédriques rectangulaires et tétraédriques en 3D. Les résultats numériques montrent un gain important en temps de calcul.


  • Le 24 mai 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Sébastien Boucksom (IMJ-PRG CNRS)
    Métriques kählériennes canoniques et éclatements

    L'existence de métriques kählériennes canoniques (Kähler-Einstein, à courbure scalaire constante, etc...) dans une classe de cohomologie donnée d'une variété kählérienne compacte admet une formulation variationnelle comme équation d'Euler-Lagrange de certaines fonctionnelles. Grâce aux travaux profonds de Darvas-Rubinstein et Chen-Cheng, on sait que de plus qu'elles admettent des points critiques (donc des métriques canoniques) ssi elles satisfont une condition de croissance linéaire. Après avoir passé en revue ces objets fondamentaux, j'expliquerai comment cette caractérisation permet de généraliser des travaux d'Arezzo-Pacard et Seyyedali-Szekelyhidi portant sur la stabilité de telles métriques par éclatement de la variété. Il s'agit d'un travail en collaboration avec Mattias Jonsson et Antonio Trusiani.


  • Le 24 mai 2024 à 11:00
  • Leçons de Mathématiques et d'Informatique d'Aujourd'hui
    Salle de conférences
    Marc Hallin Professeur Université libre de Bruxelles
    Titre : "Quantiles, Rangs et Signes dans R^d une approche fondée sur les Transports de Mesures".

  • Le 24 mai 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Maria Montanucci (Technical University Copenaghen)
    Algebraic curves over finite fields: rational points and birational invariants

    Algebraic curves over a finite field $\mathbb{F}_q$ have been a source of great fascination, ever since the seminal work of Hasse and Weil in the 1930s and 1940s. Many fruitful ideas have arisen out of this area, where number theory and algebraic geometry meet, and many applications of the theory of algebraic curves have been discovered during the last decades. 

    A very important example of such application was provided in 1977-1982 by Goppa, who found a way to use algebraic curves in coding theory. The key point of Goppa's construction is that the code parameters are essentially expressed in terms of the features of the curve, such as the number $N_q$ of $\mathbb{F}_q$-rational points and the genus $g$. In this light, Goppa codes with good parameters are constructed from curves with large $N_q$ with respect to their genus $g$.

    Given a smooth projective, algebraic curve of genus $g$ over $\mathbb{F}_q$, an upper bound for $N_q$ is a corollary to the celebrated Hasse-Weil Theorem,

    $$N_q \leq q+ 1 + 2g\sqrt{q}.$$

    Curves attaining this bound are called $\mathbb{F}_q$-maximal. The Hermitian curve is a key example of an $\mathbb{F}_q$-maximal curve, as it is the unique curve, up to isomorphism, attaining the maximum possible genus of an $\mathbb{F}_q$-maximal curve. 

    It is a result commonly attributed to Serre that any curve which is $\mathbb{F}_q$-covered by an $\mathbb{F}_q$-maximal curve is still $\mathbb{F}_q$-maximal. In particular, quotient curves of $\mathbb{F}_q$-maximal curves are $\mathbb{F}_q$-maximal. Many examples of $\mathbb{F}_q$-maximal curves have been constructed as quotient curves of the Hermitian curve by choosing a subgroup of its very large automorphism group.

    It is a challenging problem to construct maximal curves that cannot be obtained in this way, as well as to construct maximal curves with many automorphisms (in order to use the machinery described above). A natural question arises also: given two maximal curves over the same finite field, how can one decide whether they are isomorphic or not? A way to try to give an answer to this question is to look at the birational invariants of the two curves, that is, their properties that are invariant under isomorphism. 

    In this talk, we will describe our main contributions to the theory of maximal curves over finite fields and their applications to coding theory. In relation with the question described before, during the talk, the behaviour of the birational invariant of maximal curves will also be discussed.


  • Le 27 mai 2024 au 31 mai 2024
  • Manifestations Scientifiques
    Campus de la Victoire
    Contact : jds2024@u-bordeaux.fr
    JdS 2024- 55ème Journées de la statistique de la SFdS

  • Le 28 mai 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Pablo Miranda Université de Santagio\, Chili
    Eigenvalue asymptotics for two dimensional magnetic Dirac operators

    In this talk, we present results on the eigenvalue distribution for perturbed magnetic Dirac operators in two dimensions. We derive third-order asymptotic formulas that incorporate a geometric property of the perturbation's support. Notably, our approach allows us to consider some perturbations that do not necessarily have fixed sign, which is one the main novelties of our work.

    This is part of a joint work together with Vincent Bruneau.


  • Le 28 mai 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Jérémy Berthomieu Sorbonne Université
    Algorithms for Gröbner bases change of order

    Gröbner bases lie at the forefront of the algorithmic treatment of polynomial systems and ideals in symbolic computation. They are

    defined as special generating sets of polynomial ideals which allow to decide the ideal membership problem via a multivariate version of

    polynomial long division. Given a Gröbner basis for a polynomial ideal, a lot of geometric and algebraic information about the

    polynomial ideal at hand can be extracted, such as the degree, dimension or Hilbert function.


    Notably, Gröbner bases depend on two parameters: The polynomial ideal which they generate and a monomial order, i.e. a certain kind

    of total order on the set of monomials of the underlying polynomial ring. Then, the geometric and ideal-theoretic information that can be

    extracted from a Gröbner basis depends on the chosen monomial order. In particular, the lexicographic one allows us to solve a polynomial system.


    Such a lexicographic Gröbner basis is usually computed through a change of order algorithm, for instance the seminal FGLM algorithm. In this talk,

    I will present progress made to change of order algorithms: faster variants in the generic case, complexity estimates for system of critical values, computation

    of colon ideals or of generic fibers.


    This is based on different joint works with A. Bostan, Ch. Eder, A. Ferguson, R. Mohr, V. Neiger and M. Safey El Din.


  • Le 30 mai 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Ayse N. Arslan Centre Inria de l'Universite de Bordeaux
    A tutorial on decision rules for robust adjustable optimization

    Adjustable robust optimization problems, as a subclass of multi-stage optimization under uncertainty problems, constitute a class of problems that are very difficult to solve in practice. Although the exact solution of these problems under certain special cases may be possible, for the general case, there are no known exact solution algorithms. Instead, approximate solution methods have been developed, often restricting the functional form of recourse actions, these are generally referred to as “decision rules“. In this talk, we will present a review of existing decision rule approximations including affine and extended affine decision rules, uncertainty set partitioning schemes and finite-adaptability. We will discuss the reformulations and solution algorithms that result from these approximations. We will point out existing challenges in practical use of these decision rules, and identify current and future research directions. When possible we will emphasize the connections to multi-stage stochastic programming literature.


  • Le 30 mai 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    L. Golinskii ILTPE\, Acad. Sci. Ukraine
    On the growth of resolvent of Toeplitz operators

    We study the growth of the resolvent of a Toeplitz operator $T_b$, defined on the Hardy space, in terms of the distance to its spectrum $\sigma(T_b)$. We are primarily interested in the case when the symbol $b$ is a Laurent polynomial (\emph{i.e., } the matrix $T_b$ is banded). We show that for an arbitrary such symbol the growth of the resolvent is quadratic, and under certain additional assumption it is linear. We also prove the quadratic growth of the resolvent for a certain class of non-rational symbols.


    This is a joint work with S. Kupin and A. Vishnyakova.


  • Le 31 mai 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Christian Urech (Zürich - ETH)
    Sous-groupes d'éléments algébriques des groupes de Cremona

    A une surface algébrique S on associe son groupe des transformations birationnelles Bir(S). Ces groupes et leurs structures algébriques et dynamiques ont fait l'objet d'études approfondies dans les dernières décennies. Dans cet exposé on verra une réponse positive à une question de Charles Favre concernant des sous-groupes dont tous les éléments sont d'un certain type, dit algébrique. J'expliquerai pourquoi ce résultat technique est intéressant et je l'utiliserai pour décrire des propriétés dynamiques des sous-groupes de type fini de Bir(S). Il s'agit d'un travail commun avec Anne Lonjou et Piotr Przytycki.


  • Le 31 mai 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Marsault Chabat Université Franche Comté
    Théorie d'Iwasawa pour GSp(4)

    La conjecture de Birch et Swinnerton-Dyer prédit un lien entre les points rationnels d'une variété abélienne et les valeurs spéciales de sa fonction L. Cette conjecture est réputée difficile, nous commencerons donc par voire comment l'attaquer à l'aide d'une conjecture intermédiaire où l'on se focalise en un nombre premier $p$. Ensuite, nous verrons comment dans le cas des surfaces abéliennes on peut obtenir une preuve de cette conjecture (la conjecture intermédiaire) en faisant varier $p$-adiquement une classe de cohomologie galoisienne obtenue à partir de la cohomologie de la variété de Shimura de GSp(4).


  • Le 3 juin 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Stanislas Kupin IMB
    Hardy-Toeplitz vs. Bergman-Toeplitz

    In this talk, I will present some introductory facts on Hardy-Toeplitz and Bergman-Toeplitz operators. I will also discuss the presence (or absence) of discrete spectrum for a Bergman-Toeplitz operator; this part of the talk will be based on works of Zhao- Zheng et al., 2010- 2020.


  • Le 4 juin 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Pas de séminaire (journées EDP Aussois)

  • Le 4 juin 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Bram Bekker TU Delft\, Netherlands
    SDP hierarchies for distance-avoiding sets on compact spaces

    Witsenhausen's problem asks for the maximum fraction α_n of the n-dimensional unit sphere that can be covered by a measurable set containing no pairs of orthogonal points. We extended well known optimization hierarchies based on the Lovász theta number, like the Lasserre hierarchy, to Witsenhausen's problem and similar problems. We then showed that these hierarchies converge to α_n, and used them to compute the best upper bounds known for α_n in low dimensions.


  • Le 4 juin 2024 à 13:30
  • Direction
    Salle de conférences
    Assemblée générale de l'IMB

    Ordre du jour :

    1) Informations diverses

    2) Listes de diffusion

    3) Retours sur le sondage "missions" et propositions

    4) Questions diverses.    


  • Le 6 juin 2024 à 11:00
  • Séminaire Images Optimisation et Probabilités
    Salle de Conférénces
    Francisco Andrade ENS Paris
    Sparsistency for Inverse Optimal Transport

    Optimal Transport is a useful metric to compare probability distributions and to compute a pairing given a ground cost. Its entropic regularization variant (eOT) is crucial to have fast algorithms and reflect fuzzy/noisy matchings. This work focuses on Inverse Optimal Transport (iOT), the problem of inferring the ground cost from samples drawn from a coupling that solves an eOT problem. It is a relevant problem that can be used to infer unobserved/missing links, and to obtain meaningful information about the structure of the ground cost yielding the pairing. On one side, iOT benefits from convexity, but on the other side, being ill-posed, it requires regularization to handle the sampling noise. This work presents an in-depth theoretical study of the l1 regularization to model for instance Euclidean costs with sparse interactions between features. Specifically, we derive a sufficient condition for the robust recovery of the sparsity of the ground cost that can be seen as a far reaching generalization of the Lasso's celebrated Irrepresentability Condition. To provide additional insight into this condition, we work out in detail the Gaussian case. We show that as the entropic penalty varies, the iOT problem interpolates between a graphical Lasso and a classical Lasso, thereby stablishing a connection between iOT and graph estimation, an important problem in ML.


  • Le 6 juin 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Eduardo Moreno Universidad Adolfo Ibáñez\, Santiago\, Chile/Google Research\, Paris\, France
    Benders Adaptive-Cuts Method for Two-Stage Stochastic Programs

    Two-stage stochastic programs (TSSP) are a classic model where a decision must be made before the realization of a random event, allowing recourse actions to be performed after observing the random values. For example, many classic optimization problems, like network flows or facility location problems, became TSSP if we consider, for example, a random demand. 

    Benders decomposition is one of the most applied methods to solve TSSP with a large number of scenarios. The main idea behind the Benders decomposition is to solve a large problem by replacing the values of the second-stage subproblems with individual variables, and progressively forcing those variables to reach the optimal value of the subproblems, dynamically inserting additional valid constraints, known as Benders cuts. Most traditional implementations add a cut for each scenario (multi-cut) or a single-cut that includes all scenarios. 

    In this paper we present a novel Benders adaptive-cuts method, where the Benders cuts are aggregated according to a partition of the scenarios, which is dynamically refined using the LP-dual information of the subproblems. This scenario aggregation/disaggregation is based on the Generalized Adaptive Partitioning Method (GAPM). We formalize this hybridization of Benders decomposition and the GAPM, by providing sufficient conditions under which an optimal solution of the deterministic equivalent can be obtained in a finite number of iterations. Our new method can be interpreted as a compromise between the Benders single-cuts and multi-cuts methods, drawing on the advantages of both sides, by rendering the initial iterations faster (as for the single-cuts Benders) and ensuring the overall faster convergence (as for the multi-cuts Benders). 

    Computational experiments on three TSSPs validate these statements, showing that the new method outperforms the other implementations of Benders method, as well as other standard methods for solving TSSPs, in particular when the number of scenarios is very large.


  • Le 6 juin 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Pascal Thomas Toulouse
    Sharp Invertibility in Quotient Algebras of $H^\infty$

    Given an inner function $\Theta \in H^\infty(\mathbb D)$ and $[g]$ in the quotient algebra $H^\infty/ \Theta H^\infty$,

    its quotient norm is 

    $\|[g]\|:= \inf \left\{ \|g+\Theta h\|_\infty, h \in H^\infty \right\}$. We show that 

    when $g$ is normalized so that $\|[g]\|=1$, the quotient norm of its inverse can be made 

    arbitrarily close to $1$ by imposing $|g(z)|\ge 1- \delta$ when $\Theta(z)=0$, with $\delta>0$ small enough, 

    (call this property SIP)

     if and only if the function $\Theta$ satisfies the following growth property:

    $$

    \lim_{t\to 1} \inf\left\{ |\Theta(z)|: z \in \mathbb D, \rho(z, \Theta^{-1} \{0\} ) \ge t \right\} =1,

    $$

    where $\rho$ is the usual pseudohyperbolic distance in the disc, $\rho(z,w):= \left| \frac{z-w}{1-z\bar w}\right|$.


    We prove that an inner function is SIP if and only if for any $\eps>0$, the set $\{ z: 0< |\Theta (z) | < 1-\eps\}$

    cannot contain hyperbolic disks of arbitrarily large radius.


    Thin Blaschke products provide an example of such functions. Some SIP Blaschke products fail to be interpolating

    (and thus aren't thin), while there exist Blaschke products which are interpolating and fail to be SIP. 

    We also study the functions which can be divisors of SIP inner functions.


  • Le 7 juin 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Pablo Montealegre (Montpellier)
    Norme stable des surfaces plates

    Sur une variété riemannienne (possiblement singulière), pour chaque classe d'homologie la norme stable mesure la longueur du plus court représentant possible de cette classe. C'est un raffinement naturel du concept de systole, et on s'attend à ce que la norme stable contienne beaucoup d'information géométrique: en contrepartie, la norme stable est généralement très difficile à calculer, si bien qu'il existe très peu d'exemples explicites. 

    Dans cet exposé je m'intéresserai à la norme stable des surfaces plates. Plus précisément, je montrerai qu'il est possible de calculer la norme stable des tores plats fendus avec la suite de Farey. Ensuite, en recollant des tores fendus je montrerai que l'on obtient des surfaces de demi-translation sur lesquelles la norme stable est connue. Enfin, je montrerai que sur ces surfaces le nombre de classes d'homologie minimisées par des courbes simples de longueur inférieure à un réel x croît sous-quadratiquement en x.


  • Le 7 juin 2024 à 11:00
  • Séminaire d'Analyse
    Salle 1, IMB
    Alexei Rybkin Univ. of Alaska\, Etats-Unis
    Soliton theory and Hankel operators

    The main tool of soliton theory (aka completely integrable systems) is the inverse scattering transform (IST) which relies on solving the Faddeev-Marchenko integral equation. The latter amounts to inverting the I+Hankel operator which historically was done by classical techniques of integral operators and the theory of Hankel operations was not used. In the recent decade however the interest in the soliton community has started shifting from classical initial conditions of integrable PDEs to more general ones (aka none classical initial data) for which the classical IST no longer works. In this talk, on the prototypical example of the Cauchy problem for the Korteweg-de Vries (KdV) equation, we show how the classical IST can be extended to serve a broad range of physically interesting initial data. Our approach is essentially based on the theory of Hankel operators.


  • Le 7 juin 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Stefano Morra (LAGA Paris 13)
    Un modèle local pour les représentations potentiellement Barsotti–Tate

    Les anneaux de déformation potentiellement Barsotti–Tate sont un outil essentiel pour l’obtention de résultats profonds en arithmétique, comme la conjecture de Shimura–Taniyama–Weil ou la conjecture de Breuil–Mézard. Néanmoins leur géométrie n’est pas encore bien comprise, et présente de comportement variés avec la parution de points irréguliers ou non-normaux (comme montré par des exemples et conjectures de Caruso–David–Mézard). Dans cet exposé nous discuterons comment les champs de modules de Breuil–Kisin peuvent être utilisés pour décrire la géométrie des champs des représentations potentiellement et modérément Barsotti–Tate (en rang 2, pour des extension non ramifiées de $\mathbf{Q}_p$), en utilisant la théorie des modèles locaux des groupes des lacets en caractéristique mixte. L’outil technique principal est une analyse de la p-torsion d’un complexe tangent pour relever des cartes affines pour des images schématiques entre champs de Breuil–Kisin et des représentations Galoisiennes. Avec ce procédé, nous obtenons un algorithme pour calculer des présentations explicites des anneaux de déformation potentiellement modérément Barsotti–Tate pour les représentations Galoisiennes de dimension 2 pour des extensions non-ramifiées de $\mathbf{Q}_p$. Ceci est un travail en commun avec B. Le Hung et A. Mézard.


  • Le 10 juin 2024 au 14 juin 2024
  • Manifestations Scientifiques
    Salle de conférences
    Contacts : Luis Fredes - Adrien Richou
    Journées de Probabilités 2024

  • Le 10 juin 2024 à 13:30 au 14 juin 2024 à 12:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Journées de Probabilités 2024

    Page de l'événement : https://indico.math.cnrs.fr/event/11353/overview


  • Le 10 juin 2024 à 14:00
  • Groupe de Travail Analyse
    Salle 1
    Robert Deville IMB
    Savons-nous ce qu'est une fonction différentiable?

    Nous présentons plusieurs exemples de fonctions différentiables ayant des propriétés pathologiques. Nous démontrerons en particulier le résultat suivant, obtenu en collaboration avec A. Daniilidis et S. Tapia. Pour tout N≥1, il existe une fonction f de R ^N dans R, localement Lipschitzienne et différentiable en tout point, telle que pour tout compact connexe d'intérieur non vide, il existe x dans R^N tel que K={ lim Df(x_n); (x_n) converge vers x}.


  • Le 11 juin 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle 1
    Tatsuya Watanabe Kyoto Sangyo University
    Ground state solutions for the nonlinear Schrodinger equation with cubi-quintic type nonlinearities

    We are interested in standing waves for the nonlinear Schrodinger equation with double power nonlinearities, whose typical example is the cubic-quintic nonlinearity in $R^3$.

    The cubic term is focusing and the quintic term can be chosen to be both focusing and defocusing.

    I will introduce my recent results on the existence, uniqueness and non-degeneracy of ground state solutions based on the variational method and the shooting method


  • Le 11 juin 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Valentijn Karemaker Utrecht University\, The Netherlands
    Isomorphism classes of polarised abelian varieties and Drinfeld modules over finite fields

    We will discuss computable descriptions of isomorphism classes in a fixed isogeny class of both polarised abelian varieties over finite fields (joint work with Bergström-Marseglia) and Drinfeld modules over finite fields (joint work with Katen-Papikian). 


    More precisely, in the first part of the talk we will describe all polarisations of all abelian varieties over a finite field in a fixed isogeny class corresponding to a squarefree Weil polynomial, when one variety in the isogeny class admits a canonical lifting to characteristic zero. The computability of the description relies on applying categorical equivalences, due to Deligne and Centeleghe-Stix, between abelian varieties over finite fields and fractional ideals in étale algebras. 


    In the second part, we will use an action of fractional ideals, inspired by work of Hayes, to compute isomorphism classes of Drinfeld modules. As a first step and a problem of independent interest, we prove that an isogeny class contains a Drinfeld module whose endomorphism ring is minimal if and only if the class is either ordinary or defined over the prime field. We obtain full descriptions in these cases, that can be compared to the Drinfeld analogues of those of Deligne and Centeleghe-Stix, respectively.


  • Le 11 juin 2024 à 13:30
  • Direction
    Exceptionnellement en Salle 2
    Conseil joint Conseil de Laboratoire / Conseil Scientifique

    L’ordre du jour sera le suivant :

    1) Adoption du Compte-Rendu du Conseil de Laboratoire du 2 avril 2024 (vote)

    2) Informations générales

    ) Premières discussions sur le Plan de Gestion des Emplois des enseignants-chercheurs 2025

    4) Questions diverses


  • Le 13 juin 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Firas Dhaouadi University of Trento
    An Eulerian hyperbolic model for heat transfer derived via Hamilton's principle

    We present a new model for heat transfer in compressible fluid flows. The model is derived from Hamilton’s principle of stationary action in Eulerian coordinates, in a setting where the entropy conservation is recovered as an Euler–Lagrange equation. A sufficient criterion for the hyperbolicity of the model is formulated. The governing equations are asymptotically consistent with the Euler equations for compressible heat conducting fluids, provided the addition of suitable relaxation terms. A study of the Rankine–Hugoniot conditions and Clausius–Duhem inequality is performed for a specific choice of the equation of state. In particular, this reveals that contact discontinuities cannot exist while expansion waves and compression fans are possible solutions to the governing equations. Evidence of these properties is provided on a set of numerical test cases.


  • Le 14 juin 2024 à 09:30
  • Séminaire de Géométrie
    Salle 2
    Anja Randecker (Heidelberg)
    The realization problem for Veech groups

    Translation surfaces arise naturally in many different contexts, for example when unfolding billard trajectories or when equipping a Riemann surface with an abelian differential. Most visually, they can be described by (finitely or infinitely many) polygons that are glued along edges which are parallel and have the same length.

    In this talk, we will be interested in the Veech groups of translation surfaces, that is, the stabilizer of the natural GL(2,R) action on the moduli space for a given translation surface. Although Veech groups have been studied for several decades, they are in itself not fully understood yet. In particular, it is not known in general whether a given abstract group can be realized as the Veech group of a translation surface.

    After introducing the realization problem for Veech groups, I will speak about some recent progress in this direction for infinite translation surfaces. This is joint work with Mauro Artigiani, Chandrika Sadanand, Ferrán Valdez, and Gabriela Weitze-Schmithuesen.


  • Le 14 juin 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle 1
    Mahdi Zreik (Université de Bordeaux)
    On the self-adjointness of two-dimensional relativistic shell interactions

    In this talk, I will discuss the self-adjointness of the two-dimensional Dirac operator coupled with a singular combination of electrostatic and Lorentz scalar $\delta$-interaction, supported on a closed Lipschitz curve. The main new ingredients are an explicit use of the Cauchy transform on non-smooth curves and a direct link with the Fredholmness of a singular boundary integral operator. This results in a proof of self-adjointness for a new range of coupling constants, which includes and extends all previous results for this class of problems. The study is particularly precise for the case of curvilinear polygons, as the angles can be taken into account in an explicit way. In particular, if the curve is a curvilinear polygon with obtuse angles, then there is a unique self-adjoint realization with domain contained in $H^{1/2}$ for the full range of non-critical coefficients in the transmission condition. The results are based on a joint work with Badreddine Benhellal and Konstantin Pankrashkin.


  • Le 14 juin 2024 à 11:00
  • Séminaire de Géométrie
    Salle 2
    Vincent Bagayoko (Paris IMJ)
    Ordered groups of regular growth rates

    Certain sets of germs at $+ \infty$ of monotone bijections between neighborhoods of $+ \infty$ form groups under composition. This is the case for germs of functions definable in an o-minimal structure, for certain germs lying in Hardy fields, as well as for more abstract functions defined on fields of formal series, such as transseries. 

    In this talk I will describe properties of the resulting ordered groups, and show that they can be studied using valuation-theoretic tools adapted to this non-commutative context.


  • Le 14 juin 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Salim Rostam (Université de Tours)
    Cocktail à base de partition

    Une partition d'un entier n est une suite décroissante d'entiers positifs de somme n. Cette définition est étroitement liée au groupe symétrique et à sa théorie des représentations. Notamment, pour étudier les représentations sur un corps de caractéristique p on peut utiliser le procédé de p-régularisation, introduit par James, qui à une partition associe une partition p-régulière, c'est-à-dire une partition dont aucune part ne se répète p fois ou plus.Une mesure de probabilité classique sur l'ensemble des partitions de n est la mesure de Plancherel. Un résultat spectaculaire de Kerov–Vershik et Logan–Shepp (1977) donne une forme limite asymptotique pour les grandes partitions tirées selon la mesure de Plancherel. Dans cet exposé, nous montrerons ce que devient ce résultat pour la p-régularisation de grandes partitions. Notamment, il y a toujours existence d'une forme limite, qui est donnée par le « secouage » (shaking) de la courbe de Kerov-Vershik-Logan-Shepp.


  • Le 17 juin 2024 à 14:00 au 21 juin 2024 à 14:00
  • Manifestations Scientifiques
    Bilbao
    Comité d’organisation : Jean-Bernard Bru - Laurent Michel
    Kinetic equation, Mathematical Physics and Probability

  • Le 17 juin 2024 à 14:00
  • Groupe de Travail Analyse
    Salle 2
    Bernhard Haak IMB
    Le calcul fonctionnel Besov de Gomilko et Tomilov

  • Le 18 juin 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Eric Ahlqvist University of Edinburgh
    Massey products and class field towers

    I will present recent joint work with Magnus Carlson, where we provide formulas for 3-fold Massey products in the étale cohomology of the ring of integers of a number field. Using these formulas, we identify the first known examples of imaginary quadratic fields with a class group of p-rank two possessing an infinite p-class field tower, where p is an odd prime. Furthermore, we establish a necessary and sufficient condition, in terms of class groups of p-extensions, for the vanishing of 3-fold Massey products. As a consequence, we offer an elementary and sufficient condition for the infinitude of class field towers of imaginary quadratic fields. Additionally, we disprove McLeman’s (3,3)-conjecture.


  • Le 19 juin 2024 à 17:00
  • Séminaire Lambda
    Salle de conférence
    TRUEL Mathias IMB
    Non linear reduced order models applied to instationary aeroelastic simulations

    Reduced order models (ROMs) are parametric mathematical models derived from PDEs using previously computed solutions. In many applications, the solution space turns out to be low dimensional, so that one can trade a minimal loss of accuracy for speed and scalability of the numerical model. ROMs counteract the curse of dimensionality by significantly reducing the computational complexity. Overall, reduced order models have reached a certain level of maturity in the last decade, allowing their implementation in large-scale industrial codes, mainly in structural mechanics. Nevertheless, some hard points remain. Parametric problems governed by advection fields or solutions with a substantial compact support such as shock waves suffer from a limited possibility of dimensional reduction and, at the same time, from an insufficient generalization of the model (out-of-sample solutions). The main reason is that the solution space is usually approximated by an affine or linear representation. In this thesis, we aim to contribute to the use of non-intrusive model reduction methods by working on three axes: (i) Application to unsteady computations with non-intrusive interpolation methods; (ii) Use of hybrid models linking reduced models and numerical simulation models with a domain decomposition type approach; (iii) Application to complex industrial problems The flutter problem on a fin will be used as a first complex application case. Indeed, this fluid-structure problem presents very different behaviors according to the flow regimes and is very expensive to simulate without simplifying assumptions. Thus, a hybrid model could accelerate the computation time while remaining accurate in the complex areas. This CIFRE thesis financed by Ingeliance is part of the chaire PROVE financed by ONERA and the Nouvelle Aquitaine region.


  • Le 20 juin 2024 à 11:00
  • Séminaire d'Analyse
    Salle 1 (Attention, salles et horaires exceptionnels)
    Veronica Beltrami Parma
    Navigating Higher-Dimensional Holomorphic Dynamics

    Holomorphic dynamics studies the evolution of complex manifolds under the iteration of holomorphic maps.

    While significant progress has been made in understanding the theory of one-dimensional holomorphic dynamics, the transition to higher dimensions still presents difficult challenges since the situation is vastly different from the one-dimensional case.

    Even only the study of the dynamics of automorphisms (i.e. holomorphic maps injective and surjective) in two dimensions already poses deep difficulties, and the construction of significant examples is an active area of research.

    In this talk, we provide an overview of the dynamics in several complex variables, focusing particularly on the stable dynamics of automorphisms of C^2. We introduce concepts such as Fatou sets, polynomial and transcendental Hénon maps, and limit functions. Finally, we address two recently resolved questions that refer to the current state of my research  (a joint work with A. M. Benini and A. Saracco):

    Can limit sets for (non-recurrent) Fatou components be hyperbolic?

    Can limit sets be distinct?


  • Le 20 juin 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Mickael Gaury Kedge BS
    An efficient 2-competitive online algorithm for kit update at MSF Logistique

    This paper explores strategic optimization in updating essential medical kits crucial for humanitarian emergencies. Recognizing the perishable nature of medical components, the study emphasizes the need for regular updates involving complex recovery, substitution and disposal processes with the associated costs. The goal is to minimize costs over an unpredictable time horizon. The introduction of the kit-update problem considers both deterministic and adversarial scenarios. Key performance indicators (KPIs), including updating time and destruction costs, are integrated into a comprehensive economic measure, emphasizing a strategic and cost-effective approach.

    The paper proposes an innovative online algorithm utilizing available information at each time period, demonstrating its 2-competitivity. Comparative analyses include a stochastic multi-stage approach and four other algorithms representing former and current MSF policies, a greedy improvement of the MSF policy, and the perfect information approach.

    Analytics results on various instances show that the online algorithm is competitive in terms of cost with the stochastic formulation, with differences primarily in computation time. This research contributes to a nuanced understanding of the kit-update problem, providing a practical and efficient online algorithmic solution within the realm of humanitarian logistics.


  • Le 20 juin 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Dmitri Kuzmin Université de Dortmund
    Convex limiting and entropy fixes for finite element discretizations of nonlinear hyperbolic problems

    This talk presents a family of algebraically constrained finite element schemes for hyperbolic conservation laws. The validity of generalized discrete maximum principles is enforced using monolithic convex limiting (MCL), a new flux correction procedure based on representation of spatial semi-discretizations in terms of admissible intermediate states. Semi-discrete entropy stability is enforced using a limiter-based fix. Time integration is performed using explicit or implicit Runge-Kutta methods, which can also be equipped with property-preserving flux limiters. In MCL schemes for nonlinear systems, problem-dependent inequality constraints are imposed on scalar functions of conserved variables to ensure physical and numerical admissibility of approximate solutions. After explaining the design philosophy behind our flux-corrected finite element approximations and showing some numerical examples, we turn to the analysis of consistency and convergence. For the Euler equations of gas dynamics, we prove weak convergence to a dissipative weak solution. The convergence analysis to be presented in this talk is joint work with Maria Lukáčová-Medvid’ová and Philipp Öffner.


  • Le 21 juin 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Vincent Delecroix (LaBRI)
    Guess and certify GL(2,R)-orbit closure in the moduli space of Abelian differentials

    We consider the moduli space of Abelian differentials on compact Riemann surfaces. It is stratified by the degree of the zeros of the differential and each stratum has a linear structure coming from period coordinates. Each stratum admits an action by GL(2,R) and this action is relevant in the study of billiard dynamics. I aim to discuss works in collaboration with Julian Rüth and Kai Fu in which we design computer programs to guess and certify GL(2,R)-orbit closures.


  • Le 21 juin 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Lena Ji (University of Michigan)
    On rationality of real conic bundle threefolds

    For threefolds over the complex numbers, much is understood about the rationality problem, i.e. the property of being birational to projective space. However, much less is known over fields that are not algebraically closed. For example, a threefold defined over the real numbers could become rational after base changing to C, but in general, the complex rationality construction may not descend to R. In this talk, we study this question for real threefolds with a conic bundle structure. This talk is based on joint work with S. Frei, S. Sankar, B. Viray, and I. Vogt, and joint work with M. Ji.


  • Le 24 juin 2024 à 09:00 au 28 juin 2024 à 17:00
  • Infos Site Cellule
    Bureau 225
    La Cellule Informatique IMB
    Accueil de la Cellule Informatique

    Une partie de la Cellule Informatique participe à la semaine de travail de l'équipe de la PLM au CIRM du 24 au 28 juin 2024 pouvant impacter des délais de traitements des demandes plus longs que d'habitude.

    Pensez à anticiper les retraits et les réservations de matériel par exemple.


  • Le 24 juin 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de conférences
    Bernhard Haak IMB
    Le calcul fonctionnel Besov de Gomilko et Tomilov

  • Le 25 juin 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Chérif Amrouche U. Pau
    Dirichlet problem for the Laplacian and the Bilaplacian in Lipschitz Domains


    We are interested here in questions related to the maximal regularity of solutions of elliptic problems div $(A abla\, u) = f$ in $\Omega$ with Dirichlet boundary condition. For the last 40 years, many works have been concerned with questions when $A$ is a matrix or a function and when $\Omega$ is a Lipschitz domain. Some of them contain incorrect results that are corrected in the present work.


    We give here new proofs and some complements for the case of the Laplacian, the Bilaplacian and the operator $\mathrm{div}\, (A abla)$, when ${\bf A}$ is a matrix or a function. And we extend this study to obtain other regularity results for domains having an adequate regularity. We give also new results for the {Dirichlet-to-Neumann operator for Laplacian and Bilaplacian.


    Using the duality method, we can then revisit the work of Lions-Magenes, concerning the so-called very weak solutions, when the data are less regular.

    Thanks to the interpolation theory, it permits us to extend the classes of solutions and then to obtain new results of regularity.


  • Le 25 juin 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Maria Corte-Real Santos University College London
    SQIsign verification in higher dimensions

    SQIsign is an isogeny-based signature scheme in Round 1 of NIST’s recent alternate call for signature schemes. In this talk, we will take a closer look at SQIsign verification and demonstrate that it can be performed completely on Kummer surfaces. In this way, one-dimensional SQIsign verification can be viewed as a two-dimensional isogeny between products of elliptic curves. Curiously, the isogeny is then defined over Fp rather than Fp2. Furthermore, we will introduce new techniques that enable verification for compression signatures using Kummer surfaces, in turn creating a toolbox for isogeny-based cryptography in dimension 2.This is based on joint work with Krijn Reijnders.


  • Le 26 juin 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Gael Guillot Inria Lille
    Tarification stratégique sur les marchés de l'électricité avec contraintes de pollution

    Dans cette présentation, nous exposons un problème bi-niveaux, multi leader- single follower, de tarification sur le marché de l'électricité. Les meneurs correspondent aux sociétés productrices d'énergie qui doivent soumettre une offre à un agent centralisateur (ISO). L'ISO sélectionne les offres et distribue la demande sur le réseaux. Les générateurs sont composés de plusieurs technologies de production, avec différents coûts et quantités de pollution produite. Nous exposerons les particularités de ce problème ainsi que les différents algorithmes qui permettent de trouver un ou plusieurs équilibres de Nash.


  • Le 27 juin 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Shirshendu Chowdhury Kolkatta (India)
    Boundary null-controllability of 1d linearized compressible Navier-Stokes System by one Dirichlet control force.

    In the first part of the talk, we introduce the concept: Controllability of Differential Equations. Then we give some examples in finite (ODE) and infinite dimensional(PDE) contexts. We recall the controllability results of the Transport and Heat equation.


    In the second part of the talk, we consider compressible Navier-Stokes equations in one dimension, linearized around a positive constant steady state . It is a Coupled system of Transport (for density) and Heat type (for velocity) equations.  We study the boundary null-controllability  of this linearized system in an interval when a Dirichlet control function is acting either only on the density or only on the velocity component at one end of the interval. In this setup, we state some new control results which we have obtained. We see that these controllability results are optimal/sharp concerning the regularity of initial states (in the velocity case) and time (in the density case). The proof is based on a spectral analysis and on solving a mixed parabolic-hyperbolic moments problem and a parabolic hyperbolic joint Ingham-type inequality.  This is a joint work with Kuntal Bhandari, Rajib Dutta and Jiten Kumbhakar. Finally, the talk ends with some ongoing and future directions of research.




  • Le 27 juin 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Davide Torlo SISSA Trieste
    Structure preserving methods via Global Flux quadrature: divergence-free preservation with continuous Finite Element
    In many problems, the emergence of physical structures and equilibrium solutions, such as divergence-free solutions in contexts like shallow water and magneto-hydrodynamics, poses a significant challenge. A simple linear approximation of such systems that already show these behavior is the linear acoustic system of equations. We focus on Cartesian grid discretizations of such system in 2 dimensions and in the preservation of stationary solutions that arise due to a truly multidimensional balance of terms, which corresponds to the divergence-free solutions for acoustic systems.
    Conventional methods, like the continuous Finite Element SUPG, face limitations in maintaining these structures due to the stabilization techniques employed, which do not effectively vanish when the discrete divergence is zero.
    What we propose is to use the Global Flux procedure, which has proven to be successful in preserving 1-dimensional equilibria [1,2], to define some auxiliary variables guiding a suitable discretization of both the divergence and stabilization operators [3]. This approach enables the natural preservation of divergence-free solutions and more intricate equilibria involving various sources. Moreover, this strategy facilitates the identification of discrete equilibria of the scheme that verify boundary or initial conditions. We use the Deferred Correction time discretization, obtaining explicit arbitrarily high order methods.
    Numerous numerical tests validate the accuracy of our proposed scheme compared to classical approaches. Our method not only excels in preserving (discretely) divergence-free solutions and their perturbations but also maintains the original order of accuracy on smooth solutions.

    [1] Y. Cheng, A. Chertock, M. Herty, A. Kurganov and T. Wu. A new approach for designing moving-water equilibria preserving schemes for the shallow water equations. J. Sci. Comput. 80(1): 538–554, 2019.
    [2] M. Ciallella, D. Torlo and M. Ricchiuto. Arbitrary high order WENO finite volume scheme with flux globalization for moving equilibria preservation. Journal of Scientific Computing, 96(2):53, 2023.
    [3] W. Barsukow, M. Ricchiuto and D. Torlo. Structure preserving methods via Global Flux quadrature: divergence-free preservation with continuous Finite Element. In preparation, 2024.
  • Le 28 juin 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Thai-Hoang Lê (Université du Mississippi)
    Les ensembles intersectifs et les ensembles épars

    Un sous-ensemble $A$ de $\mathbf{N}$ est dit dense s’il est de densité asymptotique supérieure positive, et épars s’il est de densité nulle. Un théorème classique de Furstenberg et Sarközy dit que si $A$ est dense, alors il existe des éléments distincts $a, a'$ dans $A$ tels que $a-a' = n^2$ pour un certain entier $n$. Un ensemble $H$ d'entiers positifs est dit intersectif si l'on peut remplacer l'ensemble des carrés par $H$ dans le théorème de Furstenberg-Sarközy, autrement dit si $(A-A) \cap H$ est non vide. L'étude des ensembles intersectifs se trouve à l'intersection de plusieurs domaines de mathématiques, y compris la théorie des nombres, la combinatoire et la théorie ergodique.

    Dans cet exposé, je discuterai dans quelle mesure ce phénomène est toujours valable, lorsque $A$ est un sous-ensemble dense de l'ensemble des nombres premiers, ou plus généralement d'un ensemble épars quelconque $E$ (à la place de $\mathbf{N}$). Il s'agit d'un travail en commun avec J. T. Griesmer, P.-Y. Bienvenu et A. Le.


  • Le 1er juillet 2024 à 10:00 au 3 juillet 2024 à 12:30
  • Manifestations Scientifiques
    Salle de conférences
    Organisateur : Andrea Fanelli
    Fano varieties: RAtional Curves, Arithmetic, Sections over Surfaces and Obstructions

  • Le 2 juillet 2024 à 09:30
  • Soutenances
    Salle de conférences
    Bianca GOUHTIER IMB
    Titre de la thèse :"Actions rationnelles de schémas en groupes infinitésimaux". Directeur de thèse : Dajano Tossici

  • Le 2 juillet 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Bruno Sterner Inria
    Finding large smooth twins

    We discuss the computational problem of finding pairs of consecutive smooth integers, also known as smooth twins. Such twins have had some relevance in isogeny-based cryptography and reducing the smoothness bound of these twins aids the performance of these cryptosystems. However searching for such twins with a small smoothness bound is the most challenging aspect of this problem especially since the set of smooth twins with a fixed smoothness bound is finite. This talk presents new large smooth twins which have a smaller smoothness bound compared to twins found with prior approaches.


  • Le 2 juillet 2024 à 13:30
  • Direction
    Salle de conférences
    Conseil joint Conseil de Laboratoire / Conseil Scientifique / Conseil UFMI

    L'ordre du jour sera le suivant :

    1) Adoption du Compte-Rendu du conseil du 11 juin (vote)

    2) Informations générales

    3) Plan de Gestion des Emplois des enseignants-chercheurs 2025

    4) Questions diverses


  • Le 5 juillet 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Galina Levitina (Canberra)
    Spectral shift function for massless Dirac operator in dimension two and higher

    In this talk we show that spectral shift function can be expressed via (regularised) determinant of Birman-Schwinger operator in the setting suitable for higher order differential operators. We then use this expression to show that the spectral shift function for massless Dirac operator is continuous everywhere except possibly at zero. Behaviour of the spectral shift function at zero is influenced by the presence of zero eigenvalue and/or resonance of the perturbed Dirac operator.



  • Le 8 juillet 2024 à 14:00
  • Soutenances
    Salle de conférences
    Chadi SABA IMB
    Titre de la thèse : "Le problème de Littlewood et les séries de Fourier non harmoniques". Directeur de thèse : Karim Kellay. Codirecteur : Philippe Jaming

  • Le 8 juillet 2024 à 15:00
  • Soutenances
    Salle 2
    Haojie HONG IMB
    Titre de la thèse : "Grands diviseurs premiers de suites récurrentes linéaires". Directeur de thèse : Yuri Bilu

  • Le 9 juillet 2024 à 10:00
  • Séminaire de EDP - Physique Mathématique
    Salle1
    David Lannes (Bordeaux)
    Sur la résolution du problème de F. John sur le comportement linéaire des vagues en présence d'un objet flottant

    On montrera comment résoudre le problème de F. John sur les objets flottants dans le cas d'un objet fixe. Il s'agit de comprendre comment des vagues linéaires se comportent en présence d'un objet partiellement immergé. La difficulté principale vient du fait que le domaine du fluide présente des singularités aux points de contact entre l'objet et la surface de l'eau.


  • Le 10 juillet 2024 à 14:00 au 11 juillet 2024 à 12:00
  • Séminaire Images Optimisation et Probabilités
    Salle 2 / salle de conférences
    4 exposés
    Mini-Workshop: rencontre de probabilistes

    Mercredi 10/07


    14h00 Jurgen Angst (Univ. Rennes)

    Title :  TLC in total variation for beta-ensembles

    Abstract : In this talk, we study the fluctuations of linear statistics associated with beta-ensembles, which are statistical physics models generalizing random matrix spectra. In the context of random matrices precisely (e.g. GOE, GUE), the "law of large numbers" is Wigner's theorem, which states that the empirical measure of eigenvalues converges to the semicircle law, and fluctuations around equilibrium can be shown to be Gaussian. We will describe how this result generalizes to beta-ensembles and how it is possible to quantify the speed of convergence to the normal distribution. We obtain optimal rates of convergence for the total variation distance and the Wasserstein distances. To do this, we introduce a variant of Stein's method for a generator $L$ that is not necessarily invertible, and which allows us to establish the asymptotic normality of observables that are not in the image of $L$. Time permitting, we will also look at the phenomenon of super-convergence, which ensures that convergence to the normal law takes place for very strong metrics, typically the $C^{\infty}$-convergence of densities. The talk is based on recent works with R. Herry, D. Malicet and G. Poly.


    15h00 Nicolas Juillet (Univ. Haute-Alsace)

    Title :  Exact interpolation of 1-marginals

    Abstract : I shall present a new type of martingales that exactly interpolates any given family of 1-dimensional marginals on R1 (satisfying the suitable necessary assumption). The construction makes use of ideas from the (martingale) optimal transportation theory and relies on different stochastic orders. I shall discuss of related constructions and open questions (joint work with Brückerhoff and Huesmann).


    16h00 Kolehe Coulibaly-Pasquier (Inst. Ellie Cartan)

    Title :  On the separation cut-off phenomenon for Brownian motions on high dimensional rotationally

    symmetric compact manifolds.

    Abstract : Given a family of compact, rotationally symmetric manifolds indexed by the dimension and a weighted function, we will study the cut-off phenomena for the Brownian motion on this family.

    Our proof is based on the construction of an intertwined process, a strong stationary time, an estimation of the moments of the covering time of the dual process, and on the phenomena of concentration of the measure.

    We will see a phase transition concerning the existence or not of cut-off phenomena, which depend on the shape of the weighted function.



    Jeudi 11/07


    11h00 Masha Gordina (Univ. of Connecticut)

    Title :   Dimension-independent functional inequalities on sub-Riemannian manifolds

    Abstract : The talk will review recent results on gradient estimates, log Sobolev inequalities, reverse Poincare and log Sobolev inequalities on a class of sub-Riemannian manifolds. As for many of such setting curvature bounds are not available, we use different techniques including tensorization and taking quotients. Joint work with F. Baudoin, L. Luo and R. Sarkar.



  • Le 11 juillet 2024 à 14:00
  • Soutenances
    Salle de conférences
    Magalie BENEFICE IMB
    Titre de la thèse :"Couplages de processus stochastiques en géométrie sous-riemannienne". Directeur de thèse : Michel Bonnefont. Codirecteur : Marc Arnaudon

  • Le 11 juillet 2024 à 14:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Magalie Bénéfice IMB
    Soutenance de thèse : Coupling of stochastic processes in subRiemannian manifolds

    In this thesis we study couplings of subelliptic Brownian motions in several subRiemannian manifolds: the free, step $2$ Carnot groups, including the Heisenberg group, as well as the groups of matrices $SU(2)$ et $SL(2,\mathbb{R})$.

    Taking inspiration from previous works on the Heisenberg group we obtain successful non co-adapted couplings on $SU(2)$, $SL(2,\mathbb{R})$ (under strong hypothesis) and also on the free step $2$ Carnot groups with rank $n\geq 3$. In particular we obtain estimates of the coupling rate, leading to gradient inequalities for the heat semi-group and for harmonic functions. We also describe the explicit construction of a co-adapted successful coupling on $SU(2)$.

    Finally, we develop a new coupling model "in one sweep" for any free, step $2$ Carnot groups. In particular, this method allows us to obtain relations similar to the Bismut-Elworthy-Li formula for the gradient of the semi-group by studying a change of probability on the Gaussian space.


  • Le 12 juillet 2024 à 09:30
  • Soutenances
    Visioconférence
    Mark POTSE présentera son exposé en vue de son Habilitation à Diriger des Recherches
    Titre des travaux :"Numerical modeling to understand the heart"

  • Le 6 septembre 2024 à 14:00
  • Soutenances
    Salle de conférences
    Guillaume MARTINROCHE IMB
    Titre de la thèse : "Quantification et caractérisation des maladies auto-immunes et allergiques à l'aide de méthodes d'apprentissage profond". Directeur de thèse : Olivier Saut

  • Le 10 septembre 2024 à 13:30
  • Direction
    Salle de conférences
    Conseil joint Conseil de Laboratoire / Conseil Scientifique

    L'ordre du jour sera le suivant :

    1) Adoption du Compte-Rendu du conseil du 2 juillet (vote)

    2) Informations générales

    3) Approbation du Document Unique d'Évaluation des Risques (DUER) (vote)

    Retour sur l'enquête sur les propos racistes à l'IMB

    4) Approbation de la demande DIALOG de l'IMB (vote)

    5) Approbation du texte relatif aux préconisations de l'IMB concernant les

    déplacements en avion dans le cadre des missions (vote)

    6) Exposé scientifique de Yann Traonmilin : l'IA à l'IMB

    La direction propose de nommer Y. Traonmilin responsable de la thématique IA à

    l'IMB (vote)

    7) Questions diverses

    8) Uniquement pour le Conseil Scientifique : examen des demandes d'HDR


  • Le 12 septembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Marc Arnaudon IMB
    (Proba-Stat) Entrelacement, simulation parfaite et diffusions dans l'espace de Wasserstein

    La motivation principale de cet exposé est de trouver des temps forts de stationnarité pour des processus de Markov (X_t), c'est à dire des temps d'arrêt T tels que X_T soit à l'équilibre, T et X_T soient indépendants. Pour trouver des temps fort de stationnarité T, il est naturel et très facile dans certains cas d'utiliser des processus duaux (D_t), tels que T soit un temps d'atteinte d'un certain état pour le processus dual. On étudiera l'entrelacement entre (X_t) et (D_t). On donnera des exemples pour des chaînes de Markov à espace d'états finis, puis on s'intéressera au mouvement brownien avec des processus duaux à valeur ensemble. L'étonnant théorème "2M-X" de Pitman donne un exemple d'entrelacement du mouvement brownien dans le cercle. On généralisera ce théorème aux variétés riemanniennes compactes, et on construira des temps forts de stationnarité. On étudiera la transition de phase en grande dimension. Finalement, on s'intéressera à des duaux à valeur mesure."


  • Le 13 septembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Naotake Takao (Kyoto University)
    Unramifiedness of torsion points on curves and quasi-supersingular group schemes

    In 1987, Coleman submitted a certain conjecture for curves of genus greater than one over complete discrete valuation fields of mixed characteristics. Roughly speaking, this conjecture asserts that the residue fields of the torsion points of the Jacobian lying on the curve are unramified over the base field. As an application, (the already proven part of) this conjecture gives another proof of the Manin-Mumford conjecture (Raynaud's theorem) on the finiteness of torsion points on curves. In this talk, after overviewing some known results on the Coleman conjecture by Coleman, Tamagawa, Hoshi, et al., I explain my recent approach to the conjecture using Raynaud's classification of vector space schemes and discuss “quasi-supersingular group schemes'', which I introduced in another possible approach to the conjecture.


  • Le 18 septembre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 285, IMB
    Lionel Rolland ENSTA-Paris
    Management of a battery on short term electricity markets

    Our work aims to quantify the benefit of storage flexibilities such as a battery on several short term electricity markets. We especially focus on two different markets, the intraday market (ID) and the activation market of the automatic Frequency Restoration Reserve (aFRR), also known as the secondary reserve. We propose algorithms to optimize the management of a small battery (<= 5 MWh) on these markets. In this talk, we first present the modeling of the problem, then we show some theoretical results and numerical simulations. We conclude by listing some limitations of the method.


  • Le 19 septembre 2024 à 15:30
  • Le Colloquium
    Salle de Conférences
    ANNULÉ

  • Le 20 septembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Livia Campo (Université de Vienne)
    Flags on Fano 3-fold hypersurfaces

    The existence of Kaehler-Einstein metrics on Fano 3-folds can be determined by studying lower bounds of stability thresholds. An effective way to verify such bounds is to construct flags of point-curve-surface inside the Fano 3-folds. This approach was initiated by Abban-Zhuang, and allows us to restrict the computation of bounds for stability thresholds only on flags. We employ this machinery to prove K-stability of terminal quasi-smooth Fano 3-fold hypersurfaces. This is deeply intertwined with the geometry of the hypersurfaces: in fact, birational rigidity and superrigidity play a crucial role. The superrigid case had been attacked by Kim-Okada-Won. In this talk, I will discuss the K-stability of strictly rigid Fano hypersurfaces via Abban-Zhuang Theory. This is a joint work with Takuzo Okada.


  • Le 24 septembre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Martin Paulsen IMB
    Justification of the Benjamin-Ono equation as an internal water wave model

    The Benjamin-Ono (BO) equation is a nonlocal asymptotic model for the unidirectional propagation of weakly nonlinear, long internal waves in a two-layer fluid. The equation was introduced formally by Benjamin in the '60s and has been a source of active research since. For instance, the study of the long-time behavior of solutions, stability of traveling waves, and the low regularity well-posedness of the initial value problem. However, despite the rich theory for the BO equation, it is still an open question whether its solutions are close to the ones of the original physical system.

    In this talk, I will explain the main steps involved in the rigorous derivation of the BO equation.


  • Le 24 septembre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Reza Dasbasteh University of Navarra
    Additive Twisted Codes: New Distance Bounds and Infinite Families of Quantum Codes


    In this talk, we present a new construction of quantum codes that enables the integration of a broader class of classical codes into the mathematical framework of quantum stabilizer codes. Next, we discuss new connections between twisted codes and linear cyclic codes and provide novel bounds for the minimum distance of twisted codes. We demonstrate that classical tools, such as the Hartmann-Tzeng minimum distance bound, are applicable to twisted codes. This has led to the discovery of five new infinite families and many other examples of record-breaking, and sometimes optimal, binary quantum codes. Additionally, we explore the role of the $\gamma$ value on the parameters of twisted codes and present new findings regarding the construction of twisted codes with different $\gamma$ values but identical parameters.


  • Le 26 septembre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Yanyu Zhou ENSTA Paris
    Information discovery in binary stochastic optimization

    In this talk we present an information discovery framework in optimization under uncertainty. In this framework, uncertain parameters are assumed to be “discoverable” by the decision-maker under a given discovery (query) budget. The decision-maker therefore decides which parameters to discover (query) in a first stage then solves an optimization problem with the discovered uncertain parameters at hand in a second stage. We model this problem as a two-stage stochastic program and develop decomposition algorithms for its solution. Notably, one of the algorithms we propose reposes on a Dantzig-Wolfe reformulation of the recourse problem. This allows to treat the cases where the recourse problem involves binary decisions without relying on integer L-Shaped cuts. In its implementation, this approach requires to couple Benders’ and Dantzig-Wolfe reformulation with the subproblems of the Benders’ algorithm being solved using the column generation algorithm. We present some preliminary results on the kidney exchange problem under uncertainty of the compatibility information.


  • Le 26 septembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    LaBRI Salle 076
    Yvan Le Borgne U-Bordeaux - LaBRI
    (proba-stats) Une approche de la causalité due à Pearl.

    Cet exposé se veut une introduction par l'exemple à une théorie de la causalité développée depuis la fin des années 90 par Judea Pearl. Elle lui a valu une partie de son prix ACM Turing en 2011, l'équivalent en informatique du prix Abel. Nous considérerons un modèle classique dont des hypothèses sont formulées par un graphe de cause. Il contient notamment une cause commune inobservable et une variable éthiquement non contrôlable. Adoptant ici un vocabulaire informatique, nous traiterons en détail une requête sur les traces d'exécution d'un programme inexécutable à l'aide de statistiques sur les traces d'un autre programme lui exécutable. Les éléments rencontrés lors de cette analyse seront alors utilisés dans une présentation de l'architecture globale de la démarche de Pearl. Si le temps le permet, nous discuterons quelques éléments sur les calculs probabilistes dans ce contexte qui s'avèrent souvent reformulable uniquement en terme de théorie des graphes.


  • Le 26 septembre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Raul Borsche Université de Kaiserslautern\, Allemagne
    Networks of hyperbolic PDEs

    Networks of hyperbolic PDEs arise in different applications, e.g. modeling water- or gas-networks or road traffic. In the first part of this talk we discuss modeling aspects of coupling conditions for hyperbolic PDEs.

    Starting from an kinetic description we derive coupling conditions for the associated macroscopic equations. For this process a detailed description of the boundary layer is important. In the second part appropriate numerical methods are considered.

    Different high order approaches are compared and applications to district heating or water networks are discussed.


  • Le 27 septembre 2024 à 10:00
  • Soutenances
    Salle de conférences
    Virginie MONTALIBET IMB
    Titre de la thèse : "Amélioration du suivi clinique de tumeurs intracrâniennes à l'aide d'équations différentielles et de méthodes d'apprentissage" . Directeur de thèse : Olivier Saut. Co-directrice : Annabelle Colin.

  • Le 27 septembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Florian Luca (Stellenbosch)
    On a question of Douglass and Ono

    It is known that the partition function $p(n)$ obeys Benford's law in any integer base $b\ge 2$. In a recent paper, Douglass and Ono asked for an explicit version of this result. In my talk, I will show that for any string of digits of length $f$ in base $b$, there is $n\le N(b,f)$, where 

    $$N(b,f):=\exp\left(10^{32} (f+11)^2(\log b)^3\right)$$

    such that $p(n)$ starts with the given string of digits in base $b$. The proof uses a lower bound for a nonzero linear form in logarithms of algebraic numbers with algebraic coefficients due to  Philippon and Waldschmidt. A similar result holds for the plane partition function. 



  • Le 1er octobre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Angel Castro CSIC Madrid
    Unstable vortices and non-uniqueness for 2D Euler and α−SQG



  • Le 1er octobre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Aurel Page IMB
    Equidistribution of supersingular elliptic curves with extra structure

    Several algorithmic problems on supersingular elliptic curves are

    currently under close scrutiny. When analysing algorithms or reductions

    in this context, one often runs into the following type of question:

    given a supersingular elliptic curve E and an object x attached to E, if

    we consider a random large degree isogeny f : E -> E' and carry the

    object x along f, how is the resulting f(x) distributed among the

    possible objects attached to E'? We propose a general framework to

    formulate this type of question precisely, and prove a general

    equidistribution theorem under a condition that is easy to check in

    practice. The proof goes from elliptic curves to quaternionic

    automorphic forms via an augmented Deuring correspondence, and then to

    classical modular forms via the Jacquet-Langlands correspondence. This

    is joint work with Benjamin Wesolowski.


  • Le 2 octobre 2024 à 12:45
  • Informations Diverses
    A30 - Amphi du Labri
    Adrien Vincent
    Séminaire Numérics : "Life cycle assessment of ICT"

    After a quick overview of the general principles of Life Cycle Assessment (LCA), we will investigate how such a tool can be helpful to compare the environmental impact of different architectures of computer systems used for teaching purposes in higher education. In particular, we will see how to perform the life cycle inventory of the systems under studies from a practical standpoint. We will then review the main results from the life cycle impact assessment and discuss them as well as the limitations of this study.   


  • Le 2 octobre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 285
    Friedrich Röpke\, Robert Andrassy\, Giovanni Leidi Heidelberg Institute for Theoretical Studies\, Allemagne
    Magnetohydrodynamics simulations of stellar interiors: challenges and methods

    Multidimensional simulations of magnetohydrodynamic phenomena occurring in stellar interiors are essential for understanding how stars evolve and die. The highly subsonic flow regimes found in the regions deep inside stars pose severe challenges to conventional methods of computational MHD, such as the popular "high-resolution shock-capturing'' schemes. After giving a brief overview of work on astrophysical simulations (including also supernova explosions and common-envelope evolution) in our group at Heidelberg, we summarize the challenges and present suitable numerical solvers optimized for magnetized, low-Mach-number stellar flows, implemented in our Seven-League Hydro code. We show how the choice of the numerical method can drastically affect both the performance of the code and its accuracy in real astrophysical simulations.


  • Le 3 octobre 2024 à 14:00
  • Séminaire d'Analyse
    Salle 1
    Les membres de l'équipe Institut de Mathématiques de Bordeaux
    Seminaire de rentrée de l'équipe Analyse

    Présentation des membres de l'équipe


  • Le 4 octobre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Sébastien Labbé (LaBRI Bordeaux)
    Tuiles de Wang apériodiques associées aux nombres métalliques

    Un pavage de Penrose est formé de deux tuiles polygonales dont le ratio des fréquences est égal au nombre d'or. De même, les pavages par la monotuile apériodique découverte en 2023 par David Smith sont tels que le ratio des fréquences des deux orientations de la monotuile est égal à la quatrième puissance du nombre d'or. Aussi, la structure des pavages de Jeandel-Rao est expliquée par le nombre d'or. On connait des pavages apériodiques qui ne sont pas reliés au nombre d'or. Toutefois, la caractérisation des nombres possibles pour de tels ratios est une question, posée dès 1992 par Ammann, Grünbaum et Shephard, qui est toujours ouverte aujourd'hui.

    Pour chaque entier positif $n$, nous introduisons un ensemble $\mathcal{T}_n$ composé de $(n+3)^2$ tuiles de Wang (carrés unitaires avec des bords étiquetés). Nous représentons un pavage par des translations de ces tuiles comme une fonction $\mathbb{Z}^2\to\mathcal{T}_n$ appelée configuration. Une configuration est valide si le bord commun des tuiles adjacentes a la même étiquette. Pour chaque entier $n\geq1$, nous considérons le sous-décalage de Wang $\Omega_n$ défini comme l'ensemble des configurations valides pour les tuiles $\mathcal{T}_n$.

    La famille $\{\Omega_n\}_{n\geq1}$ élargit la relation entre les entiers quadratiques et les tuiles apériodiques au-delà de l'omniprésent nombre d'or, car la dynamique de $\Omega_n$ implique la racine positive $\beta$ du polynôme $x^2-nx-1$. Cette racine est parfois appelée $n$-ième nombre métallique (https://fr.wikipedia.org/wiki/Nombre_métallique), et en particulier, le nombre d'or lorsque $n=1$ et le nombre d'argent lorsque $n=2$.

    L'ensemble $\Omega_n$ est auto-similaire, apériodique et minimal pour l'action de décalage. De plus, il existe une partition polygonale de $\mathbb{T}^2$ qui est une partition de Markov pour une $\mathbb{Z}^2$-action sur le tore. La partition et les ensembles de tuiles de Wang sont symétriques, ce qui les rend, comme les tuiles de Penrose, dignes d'intérêt.

    Les détails peuvent être trouvés dans les prépublications disponibles à

    https://arxiv.org/abs/2312.03652 (partie I) et

    https://arxiv.org/abs/2403.03197 (partie II).

    L'exposé présentera une vue d'ensemble des principaux résultats.


  • Le 4 octobre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Gilles Zémor (Université de Bordeaux)
    Freiman's $3k-4$ theorem for function fields

    Freiman's $3k-4$ Theorem states that if a subset $A$ of $k$ integers has a Minkowski sum $A+A$ of size at most $3k-4$, then it must be contained in a short arithmetic progression. We prove a function field analogue that is also a generalisation: it states that if $K$ is a perfect field and if $S\supset K$ is a vector space of dimension $k$ inside an extension $F/K$ in which $K$ is algebraically closed, and if the $K$-vector space generated by all products of pairs of elements of $S$ has dimension at most $3k-4$, then $K(S)$ is a function field of small genus, and $S$ is of small codimension inside a Riemann-Roch space of $K(S)$. Joint work with Alain Couvreur. 


  • Le 4 octobre 2024 à 16:00
  • Informations Diverses
    Salle de conférences
    Sylvain Ervedoza
    Discussion sur l'après thèse et les carrières académiques / Discussion on post-doctoral and academic careers.

    Discussion autour de l’après thèse et les carrières académiques (concours, candidatures), en priorité à destination des doctorantes et doctorants, post-doctorant·e·s et ATER à l’IMB. 


  • Le 8 octobre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Gabriel Rivière Université de Nantes
    Equation de Vlasov non-linéaires et chaotiques

    Je discuterai un travail récent avec Yann Chaubet et Daniel Han-Kwan (Nantes). Nous nous sommes intéressés à la dynamique en temps long de l'équation de Vlasov non-linéaire sur une variété à courbure négative lorsque le noyau d'interaction est lisse. J'expliquerai que, pour des petites données initiales lisses et supportées loin de la section nulle, les solutions de cette équation convergent à vitesse exponentielle vers un état d'équilibre du problème linéaire. Pour obtenir un tel résultat, on fait appel à des outils d'analyse microlocale développés initialement dans le contexte de l'étude des systèmes dynamiques chaotiques (Baladi, Dyatlov, Faure, Sjöstrand, Tsujii, Zworski).


  • Le 8 octobre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Sabrina Kunzweiler IMB
    Computing modular polynomials by deformation

    The classical modular polynomial phi_N parametrizes pairs of elliptic curves connected by an isogeny of degree N. They play an important role in algorithmic number theory, and are used in many applications, for example in the SEA point counting algorithm.

    This talk is about a new method for computing modular polynomials. It has the same asymptotic time complexity as the currently best known algorithms, but does not rely on any heuristics. The main ideas of our algorithm are: the embedding of N-isogenies in smooth-degree isogenies in higher dimension, and the computation of deformations of isogenies.

    The talk is based on a joint work with Damien Robert.


  • Le 8 octobre 2024 à 13:30
  • Direction
    Salle 2
    Présentation des services et missions de l'IMB pour les nouveaux membres de l'IMB. Prgramme :
    -13h30 : Mot du directeur
    -13h35 : Présentation des services administratifs
    -13h50 : Cellule informatique
    -14h05 : Bibliothèque
    -14h20 : Présentation du mentorat
    -14h25 : Mission Parité
    -14h40 : Mission environnement
    -14h50 : Diffusion
    -15h05 : Présentation de l’association Lambda



  • Le 9 octobre 2024 à 12:45
  • Informations Diverses
    Grand amphi du Labri A30
    Frédéric Alexandre INRIA
    Séminaire Numerics : Some elements to understand how ChatGPT works

    In recent months, the proliferation of conversational agents such as ChatGPT has had a major impact on Artificial Intelligence research, but also on the way AI is perceived by the public. Because of some rather bluff results, some people wonder if this agent is as intelligent as us, if it can replace us, or even if it has a conscience. But also because of the rather crude mistakes it makes, people wonder whether its use should not be prohibited under certain conditions. To answer such questions, it might be useful to know more about how ChatGPT works. After that, we'll be able to discuss the potential of such tools and the uses to which they can be put.


  • Le 9 octobre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Alexander KURGANOV Southern University of Science and Technology (SUSTech)\, China
    Well-Balanced Path-Conservative Central-Upwind Schemes Based on Flux Globalization

    We study non-conservative hyperbolic systems of balance laws and are interested in development of well-balanced (WB) numerical methods for such systems. One of the ways to enforce the balance between the flux terms and source and non-conservative product terms is to rewrite the studied system in a quasi-conservative form by incorporating the latter terms into the modified global flux. The resulting system can be quite easily solved by Riemann-problem-solver-free central-upwind (CU) schemes. This approach, however, does not allow to accurately treat non-conservative products. We therefore apply a path-conservative (PC) integration technique and develop a very robust and accurate path-conservative central-upwind schemes (PCCU) based on flux globalization. I will demonstrate the performance of the WB PCCU schemes on a wide variety of examples.


  • Le 10 octobre 2024 à 09:00
  • Manifestations Scientifiques
    Salle 1
    Organisateurs : Andreas Hartmann - Karim Kellay - Stanislas Kupin
    Journée d'Analyse en l'honneur de Pascal Thomas

  • Le 10 octobre 2024 à 09:00
  • Séminaire Images Optimisation et Probabilités
    Salle de conférences
    ... ...
    Journée de rentrée de l'IMB

    Séminaire IOP banalisé


  • Le 10 octobre 2024 à 09:30
  • Séminaire d'Analyse
    IMB
    Organisateurs: Andreas Hartmann\, Karim Kellay\, Stanislas Kupin IMB
    Journée en l'honneur de Pascal Thomas

    https://www.math.u-bordeaux.fr/~skupin/conf-pthomas-2024.html



  • Le 10 octobre 2024 à 10:00
  • Direction
    Salle de conférences
    Journée et soirée de rentrée de l'IMB - Exposés scientifiques des nouveaux entrants :
    - 10h : Café offert par le laboratoire
    - 10h30 : Maxime BOMBAR
    - 11h : Sabrina KUNZWEILER
    - 11h30 : Elena BERARDINI
    - 12h : Buffet
    - 14h : Egor YASINSKY
    - 14h30 : Camille CASTERA
    - 15h : Julien MOATTI
    - 18h30-21h : Apéro (offert par le laboratoire) et auberge espagnole (à apporter par les participants) autour d’animations (blind test, jeux,...)
    - 21h-23h : Soirée dansante


  • Le 11 octobre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Teo Gil Moreno de Mora Sardà (Université Paris-Est Créteil et Université Autonome de Barcelone)
    Décomposition des 3-variétés à courbure scalaire positive à décroissance quadratique

    Une variété est dite PSC si elle admet une métrique riemannienne complète à courbure scalaire positive. Vers la fin des années 1970, des résultats de Schoen et Yau reposant sur la théorie des surfaces minimales et, en parallèle, des méthodes basées sur la théorie de l’indice développées par Gromov et Lawson, ont permis de classifier les 3-variétés fermées PSC : ce sont exactement celles qui se décomposent en sommes connexes de variétés sphériques et de produits S2xS1. Dans cet exposé, nous présenterons un résultat de décomposition des 3-variétés PSC non compactes : si sa courbure scalaire décroît assez lentement, alors la variété se décompose en somme connexe (possiblement infinie) de variétés sphériques et S2xS1. Ce résultat fait suite à des travaux récents de Gromov et de Wang.

    Il s'agit d'un travail en collaboration avec F. Balacheff et S. Sabourau.


  • Le 11 octobre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Jean-François Jaulent IMB
    L'analogue logarithmique du théorème d'Artin-Furwängler sur la capitulation non-ramifiée des idéaux

    Résumé. L'exposé porte sur l'analogue du Théorème d’Artin-Furtwängler sur la capitulation des groupes de classes dans le corps de Hilbert obtenu en transposant aux groupes de classes logarithmiques des corps de nombres la preuve algébrique classique du Théorème de l’idéal principal.


    Abstract. We establish a logarithmic version of the classical result of Artin-Furwängler on the principalization of ideal classes in the Hilbert class-field by applying the group theoretic description of the transfert map in the logarithmic context.


  • Le 11 octobre 2024 à 17:00 au 18 octobre 2024 à 12:00
  • Alertes
    Bureau 316
    BMI IMB
    Modification des horaires d'ouverture de la Bibliothèque du 15 AU 18 OCTOBRE : de 09H à 18H, excepté mercredi de 13H à 18H

  • Le 14 octobre 2024 à 08:00 au 18 octobre 2024 à 18:00
  • Infos Site Cellule
    Bureaux 225 et 270
    La Cellule Informatique IMB
    Accueil réduit du 14 au 18 octobre 2024

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

    • ne sera ouvert qu'à partir de 10h
    • et sera fermé vendredi
    • et il n'y aura pas d'accueil au bureau 270.

    en raison de la participation d'une partie de l'équipe informatique à l'Action Nationale de Formation Mathrice au CIRM à Marseille.

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



  • Le 14 octobre 2024 à 08:00 au 18 octobre 2024 à 12:00
  • Alertes
    Bureaux 225 et 270
    La Cellule Informatique IMB
    Modification des horaires d'accueil de la Cellule informatique du 14 au 18 octobre - Pensez à anticiper les retraits de matériel de prêt.

  • Le 14 octobre 2024 à 14:00
  • Groupe de Travail Analyse
    Salle de Conférences
    Yunlei Wang IMB
    1D spectral estimates and quantitative propagation of smallness in the plane

    We investigate the connection between the propagation of smallness in two dimensions and one-dimensional spectral estimates. The phenomenon of smallness propagation in the plane, originally obtained by Yuzhe Zhu, reveals how the value of solutions in a small region extends to a larger domain. By revisiting Zhu’s proof, we obtain a quantitative version that includes an explicit dependence on key parameters. This refinement enables us to establish spectral inequalities for one-dimensional Schrödinger operators.


  • Le 15 octobre 2024 à 10:00
  • Soutenances
    Salle de conférences
    Pierre-Jean BENARD IMB
    Titre de la thèse : "Algorithmes non-convexes rapides pour la reconstruction de signaux parcimonieux sans grille". Directeur de thèse : Yann Traomillin. Co-directeur : Jean-François Aujol

  • Le 15 octobre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle 1
    Martin Donati Université Grenoble
    Localisation des filaments de tourbillon hélicoïdaux

    Dans le sillage d'une éolienne ou d'un hélicoptère se créent naturellement des filaments de tourbillon en forme d'hélice. Le mouvement des filaments de tourbillon fait l'objet d'une conjecture importante : lorsque le diamètre du filament tend vers 0 (en conservant son intensité), son mouvement devrait suivre en première approximation le flot par courbure binormale. Cette conjecture n'est prouvée que pour les filaments rectilignes et pour les anneaux de tourbillon. Nous montrons, dans le contexte des équations d'Euler 3D incompressibles en symétrie hélicoïdale que les filaments hélicoïdaux suffisamment concentrés suivent également le flot par courbure binormal.


    The slides are in english but the talk will be in french.


  • Le 15 octobre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    salle 2
    Damien Robert IMB
    The module action on abelian varieties

    In a category enriched in a closed symmetric monoidal category, the power

    object construction, if it is representable, gives a contravariant monoidal

    action. We first survey the construction, due to Serre, of the power object

    by (projective) Hermitian modules on abelian varieties. The resulting

    action, when applied to a primitively oriented elliptic curve, gives a

    contravariant equivalence of category (Jordan, Keeton, Poonen, Rains,

    Shepherd-Barron and Tate).


    We then give several applications of this module action:


    1) We first explain how it allows to describe purely algebraically the

    ideal class group action on an elliptic curve or the Shimura class group

    action on a CM abelian variety over a finite field, without lifting to

    characteristic 0.


    2) We then extend the usual algorithms for the ideal action to the case of

    modules, and use it to explore isogeny graphs of powers of an elliptic

    curve in dimension up to 4. This allows us to find new examples of curves

    with many points. (This is a joint work with Kirschmer, Narbonne and

    Ritzenthaler)


    3) Finally, we give new applications for isogeny based cryptography. We

    explain how, via the Weil restriction, the supersingular isogeny path

    problem can be recast as a rank 2 module action inversion problem. We also

    propose ⊗-MIKE a novel NIKE (non interactive isogeny key exchange) that only

    needs to send j-invariants of supersingular curves, and compute a dimension

    4 abelian variety as the shared secret.


  • Le 16 octobre 2024 à 12:45
  • Informations Diverses
    grand amphi du Labri (bâtiment A30)
    Yassine Hamoudi Labri
    Séminaire Numerics : A quoi servent les algorithmes quantiques ?

    Les algorithmes quantiques sont une piste majeure d'accélération pour certains calculs. Dans cet exposé, nous présenterons les principaux problèmes susceptibles d'en bénéficier. Nous développerons également quelques grands principes sous-jacents à ces algorithmes.


  • Le 16 octobre 2024 à 17:00
  • Séminaire des doctorant·es
    Salle des Conférences
    Julien Hermant IMB
    Algorithme d'optimisation accéléré en machine learning

    Beaucoup de problèmes, notamment en machine learning, peuvent se formuler comme des problèmes d'optimisation. Pour résoudre ces problèmes, les algorithmes de gradients (types descente de gradient) sont très populaires. En particulier, modifier la descente de gradient en y incorporant un méchanisme d'inertie permet d'en accélérer la vitesse. Cependant, l'émergence de grosses bases de données rend le calcul du gradient très coûteux. En pratique donc, on préférera souvent utiliser des techniques d'échantillonnages pour utiliser une approximation moins coûteuse du gradient. Dans cette présentation, on s'intéresse à la possibilité de conserver des propriétés d'accélération de la descente de gradient grâce à l'ajout d'inertie, lorsque de telles approximations du gradient sont utilisées.


  • Le 17 octobre 2024 à 09:30
  • Soutenances
    Salle de conférences
    Bilel BENSAID IMB
    Titre de la thèse :"Analyse et développements de nouveaux optimiseurs en Machine Learning". Directeur de thèse : Rodolphe Turpault. Co-directeur : Gael Poette

  • Le 17 octobre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle 1
    Jean Peyhardi U. Montpellier
    (Proba-Stats)À préciser

    Seminaire joint avec Optimal


  • Le 17 octobre 2024 à 11:15
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2
    Jean Peyhardi Université de Montpellier
    (proba-stats) Polya urn models for multivariate species abundance data: properties and applications

    This talk focuses on models for multivariate count data, with emphasis on species abundance data. Two approaches emerge in this framework: the Poisson log-normal (PLN) and the Tree Dirichlet multinomial (TDM) models. The first uses a latent gaussian vector to model dependencies between species whereas the second models dependencies directly on observed abundances. The TDM model makes the assumption that the total abundance is fixed, and is then often used for microbiome data since the sequencing depth (in RNA seq) varies from one observation to another leading to a total abundance that is not really interpretable. We propose to generalize TDM model in two ways: by relaxing the fixed total abundance and by using Polya distribution instead of Dirichlet multinomial. This family of models corresponds to Polya urn models with a random number of draws and will be named Polya splitting distributions. In a first part I will present the probabilistic properties of such models, with focus on marginals and probabilistic graphical model. Then it will be shown that these models emerge as stationary distributions of multivariate birth death process under simple parametric assumption on birth-death rates. These assumptions are related to the neutral theory of biodiversity that assumes no biological interaction between species. Finally, the statistical aspects of Polya splitting models will be presented: the regression framework, the inference, the consideration of a partition tree structure and two applications on real data.


  • Le 18 octobre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Martin Mion-Mouton (Institut Max Planck - Leipzig)
    Rigidité des tores de-Sitter singuliers et bi-feuilletages du tore

    Les métriques Lorentziennes à courbure constante ayant un nombre fini de singularités coniques offrent de nouveaux exemples naturels de structures géométriques sur le tore. Des travaux de Troyanov sur leur analogue Riemannien ont montré que la donnée de la structure conforme et des angles aux singularités classifient entièrement les métriques Riemanniennes à singularités coniques. Dans cet exposé nous nous intéresserons aux tores de-Sitter singuliers, en construirons des exemples, et présenterons un phénomène de rigidité rappelant celui de Troyanov : les tores de-Sitter à une singularité d'angle fixé sont déterminés par la classe d'équivalence topologique de leur bi-feuilletage lumière. Nous verrons que cette question géométrique est intimement liée à un problème de dynamique sur les difféomorphismes par morceaux du cercles.


  • Le 18 octobre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Martin Scotti (LAGA - Paris 8)
    Intersecting codes in the Hamming and in the rank metric

    In this talk, we investigate intersecting codes. In the Hamming metric, these are codes where two nonzero codewords always share a coordinate in which they are both nonzero. Based on a new geometric interpretation of intersecting codes, we are able to provide some new lower and upper bounds on the minimum length $i(k, q)$ of intersecting codes of dimension k over $\mathbb{F}_q$, together with some explicit constructions of asymptotically good intersecting codes. We relate the theory of intersecting codes over $\mathbb{F}_q$ with the theory of $2$-wise weighted Davenport constants of certain groups, and to nonunique factorization theory. Finally, we will present intersecting codes in the rank metric.


  • Le 22 octobre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Salle de conférences
    Eliot Pacherie CY Cergy Paris Université
    Stabilité orbitale de la paire de vortex dans l'équation de Gross-Pitaevskii

    L'équation de Gross-Pitaevskii décrit le mouvement de superfluides, et possède entre autres des solutions stationnaires en forme de vortex. Si deux vortex sont présents, ils se déplacent ensemble à une vitesse constante.

    Dans cet exposé, on montrera un résultat de stabilité orbitale dans un espace métrique pour cette paire. On expliquera comment adapter le schéma de preuve de stabilité à un tel espace, et pourquoi on ne peut pas prouver le résultat dans un espace plus simple. Ce travail a été fait en collaboration avec Philippe Gravejat et Frédéric Valet.


  • Le 23 octobre 2024 à 12:45
  • Informations Diverses
    Grand Amphi au Labri
    Aurélie Bugeau
    Séminaire Numerics : Quel numérique dans les scénarios prospectifs ?

    Dans le contexte du changement climatique, de nombreuses études prospectives, englobant généralement tous les domaines de la société, imaginent des futurs possibles pour faire émerger des nouveaux récits et/ou guider les prises de décisions. Dans cette présentation, nous analyserons les technologies numériques envisagées dans un monde qui a atténué le changement climatique ou s'y est adapté. Pour cela, les variables d'analyse utilisées dans notre étude seront décrites. Elles ont été appliquées pour étudier 14 études prospectives et les 35 scénarios futurs correspondants. Nous constatons que tous les scénarios considèrent la technologie numérique comme présente dans le futur et peu d'entre eux interrogent notre rapport au numérique et sa matérialité. Notre analyse montre l'absence d'une vision systémique des technologies de l'information et de la communication dans les scénarios prospectifs. Nous conclurons la présentation en discutant d'alternative pour imaginer les scénarios alternatifs pour le numérique.


  • Le 23 octobre 2024 à 14:00
  • Soutenances
    Salle de conférences
    Macro ARTUSA
    Titre de la thèse :"Sur des théorèmes de dualité pour la cohomologie condensée du groupe de Weil d'un corps p-adique". Directeur de thèse : Baptiste Morin

  • Le 24 octobre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Matteo Petris Ecole des Ponts ParisTech
    Robust approaches for the kidney exchange problem

    In the Kidney Exchange Problem (KEP), we consider a pool of altruistic donors and incompatible patient-donor pairs. 

    Kidney exchanges can be modelled in a directed weighted graph as circuits starting and ending in an incompatible pair or as paths starting at an altruistic donor.

    The weights on the arcs represent the medical benefit which measures the quality of the associated transplantation.

    For medical reasons, circuits and paths are of limited length and are associated with a medical benefit to perform the transplants.

    The aim of the KEP is to determine a set of disjoint kidney exchanges of maximal medical benefit or maximal cardinality (all weights equal to one).

    In this work, we consider two types of uncertainty in the KEP which stem from the estimation of the medical benefit (weights of the arcs) and from the failure of a transplantation (existence of the arcs).

    Both uncertainty are modelled via uncertainty sets with constant budget.

    The robust approach entails finding the best KEP solution in the worst-case scenario within the uncertainty set.

    We modelled the robust counter-part by means of a max-min formulation which is defined on exponentially-many variables associated with the circuits and paths.

    We propose different exact approaches to solve it: either based on the result of Bertsimas and Sim or on a reformulation to a single-level problem.

    In both cases, the core algorithm is based on a Branch-Price-and-Cut approach where the exponentially-many variables are dynamically generated.

    The computational experiments prove the efficiency of our approach.  



  • Le 24 octobre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Laura del Rio Martín University of Trento
    .

  • Le 24 octobre 2024 à 15:30
  • Le Colloquium
    Salle de Conférénces
    Jose A. Carrillo (Oxford)
    TBA
    TBA
  • Le 25 octobre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Matteo Ruggiero (IMJ Paris)
    Sur le problème de Manin-Mumford dynamique pour les endomorphismes polynomiaux du plan affine

    Le problème de Manin-Mumford dynamique est un problème en dynamique algébrique inspiré par des résultats classiques de géométrie arithmétique.

    Étant donné un système dynamique algébrique $(X,f)$, où $X$ est une variété projective et $f$ est un endomorphisme polarisé de $X$, on veut déterminer sous quelles conditions une sous-variété $Y$ qui contient une quantité Zariski-dense de points à orbite finie, doit avoir elle-même une orbite finie.

    Dans un travail en commun avec Romain Dujardin et Charles Favre, on montre que cette propriété est vérifiée quand $f$ est un endomorphisme régulier du plan projectif provenant d'un endomorphisme polynomial de ${\mathbf C}^2$ (de degré $d \ge 2$), sous la condition supplémentaire que l'action de $f$ à l'infini n'a pas de points critiques périodiques.

    La preuve se base sur des techniques provenant de la géométrie arithmétique et de la dynamique analytique, à la fois sur ${\mathbf C}$ et sur des corps non-archimédiens.


  • Le 25 octobre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Guido Lido (Université de Tor Vergata)
    TBA

    ...


  • Le 25 octobre 2024 à 15:30
  • Soutenances
    Salle de conférences
    Martin FRANCQUEVILLE
    Titre de la thèse :"Fonctions l p-adiques de Rankin-Selberg aux points semistables". Directeur de thèse : Denis Benois

  • Le 29 octobre 2024 à 11:00
  • Séminaire de EDP - Physique Mathématique
    Pas de séminaire

  • Le 31 octobre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Guillaume Joubert LS2N\, IMT Atlantique
    Decision aid for tactical transportation problems

    Due to the complexity of real-world planning processes addressed by major transportation companies, decisions are often made considering subsequent problems at the strategic, tactical, and operational planning phases. However, these problems still prove to be individually very challenging. This talk will present two examples of tactical transportation problems motivated by industrial applications: the Train Timetabling Problem (TTP) and the Service Network Scheduling Problem (SNSP). The TTP aims at scheduling a set of trains, months to years before actual operations, at every station of their path through a given railway network while respecting safety headways. The SNSP determines the number of vehicles and their departure times on each arc of a middle-mile network while minimizing the sum of vehicle and late commodity delivery costs. For these two problems, the consideration of capacity and uncertainty in travel times are discussed. We present models and solution approaches including MILP formulations, Tabu search, Constraint Programming techniques, and a Progressive Hedging metaheuristic.


  • Le 1er novembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    vacances

  • Le 4 novembre 2024 au 6 novembre 2024
  • Manifestations Scientifiques
    Domaine du Haut-Carré - Auditorium de l'Agora
    Comité d'organisation : Fabrice Catoire Université de Bordeaux - Alexandra Darrieutort MCIA Bordeaux - Philippe Depouilly IMB Bordeaux - Laurent Facq IMB Bordeaux - Pierre Gay MCIA Bordeaux - Alice Lasserre INRIA Bordeaux - Luc Mieussens IMB Bordeaux - Philippe Parnaudeau CNRS Institut Prime - Sandrine Sabatié INRAE Bordeaux
    JCAD 2024 Journée calcul et données

  • Le 5 novembre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    Salle 2
    Arthur Herlédan Le Merdy ENS de Lyon\, LIP
    TBA

  • Le 7 novembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de conférence
    Julien Mairal INRIA Grenoble
    (Maths-IA) A définir

  • Le 7 novembre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Simon MENDEZ CNRS - IMAG - Université de Montpellier
    TBA

  • Le 8 novembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Thomas Agugliaro (Université de Strasbourg)
    TBA

    ...


  • Le 12 novembre 2024 à 11:00
  • Séminaire de Théorie Algorithmique des Nombres
    Salle 2
    Sam Frengley University of Bristol
    TBA

  • Le 14 novembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Gersende Fort Institut de Mathématiques de Toulouse
    (Proba-Stat) Approximations stochastiques

    À préciser.

    Invitée de Pascal Vallet.


  • Le 15 novembre 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Clément Dutreix (LOMA - Bordeaux)
    TBA

  • Le 15 novembre 2024 à 10:00
  • Soutenances
    Salle de conférences
    Gauthier THURIN IMB
    Titre de la thèse :"Quantiles multivariés et transport optimal régularisé". Directeur de thèse : Jérémie Bigot. Co-directeur : Bernard Bercu

  • Le 15 novembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    André Belotto (IMJ Paris)
    A préciser

  • Le 15 novembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Francesco Campagna (Clermont-Ferrand)
    TBA

    ...


  • Le 21 novembre 2024 à 11:00
  • Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
    Salle 2, IMB
    Arthur Leonard ENS Lyon
    Optimiser des fonctions de faible dimension sur les entiers

    On s'intéresse au problème d'optimiser une fonction objectif g(W x) + c^T x pour x entier, où chaque coordonnée de x est contrainte dans un intervalle. On suppose que la matrice W est à coefficient entiers de valeur absolue bornée par Delta, et qu'elle projette x sur un espace de petite dimension m << n. Ce problème est une généralisation du résultat de Hunkenschröder et al. dans lequel g est séparable convexe, et x est dans un 0-1 hypercube.


    On présentera un algorithme en complexité n^m (m Delta)^O(m^2), sous la supposition que l'on sache résoudre efficacement le problème lorsque n = m. Cet algorithme utilise les travaux d'Eisenbrand et Weismantel sur la programmation linéaire entière avec peu de contraintes.

    L'algorithme présenté peut être employé théoriquement dans plusieurs problèmes notamment la programmation mixte linéaire avec peu de contraintes, ou encore le problème du sac à dos où l'on doit acheter son sac.


  • Le 22 novembre 2024 à 09:30
  • Groupe de Travail EDP et Théorie Spectrale
    Salle de Conférences
    Alba García (Madrid)
    TBA

  • Le 22 novembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Jean Raimbault (Marseille)
    A préciser

  • Le 22 novembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Jean-Stefan Koskivirta (TBC) (Caen)
    TBA

    ...


  • Le 28 novembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de conférénces
    Michel Bonnefont IMB
    (proba-stats) À préciser

    À préciser


  • Le 28 novembre 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Virgile Tapiero Orléans
    Tba

  • Le 28 novembre 2024 à 14:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 2
    Simone CHIOCCHETTI University of Cologne
    TBA

  • Le 29 novembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Johan Taflin (Université de Bourgogne)
    A préciser

  • Le 29 novembre 2024 à 11:00
  • Séminaire de Calcul Scientifique et Modélisation
    Salle 285
    Alexandre Ern CERMICS \, ENPC (Ecole des Ponts)
    Hybrid High-Order Method (HHO)

  • Le 29 novembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Marina Poulet (Grenoble)
    TBA

    ...


  • Le 5 décembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de conférence
    Julien Hermant IMB
    (Maths-IA) A définir

    A définir


  • Le 6 décembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Bram Petri (IMJ Paris)
    A préciser

  • Le 6 décembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Adrien Morin (Copenhague)
    TBA

    ...


  • Le 12 décembre 2024 à 11:15
  • Séminaire Images Optimisation et Probabilités
    Salle de Conférénces
    Jordan Serres INSA
    (proba-stats) À préciser

    À préciser


  • Le 12 décembre 2024 à 14:00
  • Séminaire d'Analyse
    Salle de conférences
    Jordan Serres Toulouse
    Tba

  • Le 13 décembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Jean Lécureux (Orsay Paris)
    A préciser

  • Le 13 décembre 2024 à 14:00
  • Séminaire de Théorie des Nombres
    Salle de conférences
    Martin Azon (Université Clermont-Auvergne)
    TBA

    ...


  • Le 20 décembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    Matthieu Astorg (Université d'Orléans)
    A préciser

  • Le 27 décembre 2024 à 10:45
  • Séminaire de Géométrie
    Salle 2
    vacances