Evénements passés

Online

Guillaume Moroz Inria\, LORIA

New data structure for univariate polynomial approximation and applications to root isolation, numerical multipoint evaluation, and other problems

We present a new data structure to approximate accurately and efficiently a polynomial $f$ of degree $d$ given as a list of coefficients. Its properties allow us to improve the state-of-the-art bounds on the bit complexity for the problems of root isolation and approximate multipoint evaluation. This data structure also leads to a new geometric criterion to detect ill-conditioned polynomials, implying notably that the standard condition number of the zeros of a polynomial is at least exponential in the number of roots of modulus less than $\frac{1}{2}$ or greater than $2$.

Le 4 janvier 2022 à 13:30

visio-conférence

Conseil de laboratoire

L'ordre du jour sera le suivant :1) Approbation du compte-rendu du conseil de laboratoire du 9 novembre 2021 ;2) Charte des référents parité pour les comités de sélection ;3) Proposition de budget pour 2022 ;4) Questions diverses

Le 6 janvier 2022 à 11:00

Salle 285

Stéphane Dartois

Entanglement criteria for the bosonic and fermionic induced ensembles

We introduce the bosonic and fermionic ensembles of density matrices and study their entanglement. In the fermionic case, we show that random bipartite fermionic density matrices have non-positive partial transposition, hence they are typically entangled. The similar analysis in the bosonic case is more delicate, due to a large positive outlier eigenvalue. We compute the asymptotic ratio between the size of the environment and the size of the system Hilbert space for which random bipartite bosonic density matrices fail the PPT criterion, being thus entangled. We also relate moment computations for tensor-symmetric random matrices to evaluations of the circuit-counting and interlace graph polynomials for directed graphs.

Le 6 janvier 2022 à 14:00

Salle 2

Nicolas Meunier Univ. Évry

[Séminaire CSM] Modelling of Cell Motility, mathematical analysis and numerical simulations

In this talk, I will present a new model to describe some aspects of cell migration. Cell migration plays a key role in many physiological processes, such as embryogenesis, wound repair or metastasis formation. It is the result of a complex activity that involves different time and space scales. I will first detail the construction of the model and then present rigorous results and numerical simulations. Keywords: complex and multiscale processes; active fluid; free boundary problem; surface tension; traveling-wave solution; bifurcation.

Le 6 janvier 2022 à 14:00

Salle de Conférences

Séance banalisée: rencontres de l'ANR SINGFLOWS

Le 7 janvier 2022 à 10:45

Salle 2

Pierre Dehornoy Grenoble

Livres brisés et dynamique des flots de Reeb en dimension 3

C'est un travail avec A Rechtman, V Colin et U Hryniewicz. On introduit la notion de livre brisé pour un champ de vecteurs en dimension 3, qui généralise celle de section de Birkhoff (aussi appelé livre ouvert). On montre que les flots de Reeb non dégénéré admettent des livres brisés, ce qui nous permet de montrer qu'ils ont une infinité d'orbites périodiques. Aussi on utilise ces livres brisés pour montrer que, pour un ensemble ouvert et dense, il y a même une section de Birkhoff d'une part, et de l'entropie d'autre part.

Le 7 janvier 2022 à 14:00

Salle de Conférences

Séminaire reporté.

Le 10 janvier 2022 à 11:00

Salle de Conférences

Chenmin Sun Créteil

Séminaire commun avec Physique et EDP

TBA

Le 11 janvier 2022 à 11:00

Salle de Conférences

Jean-Marc Huré

La théorie des figures étendue aux systèmes stratifiés: outils et méthodes.

La gravitation régule l'évolution et la structure de la plupart des systèmes astrophysiques sur les échelles spaciales très variées allant de l'Univers dans son ensemble aux galaxies, étoiles et planètes. Celle-ci conduit souvent à la production de composantes multiples en étroite interaction (amas, systèmes doubles). Selon les conditions initiales, et aidée des équations d'état de la matière et des mécanismes de transport de l'énergie, la gravité sculpte aussi finement chaque composante, du centre à la surface, en densité (séparation de phases, noyau, manteau, atmosphère) comme en dynamique (cisaillement, rotation différentielle). La Théorie des Figures, qui prend racine XVIIe siècle avec Newton et Cassini (au sujet de la forme de la Terre), offre un contexte simple et puissant d'étude des systèmes auto-gravitants tels que les étoiles et les planètes en rotation. Elle permet, dans certains cas très particuliers (e.g. elllipsoides incompressibles de Maclaurin et de Jacobi) d'accéder à des grandeurs clés comme la masse, la taille et la forme et la rotation d'ensemble. Dans le cas très général, toutefois, la rotation représente l'une des grandes difficultés du problème, car elle impose des calculs sophistiqués des forces gravitationnelles en présence et la détermination des frontières du système, non-connues à l'avance. Nous discuterons les ingrédients physiques et mathématiques qui composent la Théorie des Figures et notamment son extension aux systèmes stratifiés en densité et en rotation (symétrie de révolution). Ceux-ci incluent: i) la résolution de l'équation de Poisson d'un fluide inhomogène présentant éventuellement des sauts de masse volumique internes, ii) la détermination de la frontière libre et des éventuelles interfaces, et iii) la résolution d'un système d'équations algébriques de type Bernoulli. D'un point de vue numérique, ces équations sont mise en oeuvre simultanément à l'interieur d'un algorithme cyclique dit du “champ auto-cohérent” (dont la convergence reste, d'ailleurs, un mystère). L'accent sera mis sur la difficulté de concilier précision et résolution spatiale (i.e. temps de calcul). Comme application, nous aborderons le problème inverse de reconstitution de la structure interne d'une planète comme Jupiter, visitée par quelques sondes spatiales, sur la base de quelques observables dont les premières harmoniques du potentiel gravitationnel exterieur.

Le 12 janvier 2022

Salle de Conférences

Toute l'équipe administrative sera en télétravail mercredi 12 janvier, remplacement des fenêtres dans les bureaux 100 à 106 ce jour là.

Le 12 janvier 2022 à 16:30

Salle de conférence

BENHELLAL Badreddine IMB

The MIT bag model

Dans cet exposé, on discutera de l'opérateur de Dirac sur un domaine borné, avec la condition au bord dites "MIT bag". Après avoir motivé l'étude d'un tel objet, j'expliquerai comment ce modèle apparaît comme la limite (au sens de la résolvante) d'un opérateur libre de Dirac (défini sur tout l'espace) plus un potentiel constant supporté à l'extérieur de $\Omega$.

Le 13 janvier 2022 à 11:00

Salle de Conférences

Slim Kammoun

Mots de permutations invariantes

Soient $w$ un mot du groupe libre $F_k=$ et $w(\sigma_1,\dots,\sigma_k)$ la permutation obtenue en remplaçant $x_i$ par $\sigma_i$ dans $w$. Il est connu que si $\sigma_1, \dots,\sigma_k$ sont des i.i.d uniformes, alors la trace non normalisée de $w(\sigma_1,\dots,\sigma_k)$ converge vers une limite qui ne dépend que du maximum des $d$ tels que il existe $\Omega\in F_k$ tel que $w=\Omega^d$. On s'intéresse au cas où les permutations sont non-uniformes (mais invariantes par conjugaison), les mêmes limites apparaissent sous des conditions sur les petits cycles. L'étude du cas non-uniforme est naturel et est motivée par une conjecture de Bukh et Zhou sur l'espérance de la longueur de la plus longue sous suite commune de deux permutations i.i.d.

Le 13 janvier 2022 à 11:00

Salle de Conférences

Kilian Raschel

Probabilités de persistance et polynômes de Mallows-Riordan

Etant donnée une suite de variables aléatoires réelles X(1), X(2), etc., sa probabilité de persistance est la probabilité que les n premières variables soient toutes positives. Intéressantes du seul point de vue mathématique, ces quantités ont aussi beaucoup d'applications en physique. Dans cet exposé nous étudierons le cas où la suite de variables est auto-regressive d'ordre 1, c'est-à-dire lorsque X(n+1)=a*X(n)+U(n+1). Dans ce contexte, a est un paramètre et les variables U(1), U(2), etc., sont appelées innovations et forment une suite de variables indépendantes et identiquement distribuées. Le plus souvent, seules des estimées asymptotiques sont obtenues sur la persistance. Dans ce travail en commun avec Gerold Alsmeyer (Münster), Alin Bostan (Inria Saclay) et Thomas Simon (Lille), nous considérons le cas particulier où les U(1), U(2), etc., suivent des lois uniformes sur un intervalle. Nous montrons un lien surprenant entre les probabilités de persistance associées et une famille de polynômes bien connue en combinatoire : les polynômes de Mallows-Riordan. De cette connexion nous déduisons un dictionnaire entre identités combinatoires sur les polynômes de Mallows-Riordan et propriétés probabilistes du modèle de persistance.

Le 13 janvier 2022 à 14:00

Salle 1

Jean François Marckert

Un candidat pour la carte Brownienne en dimension supérieure : les feuilletages aléatoires

La recherche d'un analogue de la carte Brownienne en dimension supérieure (pour des motivations physiques, notamment) passe souvent par la recherche d'un modèle analogue aux cartes combinatoires faisant intervenir des briquesde bases ayant elles mêmes une dimension >2: par exemple, modèle de "collages de polyhèdres", modèles de tenseurs, etc. Pour l'instant ces méthodes marchent mal, dans le sens où les limites d'échelle de ces modèles discrets n'ont pas les propriétés espérées. On introduit une façon de procéder totalement différente: le feuilletage. Il s'agit, de produire une suite d'objets ( A_k, k geq 0) (cette construction étant similaire en discret et en continu), où A_{k+1} est obtenu depuis A_k en identifiant des points aléatoires de A_k. La construction, dans le cadre continu, est paramétrée de sorte qu'A_0, A_1, A_2 sont 3 objets importants: le cercle déterministe, l'arbre continu d'Aldous, la carte Brownienne. On discutera de la construction et des A_i suivant. Il s'agit d'un exposé consistant à davantage présenter des principes que des détails, et il devrait être accessible au plus grand nombre. Travail commun avec Luca Lionni

Le 13 janvier 2022 à 14:00

Salle de Conférences

Nikolai Nikolski\, IMB\, Université de Bordeaux

REPORTE A UNE DATE ULTERIEURE

à préciser

Le 13 janvier 2022 à 15:00

Salle 1

Bernard Bercu

Promenade sur des permutations aléatoires

L'objectif de cet exposé est de montrer comment la théorie des martingales permet de retrouver de manière simple ou de prouver de nouveaux résultats sur les permutations aléatoires. On fera une étude approfondie du nombre de descentes. On parlera également de pics et d'oscillations.

Le 13 janvier 2022 à 15:30

Salle de Conférences

Colin Guillarmou Paris Saclay

REPORTE AU 3 MARS 2022

Tba

Le 14 janvier 2022 à 10:45

Salle 2

Charles Favre

Entropie des applications rationnelles

(travail en commun avec Junyi Xie et Tuyen Truong). Nous discuterons le problème de calculer l'entropie topologique d'une application rationnelle sur un corps métrisé quelconque.

Le 14 janvier 2022 à 14:00

Salle de Conférences

Léo Poyeton IMB

Relèvement du corps des normes

Un outil intéressant pour étudier les représentations p-adiques du groupe de Galois absolu d'une extension finie de Qp est la théorie des (phi,Gamma)-modules cyclotomiques de Fontaine, qui repose notamment sur un relèvement en caractéristique 0 du corps des normes de l'extension cyclotomique. Dans cet exposé, on s'intéressera à la question suivante : par quelles extensions galoisiennes L/K peut-on remplacer l'extension cyclotomique pour construire une théorie des (phi,Gamma)-modules ? On montrera que, sous une hypothèse additionnelle portant sur le Frobenius, une telle extension est nécessairement engendrée par les points de torsion d'un groupe de Lubin-Tate relatif, et que les séries donnant l'action du groupe de Galois de l'extension L/K sont, à twist près, semi-conjuguées aux endomorphismes du même groupe de Lubin-Tate relatif.

Le 18 janvier 2022 à 11:00

Salle de Conférences

Aminat Mecherbet Institut de Math de Jussieu

Autour des équations de Transport-Stokes

Le 20 janvier 2022 à 11:00

Salle de Conférences

Joseph de Vilmarest

Stochastic Online Optimization using Kalman Recursion

We present an analysis of the Extended Kalman Filter (EKF) in a degenerate setting called static. It has been remarked that in this setting the EKF can be seen as a gradient algorithm. Therefore, we study the static EKF as an online optimization algorithm to enrich the link between bayesian statistics and optimization. We propose a two-phase analysis. First, for Generalized Linear Models, we obtain high probability bounds on the cumulative excess risk, under the assumption that after some time the algorithm is trapped in a small region around the optimum. Second, we prove that « local » assumption for linear and logistic regressions, slightly modifying the algorithm in the logistic setting. This is a joint work with Olivier Wintenberger.

Le 21 janvier 2022 à 10:45

Salle 2

Michele Ancona Strasbourg

Raréfaction exponentielle des hypersurfaces algébriques réelles maximales

Dans cet exposé, on étudiera les hypersurfaces algébriques réelles à l'intérieur d'une variété algébrique réelle donnée. On prouvera que les hypersurfaces algébriques réelles avec de très grands nombres de Betti (par exemple, les hypersurfaces maximales au sens de Smith-Thom) sont exponentiellement rares dans leur système linéaire.

Le 21 janvier 2022 à 14:00

Salle de Conférences

Julia Schneider Toulouse

Generating the plane Cremona group by involutions

Cremona groups are the groups of birational transformations of a projective space. The structure of these groups depends on the dimension of the projective space, and on the field over which the transformations are defined. In this talk I consider the Cremona group of the plane over a perfect field and proof that they are generated by involutions. I will explain how to decompose such birational maps into Sarkisov links and how this gives a generating set of the plane Cremona group. Afterwards, I will decompose them into involutions, among them are Geiser and Bertini involutions as well as reflections in an orthogonal group associated to a quadratic form. This is joint work with Stéphane Lamy.

Le 25 janvier 2022 à 10:00

Online

Céline Maistret University of Bristol

Parity of ranks of abelian surfaces

Let $K$ be a number field and $A/K$ an abelian surface. By the Mordell-Weil theorem, the group of $K$-rational points on $A$ is finitely generated and as for elliptic curves, its rank is predicted by the Birch and Swinnerton-Dyer conjecture. A basic consequence of this conjecture is the parity conjecture: the sign of the functional equation of the $L$-series determines the parity of the rank of $A/K$.

Le 27 janvier 2022 à 16:00

Salle de Conférences

Quentin GRIETTE présentera son exposé en vue de son Habilitation à Diriger des Recherches

Titre des travaux : "Phénomènes de propagation en dynamique des populations".

Le 28 janvier 2022 à 10:45

Salle 2

Ludovic Marquis - Exposé reporté

Reporté

Le 28 janvier 2022 à 14:00

En visio

Andrea Di Lorenzo Humboldt\, Berlin

Integral Chow ring of moduli of stable 1-pointed curves of genus two

Moduli of curves play a prominent role in algebraic geometry. In particular, their rational Chow rings have been the subject of intensive research in the last forty years, since Mumford first investigated the subject. There is also a well defined notion of integral Chow ring for these objects: this is more refined, but also much harder to compute. In this talk I will present the computation of the integral Chow ring of moduli of stable 1-pointed curves of genus two, obtained by using a new approach to this type of questions (joint work with Michele Pernice and Angelo Vistoli).

Le 1er février 2022 à 11:00

Salle de Conférences

Albert Mas Universitat Politècnica de Catalunya

Spectral analysis of a confinement model in relativistic quantum mechanics

In this talk we will focus on the Dirac operator on domains of R^3 with confining boundary conditions of scalar and electrostatic type. This operator is a generalization of the MIT-bag operator, which is used as a simplified model for the confinement of quarks in hadrons that has interested many scientists in the last decades. It is conjectured that, under a volume constraint, the ball is the domain which has the smallest first positive eigenvalue of the MIT-bag operator. I will describe our results -in collaboration with N. Arrizabalaga (U. País Vasco), T. Sanz-Perela (U. Autónoma de Madrid), and L. Vega (U. País Vasco and BCAM)- on the spectral analysis of the generalized operator. I will discuss on the parameterization of the eigenvalues, their symmetry and monotonicity properties, the optimality of the ball for large values of the parameter, and the connection to boundary Hardy spaces.

Le 2 février 2022 à 14:00

Salle de conférence - Liryc - Pessac

Bachar TARAF

Sujet : "Modélisation mathématiques de l'activité de la mitochondrie cardiaque". Directeur de thèse : Yves Coudière, co-directeur : Michael Leguebe

Le 3 février 2022 à 11:00

Salle de Conférences

Fabrice Grela

Minimax detection and localisation of an abrupt change in a Poisson process

Considering a Poisson process observed on a bounded, fixed interval, we are interested in the problem of detecting an abrupt change in its distribution, characterized by a jump in its intensity. Formulated as an off-line change-point problem, we address two questions : the one of detecting a change-point and the one of estimating the jump location of such change-point. This study aims at proposing a non-asymptotic minimax testing set-up, first to construct a minimax and adaptive detection procedure and then to give a minimax study of a multiple testing procedure designed for simultaneously detect and localise a change-point.

Le 3 février 2022 à 14:00

Zoom

Antoine Zurek Université de Technologie de Compiègne

[Séminaire CSM] Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof

In France one option under study for the storage of high-level radioactive waste is based on an underground repository. More precisely, the waste shall be confined in a glass matrix and then placed into cylindrical steel canisters. These containers shall be placed into micro-tunnels in the highly impermeable Callovo-Oxfordian claystone layer at a depth of several hundred meters. The Diffusion Poisson Coupled Model (DPCM) aims to investigate the safety of such long term repository concept by describing the corrosion processes appearing at the surface of carbon steel canisters in contact with a claystone formation. It involves drift-diffusion equations on the density of species (electrons, ferric cations and oxygen vacancies), coupled with a Poisson equation on the electrostatic potential and with moving boundary equations. So far, no theoretical results giving a precise description of the solutions, or at least under which conditions the solutions may exist, are avalaible in the literature. However, a finite volume scheme has been developed to approximate the equations of the DPCM model. In particular, it was observed numerically the existence of traveling wave solutions for the DPCM model. These solutions are defined by stationary profiles on a fixed size domain with interfaces moving at the same velocity. The main objective of this talk is to present how we apply a computer-assisted method in order to prove the existence of such traveling wave solutions for the system. This approach allows us to obtain for the first time a precise and certified description of some solutions. This work is in collaboration with Maxime Breden and Claire Chainais-Hillairet.

Le 3 février 2022 à 14:00

Salle de Conférences

Sophie Grivaux Lille

Méthodes de Baire pour le Problème du sous-espace invariant

Etant donné un espace de Banach séparable $X$ de dimension infinie, on peut considérer sur l'algèbre $\mathcal{B}(X)$ des opérateurs linéaires continus sur $X$ plusieurs topologies naturelles qui font de la boule unité fermée $B_1(X)=\{T\in\mathcal{B}(X);||T||\le 1\}$ un espace Polonais, c'est-à-dire un espace séparable et complètement métrisable. Dans cet exposé, je présenterai quelques résultats concernant les propriétés "typiques" au sens de Baire des opérateurs de $B_1(X)$ pour ces topologies quand $X$ est un espace $\ell_p$. Notre motivation principale pour cette étude est liée au Problème du sous-espace invariant, qui concerne l'existence de sous-espaces fermés invariants non-triviaux pour les opérateurs sur les espaces de Banach. Ainsi, il est intéressant d'essayer de déterminer si une contraction "typique" sur un espace $\ell_p$ a un sous-espace invariant non-trivial (ou pas). Cet exposé sera basé sur un travail joint avec Etienne Matheron et Quentin Menet.

Le 4 février 2022 à 10:45

Salle 2

Jérôme Bertrand Toulouse

Stabilité du spectre et du diamètre observable pour des espaces CD(1, $infty$).

Je présenterai l'analogue de résultats classiques de géométrie riemannienne concernant des variétés de courbure positive. Plus précisément, une variété compacte, sans bord, de dimension fixée et de courbure positive (i.e dont la courbure de Ricci est supérieure à celle de la sphère canonique) a sa première valeur propre du laplacien et son diamètre contrôlés par ceux de la sphère canonique. Par ailleurs, la valeur extrémale du bas du spectre ou du diamètre caractérise la sphère canonique parmi ces variétés de courbure positive et ces inégalités sont "stables". Dans cet exposé, l'espace modèle n'est plus la sphère canonique de dimension donnée mais son analogue "de dimension infinie" : l'espace gaussien. Je présenterai des résultats de stabilité concernant le bas du spectre ainsi que le diamètre observable, qui est l'analogue naturel du diamètre dans ce cadre où les variétés ne sont pas nécessairement compactes. Il s'agit d'un travail en collaboration avec Max Fathi.

Le 4 février 2022 à 14:00

Salle de Conférences

Farrell Brumley Paris Nord

La conjecture de mélange de Michel--Venkatesh

Les problèmes de Linnik, résolus par Duke il y a une trentaine d'années, portent sur l'équirépartition des orbites toriques de grand discriminant dans les espaces homogènes associés au groupe des unités des algèbres de quaternions. L'exemple le plus concret est celui de la répartition uniforme des points entiers sur la sphère, parfois appelés points de Linnik (on peut également penser aux points CM sur la courbe modulaire). La résolution complète des problèmes de Linnik, achevée par Michel et Venkatesh, a marqué une période d'échange fructueuse entre la théorie ergodique et les formes automorphes. Par leur description comme orbite torique, les points de Linnik reçoivent une action transitive du groupe de Picard d'un ordre quadratique. Dans les actes de l'ICM en 2006, Michel et Venkatesh proposent une conjecture, dite ``de mélange”, qui mesure la complexité de cette action, et qui se traduit par un énoncé d'équirépartition sur le groupe produit G x G; il s'agit donc d'un raffinement quadratique des problèmes de Linnik. Après avoir expliqué la progression de ces idées, j'expliquerai une preuve de la conjecture, conditionnelle sous l'hypothèse de Riemann généralisée, qui fait intervenir un joli mélange d'objets en théorie analytique des nombres: les formes automorphes et leurs périodes, un point de vue probabiliste sur le comportement des valeurs spéciales des fonctions L en familles, ainsi que les valeurs moyennes des fonctions multiplicatives. Travail en commun avec Valentin Blomer et Ilya Khayutin.

Le 7 février 2022

Informations Diverses

Bureau 225

La Cellule Informatique

De nouveaux horaires d'accueil sont affichés porte 225 et sur le site web

Visitez la page https://www.math.u-bordeaux.fr/imb/cellule/

Le 8 février 2022 à 10:00

Online

Elisa Lorenzo Garcia Université de Neuchâtel

Reduction type of hyperelliptic curves in terms of the valuations of their invariants.

In this talk we will first review the classical criteria to determine the (stable) reduction type of elliptic curves (Tate) and of genus 2 curves (Liu) in terms of the valuations of some particular combinations of their invariants. We will also revisit the theory of cluster pictures to determine the reduction type of hyperelliptic curves (Dokchitser's et al.). Via Mumford theta constants and Takase and Tomae's formulas we will be able to read the cluster picture information by looking at the valuations of some (Ã la Tsuyumine) invariants in the genus 3 case. We will also discuss the possible generalization of this strategy for any genus and some related open questions.

Le 8 février 2022 à 11:00

Salle de Conférences

Yann Chaubet ENS Paris

Séries de Poincaré pour les surfaces à bord

Dans cet exposé, je parlerai de certaines séries de Poincaré qui comptent des arcs géodésiques reliant deux points sur une surface à courbure négative et à bord totalement géodésique. J'expliquerai comment obtenir un prolongement méromorphe à tout le plan complexe pour ces séries ; les pôles de ces fonctions sont contenus dans le spectre de résonances du flot géodésique (résonances de Pollicott-Ruelle). Enfin, je montrerai que la valeur en zéro de ces fonctions coïncide avec l'inverse de la caractéristique d'Euler de la surface.

Le 8 février 2022 à 13:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Le conseil scientifique et le conseil de laboratoire de l'IMB se réuniront avec le conseil d'UF MI

L'ordre du jour sera le suivant : Information et discussion sur la disparition des avancements de grade nationaux, le repyramidage, le nouveau référentiel indemnitaire des enseignants-chercheurs, l'éméritat.

Le 9 février 2022 à 14:00

Salle 1

Daniil Khachai\, Ph.D student\, Optimal team

Precedence Constrained Generalized Traveling Salesman Problem: Polyhedral Structure and Branch-and-Cut Algorithm

The Precedence Constrained Generalized Traveling Salesman Problem (PCGTSP) is an extension of the well-known Generalized Traveling Salesman Problem (GTSP), where feasible tours are restricted to visit all the clusters with respect to some given partial order. Unlike the GTSP, to the best of our knowledge, the PCGTSP is studied rather weakly both in terms of polyhedral theory and algorithms' design and implementation. In this paper, by extending of the seminal Fischetti's inductive approach, we establish dimension of the PCGTSP polytope and prove sufficient conditions that allow us to lift the facet-inducing inequalities proposed by E.Balas for the Precedence Constrained Asymmetric TSP polytope to the case of PCGTSP. Relying on these theoretical results, we design the first branch-and-cut algorithm for the PCGTSP and implement it in the context of the Gurobi user callbacks framework. Results of the numerical evaluation against the public PCGTSPLIB benchmark library show that proposed algorithm outperforms both the state-of-the-art MIP solver Gurobi with default setting of cutting planes and the known branch-and-bound and dynamic programming algorithms for PCGTSP, even in the case, where all competing algorithms are equipped with the same MIP-start solution.

Le 9 février 2022 à 16:30

Salle de conférence

BEAUMONT Tiphaine IMB

Modules d'Anderson et leurs fonctions $L$-équivariantes

Soit $K$ un corps global de caractéristique positive et $E-O_K$ un module d'Anderson. Soit $L-K$ une extension abélienne. Nous présenterons une formule de classes équivariante reliant le régulateur équivariant des unités de Stark pour $E-O_L$ é certaines valeurs spéciales de fonctions équivariantes.

Le 10 février 2022 à 11:00

Salle de Conférences

Claire Delplancke

Un algorithme primal-dual stochastique et ses applications à la reconstruction d'images pour la tomographie à émission de positrons

L'algorithme SPDHG (Stochastic Primal-Dual Hybrid Gradient) est une version stochastique de l'algorithme PDHG (Primal-Dual Hybrid Gradient) développé par Chambolle et Pock, utilisé dans le cadre de problèmes inverses où le terme d'attache aux données et le régulariseur sont convexes mais pas nécessairement lisses. Grâce à sa composante randomisée, SPDHG permet de ne réaliser que des évaluations partielles de l'opérateur direct et de son adjoint. Cela en fait un algorithme particulièrement adapté à la tomographie à émission de positrons (PET), où le principal frein à l'adoption pratique de méthodes itératives sophistiquées est le coût computationnel des projections. Je présenterai un résultat de convergence pour SPDHG ainsi que des applications, en particulier liées à la question du choix du pas, sur des jeux de données PET réels et simulés.

Le 10 février 2022 à 14:00

Salle de Conférences

S. Kupin\, IMB\, Université de Bordeaux

Sur les asymptotiques spectrales d'opérateurs de Toeplitz compacts d'une certaine classe sur les espaces de Bergman

Le 11 février 2022 à 14:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Vladimiro Benedetti Dijon

Automorphismes de sections linéaires de Grassmanniennes

Il s'agit d'un travail en commun avec L. Manivel. Etant donnée une Grassmannienne complexe généralisée, on étudie les sections hyperplanes linéaires de son plongement minimal. En particulier, on montre que, sauf des cas bien compris, tous les automorphismes d'une section lisse s'étendent en un automorphisme de la Grassmannienne ambiante. Pour obtenir ce résultat, on étudie les espaces linéaires et les quadriques contenues dans la Grassmannienne et dans la section hyperplane.

Le 11 février 2022 à 16:15

Zoom

Fayçal A. Touzout\, INP Grenoble Génie Industriel et G-SCOP

Time-dependent inventory routing problem: mathematical formulations and solving approaches

The time-dependent inventory routing problem (TD-IRP) is an extension of the IRP on its routing component. It considers the travelling time between two locations as no longer constant but depending on the departure time. In this presentation, we propose four mathematical formulations for the TD-IRP inspired by the time-dependent travelling salesman (TD-TSP) and vehicle routing problems literature. The difference between these formulations lies in the way they enforce the FIFO property by discretising the time in different manners and using different forms of travelling time functions. An exact branch-and-cut algorithm is proposed to assess and compare the formulations on a new generated benchmark. Moreover, based on the structure of optimal TD-IRP solutions, a matheuristic that decomposes the problem to an affectation problem first and a set of TD-TSPs second is proposed. Zoom link: https://u-bordeaux-fr.zoom.us/j/81481860493?pwd=NE51REJqaDZ1Z0RYdS9tYWJQaENKZz09

Le 11 février 2022 à 17:15

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Zoom

Céline Comte\, l'Université Technologique d'Eindhoven Pays-Bas

Stochastic Dynamic Matching in Graphs

Paired kidney donation gives rise to complex matching problems for which an optimal solution is still unknown. In this presentation, we will consider such a matching problem in which items of different classes, representing incompatible donor-receiver couples, arrive according to independent Poisson processes, and compatibilities between items are described by an undirected graph on their classes. We will first focus on a specific matching policy called first-come-first-matched. Our main contribution is the observation that, under this policy, the matching model is equivalent to an order-independent (loss) queue, a model that has recently gained momentum in the queueing-theory literature. Using this equivalence, we will formulate simpler proofs for several existing results and derive closed-form expressions for performance metrics like the waiting time of a class and the matching rate along an edge. In a second time, we will use results from graph theory and linear algebra to characterize the set of achievable matching rates under any matching policy. Zoom link : https://u-bordeaux-fr.zoom.us/j/81481860493?pwd=NE51REJqaDZ1Z0RYdS9tYWJQaENKZz09

Le 18 février 2022 à 14:00

Salle de Conférences

Gregorio Baldi IHES

The Hodge locus

I will report on a joint work with Klingler and Ullmo. Given a polarizable variation of Hodge structure on a smooth quasi projective variety S (e.g. the one associated to a family of pure motives over S), Cattani, Deligne and Kaplan proved that its Hodge locus (the locus of closed points of S where exceptional Hodge tensors appear) is a *countable* union of closed algebraic subvarieties of S. In this talk I will discuss when this Hodge locus is actually algebraic. If time permits I will explain how such algebraicity result complements the Lawrence-Venkatesh method.

Le 25 février 2022 à 14:00

Salle de Conférences

Vacances d'Hiver

Le 28 février 2022

Salle de Conférences

Mini AAP missions : envoyez votre projet à Vincent Koziarz avant le 4 mars

Le 1er mars 2022 à 11:00

Salle de Conférences

Paul Alphonse ENS Lyon

Propriétés de régularisation et de contrôlabilité à zéro des équations d'évolution quadratiques à travers la décomposition polaire.

Dans cet exposé, on s'intéressera aux équations d'évolution associées aux opérateurs différentiels quadratiques non-autoadjoints. D'une part, on expliquera comment les phénomènes de non-commutation entre les parties autoadjointe et anti-autoadjointe de ces opérateurs permettent aux équations d'évolution étudiées de jouir de propriétés de régularisation et de localisation dans certaines directions spécifiques de l'espace des phases, que l'on décrira précisément. D'autre part, on constatera que les propriétés de contrôlabilité à zéro de ces équations sont reliées à une notion d'épaisseur en moyenne associée à la partie anti-autoadjointe des opérateurs mis en jeu. Ces différentes propriétés seront déduites d'une description fine de la décomposition polaire des opérateurs d'évolution associés aux équations étudiées. Une application aux équations d'Ornstein-Uhlenbeck généralisées, dont les équations de Kolmogorov et de Kramers-Fokker-Planck avec potentiel externe quadratique sont des cas particuliers, sera donnée. Il s'agit de travaux en commun avec J. Bernier (LMJL) et J. Martin (IRMAR).

Le 2 mars 2022 à 16:30

Salle de conférence

TENDANI-SOLER Adrien IMB

Vitesse de propagation infinie et contrôlabilité pour l'équation de Schrodinger : le cas du tore

Dans un premier temps, nous nous intéresserons aux effets régularisants de l'équation de Schrodinger et nous ferons le lien avec le phénomène de propagation à vitesse infinie associé à l'équation de Schrodinger sur le tore. Nous parlerons ensuite de la contrôlabilité exacte de l'équation de Schrodinger, qui pour le tore, est vérifiée en tout temps strictement positif sans condition de contrôle géométrique (CCG) sur l'ouvert d'observation. Si le temps le permet, on s'intéressera é la nécessité des CCG pour certaines équations de Schrodinger fractionnaires.

Le 3 mars 2022 à 14:00

Salle 2

Wasilij Barsukow

[Séminaire CSM] Active Flux: a new numerical method for hyperbolic conservation laws

A conservation laws generically develops discontinuities in finite time. For convergence to its weak solution, a numerical method needs to be conservative. A popular way to derive such methods (due to Godunov) is to introduce discontinuities at every cell interface (reconstruction step), and to evolve such step-wise data over a short period of time. Godunov's approach thus introduces discontinuities everywhere in the solution. In view of the big effort associated with grid refinement (particularly in multi-d), efforts are ongoing to guarantee properties of numerical solutions for coarse grids already. It is not surprising that flow phenomena different from shocks (low Mach limit, vortices, ...) are not well approximated by standard Godunov methods on coarse grids. This observation has sparked the development of Active Flux, a numerical method whose degrees of freedom are cell averages and, additionally, point values located at cell interfaces and shared by adjacent cells. The evolution of the averages is conservative, and the method is able to resolve shocks correctly, despite a globally continuous reconstruction. Its centerpiece is a short-time evolution of continuous data. The talk will describe this numerical method, in particular its application to nonlinear conservation laws, as well as recent developments.

Le 3 mars 2022 à 14:00

Salle de Conférences

Martin Leguil U. Picardie

Mesures u-Gibbs & SRB des difféomorphismes d'Anosov du tore de dimension trois

Pour un système dynamique ``chaotique'', les mesures physiques/SRB jouent un rôle central dans la description de la statistique suivie par la plupart des orbites. Un angle d'attaque pour la compréhension de ces mesures consiste en l'étude d'une autre classe de mesures, a priori différentes, mais intimement liées aux mesures SRB : les mesures u-Gibbs. Dans un travail en commun avec Sébastien Alvarez, Davi Obata et Bruno Santiago, nous explorons les liens entre ces deux classes de mesures pour une famille de difféomorphismes d'Anosov du tore de dimension 3, et montrons que sous une certaine condition géométrique (non-intégrabilité conjointe des distributions stable/instable), ces deux classes de mesures coïncident ; en particulier, il existe une unique mesure u-Gibbs dans ce cas.

Le 3 mars 2022 à 15:30

Salle de Conférences

Colin Guillarmou Paris Saclay

Sur la théorie conforme des champs en dimension 2

La théorie quantique des champs est un vaste sujet qui mathématiquement reste assez mystérieux. En dimension 2, certaines théories des champs ont des symétries conformes dues aux transformations holomorphes/anti-holomorphes du plan. Les physiciens ont développé dans les années 80 une approche, appelée « bootstrap conforme » pour calculer explicitement les fonctions de corrélations sur les surfaces de Riemann à l'aide d'outils algébriques et de théorie de représentation d'algèbre de Lie de dimension infinie (Virasoro). Du point de vue mathématique, la réalisation du bootstrap conforme est restée obscure jusuqu'ici. Dans cet exposé, on expliquera comment pour un modèle concret, appelé théorie des champs de Liouville (qui est une théorie de surfaces aléatoires), on arrive à donner un sens probabiliste aux fonctions de correlations, et comment en combinant des outils d'analyse et de probabilité, on peut montrer rigoureusement le bootstrap conforme et donner des formules aux fonctions de correlations, ce qui montre que la théorie est en quelque sorte « intégrable ». L'exposé se focalisera sur quelques idées, sans entrer dans les détails techniques. Une partie plus technique sera exposée dans le séminaire du vendredi matin en analyse spectrale et scattering. Il s'agit d'un travail en collaboration avec A. Kupiainen, R. Rhodes et V. Vargas.

Le 4 mars 2022 à 10:45

Salle 2

Nguyen-Thi Dang Heidelberg

Équidistribution et comptage des tores plats périodiques

On se place dans l'espace des chambres de Weyl d'un espace symétrique de rang supérieur, ce qui correspond dans le cas d'une surface hyperbolique à son fibré unitaire tangent. Dans le cas compact ainsi que pour les orbivariétés qui sont des revêtements finis de SL(d,ZZ)\SL(d,IR), l'espace des chambres de Weyl contient des tores plats. Cela correspond, dans le cas des surfaces hyperboliques aux orbites fermées du flot géodésique. Je vais vous présenter un résultat d'équidistribution et de comptage de ces tores plats périodiques, obtenus en collaboration avec Jialun Li.

Le 4 mars 2022 à 14:00

Salle de Conférences

Lucile Devin Université du Littoral

Disparité dans la répartition des premiers de Gauss

Etant donné un premier congru à 1 modulo 4, on peut l'écrire de façon unique comme une somme de deux carrés d'entiers positifs $a^2 +4b^2$, l'un pair et l'autre impair. Que peut-on dire de la répartition de l'entier impair a modulo 4 ? Une conséquence de résultats de Hecke est que les classes 1 et 3 sont asymptotiquement autant représentées. Cependant, les données sont surprenantes, il semble qu'il y a plus de premiers avec a congru à 1 modulo 4. On donnera un argument heuristique basé sur la généralisation de l'approche de Rubinstein et Sarnak des biais de Chebyshev pour expliquer cette observation.

Le 4 mars 2022 à 14:00

salle Ada Lovelace (Inria)

Sixtine MICHEL

Sujet : "Méthodes éléments finis pour la simulation d'écoulements en eaux peu profondes : Analyse, modélisation et applications à l'hydrodynamique côtière". Directeur de thèse : Mario Ricchiuto.

Le 8 mars 2022 à 10:00

Online

Elena Berardini Télécom Paris

Calcul d'espaces de Riemann-Roch pour les codes géométriques

Les codes de Reed-Solomon sont largement utilisÃ©s pour reprÃ©senter des donnÃ©es sous forme de vecteurs, de sorte que les donnÃ©es peuvent Ãªtre rÃ©cupÃ©rÃ©es mÃªme si certaines coordonnÃ©es des vecteurs sont corrompues. Ces codes ont de nombreuses propriÃ©tÃ©s. Leurs paramÃ¨tres sont optimaux. Ils permettent de reconstruire des coordonnÃ©es qui ont Ã©tÃ© effacÃ©es. Ils sont compatibles avec l'addition et la multiplication de donnÃ©es. NÃ©anmoins, ils souffrent de certaines limitations. Notamment, la taille de stockage des coordonnÃ©es des vecteurs augmente de maniÃ¨re logarithmique avec le nombre de coordonnÃ©es. Les codes dits gÃ©omÃ©triques gÃ©nÃ©ralisent les codes de Reed-Solomon en bÃ©nÃ©ficiant des mÃªmes propriÃ©tÃ©s, tout en Ã©tant libres de ces limitations. Par consÃ©quent, l'utilisation de codes gÃ©omÃ©triques apporte des gains de complexitÃ©, et s'avÃ¨re utile dans plusieurs applications telles que le calcul distribuÃ© sur les secrets et les preuves zero-knowledge. Les codes gÃ©omÃ©triques sont construits en Ã©valuant des familles de fonctions, appelÃ©es espaces de Riemann-Roch, en les points rationnels d'une courbe. Il s'ensuit que le calcul de ces espaces est crucial pour la mise en Å“uvre des codes gÃ©omÃ©triques. Dans cet exposÃ©, je prÃ©senterai un travail rÃ©cent en collaboration avec S. Abelard, A. Couvreur et G. Lecerf sur le calcul effectif des bases des espaces de Riemann-Roch de courbes. AprÃ¨s avoir rÃ©visÃ© l'Ã©tat de l'art sur le sujet, je discuterai des idÃ©es Ã la base de notre algorithme, en particulier la thÃ©orie de Brill-Noether et l'utilisation des expansions de Puiseux. Les courbes utilisÃ©es dans la construction des codes gÃ©omÃ©triques sont pour la plupart limitÃ©es Ã celles pour lesquelles les bases de Riemann-Roch sont dÃ©jÃ connues. Ce nouveau travail et ceux qui suivront, permettront la construction de codes gÃ©omÃ©triques Ã partir de courbes plus gÃ©nÃ©rales.

Le 8 mars 2022 à 11:00

Salle de Conférences

Vincent Duchêne Rennes

Il faut sauver le modèle WW2

Nous verrons pourquoi le problème de Cauchy associé à un modèle quadratique pour la propagation des vagues est selon toute vraisemblance mal posé pour des données initiales à régularité finie (et ce malgré le caractère bien posé du système complètement non-linéaire dont il est issu). Mais l'histoire finit bien : fort de cette analyse, nous verrons également comment rectifier le dit modèle afin qu'il offre toute satisfaction. Il s'agit d'un travail en collaboration avec Benjamin Melinand (Paris Dauphine).

Le 10 mars 2022 à 11:00

Salle de Conférences

Reda Chhaibi

Free Probability, Newton lilypads and hyperbolicity of Jacobians as a solution to the problem of tuning the architecture of neural networks

Gradient descent during the learning process of a neural network can be subject to many instabilities. The spectral density of the Jacobian is a key component for analyzing robustness. Following the works of Pennington et al., such Jacobians are modeled using free multiplicative convolutions from Free Probability Theory (FPT). We present a reliable and very fast method for computing the associated spectral densities. This method has a controlled and proven convergence. Our technique is based on an homotopy method: it is an adaptative Newton-Raphson scheme which chains basins of attraction. We find contiguous lilypad-like basins and step from one to the next, heading towards the objective. In order to demonstrate the applicability of our method we show that the relevant FPT metrics computed before training are highly correlated to final test losses – up to 85%. We also give evidence that a very desirable feature for neural networks is the hyperbolicity of their Jacobian at initialization.

Le 10 mars 2022 à 14:00

Salle de Conférences

Stéphane Jaffard Paris Est-Créteil

Analyse multifractale multivariée: de nouvelles interactions entre analyse mathématique et traitement du signal.

L'analyse multifractale fournit des outils pour mesurer les fluctuations de régularité des fonctions en mesurant leur ``spectre multifractal'' (dimensions fractionnaires des ensembles de points ayant un exposant de régularité donné). Les méthodes d'ondelettes fournissent des outils robustes pour effectuer cette estimation et elles sont devenues un outils classique de classification et de sélection de modèles en traitement du signal. Un nouveau champ d'application s'est ouvert avec des récents besoins d'analyse de collections de signaux captés simultanément (analyse multivariée). Le but de l'exposé est de décrire les fondations mathématiques d'une analyse multifractale multivariée, permettant d'estimer la façon dont les ensembles de singularités de plusieurs fonctions sont corrélés. Nous montrerons les nouveaux problèmes d'analyse fonctionnelle que ces méthodes posent, et nous illustrerons ces résultats sur des exemples issus de modèles mathématiques employés en traitement du signal ainsi que sur des applications à des données physiologiques captées lors de marathons.

Le 11 mars 2022 à 10:45

Salle 2

Charles Fougeron P13

Formalisme thermodynamique pour la renormalisation des surfaces de translation.

La dynamique des surfaces de translations est essentiellement comprise à travers celle de leur renormalisation par le flot de Teichmüller. Ce flot admet une mesure invariante naturelle, équivalente à Lebesgue, nommée mesure de Masur-Veech. Après avec introduit quelques notions de formalisme thermodynamique, j'expliquerai comment cet outil peut être utilisé avec l'induction de Rauzy-Veech pour étudier le flot de Teichmüller. J'esquisserai une preuve du fait que la mesure de Masur-Veech est l'unique mesure d'entropie maximale pour ce flot. Puis je terminerai avec d'autres applications sur les dimensions fractales de sous-espaces de paramètres particuliers.

Le 11 mars 2022 à 14:00

Salle de Conférences

Kazim Buyukboduk University College Dublin

Heegner cycles in families and Gross-Zagier at critical slope

I will report on joint work with R. Pollack and S. Sasaki, where we prove a p-adic Gross–Zagier formula for critical slope (but non-\theta-critical) p-adic L-functions. Besides the strategy for our proof, which involves interpolation of Heegner cycles in Coleman families, I will illustrate two applications. The first is the proof of a conjecture of Perrin-Riou, which predicts an explicit (p-adic) construction of a generator of the Mordell–Weil group of an elliptic curve of analytic rank one. The second is a BSD formula for elliptic curves of analytic rank one.

Le 11 mars 2022 à 16:00

Salle de Conférences

Francesco Stocco

Classical authentication in Quantum Key Distribution

After a brief introduction to cryptography, we will focus on the need for authentication which is the obvious requirement that prevents fraudulent incoming messages to be accepted as genuine. This topic will be discussed also in the context of Quantum Key Distribution (QKD), which is an innovative technology aiming to realize a cryptographic key exchange based on quantum physics laws. QKD has become so important in recent years since it represents a possible solution to the threat of quantum computers against most used current cryptographic schemes.

Le 11 mars 2022 à 16:30

Salle de conférence

STOCCO Francesco IMB

Classical authentification in Quantum Key Distribution

Après une brève introduction à la cryptographie, nous nous concentrerons sur le besoin d'authentification qui est l'exigence évidente qui empêche que les messages entrants frauduleux soient acceptés comme authentiques. Ce sujet sera également abordé dans le contexte de Quantum Key Distribution (QKD), qui est une technologie innovante visant à réaliser un échange de clés cryptographiques basé sur les lois de la physique quantique. QKD est devenu si important ces dernières années car il représente une solution possible à la menace des ordinateurs quantiques contre les schémas cryptographiques actuels les plus utilisés.

Le 15 mars 2022 à 10:00

Salle 2

Pierrick Dartois Corps des mines\, Rennes 1

Cryptanalyse du protocole OSIDH

Oriented Supersingular Isogeny Diffie-Hellman (OSIDH) est un Ã©change de clÃ© post-quantique proposÃ© par Leonardo ColÃ² et David Kohel en 2019. La construction repose sur lâ€™action du groupe de classe dâ€™un ordre quadratique imaginaire sur un espace de courbes elliptiques supersinguliÃ¨res et peut donc Ãªtre vue comme une gÃ©nÃ©ralisation du cÃ©lÃ¨bre Ã©change de clÃ© Ã base dâ€™isogÃ©nies CSIDH. Cependant, OSIDH est trÃ¨s diffÃ©rent de CSIDH dâ€™un point de vue algorithmique parce quâ€™OSIDH utilise des groupes de classe plus structurÃ©s que CSIDH. Comme lâ€™ont reconnu ColÃ² et Kohel eux-mÃªmes, cela rend OSIDH plus vulnÃ©rable aux attaques. Pour contourner cette faiblesse, ils ont proposÃ© une faÃ§on ingÃ©nieuse dâ€™effectuer lâ€™Ã©change de clÃ© en Ã©changeant de lâ€™information sur lâ€™action du groupe de classe au voisinage des courbes publiques, et ont conjecturÃ© que cette information additionnelle nâ€™impacterait pas la sÃ©curitÃ©.

Le 15 mars 2022 à 11:00

Salle de Conférences

Bilbao-Bordeaux-Toulouse seminar: Didier Bresch Chambéry

Mean field limits and singular kernels: some recent advances

In this talk, I will present mathematical justifications for mean field limits with singular nuclei based on the control of appropriate weights. These weights must be dynamic and fully relevant to the problem under consideration. We will explain some recent results obtained with Pierre-Emmanuel Jabin (Penn-State) and initially with Z. Wang (Peking Univ) then in a second time with J. Soler (Granada Univ.) respectively around systems of order 1 and then around systems of order 2. This idea of well-adapted dynamical weights finds for us its origin in a joint work with P.-E. Jabin on compressible Navier-Stokes.

Le 15 mars 2022 à 13:15

Salle de Conférences

Conseil de laboratoire commun avec le conseil scientifique

L'ordre du jour sera le suivant :1) Approbation du compte-rendu du conseil du 4 janvier ;2) Quelques informations : remplacement d'un directeur adjoint, accord cadre INRIA-CNRS, ... ;3) Exposés de prospective scientifique par Guilhem Castagnos, Sylvain Ervedoza et Jérémie Bigot.

Le 17 mars 2022 à 14:00

Salle 2

Annabelle Collin (Bordeaux INP) & Mélanie Prague (Inria)

[Séminaire CSM] Using population based Kalman estimator to model COVID-19 epidemic in France: estimating the effects of non-pharmaceutical interventions on the dynamics of epidemic

The COVID-19 pandemic is a global pandemic of coronavirus disease caused by SARS-CoV-2. Governments are taking a wide range of non-pharmaceutical interventions (NPIs) in response to the COVID-19 outbreak. These measures include interventions as stringent as strict lockdown to school closings, bars and restaurants closings, curfews and barrier gesture such as masks wearing and social distanciation. Distinguish the effectiveness of each NPI is crucial to inform future preparedness response plans. We propose an approach which focuses on French data and combines estimation of epidemics dynamics models and estimation of NPIs effectiveness. We develop a multi-level model of the French COVID-19 epidemic at the regional level relying on a global extended Susceptible-Exposed-Infectious-Recovered (SEIR) model as a simplified representation of the average epidemic process. We estimate the transmission rate with a population Kalman filter using hospitalization data from the SIVIC database over a period of one year (March 2020 to 2021). Then we infer the linear relationship between transmission rate and NPIs introduction allowing to estimate the effect of non-pharmaceutical interventions adjusting for weather, vaccination and apparition of more transmissible variants.

Le 17 mars 2022 à 14:00

Salle de Conférences

Kévin Le Balc'h LJLL

Espace atteignable pour des équations de la chaleur perturbées.

Dans cet exposé, nous montrons que l'équation de la chaleur génère un C^0 semi-groupe sur son espace atteignable. Autrement dit, restreinte à son espace atteignable, l'équation de la chaleur est un système de contrôle exactement contrôlable. Des arguments perturbatifs standards nous permettent alors de décrire l'espace atteignable de l'équation de la chaleur perturbée. Ces perturbations sont de différente nature : il peut s'agir de petits potentiels, de termes non locaux ou des semi-linéarités. Il s'agit d'un travail en commun avec Sylvain Ervedoza et Marius Tucsnak.

Le 17 mars 2022 à 15:30

Salle de Conférences

Gabriel Peyré CNRS et Ecole Normale Supérieure

Le transport optimal pour l'apprentissage machine

Le transport optimal est un outil naturel pour comparer de manière géométrique des distributions de probabilité. Il trouve des applications à la fois pour l'apprentissage supervisé (pour la classification) et pour l'apprentissage non supervisé (pour entrainer des réseaux de neurones génératifs). Le transport optimal souffre cependant de la "malédiction de la dimension", le nombre d'échantillons nécessaires pouvant croitre exponentiellement vite avec la dimension. Dans cet exposé, j'expliquerai comment tirer parti de techniques de régularisation entropique afin d'approcher de façon rapide le transport optimal et de réduire l'impact de la dimension sur le nombre d'échantillons nécessaires. Plus d'informations et de références peuvent être trouvées sur le site de notre livre "Computational Optimal Transport" https://optimaltransport.github.io/

Le 18 mars 2022 à 10:45

Salle 2

Bertrand Deroin Cergy-Pontoise

Invariants de Toledo des représentations quantiques

Les représentations quantiques forment une famille de représentations des groupes modulaires des surfaces à valeurs dans les groupes pseudo-unitaires PU(p,q) qui envoient les twists de Dehn sur des éléments d'ordre fini. Les invariants de Toledo de ces dernières, s'étendent alors à des classes dans la cohomologie de la compactification de Deligne-Mumford de l'espace des modules des courbes, et définissent des théories cohomologiques des champs. Nous expliciterons ces classes dans certains cas incluant les représentations quantiques de Fibonacci, ce qui nous permettra de construire des structures hyperboliques complexes sur certains espaces de modules. Il s'agit d'un travail en collaboration avec Julien Marché.

Le 18 mars 2022 à 14:00

Salle de Conférences

Fabio Bernasconi EPFL Lausanne

Sur les relèvements des surfaces globalement F-scindée

Étant donné une variété projective X sur un corps algébriquement clos k de caractéristique positive, c'est intéressante comprendre les éventuelles obstructions géométriques et arithmétiques à l'existence d'un relèvement en caractéristique nulle. Motivée par le cas des variétés abéliennes et des surfaces K3, on conjecture que les variétés de Calabi-Yau ordinaires devraient admettre un relèvement sur l'anneau des vecteurs de Witt W(k). Je rapporterai un travail conjoint avec I. Brivio, T. Kawakami et J. Witaszek où nous montrons que les surfaces globalement F-scindées (qui peuvent être pensée comme des surfaces log Calabi-Yau qui se comportent arithmétiquement bien) sont relevable sur W(k). Comme corollaire, on déduit la borne de Bogomolov sur le nombre de points singuliers des surfaces klt del Pezzo F-scindées.

Le 21 mars 2022

Informations Diverses

Bureau 225

Accueil de la Cellule informatique

Modifications pour la semaine du 21 au 25 mars. Pensez à anticiper la récupération des matériels empruntés...

- l'accueil bureau 225 sera fermé : s'adresser au bureau 104 pour le retrait des matériels empruntés (bureau 104 fermé mercredi 23 après-midi).

Le 22 mars 2022 à 10:00

Salle 2

Jean Kieffer Harvard University

Schémas de Newton certifiés pour l'évaluation des fonctions thêta en petit genre

Les fonctions thÃªta permettent de relier les points de vue algÃ©brique et analytique dans l'Ã©tude des variÃ©tÃ©s abÃ©liennes: ce sont des formes modulaires de Siegel qui fournissent des coordonnÃ©es sur ces variÃ©tÃ©s et leurs espaces de modules. Rendre ce lien effectif nÃ©cessite un algorithme efficace d'Ã©valuation de ces fonctions thÃªta en un point. Dupont, dans sa thÃ¨se (2006), a dÃ©crit un algorithme heuristique basÃ© sur la moyenne arithmÃ©tico-gÃ©omÃ©trique (AGM) et un schÃ©ma de Newton pour Ã©valuer certaines fonctions thÃªta en genre 1 et 2 en temps quasi-linÃ©aire en la prÃ©cision. Le but de cet exposÃ© est de montrer que l'on peut en fait obtenir un algorithme certifiÃ© dont la complexitÃ© est uniforme. Je discuterai Ã©galement des obstacles restants pour gÃ©nÃ©raliser ce rÃ©sultat en dimension supÃ©rieure.

Le 22 mars 2022 à 11:00

Salle de Conférences

Astrid Decoene IMB

Modélisation et simulation directe de suspensions actives

Certains micro-organismes ont la capacité de nager dans un fluide visqueux et leur vitesse peut atteindre plusieurs fois leur taille par seconde, malgré le régime de bas nombre de Reynolds dans lequel ils vivent. Cette nage engendre des dynamiques collectives étonnantes; on observe en effet dans ces suspensions, au-delà d'une certaine concentration, une transition vers un mouvement collectif qui ne correspond pas à la simple addition des mouvements individuels. Je présenterai un aperçu de nos travaux sur la modélisation et la simulation de ces suspensions actives, basés sur une représentation de chaque entité au niveau microscopique. Cette approche permet de reproduire les dynamiques collectives à partir d'une description de la dynamique individuelle, et d'étudier numériquement la dépendance de différentes grandeurs macroscopiques par rapport aux paramètres du modèle.

Le 23 mars 2022 à 11:00

Salle de Conférences

Pas de séminaire

Le 23 mars 2022 à 16:00

Salle de Conférences

Florent Noisette

Intégrabilité complète de l'équation de Korteweg-de Vries

l'objectif de cet exposé est de présenter l'article historique de Peter Lax dans lequel il introduit la notion d'intégrabilité complète d'une équation. Ce concept a deux aspects. D'abord, quand il existe une infinité de quantités conservées pour une équation d'évolution donnée, alors ses solitons (solutions remarquables de cette équation) intéragissent de façon simple. Ensuite, dès qu'il existe deux lois de conservation vérifiant certaines conditions pour une équation d'évolution donnée, il existe une procédure algorithmique permettant de calculer un nombre arbitrairement grand de lois de conservations pour cette équation.

Le 23 mars 2022 à 16:30

Salle de conférence

NOISETTE Florent IMB

Complete integrability for the KdV equation

L'objectif de l'exposé est de discuter de l'article historique de Peter Lax où il a introduit pour la première fois le concept d'intégrabilité complète. L'idée est double. Premièrement, chaque fois qu'il existe une infinité de quantités conservées pour une équation d'évolution donnée, alors ses solitons interagissent bien. Deuxièmement, chaque fois qu'il existe deux lois de conservation vérifiant certaines conditions pour une équation d'évolution donnée, il existe une procédure algorithmique pour calculer une infinité de lois de conservation pour cette équation.

Le 24 mars 2022 à 11:00

Salle de Conférences

Antoine Mouzard

Chemins rugueux, calcul paracontrôlé et ED(P)S

Dans cet exposé, on présentera les théories des chemins rugueux de Lyons et des chemins contrôlés de Gubinelli, introduites pour la résolution des Équations Différentielles Stochastiques (EDS). On expliquera ensuite comment ces idées ont été étendues à la résolution des Équations aux Dérivées Partielles Stochastiques (EDPS) singulières à l'aide du calcul paracontrôlé. Enfin, on donnera quelques exemples de modèles aléatoires décrits par de telles équations.

Le 24 mars 2022 à 14:00

Salle de Conférences

Bernhard Haak IMB

Opérateurs de Ritt, leur calcul H^\infty et des estimations de fonctions carrées associés

Dans cet exposé j'explique la "théorie de Chr. LeMerdy" sur la opérateurs de Ritt, leur calcul H^infty et des estimations de fonctions carrées associés, mais avec de nouvelles preuves, plus courtes, et en gagnant un peu en généralité. L'approche uniformise la théorie entre opérateurs sectoriels, de type "bande spectrale" avec ce petit dernier dans la famille: les opérateurs de Ritt.

Le 25 mars 2022 à 10:30

Salle 2

Pas de séminaire

Discussion prospective pour l'équipe de géométrie

Le 25 mars 2022 à 14:00

Salle de Conférences

João Pedro Dos Santos Paris\, Montpellier

Groupes de Galois pour les équations différentielles sur un trait.

Dans cet exposé, je parlerai de quelques propriétés des schémas en groupes affines sur un trait R qui apparaissent comme des groupes de Galois différentiels. La théorie de Galois différentielle -- dans le contexte classique -- a pour objectif associer des groupes linéaires aux EDOs. Dès que les équations dépendent d'un paramètre (D-modules sur R), deux théories s'imposent: les schémas en groupes affines, et les catégories tannakiennes. Avec quelques exemples simples, je montrerai comment ces deux théories se rencontrent dans le contexte "D-Galoisien.'' Dans la suite, j'introduirai les éclatements de Néron et "formels" pour donner une idée du type de schémas en groupes qui peuvent jouer un rôle dans la théorie différentielle. Enfin, je parlerai d'une façon importante pour calculer explicitement. Dans la théorie classique, un résultat central, le théorème de Schlesinger, permet le calcul à partir de l'analyse complexe: pour les "singularités régulières" le groupe de Galois est la clôture du groupe de monodromie. J'expliquerai comment obtenir un tel théorème dans le contexte relatif et montrerai que des exemples de schémas en groupes assez exotiques apparaissent naturellement.

Le 25 mars 2022 à 14:00

Salle 2

Alessia Del Grosso Univ Versailles

[Séminaire CSM] On implicit-explicit well-balanced Lagrange-projection schemes for two-layer shallow water equations

This work concerns the study of well-balanced Lagrange-projection schemes applied to the two-layer shallow water system. In particular, a formulation of the mathematical model in Lagrangian coordinates is proposed. Based on the acoustic-transport splitting interpretation, we describe an approximate Riemann solver for the acoustic-Lagrangian step. Then, both an explicit and an implicit-explicit method are proposed, where the latter can allow fast simulations in subcritical regimes. Indeed, since the Lagrange-projection splitting entails a decomposition of the (fast) acoustic and (slow) material waves of the model, an implicit approximation of the acoustic equations allows us to neglect the corresponding CFL condition on the time step.

Le 28 mars 2022 à 10:00

salle Ada Lovelace (Inria)

Elie SOLAI

Sujet :"Simulation Numérique et Quantification d'Incertitudes pour le Refroidissement par Immersion des Batteries Lithium-ion". Directeur de thèse : Héloïse Beaugendre, co-directeur : Pietro Marco Congedo

Le 29 mars 2022 à 10:00

Online

Andreas Pieper Universität Ulm

Constructing all genus 2 curves with supersingular Jacobian

F. Oort showed that the moduli space of principally polarized supersingular abelian surfaces is a union of rational curves. This is proven by showing that every principally polarized supersingular abelian surface is the Jacobian of a fibre of one of the families of genus 2 curves $\pi: \mathcal{C}\rightarrow \mathbb{P}^1$ constructed by L. Moret-Bailly. We present an algorithm that makes this construction effective: Given a point $x\in \mathbb{P}^1$ we compute a hyperelliptic model of the fibre $\pi^{-1}(x)$. The algorithm uses Mumford's theory of theta groups to compute quotients by the group scheme $\alpha_p$.

Le 29 mars 2022 à 11:00

Salle de Conférences

Stéphane Brull IMB

Etude d'un système bitempérature non conservatif en 2 dimensions..d'espace et application en physique des plasmas...

Cet exposé est dédié à l'approximation du système d'Euler bitempérature en deux dimensions d'espace. Ce modèle est un système hyperbolique non conservatif décrivant un plasma hors équilibre situé en régime quasi-neutre. La non-conservativité est due à des produits vitesse-gradients de pression et à des termes sources. Le système ne peut s'écrire sous forme divergentielle. On développe alors un schéma numérique d'ordre 2 en utilisant un modèle de type BGK discret. L'extension à l'ordre 2 est basée sur des subdivisions de cellules pour réaliser une reconstruction affine de la solution. De telles idées ont été développées auparavant dans la littérature des systèmes de loi de conservation. Nous montrons alors comment les étendre à un cadre non conservatif. La méthode est ensuite implémentée et testée.

Le 30 mars 2022 à 16:30

Salle de conférence

MARTINO Dorian IMJ

Problème de Plateau et surfaces minimales

Comment trouver une surface minimisant l'aire parmi une famille de surfaces donnée. Ce problème a d'abord été posé par Lagrange en 1760, puis a été popularisé par Plateau durant le 19éme siècle en étudiant les bulles de savon et les tensions de surface. En 1930, Douglas et Rado ont été les premiers à apporter une approche générale pour ce problème en généralisant la notion de plus court chemin entre deux points. Douglas a obtenu l'une des premières médailles Fields pour ce travail en 1936. Dans les années 1990, Hélein eu l'idée d'utiliser la notion de repères mobiles qui a grandement simplifié l'étude de la régularité des solutions. Cela permet de vraiment les considérer comme surfaces et de les étudier en tant que telles. Dans cet exposé, je parlerai de l'existence et de la régularité des surfaces minimales, je donnerai une idée de comment les construire et si le temps le permet, je donnerai quelques généralisations.

Le 30 mars 2022 à 16:30

Salle de Conférences

Dorian Martino IMJ

Problème de Plateau et surfaces minimales

Comment trouver une surface minimisant l'aire parmi une famille de surfaces donnée ? Ce problème a d'abord été posé par Lagrange en 1760, puis a été popularisé par Plateau durant le 19ème siècle en étudiant les bulles de savon et les tensions de surface. En 1930, Douglas et Rado ont été les premiers à apporter une approche générale pour ce problème en généralisant la notion de plus court chemin entre deux points. Douglas a obtenu l'une des premières médailles Fields pour ce travail en 1936. Dans les années 1990, Hélein eu l'idée d'utiliser la notion de repères mobiles qui a grandement simplifié l'étude de la régularité des solutions. Cela permet de vraiment les considérer comme surfaces et de les étudier en tant que telles. Dans cet exposé, je parlerai de l'existence et de la régularité des surfaces minimales, je donnerai une idée de comment les construire et si le temps le permet, je donnerai quelques généralisations.

Le 31 mars 2022 à 14:00

Salle de Conférences

Yann CABANES

Sujet : "Apprentissage dans les disques de Poincaré et de Siegel de séries temporelles multidimensionnelles complexes suivant..un modèle autorégressif gaussien stationnaire centré : application à la classification de données audio et de fouillis..radar". Directeur de thèse : Marc Arnaudon. Co-directeur : Jérémie Bigot

Le 31 mars 2022 à 14:00

Salle 1

Robert Deville IMB

Compositions de trois projections orthogonales...

Le but de cet exposé est de faire une démonstration complète du résultat suivant, dû à Kopecka, Muller et Paskiewicz. Si H est un espace de Hilbert de dimension infinie et si $z_0\in H\backslash\{0\}$, alors il existe trois sous-espaces fermés $X_1,X_2,X_3$ et $k\in\{1,2,3\}^N\}$ tels que, si (par abus de language) $X_i$ désigne aussi la projection orthogonale de H sur $X_i$, la suite $(z_n)=(X_{k_n}...X_{k_2}X_{k_1}z_0)$ ne converge pas en norme. Un historique des résultats ayant amené à ce théorème sera aussi présenté. (Dans le résumé, N est l'ensemble des entiers naturels).

Le 1er avril 2022 à 10:45

Salle 2

Sébastien Labbé (LaBRI) null

Induction de Rauzy de Z2-rotations sur le tore et de partitions de Markov associées

Nous étudierons un système dynamique symbolique deux-dimensionnel donné par le codage d'une Z^2-rotation sur le tore deux-dimensionnel par une partition polygonale bien choisie. En utilisant une notion bidimensionnelle de l'induction de Rauzy, nous démontrerons que la partition est auto-induite. Par conséquent, le système dynamique symbolique est auto-similaire. Nous montrerons qu'il est aussi de type fini et on en déduira que la partition est une partition de Markov pour la Z^2-rotation sur le tore. L'objectif de l'exposé est d'illustrer tranquillement et à la main au tableau le calcul de l'induction de Rauzy pour les Z^2-rotations dans le cas le plus simple et associé au nombre d'or. Les détails de la méthode sont disponibles ici: https://doi.org/10.3934/jmd.2021017

Le 1er avril 2022 à 14:00

salle Ada Lovelace (Inria)

Oumayma BOUHAMANA null

"Titre de la thèse :""Méthodes numériques pour la résolution du problème inverse en électrocardiographie dans le cas danomalies structurelles du tissu cardiaque"". Directeur de thèse : Lisl Weynans. Co-directeur : Laura Bear."

Le 1er avril 2022 à 14:00

Salle 2

Dorian Berger (Université de Caen) null

Morphismes étales entre espaces de Berkovich sur Z : critères par fibres et structure locale

La géométrie de Berkovich a pour avantage de permettre la construction d'espaces analytiques sur un anneau de Banach quelconque. En particulier, on peut construire des espaces analytiques sur Z muni de la valeur absolue usuelle et on obtient dans ce cas des espaces naturellement fibrés en espaces analytiques complexes et p-adiques. Dans cet exposé, on se propose d'étudier les morphismes étales entre de tels espaces, induisant un isomorphisme local entre les fibres complexes et un morphisme étale au sens classique entre les fibres p-adiques. On détaillera plus particulièrement les arguments de restriction à la fibre. Les méthodes utilisées permettent d'obtenir les résultats sur une classe d'anneaux plus générale, comprenant les corps valués complets, les anneaux d'entiers de corps de nombres et les anneaux de valuation discrète.

Le 4 avril 2022 à 17:00

Présentation par Elise Goujard\, Pierre Mounoud et Rémi Boutonnet des posters et activités sur les surfaces qu'ils ont élaborés et déjà testés à plusieurs reprises.
Pause Café 16h30 en salle de détente. null

Exposé Diffusion lundi 4 avril 17h salle de conférences

Le 5 avril 2022 à 10:00

Damien Robert IMB

Towards computing the canonical lift of an ordinary elliptic curve in medium characteristic

Satoh's algorithm for counting the number of points of an elliptic curve $E/\mathbb F_q$ with $q=p^n$ is the fastest known algorithm when $p$ is fixed: it computes the invertible eigenvalue $»$ of the Frobenius to $p$-adic precision $m$ in time $\tilde{O}(p^2 n m)$. Since by Hasse's bound, recovering $\chi_{\pi}$ requires working at precision $m=O(n)$, the point counting complexity is of $\tilde{O}(p^2 n^2)$, quasi-quadratic in the degree $n$.Unfortunately, the term $p^2$ in the complexity makes Satoh's algorithm suitable only for smaller $p$. For medium sized $p$, one can use Kedlaya's algorithm which cost $\tilde{O}(p n^2 m)$ or a variant by Harvey's which cost $\tilde{O}(p^{1/2} n^{5/2} m + n^4 m)$, which have a better complexity on $p$ but a worse one on $n$. For large $p$, the SEA algorithm costs $\tilde{O}(log^4 q)$.In this talk, we improve the dependency on $p$ of Satoh's algorithm while retaining the dependency on $n$ to bridge the gap towards medium characteristic. We develop a new algorithm with a complexity of $\tilde{O}(p n m)$. In the particular case where we are furthermore provided with a rational point of $p$-torsion, we even improve this complexity to $\tilde{O}(p^{1/2} n m)$.This is a joint work with Abdoulaye Maiga.

Le 5 avril 2022 à 11:00

Salle de Conférences

Antti Kupiainen (University of Helsinki) null

BBT Seminar (visio depuis Bilbao): Renormalisation group and SPDEs

Non-linear diffusive PDEs driven by space-time white noise require infinite renormalisations to be well posed. I will discuss why this is the case and how the renormalisations can be found by using an idea from quantum field theory, the renormalisation group.

Le 5 avril 2022 à 13:30

Salle 285

Conseil de Laboratoire

L'ordre du jour sera le suivant :
1) Quelques informations générales (laboratoire, département, RIPEC...) ;
2) Un point financier ;
3) Début de réflexion sur le plan de gestion des emplois 2023 ;
4) Les chaires de professeur junior ;
5) Un projet de création de vidéos par l'équipe de diffusion ;
6) Questions diverses.

Le 7 avril 2022 à 14:00

Salle de Conférences

Nikolai Nikolski\, IMB\, Université de Bordeaux null

Transport optimal et plongement de Sobolev pour les mélanges des signes sur les espaces homogènes.

"Motivé par les distributions des signes des bases de Riesz et des frames dans l'espace L^2, j'utilise la norme de Kantorovich-Rubinstein (de transport optimal) pour déterminer la classe de Schatten de plongement de l'espace Lip(1) et celui de Sobolev dans L^2 au dessus d'un compacte métrique mesuré satisfaisant les conditions de ""doubling/halving"". Les valeurs numériques des trois dimensions d'un tel espace (le ""doubling"" géométrique, ainsi que les ""doubling"" et ""halving"" de la mesure) jouent les rôles différents pour les plongements et pour la qualité de mélange des signes des systèmes représentatifs comme les frames."

Le 8 avril 2022 à 10:45

Salle 2

Ludovic Marquis (Rennes) null

"Groupes de réflexions fortement convexe-cocompacts\n"

"Les groupes de réflexions sont les images des groupes de Coxeter par des représentations introduites par Vinberg dans les années 60. Les groupes de symétries des pavages de l'espace euclidien ou de l'espace hyperbolique dont le pavé fondamental est un polyèdre dont les angles dièdres sont des sous-multiples de pi et le groupe de symétrie est engendré par les réflexions par rapport aux faces du polyèdre sont des cas particuliers de groupes de réflexions.Ces représentations permettent de faire agir les groupes de Coxeter sur des convexes de l'espace projectif réel. On caractérisera parmi ces représentations, lesquelles fournissent des sous-groupes fortement convexe-cocompacts.Travail en commun avec Jeff Danciger, François Guéritaud, Fanny Kassel et Gye-Seon Lee."

Le 8 avril 2022 à 14:00

Salle de Conférences

Sara Mehidi (IMB) null

Prolongement des torseurs via les log schéma

"On présente ici une approche du problème de prolongement des torseurs définis sur la fibre générique d'une famille de courbes. La question est de prolonger chacun du groupe structural et de l'espace total du torseur au dessus de la famille.L'origine de ce problème remonte au travaux de Grothendieck, qui, au début des années 1960, a donné une bonne définition du groupe fondamental de variétés algébriques, basée sur la notion de revêtements étales galoisiens. Le problème du prolongement des torseurs sous un groupe constant, d'ordre premier à la caractéristique résiduel, a été résolu. Lorsqu'on est intéressé par les variétés algébriques d'un point de vue arithmétique, il est naturel de considérer des torseurs sous un groupe fini non nécessairement constant : on parle de torseurs fppf. On se donne alors un torseur fppf pointé sur une courbe et on cherchera à le prolonger sur un modèle régulier de cette dernière. On sait déjà qu'un prolongement fppf n'existe pas toujours, on se placera alors dans une catégorie plus large, à savoir, celle des torseurs logarithmiques. On montrera en particulier que l'existence d'un tel prolongement revient à prolonger des schémas en groupes et des morphismes entre eux. Puis, on cherchera à calculer l'obstruction à relever le torseur log prolongé en un torseur fppf."

Le 11 avril 2022 à 12:00 au 13 avril 2022 à 12:00

Amphithéatre du LaBRI

Organisateurs : V. Delecroix\, E. Goujard\, DM. Nguyen null

Mini rencontre ANR MoDiff du 11 au 13 avril - Amphithéâtre du labri

Le 11 avril 2022 à 16:00

Salle 2

Organisateurs : Jean-Baptiste Burie\, Frédéric Fabre null

Mario Ayala (post-doctorant, INRAE Avignon) donnera un exposé ouvert à tous dans le cadre de l'ANR ArchiV
Titre : A measure-valued stochastic model for vector-borne viruses.

In this talk we propose a measure-valued stochastic process representing the dynamics of a virus population, structured by phenotypic traits and geographical space, and where viruses are transported between spatial locations by mechanical vectors. As a first example of the use of this model, we will show how to use this model to infer results on the probability of extinction of the virus population. Later, by combining various scalings on population sizes, speed of diffusion of vectors, and other relevant model parameters, we show the emergence of two systems of integro-differential equations as Macroscopic descriptions of the system. Under the existence of densities at time zero, we also show the propagation of this property for later times, and derive the strong formulation of the limiting systems of IDEs. These strong formulations, in a sense, correspond to spatial Lotka-Volterra competition models with mutation and vector-borne dispersal.

Le 12 avril 2022 à 10:00

Josué Tonelli-Cueto Inria Paris\, IMJ-PRG

A p-adic Descartes solver: the Strassman solve

Solving polynomials is a fundamental computational problem in mathematics. In the real setting, we can use Descartes' rule of signs to efficiently isolate the real roots of a square-free real polynomial. In this talk, we show how to translate this method into the p-adic worlds. We show how the p-adic analog of Descartes' rule of signs, Strassman's theorem, leads to an algorithm to isolate the p-adic roots of a square-free p-adic polynomial and provide some complexity estimates adapting the condition-based complexity framework from real/complex numerical algebraic geometry to the p-adic case.

Le 12 avril 2022 à 11:00 au 14 avril 2022 à 12:00

Salle de Conférences

Organisateur : David Lannes null

Conférence Singflows du 12 au 14 avril - Salle de conférences de l'IMB

Le 14 avril 2022 à 14:00

PAS DE SÉMINAIRE D'ANALYSE: CONFÉRENCE SINGFLOWS DU 12 AU 14 AVRIL

Le 14 avril 2022 à 16:00

Batiment A29/Amphi B

Eric Rivals - LIRMM\, CNRS\, Univ. Montpellier\, https://www.lirmm.fr/~rivals/ null

"LMIA: Superchaînes: des chevauchements entre mots aux graphes d'assemblage.
\n"

https://www.math.u-bordeaux.fr/imb/les-lecons-de-mathematiques-d-aujourd-hui

Le 15 avril 2022 à 10:45

Salle 2

Alba Málaga Sabogal null

Tores plats polyédraux

"The only compact surface with positive constant curvature is the sphere, which is unique up to homothety; the only compact surface with everywhere zero curvature is the torus, and there is a 2-dimensional family of such tori, parameterised by a subset of the complex plane (a fundamental domain of the modular surface). This parameter is called the modulus of the flat torus. However, while it is trivial to give a smooth (twice continuously differentiable) realisation of the sphere in 3-dimensional space, a smooth model of a flat torus cannot exist: such a model, being compact, would be contained in a sphere, and any intersection point of the model with a minimal containing sphere would have positive curvature.Borrelli et al in 2012 gave a once continuously differentiable isometric embedding for the square torus. Origami-style models, i.e. models as polyhedral surfaces in 3-dimensional space, exist for all flat tori (flat tori of any modulus), by work of Zalgaller and Burago in the 1990s, but have not become common knowledge, and many still deem it impossible.We explain in this text how to produce paper layouts to realise physically such origami-style models of flat tori, and we prove that flat tori of all moduli can be realised this way. More precisely, we describe a family of layouts of polyhedral flat tori, with 2 discrete and 2 continuous parameters; each layout is the fundamental domain of a lattice tiling of the plane.The main ingredient of the construction is a rather non-intuitive approximation of a one-sheet hyperboloid by a piecewise linear surface, that we call a ploid. As built up from two ploids, we call these tori, diplotori.We prove that all moduli of tori are attained.Moreover, we give a method to obtain a diplotorus realisation of any given modulus, and in particular we give explicit parameters for the square flat torus, and the regular hexagon torus. In doing this, we go further than the independent description of diplotori by Tsuboi (arxiv:2007.03434)."

Le 15 avril 2022 à 16:00

Salle de Conférences

Emanuele Tron (IMB) null

Deux problèmes d'intersections improbables

Les intersections improbables sont un formalisme qui regroupe des problèmes géométriques d'intersection en familles ayant un caractère nettement arithmétique. Dans cet exposé, on s'intéresse à deux de ces problèmes qui jouent un rôle important dans la théorie : la conjecture d'André-Oort, concernant les points CM dans les sous-variétés et l'équidistribution de Galois, et la conjecture d'Ailon-Rudnick, liée aux hauteurs sur les éclatements et aux conjectures de Vojta. Ces deux conjectures (et les méthodes pour les attaquer) touchent des sujets tels que la théorie de la transcendance, la théorie des modèles, le théorème du sous-espace, la théorie de l'intersection arithmétique.

Le 15 avril 2022 à 16:30

Salle de conférence

TRON Emanuele IMB

Deux problèmes d'intersections improbables

Les intersections improbables sont un formalisme qui regroupe des problèmes géométriques d'intersection en familles ayant un caractère nettement arithmétique. Dans cet exposé, on s'intéresse à deux de ces problèmes qui jouent un rôle important dans la théorie : la conjecture d'André-Oort, concernant les points CM dans les sous-variétés et l'équidistribution de Galois, et la conjecture d'Ailon-Rudnick, liée aux hauteurs sur les éclatements et aux conjectures de Vojta. Ces deux conjectures (et les méthodes pour les attaquer) touchent des sujets tels que la théorie de la transcendence, la théorie des modèles, le théorème du sous-espace, la théorie de l'intersection arithmétique.

Le 20 avril 2022 à 16:00

Salle de Conférences

Haojie Hong (IMB) null

Brief introduction to linear forms in logarithms

An expression of the form $\beta_1\log\alpha_1+\cdots+\beta_n\log\alpha_n$ is called linear form in logarithms, where $\alpha_i$ are given non-zero algebraic numbers and $\beta_j$ are variables. Alan Baker proved that if the $\log\alpha_i$ are linearly independent over the rationals, they are also linearly independent over the algebraic numbers. In this talk, I will give a concise historical introduction to the theory of linear forms in logarithms, then show some main theorems and simple applications.

Le 20 avril 2022 à 16:30

Salle de conférence

HONG Haojie IMB

Brief introduction to linear forms in logarithm

Une expression de la forme $\beta_1\log\alpha_1+\cdots+\beta_n\log\alpha_n$ est appelée forme linéaire en logarithmes, où $\alpha_i$ reçoivent des nombres algébriques non nuls et $ \beta_j$ sont des variables. Alan Baker a prouvé que si les $\log\alpha_i$ sont linéairement indépendants sur les rationnels, ils sont aussi linéairement indépendants sur les nombres algébriques. Dans cet exposé, je donnerai une introduction historique concise à la théorie des formes linéaires en logarithmes, puis montrerai quelques théorèmes principaux et des applications simples.

Le 26 avril 2022 à 10:00

Lassina Dembélé King's College London

"Correspondance de Langlands inertielle explicite pour ${\nm GL}_2$ et quelques applications arithmétiques"

Dans cet exposé nous allons décrire une approche explicite qui permet de calculer les types automorphes inertiels pour ${\rm GL}_2$. Nous donnerons ensuite quelques applications de cet algorithme à des problèmes diophantiens ou de nature arithmétique.

Le 3 mai 2022 à 10:00

Sergey Yurkevich University of Vienna\, Inria

The generating function of the Yang-Zagier Numbers is algebraic

In a recent paper Don Zagier mentions a mysterious integer sequence $(a_n) _{n \geq 0}$ which arises from a solution of a topological ODE discovered by Marco Bertola, Boris Dubrovin and Di Yang. In my talk I show how to conjecture, prove and even quantify that $(a_n) _{n \geq 0}$ actually admits an algebraic generating function which is therefore a very particular period. The methods are based on experimental mathematics and algorithmic ideas in differential Galois theory, which I will show in the interactive part of the talk. The presentation is based on joint work with A. Bostan and J.-A. Weil.

Le 3 mai 2022 à 11:00

Salle de Conférences

Ludovick Gagnon (Institut Elie Cartan de Lorraine) null

Stabilisation rapide des water waves linéarisée et backstepping de type Fredholm pour opérateurs critiques

"Dans cet exposé, on présente un résultat récent de stabilité rapide de léquation des water waves linéarisée grâce à la méthode du backstepping de type Fredholm. Initialement introduite avec une transformation de Volterra, la méthode du backstepping avec une transformation de Fredholm permet de montrer la stabilisation rapide pour une grande classe dEDP grâce à des propriétés de contrôlabilité. Léquation des water waves linéarisée représente un cas critique pour cette méthode, puisque les techniques classiques ne permettent pas de traiter des opérateurs de type i|D_x|^a, avec 1 < a \leq 3/2. Nous introduisons un nouvel argument de compacité/dualité permettant de franchir le seuil a=3/2 et nous montrons que la méthode du backstepping de type Fredholm sapplique pour des opérateurs anti-adjoints du type i|D_x|^a, avec 1 < a \leq 3/2.Il sagit dun travail en collaboration avec Amaury Hayat, Shengquan Xiang et Christophe Zhang "

Le 3 mai 2022 à 16:30

Salle de conférence

FREULON Paul IMB

An Introduction to the Wasserstein distance in Statistics

Dans cet exposé, je donnerai une introduction à la distance de Wasserstein et à son utilisation en statistique. Dans une première partie, je présenterai une application bio-statistique qui motivera le besoin de comparer des distributions de probabilité. Dans une deuxième partie, je présenterai la distance de Wasserstein avec quelques éléments historiques. Par exemple, je prévois de parler du problème de Monge formulé en 1781, des apports de Kantorovich dans les années 1940, et pourquoi les statisticiens s'intéressent actuellement beaucoup à cette distance. Dans une troisième partie, je présenterai quelques formulations explicites de la distance de Wasserstein et quelques propriétés de cette distance. Enfin, je vais essayer de donner quelques résultats statistiques liés à cette distance. Par exemple, étant donné des échantillons de deux distributions $\mu$ et $u$, comment pouvons-nous estimer la distance de Wasserstein entre ces deux distributions ?

Le 3 mai 2022 à 16:30

Paul Freulon (IMB) null

An Introduction to the Wasserstein distance in Statistics

"In this talk, I will give an introduction to the Wasserstein distance andits use in statistics. In a first part, I will present a bio-statistical application that will motivate the need to compare probability distributions. In a second part, I will introduce the Wasserstein distance with some historical elements. For instance, I plan to talk about Monge problem formulated in 1781, Kantorovich contributions in the 1940s, and why statisticians have currently a lot of interest for this distance. In a third part, I will present some explicit formulations of the Wasserstein distance and a few properties of this distance. Finally, I will try to give some statistical results related to this distance. For instance, given samples from two distributions $\mu$ and $u$ how can we estimate the Wasserstein distance between those two distributions?"

Le 5 mai 2022 à 11:00

Salle de Conférences

Jérémie Bigot null

Modèles mathématiques sur linfluence de la taille de la couche cachée dans des réseaux de neurones à 2 couches - Approches par matrices aléatoires ou par flots de gradient et transport optimal.

Comprendre linfluence de la taille des couches cachées dans la capacité de généralisation des modèles de réseaux de neurones est une question qui a suscité de très nombreux travaux. Dans cette série dexposés, nous proposons de présenter quelques modèles mathématiques pour répondre à cette problématique qui se basent soit sur la théorie des matrices aléatoires et des probabilités libres, soit sur la théorie des flots de gradient dans lespace de Wasserstein et les outils du transport optimal de mesures. Nous espérons ainsi débuter un groupe de travail autour de ces modèles dont de nombreux aspects peuvent intéresser la communauté de recherche en mathématiques appliquées à Bordeaux.

Le 5 mai 2022 à 14:00

Salle de Conférences

Karine Isambard (Marseille) null

Annulé et reporté à une date ultérieure

Le 5 mai 2022 à 15:30

Salle de Conférences

Adrian Lam (Ohio State University) null

The nonlocal selection of spreading speed in shifting environments

Since the work of [Potapov & Lewis, 2004] and [Berestycki et al. 2009], there has been a lot of interest in the population dynamics driven by climate change. Of particular interest is the persistence and invasion profile of species as their suitable habitat are shifting poleward. In this talk, I will discuss some results concerning determination of spreading speed in Fisher-KPP equation with shifting heterogeneity. Surprisingly, in some cases the spreading speed is no longer determined by the formula 2\sqrt{rd}, i.e. it exceeds the level predicted by local conditions. We will explain the nonlocal mechanism behind the speed enhancement. We will also survey some related works motivated by the conjecture of Shigesada et al concerning the co-invasion of competing tree species into an open space. This is joint work with Leo Girardin (Institut Camille Jordan, Lyon) and Xiao Yu (South China Normal University).

Le 6 mai 2022 à 14:00

Salle de Conférences

Gal Porat (Chicago) null

Locally analytic vector bundles on the Fargues-Fontaine curve

The category of p-adic representations of $Gal(\overline{Q_p}/Q_p)$ embeds fully faithfully into the category of equivariant vector bundles on the Fargues-Fontaine curve. In this talk we present recent work, where we show every such equivariant vector bundle descends canonically to a locally analytic vector bundle, an object equipped with a connection. Next, we shall focus on potentially semistable locally analytic vector bundles (for example, these coming from potentially semistable representations of $Gal(\overline{Q_p}/Q_p))$. We shall explain how to interpret invariants of these objects in terms of solutions to p-adic differential equations on the locally analytic vector bundle.

Le 10 mai 2022 à 11:00

Salle 1

Julien Mathiaud (CELIA) null

Construction de modèles aux moments pour la dynamique des gaz raréfiés

Dans cette présentation, nous allons proposer de nouveaux modèles aux moments (BGK/ Fokker Planck) permettant de résoudre des problèmes de dynamique de gaz raréfié. Un cadre formel sera proposé pour créer des modèles conservatifs bénéficiant d'une dissipation d'entropie. On montrera notamment que le modèle ESBGK de Perthame/LeTallec peut être retrouvé dans ce cadre tout en précisant les valeurs physiques des paramètres du modèle. Par ailleurs les asymptotiques fluides de ces modèles seront obtenues. Ce travail a été mené conjointement avec Luc Mieussens (IMB)

Le 12 mai 2022 à 11:00

Salle de Conférences

Paul Freulon null

Some statistical insights into entropy regularized Wasserstein estimators, through weights estimation in a mixture model

In 2013, Marco Cuturi introduced an entropic regularized version of the Wasserstein distance. Due to its computational advantages, this regular- ized version of the Wasserstein distance is now a popular tool in statistics to compare probability distributions, or point clouds. In 2017, Arjovsky et al. proposed with Wasserstein-GANs, to minimize the Wasserstein dis- tance among a class of parameterized distributions, and an empirical prob- ability distribution; this is an example of Wasserstein estimation method. In this talk, I will discuss the use of the regularized Wasserstein distance to perform Wasserstein estimation. Motivated by a bio-statistical appli- cation, we propose to find among mixture distributions parameterized by their weights, the closest to an empirical probability distribution with re- spect to the regularized Wasserstein distance. Through this example of Wasserstein estimator, I will discuss the influence of the regularization parameter on the statistical properties of Wasserstein estimators. It is a joint work with Jérémie Bigot, Boris Hejblum and Arthur Leclaire.

Le 13 mai 2022 à 10:45

Salle 2

Thomas Haettel (Montpellier) null

Actions de groupes sur des espaces métriques injectifs

Un espace métrique est dit injectif lorsque toute famille de boules d'intersectant deux à deux a une intersection globale non vide. De tels espaces métriques injectifs ont de nombreuses propriétés typiques de la courbure négative. En particulier, lorsqu'un groupe agit par isométries sur un tel espace, on peut en déduire de nombreuses conséquences. Nous présenterons également de nombreux groupes ayant une action intéressante sur un espace injectif, notamment les groupes hyperboliques, les groupes cubulables, les réseaux dans les groupes de Lie, les groupes modulaires de surface, certains groupes d'Artin...

Le 13 mai 2022 à 14:00

Salle de Conférences

Giulio Codogni (Rome Tor Vergata) null

Characterizing Jacobians via the KP equation and via flexes and degenerate trisecants to the Kummer variety: an algebro-geometric approach.

"I will present algebro-geometric proofs of a theorem by T. Shiota, and of a theorem by I. Krichever. These results characterize Jacobians of algebraic curves among all irreducible principally polarized abelian varieties. Shiota's characterization is in terms of the KP equation. Krichever's characterization is in terms of trisecant lines to the Kummer variety; I will discuss only the degenerate case of his result. The proofs rely on a new theorem asserting that the base locus of a complete linear system on an abelian variety is reduced. The talk is based on a joint work with E. Arbarello and G. Pareschi."

Le 16 mai 2022 au 20 mai 2022

Organisateurs : A. Freuslon\, F. Le Maître\, M. Musat\, R. Boutonnet null

Operator algebras ans Group Dynamics - 16 au 20 mai - CIRM à Marseille

Le 16 mai 2022 au 18 mai 2022

Salle de Conférences

Organisateurs : B. Gouthier\, L. Laulin\, F. Noisette\, M. Pauron\, N. Prencipe\, T. Untrau null

Journées Doctorales de la Fédération MARGAUx du 16 au 18 mai - Salle de conférences de l'IMB

Le 17 mai 2022 à 10:00

Daniel Fiorilli Université Paris Saclay

Résultats de type oméga pour les comptages de corps cubiques

Il s'agit d'un travail en collaboration avec P. Cho, Y. Lee et A. Södergren. Depuis les travaux de Davenport-Heilbronn, beaucoup d'articles ont été ecrits donnant des estimations de plus en plus précises sur le comptage du nombre de corps cubiques de discriminant au plus X. Mentionnons par exemple les travaux de Belabas, Belabas-Bhargava-Pomerance, Bhargava-Shankar-Tsimerman, Taniguchi-Thorne et Bhargava-Taniguchi-Thorne. Dans cet exposé je parlerai d'un résultat négatif, qui montre que l'hypothèse de Riemann implique une limitation sur la plus petite taille possible du terme d'erreur dans ces estimations. Nous approchons la questions à partir de la théorie des petits zéros de fonctions $L$, en particulier la philosophie de Katz-Sarnak et les articles subséquents pour la famille des fonctions zeta de Dedekind de corps cubiques. Je présenterai aussi des résultats numériques obtenus avec pari/gp et le programme «cubic» de Belabas qui indiquent que notre résultat pourrait être optimal.

Le 17 mai 2022 à 13:15

Salle 1

Réunion conseils conjoints

Le prochain conseil scientifique aura lieu mardi 17 mai à 13h15 en salle de conférence.
Le conseil de laboratoire nous rejoindra à 13h30.
Lordre du jour est le suivant :
1) examen des demandes d'ADT et HDR (conseil scientifique uniquement)
2) présentation d'une demande d'intégration à l'IMB
3) plan de gestion des emplois 2023
4) questions diverses

Le 17 mai 2022 à 14:00

Salle de Conférences

(BBT Seminar) Patrick Gérard (Paris Saclay) null

On a derivative nonlinear Schrödinger equation on the Hardy space of the line

(Ce séminaire a lieu dans le cadre du séminaire tournant Bilbao-Bordeaux-Toulouse et sera retransmis depuis Toulouse). We introduce a nonlinear Schroedinger equation on the line, with a mass critical non-local cubic nonlinearity of DNLS type, which conserves the Hardy property of a Fourier transform supported in the positive half line. We identity a Lax pair for this equation, and we use this structure for studying multisoliton solutions. This a jointwork with Enno Lenzmann (Basel).

Le 18 mai 2022 à 14:30

Wessel van Woerden CWI Amsterdam

On the Lattice Isomorphism Problem, Quadratic Forms, Remarkable Lattices, and Cryptography

A natural and recurring idea in the knapsack/lattice cryptography literature is to start from a lattice with remarkable decoding capability as your private key, and hide it somehow to make a public key. This is also how the code-based encryption scheme of McEliece (1978) proceeds.This idea has never worked out very well for lattices: ad-hoc approaches have been proposed, but they have been subject to ad-hoc attacks, using tricks beyond lattice reduction algorithms. On the other hand the framework offered by the Short Integer Solution (SIS) and Learning With Errors (LWE) problems, while convenient and well founded, remains frustrating from a coding perspective: the underlying decoding algorithms are rather trivial, with poor decoding performance.In this work, we provide generic realisations of this natural idea (independently of the chosen remarkable lattice) by basing cryptography on the Lattice Isomorphism Problem (LIP). More specifically, we provide:- a worst-case to average-case reduction for search-LIP and distinguish-LIP within an isomorphism class, by extending techniques of Haviv and Regev (SODA 2014).- a zero-knowledge proof of knowledge (ZKPoK) of an isomorphism. This implies an identification scheme based on search-LIP.- a key encapsulation mechanism (KEM) scheme and a hash-then-sign signature scheme, both based on distinguish-LIP.The purpose of this approach is for remarkable lattices to improve the security and performance of lattice-based cryptography. For example, decoding within poly-logarithmic factor from Minkowski's bound in a remarkable lattice would lead to a KEM resisting lattice attacks down to a poly-logarithmic approximation factor, provided that the dual lattice is also close to Minkowski's bound. Recent works have indeed reached such decoders for certain lattices (Chor-Rivest, Barnes-Sloan), but these do not perfectly fit our need as their duals have poor minimal distance.

Le 19 mai 2022 à 11:00

Salle de Conférences

Jérémie Bigot null

Modèles mathématiques pour les réseaux de neurones 2

Suite du groupe de travail

Le 19 mai 2022 à 14:00

Salle de Conférences

Alexander Borichev (Marseille) null

Annulé, reporté à une date ultérieure

TBA

Le 19 mai 2022 à 15:30

Salle de Conférences

Marius Tucsnak (IMB) null

États atteignables des systèmes dynamiques linéaires

Cet exposé considère des systèmes contrôlés linéaires invariants en temps et il sintéresse prioritairement à une question fondamentale en automatique et dans les questions de sureté des systèmes complexes : caractériser les états qui peuvent être atteints à un certain moment lorsque la commande décrit un ensemble admissible. Après quelques rappels sur le cas classique où lespace des états est de dimension finie (théorie de Kalman), l'accent est mis sur des systèmes décrits par des équations de type chaleur. Je décrirai notamment quelques avancées récentes, établissant de nouvelles relations avec la théorie de espaces de Hilbert des fonctions holomorphes. Nous montrons que ces systèmes peuvent, en plusieurs cas d'intérêt, être considérés comme exactement contrôlables. On vous explique pourquoi ce fait assez surprenant est compatible avec l'effet régularisant pour les équations aux dérivées partielles de type parabolique.

Le 20 mai 2022 à 10:45

Salle 2

Vincent Delecroix (LaBRI) null

A new SL(2,R)-orbit closure in the moduli space of translation surfaces of genus 8

"The moduli space of translation surfaces in fixed genus is an orbifold endowed with a SL(2,R)-action preserving a probability measure. It was shown by Masur and Veech that the this action is ergodic on each connected component of the moduli space. As an analogue of Ratner's theorem, Eskin and Mirzakhani proved a structural result for any SL(2,R)-invariant measures and orbit closures. More precisely, they show that any SL(2,R)-orbit closure is an orbifold that supports a unique SL(2,R)-invariant probability measure. However, contrarily to Ratner's theorem, their result does not give a recipe to compute the list of all SL(2,R)-orbit closures. The construction of SL(2,R)-invariant orbifolds in the moduli space of translation surfaces is a very active line of research. In a joint work with J. Rüth and A. Wright we build a new example of such orbit closure in genus 8 which we believe is the last exceptionnal example coming from quadrilateral unfolding.In this talk I will review Eskin-Mirzakhani result in parallel to Ratner theorem, quickly mention one motivation for understanding SL(2,R)-orbit closures (dynamics of rational billiards) and finally explain our construction."

Le 20 mai 2022 à 14:00

Salle de Conférences

Stefan Schröer (Düsseldorf) null

Para-abelian varieties and the Albanese map

We show that for each scheme that is separated and of finite type over a field, and whose affinization is connected and reduced, there is a universal morphism to some para-abelian variety. The latter are schemes that acquire the structure of an abelian variety after some ground field extension. This extends a classical result of Serre. The proof relies on the corresponding result in the proper case, which was obtained before in a joint work with Bruno Laurent. The open case also relies on Macaulayfication, removal of singularities by alterations, pseudo-rational singularities, and Bockstein maps.

Le 23 mai 2022 au 25 mai 2022

Comité d'organisation :Y. Bilu\, I. Del Corso\, A. Galateau\, F. Pappalardi\, F. Pazuki\, V. Talamanca null

Celebrating Francesco Amoroso's 60th birthday May 23-25, 2022, Università di Pisa

Le 23 mai 2022 au 27 mai 2022

Caen

Organisteur : Marc-Hubert NICOLE (Caen) null

30e Rencontres arithmétiques de Caen - 23-27 mai 2022 Caen

Le 24 mai 2022 à 10:00

Alice Pellet-Mary CNRS/IMB

Rigorous computation of class group and unit group

Computing the class group and the unit group of a number field is a famous problem of algorithmic number theory. Recently, it has also become an important problem in cryptography, since it is used in multiple algorithms related to algebraic lattices.Subexponential time algorithms are known to solve this problem in any number fields, but they heavily rely on heuristics. The only non-heuristic (but still under ERH) known algorithm, due to Hafner and McCurley, is restricted to imaginary quadratic number fields.In this talk, we will see a rigorous subexponential time algorithm computing units and class group (and more generally S-units) in any number field, assuming the extended Riemann hypothesis.This is a joint work with Koen de Boer and Benjamin Wesolowski.

Le 24 mai 2022 à 14:00

Leiden, Pays-Bas

Jared ASUNCION GUISMO null

" Titre de la thèse : "" Constructions de multiplication complexe d'extensions abéliennes de corps quantiques"". Directeur de thèse : Andreas Enge. Codirecteur : Marco Streng"

Le 27 mai 2022 à 10:45

Salle 2

Faustin Adiceam (Manchester) null

Autour du problème de Danzer et de la construction de forêts denses

Le problème de Danzer (1961) pose la question de savoir sil existe un ensemble de densité finie (i.e. « ne contenant pas beaucoup de points ») intersectant tout corps convexe de volume unité. Il a attiré à lui une somme considérable de travaux regroupant un large spectre des mathématiques modernes. Après avoir présenté quelques-uns dentre eux, nous nous intéresserons à une approche récente obtenue en relâchant la contrainte de volume. Ceci conduit au problème de la construction de forêts dites denses qui entretient des liens très étroits avec des problèmes géométriques de répartition densembles discrets sur certaines surfaces. Nous présenterons des constructions de telles forêts denses et, pourvu que le temps imparti le permette, des généralisations à dautres problèmes géométriques de répartition.

Le 31 mai 2022 à 10:00

Philippe Elbaz-Vincent Institut Fourier / Inria / IMB

Sur quelques points, plus ou moins effectifs, de cohomologie des groupes arithmétiques

Nous donnerons un panorama de certaines techniques et résultats pour le calcul de la cohomologie des groupes arithmétiques de rang $\ge 4$ pour des anneaux d'entiers algébriques, ainsi que leurs applications arithmétiques et K-théoriques. Nous ferons ensuite un focus sur les méthodes utilisant le modèle de Voronoi (euclidien ou hermitien), ainsi que plusieurs améliorations algorithmiques. Nous préciserons certains résultats relatifs aux complexes de Voronoi et leurs cellules (pour $\mathrm{GL}_N$ avec $N \geq 12$), ainsi qu'un travail en cours avec B. Allombert et R. Coulangeon sur les formes parfaites de rang $N$ sur $\mathcal{O}_K$ et la cohomologie de $\mathrm{GL}_N(\mathcal{O}_K)$ pour certains anneaux d'entiers avec $N=4,5,6$. Nous mentionnerons aussi plusieurs problèmes ouverts relatifs à ces modèles.

Le 1er juin 2022 à 11:00

Salle de Conférences

Clementine Laurens null

Kameda Toyojiro and the transfer of the Western theory of probability to Japan at the beginning of the 20th century

We will talk about the Japanese actuary and probabilist Kameda Toyojiro (1885-1944) who took a major part in the transfer of modern probabilistic technology to Japan at the beginning of the 20th century. Very familiar with contemporary English and German works, he made an early use of certain fundamental concepts of probability theory, such as characteristic functions, and was one of those who paved the way for the spectacular development of the Japanese probabilistic school in the next generation.

Le 1er juin 2022 à 14:30

Salle de Conférences

Sylvie Benzoni\, directrice de l'Institut Henri Poincaré\, sera la pour présenter le film. null

Mercredi 1er juin, l'IREM vous invite a la projection du film Man Ray et les equations shakespeariennes - Salle de conférences IMB - 14h30

Le 1er juin 2022 à 16:30

Salle de conférence

LAURENS Clémentine ESJ Lille

Kameda Toyojiro and the transfer of the Western theory of probability to Japan at the beginning of the 20th century

Nous parlerons de l'actuaire et probabiliste japonais Kameda Toyojiro (1885-1944) qui a joué un rôle majeur dans le transfert de la technologie probabiliste moderne au Japon au début du XXe siècle. Très familier des travaux contemporains anglais et allemands, il a fait un usage précoce de certains concepts fondamentaux de la théorie des probabilités, comme les fonctions caractéristiques, et a été l'un de ceux qui ont ouvert la voie au développement spectaculaire de l'école probabiliste japonaise à la génération suivante.

Le 2 juin 2022 à 14:00

Salle 1

2 - 3 juin 2022 null

Conférence Hommage scientifique à Mohamed Zarrabi

Conférence Hommage scientifique à Mohamed Zarrabi

Le 2 juin 2022 à 14:00

Salle 2

Benjamin Graille (IMO) null

[Séminaire CSM] Des schémas de Boltzmann sur réseau pour simuler le système dEuler complet

La méthode de Boltzmann sur réseau est très largement utilisée pour simuler les équations de la mécanique des fluides comme Navier-Stokes incompressible. Jusquà présent la prise en compte de léquation de conservation de lénergie était difficile et se limitait à une approximation de type Boussinesq. De nouvelles idées ont permis la construction de schémas capables de simuler des systèmes hyperboliques plus généraux et en particulier Euler complet. Dans cet exposé, nous décrirons quelquuns de ces nouveaux schémas en nous intéressant particulièrement à la montée en nombre de Mach (problème très sensible des schémas de Boltzmann sur réseau).

Le 2 juin 2022 à 14:00

Salle de Conférences

Lucile Laulin null

"Titre de la thèse :""Autour de la marche aléatoire de l'éléphant"". Directeur de thèse : Bernard Bercu."

Le 3 juin 2022 à 10:45

Salle 2

Frank Gounelas (Göttingen) null

Curves of maximal moduli on K3 surfaces

"In joint work with Chen, we proved that on any K3 surface one can produce curves of any fixed geometric genus g, each of which deforms maximally in moduli, i.e. in a g-dimensional family of M_g. In this talk I will discuss this and some related results, and various applications, in particular to the existence of symmetric differentials on K3s. The key inputs in the proof are the existence of infinitely many rational curves on a K3 (recently obtained the remaining cases jointly with Chen-Liedtke) and the logarithmic Bogomolov-Miyaoka-Yau inequality which provides some (very weak) control of the singularities of these rational curves."

Le 3 juin 2022 à 14:00

Salle 1

Jean-Louis Verger-Gaugry (Université Savoie Mont Blanc) null

An attack of the Conjecture of Lehmer by the dynamical zeta function of the $beta$-shift, and the modulo $p$ problem

"The present work proposes an attack of the Conjecture of Lehmer by the dynamical zeta function of the $\beta$-shift to prove that this Conjecture is true (math NT> arXiv:1911.10590(29 Oct 2021)). In 1933 Lehmer asked the question about the existence of integer polynomials having a Mahler measure different of one, smaller than Lehmers number (and arbitrarily close to one). The problem of Lehmer became a Conjecture, stating that there exists a universal lower bound $> 1$ to the Mahler measures of the nonzero algebraic integers which are not roots of unity. The problem of the minoration of the Mahler measure of algebraic integers is a very deep one and has been extended in the theory of heights in arithmetic geometry.The main ingredients arise from the lenticular poles of the dynamical zeta functions $\zeta_\beta(z)$ of the RényiParry arithmetical dynamical ($\beta$-shift), with $\beta> 1$ any real number tending to one, to which a lenticular measure can be associated, satisfying a Dobrowolski-type inequality with the dynamical degree of $\beta$ . When $\beta$ runs over the set of nonzero reciprocal algebraic integers, under some assumptions, the lenticular poles are identified with conjugates of $\beta$, using Kala-Vavras periodic representation theorem (2019), and this lenticular measure is identified with a minorant of the Mahler measure of $\beta$.Though expressed as hypergeometric functions (Mellin, 1915) the lenticularity of the poles only appears when using their Poincaré asymptotic expansions, in the angular sector guessed by M. Langevin, G. Rhin and C. Smyth, G. Rhin and Q. Wu.We show that the search for very small Mahler measures calls for investigating the factorization of integer polynomials in a class of lacunary polynomials canonically associated to the functions $\zeta_\beta(z)$, that this problem is linked to the number of zeroes of these polynomial in $\mathbb{F}_p$, to their asymptotic limit when $p$ tends to infinity, and questions on the existence of modular forms by the Langlands program.Whether Lehmers number is the smallest Mahler measure $>1$ of algebraic integers remains open."

Le 7 juin 2022 à 13:30

Salle 285

Conseil de laboratoire

"Lordre du jour est le suivant :
1) approbation du compte-rendu du conseil de laboratoire du 17 mai 2022 ;
2) informations générales ;2) renouvellement du conseil scientifique ;
3) plan de gestion des emplois 2023 ;
4) questions diverses."

Le 7 juin 2022 à 14:00

Salle de Conférences

Charif Abdallah BENYAMINE null

"Titre de la thèse : ""Sections finies d'inégalités multiplicatives de Hilbert et multiplicateurs de l'espace de Dirichlet"". Directeur de Thèse: Karim Kellay. Co-directeur : Michel Martin Rajoelina"

Le 9 juin 2022 à 11:00

Salle de Conférences

Ugo Tanielian (Criteo) null

Generative Adversarial Networks: understanding optimality properties of Wasserstein GANs

"Generative Adversarial Networks (GANs) were proposed in 2014 as a new method efficiently producing realistic images. Since their original formulation, GANs have been successfully applied to different domains of machine learning: video, sound generation, and image editing. However, our theoretical understanding of GANs remains limited.
In this presentation, we will first define the overall framework of GANs and illustrate their main applications. Then, we will focus on a cousin approach called Wasserstein GANs (WGANs). This formulation based on the well-known Wasserstein distance has been validated by many empirical studies and brings stabilization in the training process. Finally, motivated by the important question of characterizing the geometrical properties of WGANs, we will show that for a fixed sample size, optimality for WGANs is closely linked with connected paths minimizing the sum of the squared Euclidean distances between the sample points. "

Le 10 juin 2022 à 10:45

Salle 2

Ingrid Mary Irmer (Shenzhen) null

The Thurston spine of the genus 2 Teichmüller space

In the 80s, Thurston gave a controversial construction of a mapping class group equivariant deformation retraction of the Teichmueller space of a closed, compact surface onto a lower dimensional spine. This talk will review Thurston's construction and related questions. The results of a computation in genus 2 will be presented, resolving many of these questions in genus 2.

Le 10 juin 2022 à 14:00

Salle de Conférences

Alice Bouillet (Rennes) null

Espace de modules des $p$ algèbres de Lie.

"Sur les corps de caractéristique p>0, l'algèbre de Lie d'un groupe ne donne pas autant d'information qu'en caractéristique 0. Cependant, une structure supplémentaire appelée""p-application"" nous permet de reconstruire au moins les noyaux de Frobenius du groupe.Dans cet exposé, nous donnerons les définitions et les propriétés essentielles pour mieux comprendre les ""p-applications"", puis nous allons décrire le lieu restreignable de l'algèbre de Lie universelle(i.e. le lieu où elle admet une p-application), et l'espace de modules des p-algèbres de Liesur la stratification applatissante de son centre (car nous verrons que ce dernier joue un rôle clé).Enfin, nous revisiterons l'exemple classique de l'espace de modules L_3 des algèbres de Lie de rang 3en montrant qu'il est représentable sur l'anneau des entiers. En utilisant la très jolie théorie de la liaison,nous montrerons qu'il est plat, de présentation finie, avec deux composantes irréductibles plates sur Z,avec des fibres géométriques intègres et Cohen-Macaulay.Grâce à cette description de L_3 et grâce à une extension de l'équivalence de catégorie classique entreles groupes de hauteur 1 et les p-algèbres de Lie, nous pourrons décrire l'espace des modules des groupes algébriques de hauteur 1 d'ordre p^3."

Le 14 juin 2022 à 10:00

Antoine Leudière Université de Lorraine

An explicit CRS-like action with Drinfeld modules

L'une des pierres angulaires de la cryptographie des isogénies est l'action (dite CRS), simplement transitive, du groupe des classes d'un ordre d'un corps quadratique imaginaire, sur un certain ensemble de classes d'isomorphismes de courbes elliptiques ordinaires.L'échange de clé non-interactif basé sur cette action (espace homogène difficile) est relativement lent (de Feo, Kieffer, Smith, 2019) ; la structure du groupe (Beullens, Kleinjung, Vercauteren, 2019) est difficile à calculer. Pour palier à cela, nous décrivons une action, simplement transitive, de la jacobienne d'une courbe hyperelliptique imaginaire, sur un certain ensemble de classes d'isomorphismes de modules de Drinfeld. Après avoir motivé l'utilisation des modules de Drinfeld en lieu et place des courbes elliptiques, nous décrirons un algorithme efficace de calcul de l'action, ainsi que la récente attaque de Benjamin Wesolowski sur l'échange de clé donné par l'action.

Le 14 juin 2022 à 11:00

Salle de Conférences

Alexandre Baron (CRPP) null

Méta-atomes et métamatériaux optiques

Les métamatériaux sont des matériaux artificiels présentant des propriétés optiques qui n'existent pas dans la nature. Ils sont généralement constitués d'assemblage de résonateurs optiques (des méta-atomes) nano- ou micro-structurés aux propriétés d'absorption et de diffusion extraordinaires. La conception de métamatériaux et de méta-atomes repose en grande partie sur des principes d'homogénéisation électromagnétique. Cet exposé s'attachera à présenter des exemples remarquables de réalisations expérimentales de métamatériaux et de méta-atomes, telles qu'un matériau présentant du magnétisme à des fréquences optiques ou encore des sources de Huygens-Fresnel artificielles. Les principes physiques et mathématiques sur lesquels reposent la conception de ces structures seront également abordés. Pour finir, quelques perspectives et limites auxquelles sont typiquement confrontées les physiciens dans les modèles seront présentées. Des modèles mathématiques puissants pourraient contribuer à enrichir le champ d'exploration des métamatériaux.

Le 14 juin 2022 à 13:30

Salle de Conférences

Conseil Scientifique mardi 14 juin en salle de conférence à 13h30

"Le conseil de laboratoire sera lui aussi invité.
Ordre du jour :
1) Présentation de Catie
2) Nouvelles du conseil du laboratoire
3) Prospective scientifique
4) Demandes dinscription à lADT (uniquement le conseil scientifique)
"

Le 16 juin 2022 à 15:30

Salle de Conférences

Samia Boukir (IMB) null

Prétraitements des données dapprentissage par méthodes densemble

"Les prétraitements constituent une étape essentielle pour lapprentissage automatique et lexploration de données. Ils incluent notamment le filtrage, léquilibrage, et la réduction de données. Cette dernière tache peut être décomposée en deux prétraitements distincts : la sélection de données (ou déchantillons) et la sélection dattributs (ou de variables). Les caractéristiques des données dapprentissage ont une influence majeure sur la conception de nimporte quel classifieur supervisé quil soit multiple ou pas. Cet exposé va aborder les mécanismes des prétraitements permettant de constituer un échantillon dapprentissage adéquat pour la construction dun classifieur plus fiable et plus efficace. Les problèmes majeurs affectant le processus dapprentissage seront investigués, notamment le bruit détiquetage, le déséquilibre et la redondance des données qui sont des enjeux majeurs dans la conception dalgorithmes dapprentissage automatique pour de nombreuses applications du monde réel. Laccent sera mis sur les méthodes densemble qui sont basées sur un paradigme dapprentissage qui construit un modèle de classification en intégrant des composants dapprentissage multiples."

Le 17 juin 2022 à 14:00

Salle de Conférences

Joaquín Rodrigues Jacinto (Paris Saclay) null

Représentations localement analytiques solides de groupes de Lie p-adiques

J'expliquerai un travail en commun avec Juan Esteban Rodríguez Camargo où on reformule la théorie des représentations localement analytiques de Schneider-Teitelbaum à l'aide des mathématiques condensées de Clausen et Scholze. On appliquera ce formalisme pour généraliser des théorèmes classiques de comparaison entre différents types de cohomologie (continue, localement analytique et de l'algèbre de Lie) de telles représentations dûs à Lazard, ainsi que pour démontrer un nouveau résultat de comparaison.

Le 20 juin 2022 au 24 juin 2022

Palais de Congrés Arcachon

Organisateurs : JF. Aujol\, JD. Boissonat\, A. Cohen\, T. Lyche\, ML. Mazure \, Q. Mérigot\, G. Peyré null

Curves and Surfaces 2022 - La conférence aura lieu du lundi 20 juin au vendredi 24 juin 2022 au Palais des Congrès dArcachon

Le 23 juin 2022

Comité d'organisation : Mathieu Colin (Bordeaux INP) - David Lannes (CNRS) null

Colloque en l'honneur de Pierre Fabrie - 23 juin - ENSEIRB-MATMECA - Amphi F

Le 23 juin 2022 à 14:00

Salle de Conférences

Ahmed Sebbar (IMB) null

Fonctions de Nevanlinna-Pick et transformation de Darboux

"La transformation de Darboux permet d'obtenir de nouveaux potentiels pour léquation de Schrodinger à partir d'anciens. Elle est utilisée en Géométrie Différentielle (Darboux) et en Mécanique Quantique. Le lemme de Bargmann-Schifferpermet d'obtenir de nouvelles R-fonctions (fonctions holomorphes dans le demi-plan supérieur, de partie imaginaire positive) à partir d'anciennes. C'est un opération utilisée en Analyse (théorèmes de Loewner) et aussi en Mécanique Quantique (Wigner, von Neumann...)Nous établissons une correspondance entre ces deux constructions. Les deux ingrédients fondamentauxsont les fonctions de Green (et l'effet de la transformation de Darboux sur celles-ci) et la représentation de Herglotz pour les R-fonctions et l'effet du lemme de Bargman-Schiffer sur celles-ci)."

Le 23 juin 2022 à 15:30

Salle de Conférences

Mireille Bousquet-Melou (Labri) null

Dénombrement de marches confinées dans des cônes

"The study of lattice walks confined to cones is a lively topic in enumerative combinatorics, and has witnessed rich developments in the past 20 years. Typically, one is given a finite set of steps $S$ in $Z^d$, and a cone $C$ in $R^d$. Exactly $|S|^n$ walks of length $n$ start from the origin and take their steps in $S$. But how many remain in the cone $C$?One of the motivations for studying such questions is that such walks encode many objects in discrete mathematics, statistical physics, probability theory, among other fields.In the past 20 years, several approaches have been combined to understand how the choice of the steps and of the cone influence the nature of the counting sequence $a(n)$, or of the the associated series $A(t)=\sum a(n) t^n$. Is $A(t)$ rational, algebraic, or solution of a differential equation? This is now completely understood when $C$ is the first quadrant of the plane and $S$ only consists of ""small"" steps. This ""simple"" case involves tools coming from an attractive variety of fields: algebra on formal power series, complex analysis, computer algebra, differential Galois theory. Much remains to be done, for other cones and sets of steps."

Le 23 juin 2022 à 17:00

Visioconférence

Chris Henderson (Univ. Arizona at Tucson) null

FKPP with nonlocal advection: pushed and pulled fronts

"A central focus in the study of traveling wave solutions to reaction-diffusion equations is the determination of their speed, which often represents the rate of invasion of a population. In settings with rigid structure, simple formulas for the speed have been determined; however, many physical and biological systems fall outside this setting. In this talk, I will consider a model for the spread of a species in which individuals interact, creating a nonlocal drift (advection). A special case of this is the Keller-Segel-FKPP model for a reproducing population influenced by chemotaxis. We show that there is a threshold on the chemotaxis parameters (strength, length-scale) under which the nonlocal advection does *not* influence the speed and above which the nonlocal advection `pushes' the front at a faster speed.Lien zoom: https://u-bordeaux-fr.zoom.us/j/86758445364?pwd=WGppMTVVNVFiYnV4Q2dsY0tCcStpdz09"

Le 24 juin 2022 à 10:45

Salle 2

Juan Souto (Rennes) null

Counting certain kinds of geodesics

It is a classical result of Huber that the number of closed geodesics in a closed hyperbolic surface with length at most $L$ is asymptotic to $e^L/L$. I will discuss the asymptotic growth of the number of closed geodesics satisfying further topological conditions such as, for example, arising as the boundary of an immersed one-holed torus. This is ongoing work with Viveka Erlandsson.

Le 24 juin 2022 à 11:00

Salle 1

Gwladys Toulemonde (IMAG) null

[Séminaire CSM] Méthodes statistiques et modélisation stochastique de processus extrêmes pour l'étude du risque inondation

Pour étudier le risque inondation, des modèles d'écoulement, conditionnés par des forçages de pluies, peuvent être utilisés. Les pluies étant l'un des processus météorologiques les plus complexes, la simulation de tels champs nécessite une caractérisation précise des variabilités spatio-temporelles et des intensités à partir des données disponibles. Les approches stochastiques classiques étant inopérantes pour les événements extrêmes, la plupart des générateurs existants tendent à les sous-estimer. Pour pallier cela, nous présenterons des approches basées sur les dépassements de seuils élevés. Plus généralement nous illustrerons l'apport de méthodes statistiques pour l'étude du risque inondation en milieu urbain.

Le 27 juin 2022 au 29 juin 2022

Lisbonne

Comité d'organisation : M. Arnaudon\, C. Léonard\, L. Monsaingeon null

TA conference in honor of J.-C. Zambrini on the occasion of his 70th birthday - 27 -29 Juin à Lisbonne

Le 27 juin 2022 à 14:00

Salle 2

Shirshendu Chowdhury (IISER Kolkata) null

!!! ATTENTION CRENEAU INHABITUEL !!! Boundary null-controllability of 1d linearized compressible Navier-Stokes System by one 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 infinitedimensional(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 constant steady state (Q_0, V_0 ) , with Q_ 0 > 0, V 0 >0 . It is a Coupled system of transport and heat type equations. We study the boundary null-controllability of thislinearized system in the interval $(0,1)$ when a Dirichlet control function is acting either only on the density or only on the velocity component at oneend of the interval. We obtain null controllability using one boundary control in the space ${H}^s_{per}(0,1)times L^2(0,1)$ for any $s>frac{1}{2}$provided the time $T>1$, where ${H}_{per}^s(0,1)$ denotes the Sobolev space of periodic functions. The proof is based on a spectral analysis and onsolving a mixed parabolic-hyperbolic moments problem and a parabolic-hyperbolic joint Ingham-type inequality. This is a recent joint work (https://arxiv.org/abs/2204.02375, 2022) with Kuntal Bhandari, Rajib Dutta and Jiten Kumbhakar. "

Le 28 juin 2022 à 10:00

Andreas Enge Inria/IMB

Implementing fastECPP in CM

FastECPP is currently the fastest approach to prove the primality of general numbers, and has the additional benefit of creating certificates that can be checked independently and with a lower complexity. It crucially relies on the explicit construction of elliptic curves with complex multiplication.I will take you on a leisurely stroll through the different phases of the ECPP and fastECPP algorithms, with explanations of their complexity. We will then see the algorithmic choices I have made when integrating a parallelised implementation of fastECPP into my CM software, which has recently been used to prove the primality of a number of record size 50000 digits

Le 1er juillet 2022 à 10:45

Salle 2

Graham Smith (IHES) null

k-surfaces in Hadamard manifolds

We provide a complete description of the space of constant extrinsic curvature surfaces in a general Cartan-Hadamed manifold.

Le 5 juillet 2022 à 14:00

Salle de Conférences

Le conseil de laboratoire et le conseil scientifique se réuniront avec le conseil d'UF le mardi 5 juillet à 14h en salle de conférence de l'IMB

Ordre du jour :
1) Plan de gestion des emplois 2023 : discussion et vote ;
2) Approbation du compte-rendu du conseil joint du 7 juin 2022 ;
3) Examen d'une demande d'ADT (conseil scientifique uniquement).

Le 6 juillet 2022 à 09:00

Salle de Conférences

Badreddine BENHELLAL null

"Sujet : ""Analyse spectrale dopérateurs de Dirac sur des domaines bornés"". Directeur de thèse : V.Bruneau. Co-directeur : L. Vega Gonzalez."

Le 6 juillet 2022 à 14:00 au 8 juillet 2022 à 13:00

Salle de Conférences

Comité d'organisation: B.Benhellal\, M. Zreik\, V. Bruneau null

The Dirac Equation 6-8 juillet - Salle de conférences IMB

Le 12 juillet 2022 à 10:00

Michael Monagan Simon Fraser University

Computing with polynomials over algebraic number fields

Let $K = \mathbb{Q}(\alpha_1,\dots,\alpha_k)$ be an algebraic number field. We are interested in computing polynomial GCDs in $K[x]$ and $K[x_1,\dots,x_n]$. Of course we also want to multiply, divide and factor polynomials over $K$. In $K[x]$ we have the Euclidean algorithm but it "blows up"; there is a growth in the size of the rational numbers in the remainders. It is faster to compute the GCD modulo one or more primes and use the Chinese remainder theorem and rational number reconstruction. This leads to computing a GCD in $R[x]$ where $R = K \pmod p$ is usually not be a field; it is a finite ring.How do Computer Algebra Systems represent elements of $K$? How do Computer Algebra Systems compute GCDs in $K[x]$? What is the best way to do arithmetic in $R$? How can we compute a polynomial GCD in $K[x_1,\dots,x_n]$? In the talk we will try to answer these questions and we will present some timing benchmarks comparing our own C library for computing GCDs in $R[x]$ with Maple and Magma.

Le 6 septembre 2022 à 13:30

Salle de Conférences

Le conseil de laboratoire et le conseil scientifique se réuniront le mardi 6 septembre de 13h30 à 15h30 en salle de conférence de l'IMB

Lordre du jour est le suivant :
1) Approbation des compte-rendus du conseil du 5 juillet
2) Exposés des médecins candidats à l'intégration à l'IMB
3) Demandes de ressources au CNRS (DIALOG)
4) PGE 2023 (note de cadrage UB, et discussion sur les repyramidages)
5) Examen d'une demande d'HdR
6) Questions diverses

Le 13 septembre 2022 à 10:00

Damien Robert Inria/IMB

Breaking SIDH in polynomial time

SIDH/SIKE was a post quantum key exchange mechanism based on isogenies between supersingular elliptic curves which was recently selected in July 5 2022 by NIST to advance to the fourth round of the PQC competition. It was soon after broken during the summer in a series of three papers by Castryck-Decru, Maino-Martindale and myself.The attacks all use the extra information on the torsion points used for the key exchange. We first review Petit's dimension 1 torsion point attack from 2017 which could only apply to unbalanced parameters. Then we explain how the dimension 2 attacks of Maino-Martindale and especially Castryck-Decru could break in heuristic (but in practice very effective) polynomial time some parameters, including the NIST submission where the starting curve $E: y^2=x^3+x$ has explicit endomorphism $i$.Finally we explain how by going to dimension 8, we could break in proven quasi-linear time all parameters for SIKE.We will explain how the SIDH protocol worked at the beginning of the talk. We will see that the attack ultimately relies on a very simple 2x2 matrix computation! There will also be (hopefully) fun memes during the talk!

Le 13 septembre 2022 à 11:00

Salle de Conférences

Aric Wheeler null

Turing bifurcation in systems with conservation laws

Generalizing results of Matthews-Cox/Sukhtayev for a model reaction-diffusion equation, we derive and rigorously justify weakly nonlinear amplitude equations governing general Turing bifurcation in the presence of conservation laws. In the nonconvective, reaction-diffusion case, this is seen similarly as in Matthews-Cox, Sukhtayev to be a real Ginsburg-Landau equation weakly coupled with a diffusion equation in a large-scale mean-mode vector comprising variables associated with conservation laws. In the general, convective case, by contrast, the amplitude equations consist of a complex Ginsburg-Landau equation weakly coupled with a singular convection-diffusion equation featuring rapidly-propagating modes with speed $\sim 1/\varepsilon$ where $\varepsilon$ measures amplitude of the wave as a disturbance from a background steady state. Applications are to biological morphogenesis, in particular vasculogenesis, as described by the Murray-Oster and other mechanochemical/hydrodynamical models. This work is joint with Kevin Zumbrun.

Le 14 septembre 2022 à 09:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Coralie PICOCHE null

"Sujet : ""Modélisation à fine échelle de la dynamique des communautés phytoplanctoniques"". Directeur de thèse : Frédéric Barraquand"

Le 14 septembre 2022 à 16:00

En visio

Ricardo Fukasawa\, Professor\, University of Waterloo\, Canada null

"The vehicle routing problem with stochastic demands\n"

"We consider a variant of the capacitated vehicle routing problem where demands are considered to be random variables whose realization will only be known after the vehicle routes are chosen. In this context, we study two possible approaches for the problem. In the chance-constrained approach, we bound the probability that the vehicle's capacity is violated. In the two-stage approach, we allow a ""recourse action"" to take place if the vehicle's capacity is exceeded. In this talk I will present some recent results on both problems. One key important feature that distinguishes this work from several others in the literature is that we allow correlation between the random variables.Zoom link : https://u-bordeaux-fr.zoom.us/j/81481860493?pwd=NE51REJqaDZ1Z0RYdS9tYWJQaENKZz09"

Le 15 septembre 2022 à 15:30

Salle de Conférences

Guillaume Carbou et Florian Simatos null

L'Atecopol

"Présentation de l'Atelier d'écologie politique (Atecopol), et témoignage de la réorientation thématique d'un mathématicien. Le débat pourra s'articuler autour de la question de l'""engagement"" des chercheurs et la question de leur neutralité."

Le 20 septembre 2022 à 10:00

Fredrik Johansson Inria/IMB

Faster computation of elementary functions

Over a decade ago, Arnold Schönhage proposed a method to compute elementary functions (exp, log, sin, arctan, etc.) efficiently in "medium precision" (up to about 1000 digits) by reducing the argument using linear combinations of pairs of logarithms of primes or Gaussian primes. We generalize this approach to an arbitrary number of primes (which in practice may be 10-20 or more), using an efficient algorithm to solve the associated Diophantine approximation problem. Although theoretically slower than the arithmetic-geometric mean (AGM) by a logarithmic factor, this is now the fastest algorithm in practice to compute elementary functions from about 1000 digits up to millions of digits, giving roughly a factor-two speedup over previous methods. We also discuss the use of optimized Machin-like formulas for simultaneous computation of several logarithms or arctangents of rational numbers, which is required for precomputations.

Le 20 septembre 2022 à 11:00

Salle de Conférences

Marco Inversi null

Weak-strong uniqueness and vanishing viscosity for incompressible Euler equations in exponential spaces

"This talk is devoted to the analysis of the Euler and the Navier--Stokes equations in the context of incompressible fluids. Despite their importance in modelling several natural phenomena, their rigorous mathematical study remains vastly incomplete. Indeed, even though these equations were proposed hundreds of years ago, mayor questions such as existence, uniqueness and smoothness of solutions presently remain extremely challenging open problems. We focus on the uniqueness of solutions to the incompressible Euler equations and on the inviscid limit of solutions to the Navier--Stokes equations. In the class of admissible weak solutions, we can prove a weak-strong uniqueness result for the incompressible Euler equations assuming that the symmetric part of the gradient belongs to $L^1_{\rm loc}([0,+\infty);L^{exp}(R^d;R^{d \times d}))$, where $L^{exp}$ denotes the Orlicz space of exponentially integrable functions. Moreover, under the same assumptions on the limit solution to the Euler system, we can obtain the convergence of vanishing-viscosity Leray--Hopf weak solutions to the Navier--Stokes equations."

Le 20 septembre 2022 à 14:30

Salle Ada Lovelace, Bâ

Giulia BELLEZZA null

"Sujet :""Modélisation multiphysique basée images, évaluation de la durée de vie et analyse des scénarios de rupture des mini-composites à matrice céramique auto-cicatrisante sous tension"". Directeur de thèse : Mario Ricchiuto, co-directeur : Gerard Vignoles"

Le 22 septembre 2022 à 12:45

Salle 2

Ksenia Kozhanova (AMU) null

[Séminaire CSM] On 3D computational strategy for shock-induced bubble collapse

"The importance of two-phase fluid flow modelling arises from many applications. However, the non-linearity of the system makes it a complicated task for the numerical methods. While a variety of numericaltechniques to solve these problems exist, these strategies can lead to spurious oscillations of the solution nearthe interface. In this talk a problem of the shock-induced bubble collapse near a wall computed based on theexplicit finite volume solver with underlying four-equation model will be discussed. The physical dynamicsinvolved into this problem are characterised by high speeds and very small spacial-temporal scales. A very finegrid and fast converging and compact high-order numerical schemes are, thus, required. The mesh stretchingmethods coupled with modified numerical schemes implemented by using Open MP and MPI paradigm areused to reduce the CPU cost. Hence, the novelty of our work is a construction of the high-order numerical toolfor solving a 3D problem of two-phase shock-interface interaction on non-uniform grid."

Le 22 septembre 2022 à 14:00

salle Ada Lovelace (Inria)

Mirco CIALLELLA null

"Sujet : ""High order methods for hyperbolic balance laws: from embedded fronts to structure-preserving schemes"". Directeur de thèse : Mario Ricchiuto, co-directeur : Renato Paciorri"

Le 22 septembre 2022 à 15:30

Salle de Conférences

Timothy Logvinenko (Cardiff) null

Skein-triangulated representations of generalised braids

"The skein relation is the relation on oriented knots used by Vaughan Jones to define his now famous polynomial invariant for oriented knots. I will begin by introducing the Jones polynomial, the skein relation and their subsequent generalisations. In particular, the skein relation is often used to construct actions of braids and tangles. I will introduce the braid group Br_n, which encodes the configurations of n non-touching vertical strands (braids) up to continious transformations. I will give some examples of its various geometrical actions, in particular the one on the full flags in C^nconstructed by Khovanov and Thomas. In the end, I will introduce a new structure: the category GBr_n of generalised braids. These are the braids whose strands are allowed to touch in a certain way. I will then explain the higher analogues of the skein relation which one needs to impose to construct actions of generalised braids. This is a joint work with Rina Anno."

Le 23 septembre 2022 à 10:45

Salle 2

Ion Grama (Université de Bretagne Sud\, Vannes) null

Un développement dEdgeworth pour les coefficients dune marche aléatoire dans le groupe linéaire général

Soit $(g_n)_{n\geq 1}$ une suite d'éléments aléatoires indépendants et identiquement distribués de loi $\mu$ sur le groupe linéaire général $GL(V)$, où $V=\mathbb R^d $. Considérons la marche aléatoire $G_n : = g_n \ldots g_1$, $n \geq 1$. Dans des conditions convenables sur $\mu$, nous établissons le développement d'Edgeworth de premier ordre pour les coefficients $\langle f, G_n v \rangle$ avec $v \in V$ et $f \in V^*$. Un nouveau terme supplémentaire apparaît par rapport au cas du cocycle de la norme $\|G_n v\|$.

Le 23 septembre 2022 à 14:00

Salle de Conférences

Elena Berardini (TU Eindhoven) null

Nombre de points rationnels des courbes sur une surface de $\mathbb{P}^3$

"Le nombre de points rationnels dune courbe $C$ projective lisse absolument irréductible de genre $g$ définie sur le corps fini $\mathbb{F}_q$ est borné par la célèbre borne de SerreWeil, à savoir $\#C(\mathbb{F}_q) \le q + 1 + g\lfloor 2\sqrt{q}\rfloor$. Cette borne a été étendue aux courbes singulières par Aubry et Perret. Dans leur ouvrage fondamental de 1986, Stöhr et Voloch ont introduit les ordres de Frobenius dune courbe projective et les ont utilisés pour donner une borne supérieure sur le nombre de points rationnels de la courbe. Près de 30 ans plus tard, Homma a prouvé que le nombre de $\mathbb{F}_q$points sur une courbe non dégénérée de degré $\delta$ plongée dans $\mathbb{P}^n$, avec $n\ge 3$, ne dépasse pas $q(\delta 1) + 1$. Tous ces résultats améliorent la borne originale de SerreWeil pour un régime de paramètres, et traitent souvent de courbes plus générales, e.g. réductibles et/ou singulières. De telles bornes sont intéressantes en soi, et savèrent également utiles pour des applications à la théorie des codes.Dans cet exposé, nous allons montrer que le nombre de points rationnels dune courbe irréductible de degré $\delta$ définie sur un corps fini $\mathbb{F}_q$ et plongée dans une surface $S$ de $\mathbb{P}^3$ de degré $d$ est, sous certaines conditions, borné par $\delta(d+q1)/2$. Dans un certain intervalle de $\delta$ et $q$, ce résultat améliore toutes les autres bornes connues dans le contexte des courbes de $\mathbb{P}^3$. La méthode utilisée sinspire des techniques développées par Stöhr et Voloch. Après avoir rappelé quelques résultats généraux sur la théorie des ordres dune courbe de $\mathbb{P}^3$, nous allons étudier les propriétés arithmétiques des courbes plongées sur une surface de $\mathbb{P}^3$, pour ensuite prouver la borne.Il sagit dun travail en commun avec J. Nardi."

Le 26 septembre 2022 au 30 septembre 2022

Salle de Conférences

Comité d'organisation : Philippe Lebacque\, Cecília Salgado\, Fabien Pazuki. null

Diophantine Geometry and L-functions: Hindry 65 - 26-30 septembre 2022 - Salle de conférences IMB

Le 27 septembre 2022 à 11:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle 2

Antoine Benoit null

Persistance de la régularité pour les problèmes aux limites hyperboliques à coin

"On se propose ici d'exposer de nouveaux résultats concernant le caractère fortement bien posé des problèmes aux limites hyperboliques linéaires dans les espaces de Sobolev lorsque le problème est posée dans une géométrie anguleuse. L'étude de tels systèmes d'équations aux dérivées partielles est une ancienne question qui prend racine dans les travaux de [Osher '73], [Sarason '62] et qui a connu un regain d'intérêt grâce aux travaux de [Huang-Temam '14], [Rauch-Halpern '16] ou encore [B. '16].Dans cet exposé on verra comment la persistance de la régularité (qui est une question d'importance pour traiter des problèmes non linéaires par exemple) peut-être établie en adaptant des idées développées pour traiter les problèmes aux limites dit caractéristiques voir par exemple [Rauch '80]."

Le 28 septembre 2022 à 17:00

Visio

Ruslan Sadykov\, CR Inria Bordeaux null

Non-Robust Strong Knapsack Cuts for Capacitated Location-Routing and Related Problems

The Capacitated Location-Routing Problem consists in, given a set of locations and a set of customers, determine in which locations one should install depots with limited capacity, and for each depot, design a number of routes to supply customer demands. We provide a formulation that includes depot variables, edge variables, assignment variables and an exponential number of route variables, together with some new families of valid inequalities, leading to a branch-cut-and-price algorithm. The main original methodological contribution of the article is the Route Load Knapsack Cuts, a family of non-robust cuts, defined over the route variables, devised to strengthen the depot capacity constraints. We explore the monotonicity and the superadditivity properties of those cuts to adapt the labeling algorithm, used in the pricing, for handling the additional dual variables efficiently. Computational experiments show that several Capacitated Location-Routing previously unsolved instances from the literature can now be solved to optimality. Additional experiments with hard instances of the Vehicle Routing Problem with Capacitated Multiple Depots and with instances of the Vehicle Routing Problem with Time Windows and Shifts indicate that the newly proposed cuts are also effective for those problems.

Le 30 septembre 2022 à 10:45

Salle 2

Egor Yasinsky (Ecole Polytechnique\, Paris) null

Birational geometry of Severi-Brauer surfaces

"A Severi-Brauer surface over a field k is an algebraic k-surface which is isomorphic to the projective plane over the algebraic closure of k. I will describe the group of birational transformations of a non-trivial Severi-Brauer surface, proving in particular that ""in most cases"" it is not generated by elements of finite order. This is already a very curious feature, since the group of birational self-maps of a trivial Severi-Brauer surface, i.e. of a projective plane, is always generated by involutions (at least over a perfect field). Then I will demonstrate how to use this result to get some insights into the structure of the groups of birational transformations of some higher-dimensional varieties."

Le 30 septembre 2022 à 14:00

Salle de Conférences

Comité d'organisation : Philippe Lebacque\, Cecília Salgado\, Fabien Pazuki. null

Diophantine Geometry and L-functions: Hindry 65 - 26-30 septembre 2022 - Salle de conférences IMB

Le 4 octobre 2022 à 10:00

Pierrick Dartois\, Fabrice Etienne et Nicolas Sarkis null

Présentation des nouveaux doctorants de l'équipe LFANT

Le 4 octobre 2022 à 11:00

Salle de Conférences

Mickael Latocca null

Probabilistic Local Well-posedness for the Schrodinger equation posed for the Grushin Laplacian

"In this talk we study the local well-posedness of the equation$ i\partial_t u +\Delta_{G} u = |u|^{2}u $ where $\Delta_G = \partial_x^2+x^2\partial_y^2$ is the Grushin Laplacian and $u(t):\mathbb{R}^2 \to \mathbb{C}$ is the solution, to be constructed with initial data $u(0)=u_0 \in H^s_G(\mathbb{R}^d)$ (the adapted Grushin-Sobolev spaces). From a deterministic perspective, the best local well-posedness theory is in $\mathcal{C}^.([0,T),H^{\frac{3}{2}^{+}}_G)$ and the proof only uses the Sobolev embedding. Our main goal is to provide a probabilistic construction of local solutions for initial data $u_0 \in H_G^s$ where $s<3/2$. This is achieved using linear and bilinear random estimates. In the first part of the talk I will introduce the random initial data which we will consider. Then I will explain why randomisation helps to lower the well-posedness threshold: this is a general argument in the study of dispersive equations with random initial data. Then I will explain how bilinear random estimates relate to our probabilistic well-posedness problem, which we will prove if time permits. We may also discuss some extensions of our result instead. This talk is based on a joint work with Louise Gassot. "

Le 4 octobre 2022 à 13:30

Salle de Conférences

Le conseil de laboratoire se réunira le mardi 4 octobre de 13h30 à 15h30 en salle 285 de l'IMB

"Lordre du jour est le suivant :
1) Approbation du compte-rendu du conseil de laboratoire du 6 septembre ;
2) PGE 2023 : information, et poste de MCF à l'IUT ;
3) Point budgétaire et dépenses de fin d'année ;
4) Utilisation des salles de l'IMB ;
5) Questions diverses. "

Le 5 octobre 2022 à 14:30

Salle de Conférences

Bonamy Parrilla\, Delande\, Laheurte\, Amarillo\, Bournissou\, Magal null

Journée de rentrée de léquipe EDP-PhysMath

14h30-14h50: N. Bonamy Parrilla, Schémas LBM et applications aux plasmas
14h50-15h10: L. Delande, Hypocoercivité semiclassique et loi d'Eyring-Kramers pour des opérateurs de Fokker-Planck dégénérés
15h10-15h30: V. Laheurte, Coût dobservabilité en hautes fréquences des systèmes hyperboliques du premier ordre
15h30-16h: P. Jamarillo, Mean field model of single cell electroporation
16h-16h30: M. Bournissou, Contrôlabilité de l'équation de Schrödinger
16h30-17h: pause
17h-18h: P. Magal, Logistic equations with non-local and non-linear convection: a model for cells motion;
18h: apéro, TBS (to be served)

Le 6 octobre 2022 à 11:00

Salle 2

Yiye Jiang null

Wasserstein Multivariate Autoregressive Models for distributional time series

"In this work, we propose a new autoregressive model for multivariate distributional time series. We consider a collection of N series of probability measures supported over a bounded interval in R, which are indexed by distinct time instants. Especially, we wish to develop such a model which can identify the dependency structure in the temporal evolution of the measures. To this end, we adopt the Wasserstein metric. We establish the regression model in the Tangent space of the Lebesgue measure by first ""centering"" all the raw measures so that their Fréchet means turn Lebesgue. The uniqueness and stationarity results are provided. We also propose a consistent estimator for the model coefficient. In addition to the simulated data, the proposed model is illustrated on two real data sets: age distribution of countries and the bike sharing network in Paris. "

Le 6 octobre 2022 à 13:30

GAM rdc

Andony ARRIEULA null

"Sujet :""Méthodes numériques d'apprentissage pour faciliter la localisation des arythmies ventriculaires lors d'une procédure d'ablation"". Directeur de thèse Mark Potse, co-directeur : Pierre Jais"

Le 6 octobre 2022 à 14:00

Salle 2

[Séminaire CSM] Pas de séminaire : soutenance de thèse d'Andony Arrieula

Le 6 octobre 2022 à 14:00

Salle 2

Takéo Takahashi (Nancy) null

"Interaction entre un fluide visqueux incompressible et une
\nparoi élastique"

"Nous considérons l'interaction entre un fluide visqueuxincompressible et une structure élastique localisée sur une partie dubord du domaine fluide. Le mouvement du fluide est modélisé par lesystème de Navier-Stokes et pour la structure, nous utilisons uneéquation des cordes ou des poutres.Une partie de lanalyse du système couplé correspondant porte surl'étude du système linéarisé couplant une équation de Stokes à uneéquation des ondes/des poutres. Selon les cas, le semi-groupe associéest analytique ou de classe Gevrey."

Le 6 octobre 2022 à 14:00

Salle 2

Equipe Analyse null

Welcome Back équipe Analyse !

"- 12h - 14h : buffet- 14h - 15h : 1er séminaire danalyse de lannée Takéo Takahashi (Nancy). !!! Salle 2 !!!- 15h - 15h30 : Présentation des doctorantes et doctorants, des post-docs, et des ATER de léquipe. !!! Salle 2 !!!- 15h30 - 16h : Goûter"

Le 6 octobre 2022 à 15:30

Salle 1

Julien Cattiaux\, CNRS et Centre National de Recherches Météorologiques null

Variabilité météorologique et changement climatique : apport des mathématiques

"Dans cet exposé je parlerai de météo, de climat, et de changement climatique. Je résumerai les bases physiques du réchauffement global actuel, présenterai les évolutions déjà observées depuis l'époque pré-industrielle et celles attendues d'ici 2100 selon différents scénarios, et illustrerai certaines conséquences du changement climatique sur la variabilité météorologique et ses événements extrêmes. Sur tous ces sujets, nous verrons que l'apport des mathématiques est précieux ; je donnerai quelques exemples concernant la modélisation numérique servant à la prévision du temps et aux projections climatiques, la description statistique des fluctuations atmosphériques ou des valeurs extrêmes, et la détection et l'attribution de tendances dans les observations passées.
Nous débattrons autour de notre coeur de métier : dans quelle mesure doit-on orienter nos recherches pour répondre aux enjeux environnementaux et sociétaux ?"

Le 7 octobre 2022 à 10:45

Salle 2

Vincent Pecastaing (Laboratoire J.A. Dieudonné\, Nice) null

Un théorème de D'Ambra conforme

Le groupe des isométries d'une variété riemannienne compacte est toujours un groupe de Lie compact. Cette conséquence du théorème de Myers-Steenrod n'est plus valable pour les métriques non-riemanniennes. Néanmoins, en s'appuyant sur la théorie des structures géométriques rigides de Gromov, D'Ambra a montré à la fin des années 1980 que le groupe des isométries d'une variété lorentzienne compacte, simplement connexe et analytique est toujours compact. Bien qu'il confirme un phénomène topologique général dû à Gromov et Zimmer, ce résultat n'est pas valable au-delà de la signature lorentzienne. Dans cet exposé, je présenterai une extension du théorème de D'Ambra au groupe conforme de ces variétés, confirmant par d'autres biais cette spécificité lorentzienne. Les théorèmes des structures rigides de Gromov restent exploitables, mais la grosse limitation est l'absence de forme volume invariante dans ce cadre conforme. Il s'agit d'un travail en collaboration avec Karin Melnick.

Le 7 octobre 2022 à 14:00

Groupe de Travail Analyse

Salle de Conférences

Anne Quéguiner-Mathieu (Paris 13) null

Formes quadratiques, Groupes algébriques et équivalence motivique.

Deux formes quadratiques sont dites motiviquement équivalentes si les quadriques projectives associées ont des motifs isomorphes. Vishik a donné une caractérisation purement algébrique de léquivalence motivique. Cette dernière montre que le motif dune quadrique encode les propriétés de déploiement de la forme quadratique sous-jacente. Dans cet exposé, nous expliquerons comment ce résultat sétend au cadre plus général des groupes algébriques. Il sagit dun travail commun avec Charles De Clercq et Maksim Zhykhovich.

Le 10 octobre 2022 à 14:00

Salle 1

Karim Kellay (IMB-Univ. Bordeaux) null

Interpolation et échantillonnage multiple de l'espace de Bergman

Nous étudions les problèmes d'échantillonnage et d'interpolation multiples avec des multiplicités non bornées dans l'espace de Bergman $A^p(\mathbb{D})$ à la fois dans le cas hilbertien $p=2$ et dans le cas uniforme $p=\infty$.

Le 11 octobre 2022 à 10:00

Rémy Oudompheng -

Computation of (3,3)-isogenies from a product of elliptic curves, in the style of 19th century geometry

The method found by W. Castryck and T. Decru to break SIDH requires computing $(2^n,2^n)$-isogenies from a product of elliptic curves to another abelian surface (which is also a product), which are realized as degree 2 correspondences between curves.Transposing the attack to the other side of the SIDH exchange involves degree $(3,3)$-isogenies that can be evaluated using either theta functions, or divisors on genus 2 curves. Methods for the curve approach exist for the Jacobian case, but the case of a product of elliptic curves (Bröker, Howe, Lauter, Stevenhagen 2014) can be difficult to implement for cryptographically relevant field sizes due to various limitations in CAS such as SageMath/Singular.I will explain how traditional algebraic geometry can be called to the rescue to give a simple construction of the curve correspondence associated to the quotient of $E_1 \times E_2$ by an isotropic $(3,3)$-kernel. This leads to a rather fast computation method relying only on elementary field operations and 2 square roots. The journey will bring back some memories of 19th century projective geometry. Theta function experts might recognize familiar objects in the geometric construction.

Le 11 octobre 2022 à 13:30

Salle de Conférences

Journée de rentrée de lIMB Mardi 11 octobre - Salle de conférences à partir de 13h30

" Programme :
13h30: Café gourmand
14h00: Mot d'accueil du directeur
14h05: Présentation des nouveaux doctorants, nouvelles doctorantes et post-doc
14h20: Exposé scientifique de Margaret Bilu
14h50: Présentation de la mission environnement
15h05: Exposé scientifique de Luis Fredes
15h30: Présentation de la cellule informatique
15h50: Pause-café
16h10: Présentation de la bibliothèque
16h30: Exposé scientifique de Ayse Nur
17h00: Présentation de la mission parité
17h15: Exposé scientifique de Jean-Philippe Furter
17h45: Présentation de l'équipe diffusion
18h00: Musique et apéro, le groupe TUBA&C"

Le 12 octobre 2022 à 16:30

Salle de conférence

SALIGUE Lilian IMB

Caractère discret du groupe de torsion d'une variété abélienne sur un corps local.

Le groupe des points de torsions est un élément central de l'étude de courbes elliptiques et des variétés abéliennes. On verra dans cet exposé comment on pourra étendre un théorème de Mattuck de 1955 affirmant que le groupe de torsion d'une variété abélienne sur un corps local de caractéristique 0 non archimédien est discret par le même résultat en retirant l'hypothèse de caractéristique nulle. Pour cela nous donnerons dans un premier temps un aperçu général de tout éléments que nous utiliserons avant de définir une distance et une topologie associée. On pourra ensuite démontrer notre résultat et expliquer en quoi cela est nécessaire dans notre travail sur la conjecture de Tate et Voloch (1996) que nous expliciterons également.

Le 12 octobre 2022 à 16:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Lilian Saligue (IMB) null

Caractère discret du groupe de torsion dune variété abélienne sur un corps local

Le groupe des points de torsion est un élément central de l'étude de courbes elliptiques et des variétés abéliennes. On verra dans cet exposé comment on pourra étendre un théorème de Mattuck de 1955 affirmant que le groupe de torsion d'une variété abélienne sur un corps local de caractéristique 0 non archimédien est discret par le même résultat en retirant l'hypothèse de caractéristique nulle. Pour cela nous donnerons dans un premier temps un aperçu général de tout élément que nous utiliserons avant de définir une distance et une topologie associée. On pourra ensuite démontrer notre résultat et expliquer en quoi cela est nécessaire dans notre travail sur la conjecture de Tate et Voloch (1996) que nous expliciterons également.

Le 13 octobre 2022 à 11:00

Salle 2

Eduardo Uchoa\, Prof. at Universidade Federal Fluminense\, Brazil and Inria null

From the Steiner Problem in Graphs to more complex network design problems

The talk starts with the history of algorithms for the classic Steiner Problem in Graphs (SPG), from the first formulations to the recent advances in the thesis that just won the EURO Doctoral Dissertation Award (https://www.zib.de/node/5310). The accumulated advances in more than 40 years of research now allow the solution of typical instances with tenths of thousands of nodes and edges in less than one minute. A crucial point for that success is the fact that SPG admits a directed graph formulation. Then, it will be shown that many other network design problems that also admit directed formulations are now also well-solved. However, many more complex network design problems do not seem to admit directed formulations. The talk ends by presenting the distance-transformation technique for strengthening undirected formulations.

Le 13 octobre 2022 à 11:00

Salle de Conférences

Guillaume Dubach null

Une dynamique de chaises musicales sur des valeurs propres

"Je présenterai un modèle de matrices aléatoires faiblement non-Hermitiennes dont les valeurs propres décrivent une dynamique de ""chaises musicales"": après être passées de la droite réelle au demi-plan supérieur, l'une d'entre elles s'échappe irrémédiablement, tandis que les autres s'alignent à nouveau sur la droite réelle. Nous verrons notamment après combien de temps il est possible de distinguer avec quasi-certitude la valeur propre ""perdante"". Travail en collaboration avec László Erdös."

Le 13 octobre 2022 à 14:00

Salle de Conférences

Myeongju Kang (Seoul National University) null

"Asymptotic behavior of various synchronization models and scaling limit\n"

"Synchronous behaviors of oscillatory complex systems are ubiquitous in many biological and chemical systems,to name a few, firing of fireflies, synchronization of metronomes, rhythmic beating of pacemaker cells, etc.Famous examples are the Kuramoto model, which is a phase-coupled model on unit circle,and the Cucker-Smale model, which is a velocity alignment model on Euclidean space.Continuum and mean-field limit is an effective approximation to describe a system with infinitely many particles.In this talk, we first study some examples of the particle models.Then, we apply time-evolutionary behavior of the particle modelsto analyze the continuum and kinetic equations obtained as a suitable limit of the particle systems."

Le 14 octobre 2022 à 14:00

Salle de Conférences

Sanoli Gun (IMSc\, Chennai) null

Bound of Fourier coefficients of half integer weight cusp forms

"After a review of the known results,we will report on a work with W. Kohnen andK. Soundararajan about lower bound of Fouriercoefficients of half integral weightcusp forms at fundamental discriminants."

Le 18 octobre 2022 à 10:00

Èrell Gachon -

Some Easy Instances of Ideal-SVP and Implications on the Partial Vandermonde Knapsack Problem

In our article, we generalize the works of Pan et al. (Eurocrypt 21) and Porter et al. (ArXiv 21) and provide a simple condition under which an ideal lattice defines an easy instance of the shortest vector problem. Namely, we show that the more automorphisms stabilize the ideal, the easier it is to find a short vector in it. This observation was already made for prime ideals in Galois fields, and we generalize it to any ideal (whose prime factors are not ramified) of any number field. We then provide a cryptographic application of this result by showing that particular instances of the partial Vandermonde knapsack problem, also known as partial Fourier recovery problem, can be solved classically in polynomial time.

Le 18 octobre 2022 à 11:00

Salle de Conférences

Billel Guelname null

On the blow-up scenario and global weak solutions for the SerreGreenNaghdi equations with surface tension

We consider in this talk the Serre-Green-Naghdi equations with surface tension. Those equations are locally (in time) well-posed, we present a precise blow-up criterion and we identify a class of smooth initial data such that the corresponding strong solutions develop singularities in finite time. We also show the existence of a strongly continuous semigroup of global weak dissipative solutions for any small energy initial data. The Riemann invariants of the weak solutions satisfy a one-sided Oleinik inequality.

Le 18 octobre 2022 à 13:30

Salle 285

Le Conseil Scientifique de lIMB aura lieu mardi 18 octobre 2022 à 13h30 en salle 285

Ordre du jour :
1) Nouvelles du conseil de laboratoire
2) Profil du poste de MCF à l'IUT
3) Questions diverses

Le 20 octobre 2022 à 11:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Thomas Simon null

Temps de passage de certaines chaînes auto-régressives

"On considère une suite auto-régressive d'ordre 1 avec des innovations continues et symétriques, et son premier temps de passage au-dessus de zéro. On montre deux factorisations remarquables des fonctions génératrices de ce temps de passage en fonction du signe du paramètre de dérive. La première factorisation étend un résultat classique de Sparre Andersen sur les marches aléatoires symétriques et continues. Dans le cas des innovations uniformes, on établit un lien étonnant entre la loi du temps de passage et les polynômes énumérateurs de Mallows-Riordan. Travail avec Gerold Alsmeyer, Alin Bostan et Kilian Raschel."

Le 20 octobre 2022 à 11:00

Salle 2

Michael Khachay\, Prof. Corr. memb. of RAS\, Head of the Math. Programming at Krasovsky Institute of Mathematics and Mechanics\, Ekaterinburg\, Russia null

Svensson-Traub Algorithm for the Asymmetric Travelling Salesman Problem and polynomial-time approximation of asymmetric routing problems within fixed ratios

"For the first time, fixed-ratio polynomial time approximation algorithms are proposed for a series of asymmetric routing combinatorial optimization problems including the Steiner Cycle Problem (SCP), Rural Postman Problem (RPP), Generalized Traveling Salesman Problem (GTSP), Capacitated Vehicle Routing Problem with Unsplittable Customer Demands (CVRP-UCD), and Prize Collecting Traveling Salesman Problem (PCTSP). The presented results are shared the common property, all of them rely on polynomial-timel cost-preserving reduction to appropriate settings of the Asymmetric Traveling Salesman Problem (ATSP) and the seminal (22 + µ)-approximation algorithm for this classical problem proposed by O. Svensson and V. Traub in 2019."

Le 20 octobre 2022 à 14:00

Salle de Conférences

Renaud Leplaideur (Nouvelle Calédonie) null

"Formalisme thermodynamique et analyse convexe.\n"

" je présenterai un travail en commun avec Jérôme Buzzi et Benoit Kloeckner. Nous introduisons un formalisme thermodynamique non linéaire, qui étend le formalisme thermodynamique quadratique introduit par Leplaideur et Watbled.J'expliquerai ce qu'est le formalisme thermodynamique en systèmes dynamiques, et présenterai la question du dictionnaire entre la vision de la théorie ergodique et la vision de la mécanique statistique.J'introduirai alors le formalisme non linéaire et montrerai comment il est basé sur l'analyse convexe et la notion de transformée de Legendre."

Le 20 octobre 2022 à 14:00

Salle 2

Peter Langfield (CARMEN) null

[Séminaire CSM] Numerical continuation approaches for computing phase response in higher-dimensional models.

"In dynamical systems, invariant objects can be computed efficiently via numerical continuation of solutions to a suitably defined boundary-value problem. This presentation will start with a brief overview of the basic ideas behind the numerical continuation method, and some examples of typical applications.The main focus of the presentation is determining how oscillating models shift in phase in response to stimuli. I will present numerical-continuation-based approaches for computing two phase-response tools, namely, isochrons and phase transition curves. Using examples of the 4d Hodgkin-Huxley model and a 7d sino-atrial node cell, I will show how these approaches are undeterred by sensitivity that is common in biological systems, and how the (n-1)-dimensional isochrons can be computed and visualized even in models with dimension n>3."

Le 20 octobre 2022 à 15:30

Salle de Conférences

Thomas Simon (Lille) null

Sur la transformée de Fourier des courbes en cloche.

Une fonction lisse de R dans (0,oo) est dite en cloche si elle tend vers zéro aux deux infinis et si sa dérivée n-ième s'annule exactement n fois pour tout n. Cette propriété peut être vue comme un raffinement de l'unimodalité. L'exemple typique est la densité gaussienne. Dans cet exposé, on présentera une caractérisation de telles courbes par leur transformée de Fourier en établissant une formule de type Lévy-Khintchine. Travail commun avec Mateusz Kwasnicki.

Le 21 octobre 2022

Salle de Conférences

Comité d'organisation :A. Bouzid - IRCER - Limoges\, M. Bergmann - IMB - Bordeaux\, S. Delage Santacreu - LMAP - UPPA\, A. Falaize - LaSie - La Rochelle\, A. Franc - Biogeco - INRAE Bordeaux\, S. Glockner - I2M - Bordeaux\, M. Joliot - GIN-IMN - Bordeaux\, H. Lemaitre - GIN-IMN - Bordeaux\, R. Mereau -ISM - Bordeaux\, P. Parnaudeau - PPrime - Poitiers\, C. Proust-Lima - BPH - Bordeaux null

JSMCIA2022 : journée scientifique 2022 du Mésocentre de Calcul Intensif Aquitain - 21 octobre 2022 - Salle de conférences de l'IMB

Le 21 octobre 2022 à 10:45

Salle 2

Anne-Edgar Wilke (IMB\, Bordeaux) null

Covariant de Kempf-Ness et théorie de la réduction

"Cet exposé sera motivé par une question de nature arithmétique. Etant donnée une action d'un groupe algébrique réductif $G$ sur une variété algébrique $X$, tous deux définis sur un corps de nombres $k$, on cherche à construire une théorie de la réduction pour l'action de certains sous-groupes arithmétiques de $G(k)$ sur $X(k)$ : plus précisément, on cherche un moyen de choisir dans chaque orbite un point particulier, que l'on qualifie de réduit, de sorte qu'il soit aussi facile que possible de vérifier si un point donné est réduit, et s'il ne l'est pas, de calculer le point réduit qui lui est équivalent. Je montrerai comment ramener ce problème arithmétique à une question purement géométrique : étant donnée une action d'un groupe de Lie holomorphe réductif $G$ sur une variété holomorphe $X$, il s'agit de construire une application $G$-équivariante de $X$ dans l'espace symétrique $K \backslash G$, où $K$ est un sous-groupe compact maximal de $G$. Sous des hypothèses supplémentaires, je construirai ensuite une telle application : le covariant de Kempf-Ness. Enfin, j'étudierai en détail l'exemple de l'action de $\mathrm{SL}_n(\mathbb{C})$ sur un produit de grassmanniennes $\mathrm{Gr}_{k_i, n}(\mathbb{C})$ ; dans ce cas, un élément de $X$ peut être vu comme une distribution de masses sur le bord à l'infini de l'espace symétrique, et le covariant de Kempf-Ness s'interprète comme le barycentre de cette distribution."

Le 21 octobre 2022 à 14:00

Salle 2

Riccardo Brasca null

Formalisation des mathématiques et l'assistant de preuve Lean

"Je vais parler dans cet exposé de formalisation des mathématiques, le processus ""d'expliquer"" des théorèmes à un ordinateur. J'expliquerai comment fonctionnent les assistants de preuve et pourquoi ils peuvent être utiles pour les mathématiciens. Je raconterai aussi l'histoire d'un projet dont le but était la formalisation d'un résultat très récent de Clausen et Scholze. Je terminerai en montrant en pratique Lean, un des assistants de preuve les plus utilisés aujourd'hui. Cet exposé n'est pas à propos des fondements des mathématiques, en particulier aucune connaissance autour de la formalisation est requise."

Le 25 octobre 2022

Damien Robert Inria/IMB

Evaluating isogenies in polylogarithmic time

We explain how the « embedding lemma » used in the recents attacks against SIDH can be used constructively. Namely we show that every $N$-isogeny between abelian varieties over a finite field admits an efficient representation allowing for its evaluation in time polylogarithmic in $N$. Furthermore, using Vélu's formula for elliptic curves, or isogenies in the theta model for dimension $g>1$, this representation can be computed in time quasi-linear in $N^g$.

Le 25 octobre 2022 à 11:00

Salle de Conférences

Matthieu Léautaud null

Observabilité uniforme de flots de gradient dans la limite de viscosité évanescente

"On considère une équation de transport par un champ de gradient avec une petite perturbation visqueuse. On étudie des propriétés dobservabilité uniforme dans la limite (singulière) de viscosité évanescente. On montre avec une série dexemples que le temps minimal pour lobservabilité uniforme peut être bien plus grand que le temps minimal pour léquation limite. On montre aussi que les deux temps minimaux coïncident pour les solutions positives.Il s'agit d'un travail en collaboration avec Camille Laurent."

Le 25 octobre 2022 à 11:00

Salle de Conférences

Matthieu Léautaud (Paris Saclay) null

Séminaire Commun avec Physique Mathématique et EDP

TBA

Le 26 octobre 2022

Evènements Lambda

Salle de conférence

Lambda IMB

Drawing contest for Lambda / Winner @Sara Mehidi

Bravo à @Sara Mehidi qui a gagné le concours de dessin organisé par Lambda, son logo sera donc affiché sur les bannières de Lambda lorsque l’association se déplacera.

Sara Mehidi

@sara_mehidi

Le 26 octobre 2022 au 28 octobre 2022

Salle de Conférences

"\"\nComité d'organisation

EDP et Probabilité - 26-28 octobre - Salle de conférences IMB

Le 26 octobre 2022 à 17:00

Salle de conférence

JIANG Yiye IMB

Wasserstein Multivariate Autoregressive Models for distributional time series and its application in graph learning

Dans ce travail, nous proposons un nouveau modèle autorégressif pour les séries temporelles distributionnelles multivariées. Nous considérons une collection de N séries de distributions définies sur un intervalle borné dans R, qui sont indexées par des instants de temps distincts. En particulier, nous souhaitons développer un tel modèle qui puisse identifier la structure de dépendance dans l'évolution temporelle des mesures. Pour cela, nous étendons le modèle vectoriel autorégressif classique X_t = AX_{t-1} + Z_t, pour t dans Z, qui réside dans R^N à un modèle dans l'espace de Wasserstein W_2(R) qui est un espace métrique de distributions dont les 2èmes moments existent, munis de la distance L2 entre leurs fonctions quantiles. Les coefficients du modèle paramétrent la structure de dépendance. Nous montrons que le modèle proposé est un modèle théorique valide de séries temporelles. En particulier, nous proposons une méthode pour estimer le coefficient du modèle à partir d'un nombre fini d'observations. Nous calons le modèle proposé sur deux jeux de données réels : la répartition par âge des pays et le réseau de vélos en libre-service à Paris. Nous visualisons les structures de dépendance estimées correspondantes sur les cartes géographiques réelles, ce qui démontre l'efficacité du modèle proposé.

Le 26 octobre 2022 à 17:00

Salle 2

Yiye Jiang (IMB) null

Wasserstein Multivariate Autoregressive Models for distributional time series and its application in graph learning

In this work, we propose a new autoregressive model for multivariate distributional time series. We consider a collection of $N$ series of distributions defined over a bounded interval in $\mathbb{R}$, which are indexed by distinct time instants. Especially, we wish to develop such a model which can identify the dependency structure in the temporal evolution of the measures. To this end, we extend the classical vector autoregressive model $X_t = AX_{t-1} + Z_t$, for $t$ in $\mathbb{Z}$, which resides in $\mathbb{R}^N$ to a model in Wasserstein space $W_2(\mathbb{R})$ which is a metric space of univariate distributions whose 2nd moments exist, endowed with the $L^2$-distance between their quantile functions. The model coefficients parametrize the dependency structure. We show that the proposed model is a theoretical valid time series model. In particular, we propose a method to estimate the model coefficient from a finite number of observations. We fit the proposed model on two real data sets: age distribution of countries and the bike sharing network in Paris. We visualize the corresponding estimated dependency structures on the real geographical maps, which demonstrate the effectiveness of the proposed model.

Le 27 octobre 2022 à 11:00

Salle 2

Luis Frédès null

Chaînes de Markov presque triangulaires sur 

Une matrice de transition U sur est dite presque triangulaire supérieure si U(i,j)e0Òjei-1, de sorte que les incréments des chaînes de Markov correspondantes sont au moins -1 ; une matrice de transition L sur est dite presque triangulaire inférieure si L(i,j)e0Òjdi+1, et alors, les incréments des chaînes de Markov correspondantes sont au plus +1. Dans cet exposé, je caractériserai la récurrence, la récurrence positive et la distribution invariante pour la classe des matrices de transition presque triangulaires. Ces résultats englobent le cas des processus de naissance et de mort (BDP), qui sont des chaînes de Markov célèbres étant simultanément presque triangulaires supérieures et presque triangulaires inférieures. Leurs propriétés ont été étudiées dans les années 50 par Karlin & McGregor dont l'approche repose sur des connexions profondes entre la théorie des BDP, les propriétés spectrales de leurs matrices de transition, le problème des moments, et la théorie des polynômes orthogonaux. Notre approche est principalement combinatoire et utilise des méthodes algébriques élémentaires. Travail en commun avec J.F. Marckert.

Le 28 octobre 2022 à 10:45

Salle 2

Ronan Terpereau (Institut de Mathématiques de Bourgogne\, Dijon) null

Formes réelles des adhérences d'orbites nilpotentes dans une algèbre de Lie semi-simple complexe

Soit $G$ un groupe algébrique complexe semi-simple, qui agit sur son algèbre de Lie $Lie(G)$ via l'action adjointe, et soit $X$ l'adhérence d'une orbite nilpotente dans $Lie(G)$. Dans cet exposé on va s'intéresser aux formes réelles de $X$, c'est-à-dire aux variétés algébriques réelles $W$ munies d'une action d'un groupe algébrique réel $F$ telles que $F_{\mathbb{C}}$ soit isomorphe à $G$ comme groupe algébrique et $W_{\mathbb{C}}$ soit isomorphe à $X$ comme $G$-variété. Il s'agit d'un travail en commun avec Michael Bulois et Lucy Moser-Jauslin.

Le 28 octobre 2022 à 14:00

Salle 2

Gautier Ponsinet (IMB) null

"Groupes de Bloch-Kato, corps perfectoïdes et théorie d'Iwasawa

\n"

"Les groupes de Selmer de Bloch-Kato associés à une représentationgéométrique du groupe de Galois d'un corps de nombres interviennent dansles conjectures de Bloch et Kato sur les valeurs spéciales de fonctionsL. En théorie d'Iwasawa, on s'intéresse à la structure de ces groupessur des extensions de corps infinies. Pour ce faire, il est nécessaired'étudier certains groupes de Bloch-Kato locaux définis via la théoriede Hodge p-adique. Dans cet exposé, je présenterai de nouveaux résultatsconcernant ces groupes de Bloch-Kato locaux sur les corps perfectoïdes.Ces résultats locaux permettent de donner une description plus maniabledes groupes de Selmer de Bloch-Kato comme groupes de Selmer « à laGreenberg » sur de nombreuses extensions de corps infinies, et jeprésenterai quelques conséquences immédiates de cette description enthéorie d'Iwasawa."

Le 8 novembre 2022 à 10:00

Anne-Edgar Wilke IMB

Énumération des corps de nombres quartiques

Fixons un entier $n \geq 2$, et, pour $X \geq 0$, soit $C_n(X)$ l'ensemble des classes d'isomorphisme de corps de nombres de degré $n$ et de discriminant inférieur à $X$ en valeur absolue. La méthode de Hunter-Pohst permet d'énumérer $C_n(X)$ en temps $O(X^{\frac{n + 2}{4} + epsilon})$. Pour $n \geq 3$, on s'attend à ce que cette complexité ne soit pas optimale : en effet, une conjecture classique, démontrée pour $n leq 5$, prévoit qu'il existe une constante $c_n \geq 0$ telle que le cardinal de $C_n(X)$ soit équivalent à $c_n X$. En utilisant une paramétrisation des corps cubiques due à Davenport et Heilbronn, Belabas a mis au point un algorithme énumérant $C_3(X)$ en temps optimal $O(X^{1 + \epsilon})$. Je montrerai comment une paramétrisation des corps quartiques due à Bhargava permet de manière similaire d'énumérer $C_4(X)$ en temps $O(X^{\frac{5}{4} + \epsilon})$. Je présenterai ensuite des résultats numériques, ainsi que des perspectives d'amélioration et de généralisation en degré supérieur.

Le 8 novembre 2022 à 11:00

Salle de Conférences

Mickaël Nahon null

A free discontinuity approach to optimal profiles in Stokes flows

We consider an incompressible Stokes fluid contained in a box $B$ that flows around an obstacle $K \subset B$ with a Navier boundary condition on $\partial K$. I will present existence and partial regularity results for the minimization of the drag of $K$ among all profiles with certain constraints on the measure and perimeter $K$, based on techniques that were developed for Griffith's fracture model in brittle materials. This is a joint work with Dorin Bucur, Antonin Chambolle and Alessandro Giacomini.

Le 8 novembre 2022 à 13:30

Salle 285

Le conseil de laboratoire se réunira le mardi 8 novembre de 13h30 à 15h30 en salle 285 de l'IMB

Lordre du jour est le suivant :
1) Approbation du compte-rendu du conseil de laboratoire du 4 octobre ;
2) Examen et vote du règlement intérieur ;
3) Abonnements à MathSciNet et zbMATH ;
4) Questions diverses.

Le 9 novembre 2022 à 16:30

Salle de conférence

TENDANI-SOLER Adrien IMB

Résolution et propriétés qualitatives de quelques EDP: Du linéaire au non-linéaire.

L'exposé portera sur trois équations aux dérivées partielles: l'équation de la chaleur, l'équation des ondes et l'équation de Schrödinger. Dans un premier temps j'exposerai certaines propriétés mathématiques de ces équations ainsi que leurs implications conceptuelles. Pour finir on s'intéressera à la version non linéaire de ces équation, aux méthodes qui interviennent et au lien avec l'équation linéaire de départ.

Le 9 novembre 2022 à 16:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Adrien Tendani Soler (IMB) null

Résolution et propriétés qualitatives de quelques EDP: du linéaire au non-linéaire

Lexposé portera sur trois équations aux dérivées partielles: léquation de la chaleur, léquation des ondes et léquation de Schrödinger. Dans un premier temps jexposerai certaines propriétés mathématiques de ces équations ainsi que leurs implications conceptuelles. Pour finir on s'intéressera à la version non linéaire de ces équation, aux méthodes qui interviennent et au lien avec léquation linéaire de départ.

Le 10 novembre 2022 à 11:00

Salle 2

Merve Bodur\, assistant professor\, University of Toronto\, Canada null

Leveraging Decision Diagrams to Solve Two-stage Stochastic Programs with Binary Recourse and Logical Linking Constraints

Two-stage stochastic programs (2SPs) with binary recourse are challenging to solve and efficient solution methods for such problems have been limited. Leveraging the combinatorial nature of binary programs, we convexify the second-stage problems using binary decision diagrams (BDDs) to make the problem amenable to Benders decomposition algorithm. More specifically, we first generalize an existing BDD-based approach to allow settings where logical expressions of the first-stage solutions enforce constraints in the second stage, making it applicable to a wide array of problems. We also propose a complementary problem where second-stage objective coefficients are impacted by logical expressions of the first-stage decisions, and develop a distinct BDD-based algorithm to solve this novel problem class. In the two alternative settings, while convexifying the second-stage problems, we parametrize either the arc costs or capacities of the BDDs with first-stage solutions. We further extend this work by incorporating conditional value-at-risk and we propose, to our knowledge, the first decomposition method for 2SPs with binary recourse and a risk measure. We apply these methods to a novel stochastic dominating set problem and present numerical results to demonstrate the effectiveness of the proposed methods.

Le 10 novembre 2022 à 11:00

Salle de Conférences

Camille Male (IMB) null

Une Introduction aux Probabilités libres

Le 10 novembre 2022 à 13:00

Amphi du LaBRI

Valérie dAcremont\, Université de Lausanne null

Santé, numérique et environnement

"Intervention dans le cadre de l'""UE Séminaires Enjeux Sociétaux"" du Labri, https://www.labri.fr/perso/bugeau/UESeminaires.html (organisé par Aurélie Bugeau). On essaiera de faire suivre sa présentation d'un débat."

Le 10 novembre 2022 à 14:00

Salle de Conférences

Armand Koenig (Toulouse) null

Obstructions quadratiques à la contrôlabilité locale d'un système de bac d'eau et de l'équation de KdV / Quadratic obstructions to to the local controllability of the KdV equation and a water-tank system

"Lorsque le linéarisé d'une équation n'est pas contrôlable, il est naturel de considérer une approximation quadratique. Si cette approximation quadratique présente une forme de coercivité, cela mène à une obstruction à la contrôlabilité locale de l'équation non-linéaire. Nous présenterons deux équations pour lesquelles ceci se manifeste : l'équation de KdV lorsque la longueur est dite ""critique"", et un bac d'eau modélisé par des équations de Saint-Venant. L'équation de KdV a la particularité d'avoir un contrôle frontière, qui est plus délicat à traiter que le contrôle interne. Tandis, que notre résultat sur le bac est intéressant par la minoration du temps de contrôle que nous obtenons, deux fois supérieur à ce que la vitesse de propagation des vagues suggèrerait. Ce travail est une collaboration avec Jean-Michel Coron et Hoai-Minh Nguyen.-----When the linearization of a control system is not controlable, it is natural to consider a second-order approximation to study the local controlability. If the quadratic term enjoys a kind of coercivity, it can lead to a lack of local controllability. We will discuss two equations where this happens: the KdV equation when the length is said to be ""critical"", and a water-tank system modeled by Saint-Venant's equations. The KdV equations has a boundary control, which makes it more difficult to treat than internal control. Our result on the water-tank is interesting in the lower-bound for the time of local-controlability that we prove: twice the time the speed of the linearized waves would suggest. This is a joint work with Jean-Michel Coron and Hoai-Minh Nguyen."

Le 10 novembre 2022 à 14:00

Salle 2

Chloé Mimeau (CNAM) null

[Séminaire CSM] Pénalisation de Brinkman pour la simulation découlements en milieux fluide-poreux - Comparaison de deux méthodes numériques : une méthode Lattice Boltzmann et une méthode semi-lagrangienne.

"Les parois poreuses et milieux poreux sont connus pour leur capacité à contrôler les instabilités des écoulements. En revanche les mécanismes physiques à lorigine de ces propriétés régularisantes sont encore mal compris.Dans cette étude nous considérons une approche que lon pourrait qualifier de « sub-pore scale model » (modèle de sous-pore) pour simuler numériquement des écoulements en milieu fluide-poreux; il sagit de la méthode de pénalisation de Brinkman.Cette technique, grâce à son aspect « pénalisation », peut être facilement intégrée à nimporte quelle méthode numérique en ajoutant un terme source aux équations continues que lon cherche à résoudre dans la phase fluide.Nous présenterons son implémentation au sein de deux approches numériques bien distinctes et non-canoniques : une méthode Lattice Boltzmann (LBM) (mésoscoqiue/eulérien) et une méthode Vortex avec remaillage (VM) (macroscopique/semi-lagrangien).Les résultats seront comparés et analysés dans le cadre dun écoulement autour dune sphère poreuse.Nous nous intéresserons en particulier à la relation entre la nature du régime découlement (caractérisé par le nombre de Reynolds critique) et la perméabilité de la sphère immergée (caractérisée par le nombre de Darcy).Les résultats obtenus avec les deux méthodes LBM et VM seront comparés entre eux mais également aux résultats de la littérature et une analyse physique des résultats sera proposée."

Le 14 novembre 2022 à 09:00 au 15 novembre 2022 à 12:00

Salle 1

Organisateurs : Philippe Thieullen\, Fabien Durand\, Samuel Petite null

Rencontre IZES Bordeaux 2022 - 14 et 15 novembre 2022 - Salle 1 de l'IMB

Le 14 novembre 2022 à 13:30 au 15 novembre 2022 à 17:30

Salle de Conférences

Comité d'organisation et Comité Scientifique : Mouez Dimassi et Laurent Michel null

"""Microlocal Analysis and Inverse Problems""In honor of the 80th birthday of Vesselin Petkov - 14 et 15 novembre - Salle de conférences IMB"

Le 15 novembre 2022 à 10:00

Henri Cohen IMB

A Pari/GP package for continued fractions

I will describe with numerous examples a new Pari/GP package for infinite continued fractions which can in particular compute numerically the limit, the exact asymptotic speed of convergence (almost never given in the literature), accelerate continued fractions, and especially apply the powerful Apéry acceleration technique to almost all continued fractions, leading to hundreds of new ones.

Le 16 novembre 2022 à 16:30

Salle de conférence

LAMBERTI Giuseppe IMB

Introduction to interpolation and random interpolation in spaces of holomorphic functions.

L'exposé sera une introduction aux problèmes d'interpolation dans les espaces de fonctions holormophiques à une variable. Je partirai du problème original, énoncé pour les fonctions holomorphes bornées dans le disque unité, pour ensuite l'introduire pour reproduire les espaces de Hilbert du noyau. La dernière partie portera sur l'interpolation aléatoire, en particulier je me concentrerai sur les séquences de Steinhaus.

Le 16 novembre 2022 à 16:30

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Giuseppe Lamberti (IMB) null

Introduction to interpolation and random interpolation in spaces of holomorphic functions

The talk will be an introduction to interpolation problems in spaces of holormophic functions of one variable. I will start from the original problem, stated for bounded holomorphic functions in the unit disk, to then introduce it for reproducing kernel Hilbert spaces. The last part will be about random interpolation, in particular I will focus on Steinhaus sequences.

Le 17 novembre 2022 à 14:00

Salle 2

Boris Detienne\, maître de conférences\, University of Bordeaux null

Two-stage robust optimization with objective uncertainty

"In this work, we study optimization problems where some cost parameters are not known at decision time and the decision flow is modeled as a two-stage process within a robust optimization setting. We address general problems in which all constraints (including those linking the first and the second stages) are defined by convex functions and involve mixed-integer variables, thus extending the existing literature to a much wider class of problems. We show how these problems can be reformulated using Fenchel duality, allowing to derive an enumerative exact algorithm, for which we prove $epsilon$-convergence in a finite number of operations.An implementation of the resulting algorithm, embedding a column generation scheme, is then computationally evaluated on two different problems, using instances that are derived starting from the existing literature. To the best of our knowledge, this is the first approach providing results on the practical solution of this class of problems."

Le 17 novembre 2022 à 14:00

Salle de Conférences

John McCarthy (Saint Louis) null

Isometric extensions of bounded holomorphic functions

"Let $V$ be an analytic subvariety of a domain $\Omega$ in $\mathbb{C}^n$.When does $V$ have the property that every bounded holomorphic function $f$ on$V$ has an extension to a bounded holomorphic function on $\Omega$ with the same norm?If $\Omega$ is very nice, for example the ball, then this can only happen under very rigid conditions.$V$ must be a holomorphic retract of $\Omega$, i.e. there must exact a holomorphic $r: \Omega \to V$ so that $r|_V = {\rm id}$. Being a retract is always sufficient (as $f \circ r$ gives the extension), but without some convexity condition on $\Omega$ it is not necessary.We shall discuss isometric extensions, and why convexity plays a rôle.This is joint work with Jim Agler and Lukasz Kosinski."

Le 17 novembre 2022 à 15:30

Salle de Conférences

Benoît Grébert (Nantes) null

"Formes normales et EDPs hamiltoniennes\n"

"Les solutions de petites amplitudes déquations aux dérivées partielle nonlinéaires dispersives sur un compact sans bord (par exemple un tore ou une sphère) sont soumises à deux effets concurrents :- la dispersion des ondes, conséquence du fait que les ondes planes, solutions de la partie linéaire de léquation, voyagent avec des vitesses différentes (les ondes séloignent les unes des autres).- la compacité du domaine qui incite à linteraction via la non-linéarité (les ondes sont amenées à se revoir souvent !).Qui gagne ? La dynamique en temps long va-t-elle vers la stabilité ou la turbulence ? Nous essaierons de répondre (partiellement) à ces questions à travers des méthodes de formes normales dans le cadre des EDPs Hamiltoniennes.Dans la première partie, je donnerai un aperçu du théorème de forme normale de Birkhoff en dimension finie qui permet détablir, sous certaines conditions de non résonances, la stabilité sur des temps longs dun point déquilibre elliptique. Jexpliquerai ensuite comment le passage dun tel résultat en dimension infinie conduit à des résultats de stabilité pour des EDPs hamiltoniennes, en particulier léquation de Schrödinger non linéaire."

Le 18 novembre 2022 à 10:45

Salle 2

Enrica Floris (Laboratoire de Mathématiques et Applications\, Poitiers) null

Sous-variétés split d'un espace homogène

Van de Ven en 1959 a démontré que les sous-variétés de l'espace projectif dont la suite normale est scindée sont des sous-espaces linéaires. Dans cet exposé j'expliquerai une généralisation partielle de ce résultat aux variétés homogènes : une sous-variété d'une variété homogène dont la suite normale est scindée est une variété rationnelle homogène.

Le 18 novembre 2022 à 14:00

Salle de Conférences

Agnès CHAN null

"Sujet : ""Méthodes numériques innovantes pour l'aérodynamique supersonique 3D sur des maillages non-structurés"". Directeur de thèse : Raphaël loubère, co-directeur : Pierre-Henri Maire"

Le 18 novembre 2022 à 14:00

Salle 1

Daniele Turchetti (Warwick\, ETH Zürich) null

Modèles des courbes et géométrie analytique non-archimédienne

La théorie des modèles sur un anneau à valuation discrète se situe au croisement de la théorie de nombres et de la géométrie algébrique, et est riche en applications Diophantiennes, aux représentations Galoisiennes et à la cryptographie, entre autres. Dans les années 60, Deligne et Mumford ont démontré quune courbe C sur un corps à valuation discrète K admet un modèle semi-stable quitte à faire une extension des scalaires finie. Létude de lextension minimale L|K qui rend C semi-stable amène naturellement à beaucoup de questions encore ouvertes. Dans cet exposé, je vais présenter des résultats sur le comportement des modèles par changement de base. Les premiers (avec Lorenzo Fantini) explorent le lien entre modèles réguliers, la géométrie de lanalytification (à la Berkovich) de C et lextension L|K. Ensuite, je parlerai dun résultat plus précis (avec Andrew Obus) consacré à létude de L|K dans le cas de réduction potentiellement multiplicative. Cela nous permet dobtenir des résultats dans un cadre de ramification sauvage.

Le 21 novembre 2022 au 25 novembre 2022

CIRM

Comité dorganisation : Lucie Baudouin (CNRS - LAAS)\, Franck Boyer (Institut de Mathématiques de Toulouse)\, Jérémi Dardé (Institut de Mathématiques de Toulouse)\, Sylvain Ervedoza (CNRS\, Institut de Mathématiques de Bordeaux)\, Julien Royer (Institut de Mathématiques de Toulouse) null

Théorie spectrale, contrôle et problèmes inverses - 21 - 25 novembre 2022 - CIRM

Le 22 novembre 2022 à 10:00

Sulamithe Tsakou -

Index calculus attacks on hyperelliptic curves with efficient endomorphism

The security of many existing cryptographic systems relies on the difficulty of solving the discrete logarithm problem (DLP) in a group. For a generic group, we can solve this problem with many algorithms such as the baby-step-giant-step, the Pollard-rho or the Pohlig-Hellman algorithm. For a group with known structure, we use the index calculus algorithm to solve the discrete logarithm problem. Then, the DLP on the Jacobian of a hyperelliptic curve defined over a finite field $\mathbb{F}_{q^n}$ with $n >1$ are subject to index calculus attacks. After having chosen a convenient factor basis, the index calculus algorithm has three steps - the decomposition step in which we decompose a random point in the factor basis, the linear algebra step where we solve a matricial equation and the descent phase in which the discrete logarithm is deduced. The complexity of the algorithm crucially depends on the size of the factor basis, since this determines the probability for a point to be decomposed over the base and also the cost of the linear algebra step. Faugère et al (EC 2014) exploit the $2$-torsion point of the curve to reduce the size of the factor basis and then improve the complexity of the index calculus algorithm. In a similar manner, we exploit the endomorphism of the Jacobian to reduce the size of the factor base for certain families of ordinary elliptic curves and genus $2$ hyperelliptic Jacobians defined over finite fields. This approach adds an extra cost when performing operation on the factor basis, but our benchmarks show that reducing the size of the factor base allows to have a gain on the total complexity of index calculus algorithm with respect to the generic attacks.

Le 22 novembre 2022 à 11:00

Salle de Conférences

Ayman Moussa (Sorbonne Université) null

Estimée de stabilité locale et dérivation du système SKT

"Nous commencerons par rappeler l'origine du système de réaction-diffusion "" SKT "" et les défis à ce jour non résolus concernant celui-ci. L'exposé abordera ensuite un schéma d'approximation proposé en 2019 par Daus, Desvillettes et Dietert pour construire des solutions. Nous expliquerons comment ce schéma peut, à l'aide d'une estimation de stabilité locale sur le système, conduire à un résultat partiel de dérivation reliant le système SKT à une famille de marches aléatoires répulsives sur un réseau discret. Il s'agit d'un travail en collaboration avec Vincent Bansaye et Felipe Muñoz-Hernández."

Le 22 novembre 2022 à 13:00

Salle 285

Le Conseil Scientifique de l'IMB se réunira le mardi 22 novembre 2022 à 13h00 en salle 285

ORDRE DU JOUR :
1) Nouvelles du conseil du laboratoire. Informations sur le plan de gestion des emplois 2023
2) Approbation du compte-rendu du conseil scientifique du 18 octobre 2022 (en ligne sur Nuxéo)
3) Prospective scientifique : équipes OptimAl, EDP-Physique Mathématique,Théorie des Nombres, Analyse
4) Attribution des demandes de gratifications de stages

Le 23 novembre 2022 à 09:00

Journée de l'IREM d'Aquitaine le 23 novembre de 9h à 17h - IMB - Labri A29

Le 23 novembre 2022 à 14:00 au 24 novembre 2022 à 18:00

Salle de Conférences

Organisateur : Stéphane BRULL null

Schémas numériques de type Boltzmann - 23-24 novembre 2022 - Salle de conférences de l'IMB

Le 24 novembre 2022 à 11:00

Salle 1

Guillaume Blanc null

Propriétés fractales de la métrique aléatoire d'Aldous-Kendall

"On considère la métrique aléatoire construite par Kendall sur $\mathbb{R}^d$ à partir d'un Processus de Poisson de routes auto-similaire, où une route est une droite avec une limitation de vitesse. Intuitivement, le processus fournit un réseau de routes dans $\mathbb{R}^d$, sur lequel on peut se déplacer en respectant les limitations de vitesse ; et cela induit une métrique aléatoire $T$ sur $\mathbb{R}^d$, pour laquelle la distance entre les points est donnée par le temps de trajet optimal.Dans cet exposé, je présenterai les propriétés fractales de l'espace métrique aléatoire $\left(\mathbb{R}^d,T\right)$. En particulier, bien que presque sûrement il soit homéomorphe à l'espace euclidien $\mathbb{R}^d$, sa dimension de Hausdorff est donnée par la constante $(\gamma-1)d/(\gamma-d)$, où $\gamma>d$ est un paramètre du modèle.Cette propriété fractale, que l'on retrouve dans d'autres modèles en géométrie aléatoire comme celui de la sphère brownienne, confirme une conjecture de Kahn.Si le temps le permet, je parlerai du caractère multifractal de l'espace métrique $\left(\mathbb{R}^d,T\right)$ muni de la mesure de Lebesgue, qui en particulier le distingue de la sphère brownienne munie de sa mesure volume."

Le 24 novembre 2022 à 14:00

Salle 2

Emmanuel Audusse (P13) null

[Séminaire CSM] Schémas volumes finis colocalisés pour les équations de Saint-Venant avec force de Coriolis

"Nous nous intéressons dans ce travail à la simulation numérique des écoulements océaniques ou atmosphériques aux grandes échelles. Nous considérons le système de Saint-Venant avec forces de Coriolis. Aux échelles considérées, les écoulements sont, au premier ordre, des perturbations de l'équilibre géostrophique (entre force de pression et force de Coriolis) et la précision des schémas autour de cet équilibre est donc un point crucial. Nous proposons ici un schéma numérique de type volumes finis colocalisés pour lequel nous prouvons une inégalité dénergie semi-discrète et la convergence asymptotique vers léquilibre géostrophique. Les résultats numériques montrent une très nette amélioration autour de cet équilibre, même en comparaison avec des schémas de type Godunov dordre 2."

Le 24 novembre 2022 à 14:00

Salle 1

Alexander Borichev (Marseille) null

Le comportement local de zéros de séries de Taylor aux coefficients aléatoires et pseudo-aléatoires.

Nous étudions la distribution locale de zéros de series de Taylor pour des classes différents de coefficients: aléatoires (indépendants, stationnaires, aléatoires arithmétique) et pseudo-aléatoires (exponentiel-polynomiales, Rudin-Shapiro, Thue-Morse).

Le 25 novembre 2022 à 10:45

Salle 2

Bruno Klingler (Humboldt Universität\, Berlin) null

Sur l'algébricité des lieux de Hodge

Etant donnée une famille de variétés algébriques sur une base complexe quasi-projective S, la conjecture de Hodge prédit que le lieu de Hodge des points de S où les fibres admettent des tenseurs de Hodge exceptionnels est une union dénombrable de sous-variétés algébriques. Cet énoncé a été démontré inconditionnellement par Cattani-Deligne-Kaplan en 1995. Dans cet exposé je discuterai de la géométrie du lieu de Hodge, en particulier la question de savoir quand il est en fait algébrique (plutôt qu'une union dénombrable de variétés algébriques). Travail en commun avec Baldi et Ullmo.

Le 25 novembre 2022 à 14:00

Salle de Conférences

Cécile Dartyge (Université de Lorraine) null

Valeurs polynomiales quartiques avec un grand facteur premier, les cas diédraux et cycliques.

"Soit $P$ un polynôme à coefficients entiers, unitaire, irréductible, de degré 4 et de groupe de Galois diédral ou cyclique.Nous montrons qu'il existe $c_P >0$ tel que pour une proportion positive d'entiers $n$, $P(n)$ ait un facteur premier supérieur à $n^{1+c_P}$.Il s'agit d'un travail réalisé avec James Maynard."

Le 28 novembre 2022 à 11:00

Salle de Conférences

Nicoletta PRENCIPE null

"Titre : ""Théorie et applications d'une nouvelle formulation de l'espace des couleurs perçues"". Directeur de thèse : Edoardo Provenzi"

Le 29 novembre 2022 à 10:00

Elie Bouscatié -

Searching substrings inside an encrypted stream of data ... without decrypting !

Outsourcing IT services has become very common worldwide for multiple reasons ranging from costs reduction to improved services. Whatever the actual reason is, the concrete consequence for the company that delegates such services is that a third party ends up with its data in clear because of the well-known limitations of standard encryption.Ideally, this third party should only learn the minimal information necessary for performing the requested processing, which has motivated the design of countless encryption schemes compatible with specific processing. Such schemes belong to the realm of functional encryption, where the third party recovers a function f(x) from an encryption of x without learning anything else about x, with minimal interaction. Of course, the function f, and hence the encryption scheme, strongly depends on the considered application, which explains the profusion of papers related to this topic. We will focus on the possibility to allow a third party to search the presence of chosen substrings of different lengths (and more !) at any position in the encryption of a stream of data. After an introduction to this problematic and to the associated security notion, we will take a look at the proof of security of one specific construction.

Le 29 novembre 2022 à 11:00

Salle de Conférences

Marouane Assal (IMB) null

Quelques résultats d'analyse spectrale pour des opérateurs de Schrödinger matriciels avec des croisements de trajectoires classiques

Dans cet exposé, je présenterai quelques résultats d'analyse spectrale pour des opérateurs de Schrödinger matriciels. Ceux-ci concernent l'étude de l'influence des croisements des trajectoires classiques (dans l'espace des phases) sur la distribution asymptotique dans le régime semi-classique des valeurs propres et des résonances des systèmes d'opérateurs de Schrödinger en dimension un. Ces résultats sont issus d'une série de travaux en collaboration avec S. Fujiié (Kyoto) et K. Higuchi (Ehime).

Le 29 novembre 2022 à 14:00

salle Ada Lovelace (Inria)

Aurore CAUQUIS null

"Sujet : ""Développement d'un modèle numérique de propagation dispersive de tsunamis"". Directeur de thèse : Mario Ricchiuto. Co-directeur :Philippe Heinrich"

Le 30 novembre 2022 à 16:30

Salle de Conférences

Margherita Pagano (Leiden) null

Integer solutions to polynomial equations.

A way to study integer solutions to diophantine equations is by looking at the reduction of the equation modulo prime numbers. During this talk, I will give an overview of this strategy and explain the role that the so-called Brauer-Manin obstruction can play.

Le 1er décembre 2022 à 11:00

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Camille Male null

Introduction aux Probabilités Libres 2

"Dans la séance précédente, j'ai défini les variables aléatoires non commutatives ainsi que trois notions d'indépendance non commutatives. Dans la prochaine séance, je vais introduire la notion de ""cumulants"" qui permet d'avoir des expressions très similaires pour caractériser ces libertés. J'énoncerai également les théorèmes centraux limites relatifs aux différentes notions d'indépendance."

Le 1er décembre 2022 à 11:00

Salle 2

Joao Marcos Pereira Silva\, Universidade Federal Fluminense\, Brazil null

"Branching on clustered instances of vehicle routing problems\n"

The customer positioning in typical real-world vehicle routing problems (VRPs) is far from random, they are often concentrated in clusters corresponding to more populated areas. We observed that the performance of Branch-Cut-and-Price VRPs algorithms was much worse on some highly clustered instances. The problem was that the traditional branching on edges/arcs or branching on sets was ineffective, even using aggressive strong branching, leading to large search trees. We propose a new branching scheme where first a cluster analysis is performed, looking for sets of customers that are well separated from other customers. Then, we may perform branching on the aggregation of edges/arcs between clusters. The approach was tested over instances of the Capacitated VRP (CVRP), Distance-Constrained VRP (DCVRP), and VRP with Time Windows (VRPTW) and could solve several hard instances for the first time. Interestingly, the method showed positive results even in some instances with random customer positioning. We also comment on the significance of those findings for general MIPs, showing that there are models where branching over individual variables, even with the best possible strong branching, is ineffective; but branching over well-chosen aggregations of variables can be effective.

Le 1er décembre 2022 à 14:00

Salle 2

Emanuele Macca (Univ. of Catania) null

A high-order IMEX strategy for Exner model with Grass equation for sedimentation

"The aim of this talk is introduce an Implicit-Explicit (IMEX) strategy to compute thesediment evolution in the Exner model for sediment transport in Shallow Watersystem and improve both stability and efficiency. In this model there are several timescales. One associated with the temporal evolution of the sediment, generally very longwith a much slower velocity; one related to the velocity of free-surface waves, generallyvery fast that implies an hard restriction in the time step; and one related to the velocityof the fluid with. Unfortunately, as known, an explicit method implies a strong stabilityrestriction due to the velocity of the free-surface wave. This restriction involves in a verylong computation time that could be reduced neglecting the free-surface waves behaviourand looking at the sediment evolution. The objective is to drastically improve the efficiencyin the computation of the evolution of the sediment by treating water waves implicitly,thus allowing much larger time steps than the one allowed by standard CFL condition onexplicit schemes."

Le 1er décembre 2022 à 14:00

Salle de Conférences

Kristian Seip (Trondheim) null

Point evaluation in PaleyWiener spaces

We will look at the following problem on timefrequency localization: What is the norm of the point evaluation functional in the classical PaleyWiener $L^p$ spaces for $0 < p <\infty$? The central challenge in this problem is how to go beyond the power trick which allows you to relate an estimate for a given $p$ to that for $kp$ for a positive integer $k$. I will discuss some results and multiple conjectures around this problem. The talk is based on recent joint work with Ole Fredrik Brevig, Andrés Chirre, and Joaquim Ortega-Cerdà (see https://arxiv.org/abs/2210.13922).

Le 1er décembre 2022 à 15:30

Salle de Conférences

Mateus Costa de Sousa (BCAM - Basque Center for Applied Mathematics) null

Recent developments in Fourier interpolation theory

"In this talk we will discuss some problems related to the theory ofFourier interpolation. The goal is to talk about the general problem ofhow to obtain new interpolation formulas from a previously known one bysome perturbation argument, and also mention some recent developments injoint work with João Pedro Ramos (ETH Zürich). "

Le 2 décembre 2022 à 10:45

Salle 2

Olivier Mathieu (Institut Camille Jordan\, Lyon) null

Linéarité et non-linéarité des groupes dautomorphismes du plan

"Une question classique est de déterminer à quel point les groupes d'automorphismes de variétés ressemblent aux groupes linéaires, i.e. à des sous-groupes de GL$(n,K)$, où $K$ est un corps. Ici nous nous intéresserons aux sous-groupes des automorphismes polynomiaux du plan ${\rm Aut}~K^2$, i.e. des automorphismes de la forme $F \colon (x,y)\mapsto (f(x,y), g(x,y))$, où $f$ et $g$ sont des polynômes. Il nest guère surprenant que ${\rm Aut}~K^2$ ne soit pas linéaire lorsque $K$ est infini. En revanche, il nétait pas attendu que le sous-groupe de ""codimension 6"" ${\rm Aut}_1~K^2$ de tous les automorphismes $F$ tels que $F(0)=0$ et $dF_0 ={\rm id}$ soit linéaire. En fait, sauf pour des corps $K$ très petits, il existe une injection de ${\rm Aut}_1~K^2$ dans ${\rm SL}(2,K)$. Ce résultat est basé sur des idées de ping-pong à la Tits, ainsi que sur la théorie des groupes de Kac-Moody affines. Nous examinerons aussi la question de la linéarité des groupes contenant ${\rm Aut}_1~K^2$. Ces phénomènes sont exceptionnels a la dimension $2$. Nimporte quel sous-groupe de codimension finie de ${\rm Aut}~K^3$ nest pas linéaire."

Le 2 décembre 2022 à 14:00

Salle de Conférences

Margaret Bilu (IMB) null

Fonctions zêta enrichies et topologie des points réels

La fonction zêta d'une variété $X$ sur un corps fini $\mathbf{F}_q$ est définie en termes des nombres de points de $X$ dans toutes les extensions finies de $\F_q$. Par les conjectures de Weil, elle est rationnelle et contient des informations sur la topologie des points complexes d'un relevé de $X$. Nous allons introduire une version enrichie de (la dérivée logarithmique de) la fonction zêta, à coefficients dans l'anneau de Grothendieck-Witt, définie dans le cadre de la théorie de la $\mathbf{A}^1$-homotopie stable, et nous allons présenter un résultat de rationalité pour certains types de variétés. De plus nous allons montrer comment cette nouvelle fonction zêta permet de récupérer des informations sur la topologie des points réels. C'est un travail en collaboration avec W. Ho, P. Srinivasan, I. Vogt et K. Wickelgren.

Le 5 décembre 2022 à 08:30

Salle de Conférences

Comité d'organisation : Céline Baranger (Cesta)\, Raphaël Loubère (IMB)\, Pierre-Henri Maire (Cesta) null

Journée du LRC Anabase - 5 décembre 2022 - Salle de conférences de l'IMB

Le 5 décembre 2022 à 13:30

INRIA, Talence.

Xavier BLANCHOT null

"Titre : ""Résolution de problèmes doptimisation stochastique de grande taille : application a des problèmes dinvestissement dans les réseaux électriques"". Directeur de thèse : François Clautiaux"

Le 5 décembre 2022 à 14:00

Salle 1

Amaury DURAND null

"Titre : ""Duaux des codes Reed-Solomon linéarisés"". Directeur de thèse : Xavier Caruso"

Le 6 décembre 2022 à 10:00

Léo Poyeton -

Admissibility of filtered $(\varphi,N)$-modules

Filtered $(\varphi,N)$-modules over a $p$-adic field $K$ are semi-linear objects which are easy to define and can be implemented on a computer. The modules $D_{st}(V)$ defined by $p$-adic Hodge theory, where $V$ is a $p$-adic representation of the absolute Galois group of $K$, provide examples of filtered $(varphi,N)$-modules. When $V$ is nice enough (semi-stable), the data of $D_{st}(V)$ is sufficient to recover $V$. A necessary and sufficient condition for a filtered $(\varphi,N)$-module $D$ to be written as $D_{st}(V)$ for some semi-stable representation $V$ is the condition of "admissibility" which imposes conditions on the way the different structures of the $(varphi,N)$-module interact with each other.In a joint work with Xavier Caruso, we try to provide an algorithm which takes a filtered $(\varphi,N)$-module as an input and outputs whether it is admissible or not. I will explain how we can implement filtered $(\varphi,N)$-modules on a computer and why this question is well posed. I will then present an algorithm which answers the question if the $(\varphi,N)$-module is nice enough and explain the difficulties we are facing both in this nice case and in the general case.

Le 6 décembre 2022 à 12:00

Repas de Noël de lIMB le mardi 6 décembre à partir de 12h00 dans la salle de détente et dans le hall de lIMB, suivi de l'AG de l'IMB à 14h en salle de conférences

Le 7 décembre 2022 à 15:30

Salle de Conférences

Yiye JIANG null

"Sujet :""Analyse statistique de données spatio-temporelles et multidimensionnelles issues d'un réseau de capteurs"". Directeurs de thèse : Jérémie Bigot, Sofian Maabout"

Le 7 décembre 2022 à 16:30

Salle de conférence

SAMBATARO Giulia IMB

Component-based model order reduction procedure for large scales thermo-hydro-mechanical systems.

Cet exposé porte sur une nouvelle procédure de réduction d'ordre de modèle à base de composants pour une classe de problèmes de mécanique non linéaire avec des variables internes. Les travaux sont motivés par des applications aux systèmes thermo-hydro-mécaniques (THM) pour le stockage des déchets radioactifs (ce projet est financé par l'ANDRA, l'agence nationale pour la gestion des déchets radioactifs). Mots-clés : réduction d'ordre de modèle, décomposition de domaine, élasticité non linéaire, problèmes couplés.

Le 7 décembre 2022 à 17:00

Salle 1

Giulia Sambataro null

Component-based model order reduction procedure for large scales thermo-hydro-mechanical systems

TBA

Le 8 décembre 2022 à 11:00

Salle de Conférences

Céline Bonnet null

"Impact d'une dynamique de ""rescue""(sauvetage) sur la répartition de mutations neutres dans une population cellulaire branchante."

"On s'intéresse à un processus de branchement bitype. Le premiertype représente une population de cellule sensible à un traitement(processus souscritique initialement en grande population, d'ordreN>>1). Chaque cellule sensible a une probabilité, d'ordre 1/N, dedevenir résistante à chaque division.De plus à chaque division les cellules sensibles et résistantes héritentdes mutations neutres de leur mère et d'un nombre aléatoire de mutationsneutres supplémentaires.Dans cette dynamique dite de rescue (initialement on suppose qu'il n'y aque des cellules sensibles), on décrit l'espérance du site frequencyspectrum de la population de résistantes à un temps d'ordre log(N).(Ps : Le site frequency spectrum décrit le nombre de mutations portéespar i cellules à un certain temps. Mutations neutres désignent desmutations qui n'influencent pas la dynamique de la population.)"

Le 8 décembre 2022 à 14:00

Salle 2

Jason Bayer (IMB/IHU) null

[Séminaire CSM] Developing cardiac electrotherapies with virtual heart models

Virtual heart models are multiscale computational tools for studying cardiac function from the cell to organ level. They are particularly useful for simulating the electrical activity of the heart, which is essential for triggering the muscle contractions necessary to pump life-sustaining blood throughout the body. Since studying 3D electrical activity within the heart of a patient is invasive, expensive, and time-consuming, virtual heart models can circumvent these limitations to more thoroughly investigate both normal and abnormal cardiac electrical function. This computational platform is also ideal for testing and developing cardiac electrotherapies in a safe, efficient, and cost-effective manner. This seminar will focus on the use of virtual heart models to develop safer and less painful electrotherapies for terminating ventricular fibrillation, a lethal electrical disturbance in the heart.

Le 9 décembre 2022 à 10:45

Salle 2

Julien Marché (Sorbonne Université\, Paris) null

Invariants de Toledo des représentations quantiques

"La ""topologie quantique"" fournit beaucoup de représentations des groupes modulaires dans des groupes PU(p,q). On peut se demander si ces représentations sont reliées à des structures géométriques sur les espaces de modules de courbes. Avec Bertrand Deroin, on a trouvé quelques exemples où c'est le cas, et la preuve passe par le calcul explicite des invariants de Toledo. Je vais expliquer que ces invariants ont la structure d'une théorie cohomologique des champs, ce qui permet leur calcul explicite."

Le 9 décembre 2022 à 14:00

Salle de Conférences

Loïs Faisant (Institut Fourier\, Grenoble) null

« Comptage » de courbes rationnelles de grand degré

"En géométrie diophantienne, le principe de Batyrev-Manin-Peyre décrit conjecturalement le comportement du nombre de points rationnels de hauteur bornée dune variété de Fano définie sur un corps de nombres, lorsque ladite borne tends vers linfini. Étant donnée une variété de Fano sur C(t), un analogue géométrique de ce principe consiste à considérer lespace de modules des courbes rationnelles de « grand degré » dans un modèle propre de cette variété. Un cadre naturel pour une telle étude est celui de lintégration motivique ; il sagit alors de questionner la convergence, après une normalisation adéquate dans un anneau dintégration motivique, de la classe de lespace de module des courbes de degré arbitrairement grand. Il est de plus attendu que son hypothétique limite puisse être décrite par un produit eulérien motivique, jouant ainsi le rôle du nombre de Tamagawa défini par Peyre dans le cadre arithmétique. Dans cet exposé, on énoncera un tel principe, en donnant notamment une description de la limite attendue et des exemples pour lesquels des résultats sont connus. Puis on montrera quil est commode d'affiner ce principe, en introduisant une notion déquidistribution de courbes. Cette notion permet de saffranchir du choix dun modèle et d'exhiber ainsi de nouveaux exemples de variétés satisfaisant un principe de Batyrev-Manin-Peyre motivique."

Le 13 décembre 2022 à 10:00

Samuel Le Fourn -

Points de torsion d'une variété abélienne dans des extensions d'un corps fixé

Pour une variété abélienne A sur un corps de nombres K, on sait que pour toute extension finie L/K, le nombre c(L) de points de torsion de A(L) est fini par le théorème de Mordell-Weil.
En fait, un résultat de Masser prédit que c(L) est polynomial en [L:K] (si on fixe A et K) avec un exposant g=dim A, et une conjecture de Hindry et Ratazzi de 2012 donne l'exposant optimal (plus petit que g en général) en fonction d'une certaine structure de la variété abélienne (liée à son groupe dit de Mumford-Tate)Dans cet exposé, je parlerai d'un travail commun avec Lombardo et Zywina dans lequel nous démontrons une forme inconditionnelle de cette conjecture (et cette conjecture en admettant la conjecture de Mumford-Tate), en insistant sur les résultats intermédiaires qui peuvent être d'intérêt indépendant pour la compréhension des représentations galoisiennes associées à des variétés abéliennes.

Le 13 décembre 2022 à 11:00

Salle de Conférences

Valentin AYOT null

"Titre : ""Méthodes cinétiques appliquées à l'étude de certains comportements collectifs"". Directeur de thèse : Philippe Thieullen. Co-directeur : Stéphane Brull"

Le 13 décembre 2022 à 11:00

Salle de Conférences

Pas de séminaire (Soutenance de thèse de Valentin Ayot)

Le 13 décembre 2022 à 14:00

Salle 2

Amandine CROMBE présentera son exposé en vue de son Habilitation à Diriger des Recherches null

"Titre des travaux : ""Approches radiomics en oncologie : quantifier, comprendre et intégrer le phénotype des cancers en imagerie médicale pour améliorer la prise en charge des patients"""

Le 13 décembre 2022 à 16:00

Salle de Conférences

Giulia SAMBATARO null

Directeur de thèse : Angelo Iollo. Co-directeur : Tommaso Taddei

Le 15 décembre 2022 à 09:45

Séminaire Recherche Opérationnelle - Probabilités et Statistiques

Salle de Conférences

Ulugbek Kamilov (Washington University in St Louis) null

Plug-and-Play Models for Large-Scale Computational Imaging

Computational imaging is a rapidly growing area that seeks to enhance the capabilities of imaging instruments by viewing imaging as an inverse problem. Plug-and-Play Priors (PnP) is one of the most popular frameworks for solving computational imaging problems through integration of physical and learned models. PnP leverages high-fidelity physical sensor models and powerful machine learning methods to provide state-of-the-art imaging algorithms. PnP models alternate between minimizing a data-fidelity term to promote data consistency and imposing a learned image prior in the form of an artifact reducing deep neural network. This talk presents a principled discussion of PnP under inexact physical and learned models. Inexact models arise naturally in computational imaging when using approximate physical models for efficiency or when test images are from a different distribution than images used for training the image prior. We present several successful applications of our theoretical and algorithmic insights in bio-microscopy, computerized tomography, and magnetic resonance imaging.

Le 15 décembre 2022 à 11:00

Salle 2

Mathieu Dahan\, Prof.\, Georgia Institute of Technology\, US null

Resource Coordination for Network Flow Interdiction

This work considers a generic network security game on flow networks. In this game, a routing entity sends its (illegal) flow through the network while facing transportation costs, and an interdictor simultaneously interdicts multiple edges while facing interdiction costs. We first derive a combinatorial algorithm to prove the existence of a probability distribution on a partially ordered set (poset) that satisfies a set of constraints involving marginal probabilities of the posets elements and maximal chains. We then utilize this existence result to show that the Nash equilibria of the security game can be fully described using primal and dual solutions of a minimum-cost circulation problem. Our analysis leads to a polynomial-time approach for equilibrium computation and provides a new characterization of the critical network components in strategic flow interdiction problems. This work is joint with Saurabh Amin and Patrick Jaillet.

Le 15 décembre 2022 à 11:00

Salle de Conférences

Magalie Bénéfice null

Couplages de mouvements browniens en géométries sous-riemanniennes

"La construction de couplages sur différents types de variétés est un outil permettant d'obtenir de nombreux résultats en analyse, probabilité et géométrie. Les couplages de mouvements browniens permettent par exemple des estimations de gradients pour le semi-groupe de la chaleur et des inégalités de type Poincarré et Sobolev. On peut notamment recenser deux types de couplages pouvant amener à de telles inégalités: - Les couplages (X_t,Y_t) de diffusions partant de x et y respectivement vérifiant des inégalités du type $E[d(X_t,Y_t)]<= C(t) d(x,y)$;- Les couplages dits ""avec succès"" qui se rencontrent en un temps presque surement fini. Dans cet exposé je me concentrerai sur les couplages avec succès. Après une présentation des couplages de bases sur $R^n$, je présenterai la structure sous-riemanienne du groupe d'Heisenberg, ainsi que de $SU(2,\mathbb{C})$ et $SL(2,\mathbb{R}$. Je présenterai ensuite une méthode de couplages avec succès proposée ces dernières années sur le groupe d'Heisenberg. Enfin, j'expliquerai comment ce modèle peut s'étendre (ou pas) à d'autres variétés sous-riemanniennes."

Le 15 décembre 2022 à 13:00

Salle de Conférences

Théo JEANNEAU null

"Titre : ""Etude et validation d'une approche cinétique couplée pour la modélisation du transfert multimodal et multi-échelle de chaleur en milieu hétérogène"". Directeur de thèse : Rodolphe Turpault. Co-directeurs : Bruno Dubroca et Gérard Louis Vignoles"

Le 15 décembre 2022 à 14:00

Salle 1

Mégane Bournissou (IMB) null

Problèmes de moments trigonométriques avec estimations simultanées

Dans cet exposé, on s'intéressera aux problèmes de moments dont une problématique générale peut être énoncée de la manière suivante : comment reconstruire une fonction à partir de ces moments ? On se demandera également si les constructions fournies permettent de contrôler la norme de la fonction par la norme de ces moments, et plus particulièrement, on cherchera à obtenir des estimations simultanément dans différents cadres fonctionnels. Cette théorie sera illustrée au travers de problématique de contrôlabilité sur des EDP : peut-on, au moyen d'une action sur un système, le contraindre à atteindre n'importe quelle cible ?

Le 15 décembre 2022 à 15:30

Salle 1

Romain Couillet (Grenoble) null

Pourquoi et comment démanteler l'IA et le numérique ?

"L'orateur sera en visio, mais nous nous réunirons en Salle 1 pour l'écouter et poursuivre avec un débat.
La civilisation occidentale est engagée depuis 10,000 ans dans un processus technicien, aujourd'hui verrouillé par une ontologie naturaliste (cette vision du monde qui fait de la ""nature"" le grand supermarché de l'humanité) qui entraîne dans son sillon les dynamiques exponentielles de l'idéologie productiviste, consumériste, extractiviste et coloniale. La conséquence immédiate en est la destruction des écosystèmes (6e extinction de masse, 30x plus rapide que l'extinction du Crétacé et s'accélérant) et le dérèglement des dynamiques géophysiques planétaires (réchauffement, déplétions minérales). De gré ou de force (pic pétrolier, pénuries de ressources, chocs environnementaux et alimentaires), la société occidentale telle que nous la connaissons s'effondrera, vraisemblablement au cours de notre génération. Les technologies numériques, dont le point d'orgue est l'intelligence artificielle (IA), contribuent tout à la fois à la destruction socio-environnementale mais surtout à la perte massive d'outils de résilience (interpénétration de tous les domaines techniques, dépendance au pétrole, dépendance aux machines, dépendance aux décisions automatiques) en vue de la transition post-industrielle (retour à la terre et à l'artisanat), comme l'illustre parfaitement le cas de Cuba en 1990. Dans cette présentation, je ferai un état des lieux de la situation du numérique et de l'IA, vus par Alexandre Monnin comme des technologies ""zombie"" (vivantes aujourd'hui mais de fait déjà mortes), et questionnerai les pistes de leur démantèlement nécessaire, de mon point de vue un axe prioritaire de la recherche numérique aujourd'hui. J'évoquerai ensuite la question anthropologique de l'ontologie naturaliste occidentale, absolument unique dans l'histoire de l'humanité, et en conflit avec les connaissances ethnographiques, de psychologie sociale et cognitive modernes: en un mot, nous n'avons pas besoin d'un nouveau récit pour le monde, mais de retisser les liens animistes avec le vivant qui sont une partie intégrante de notre ADN, aujourd'hui masquée par notre culture et nos tabous auto-destructeurs. Ce travail écopsychologique est, selon moi, la clé de voûte de l'engagement de tou·tes les chercheur·ses-ingénieur·es vers la transition nécessaire, enthousiaste, collective et interspécifique que nous devons mener."

Le 16 décembre 2022 à 10:45

Salle 2

Amandine Escalier (Université de Münster) null

Construire des équivalences orbitales à intégrabilité prescrite

On dit que deux groupes sont orbitalement équivalents (OE) si tous deux agissent sur un même espace de probabilité en partageant les mêmes orbites. Un célèbre résultat dOrnstein et Weiss stipule que tout groupe moyennable infini, de type fini est OE à ${\mathbb Z}$. Autrement dit : léquivalence orbitale ne tient pas compte de la géométrie des groupes. Cest pourquoi dans un récent article Delabie, Koivisto, Le Maître et Tessera proposent daffiner cette relation avec une version quantitative de léquivalence orbitale. Ils obtiennent en outre des obstructions à lexistence de telles équivalences à laide du profil isopérimétrique. Nous nous intéresserons dans cet exposé au problème inverse de la quantification, à savoir : peut-on trouver un groupe qui est OE à un groupe prescrit avec quantification prescrite ? En utilisant les produits diagonaux introduits par Brieussel et Zheng, nous proposerons une réponse dans le cas dune OE avec ${\mathbb Z}$ et discuterons loptimalité du théorème de monotonie du profil isopérimétrique.

Le 16 décembre 2022 à 14:00

Salle de Conférences

Emanuele Tron (IMB) null

Soutenance de Thèse : Problèmes d'intersections improbables en arithmétique

Dans cette thèse on considère quelques problèmes provenant de la théorie des intersections improbables qui peuvent être résolus avec des méthodes principalement arithmétiques. Dans le premier chapitre, on considère un problème de type André-Oort dont la preuve non-effective a été donnée par Pila et Tsimerman. Ici on démontre le cas n=3 effectif de leur théorème en bornant les triplets de modules singuliers qui sont multiplicativement dépendants. La démonstration combine une analyse détaillée des propriétés archimédiennes du j-invariant avec des arguments galoisiens pour établir une relation linéaire entre les exposants. Dans le deuxième chapitre, on donne une borne de type Bugeaud-Corvaja-Zannier pour le groupe algébrique G_a x G_m dont la preuve est élémentaire. Dans le troisième chapitre, on continue l'étude des problèmes de PGCD pour les groupes algébriques, et on montre la propriété d'Ailon-Rudnick forte pour G_a x G_m. On considère ensuite le groupe G_a x E où E est une courbe elliptique, pour lequel on peut définir une suite de PGCD indexée par les idéaux de l'anneau de multiplication complexe. On démontre une propriété de Ailon-Rudnick analogue pour cette suite généralisée. La preuve combine des arguments élémentaires de crible avec l'étude des réductions de E.

Le 16 décembre 2022 à 14:00