> >
La semaine de l’IMB
Le 1er décembre 2023
à 14:00
au 11 décembre 2023
à 14:00
BLOC NOTES
IMB
Cellule Informatique IMB
Interruptions informatiques le lundi 4 décembre de 4H à 10H et le lundi 11 décembre de 9H à 12H
Le serveur bureau/servisu et l'espace de stockage des scratchs seront inaccessibles
Le 11 décembre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférences
Marius Tucsnak IMB
More on time optimal controls
We first summarize the main abstract result presented one year ago. We then discuss its applications to Schrödinger and Kirchhoff systems. We end up by stating several open questions.
Le 12 décembre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Nicolas Sarkis IMB
Computing 2-isogenies between Kummer lines
One of the best arithmetics on elliptic curves involves Montgomery xz-coordinates, which are used in several cryptographic protocols such as ECDSA or ECDH. These coordinates also offer fast computations of 2- and 4-isogenies, used in several protocols like it was the case with SIDH, both for doubling and images of points, so improving isogeny formulas also improves scalar products on an elliptic curve. We realized there was a more general theory of Kummer lines under which xz-coordinates fall.
In this talk, we will describe the general framework of Kummer lines, based on two families of examples: Montgomery xz-coordinates and theta models. We will then explain how to find 2-isogeny formulas, whether they were already known or new, and how we mixed them to improve elliptic curve arithmetic.
Le 12 décembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Arthur Touati IHES
Initial data for Minkowski stability with arbitrary decay
In this talk, I will present a construction of arbitrarily decaying initial data for the stability of Minkowski spacetime as solutions to the Einstein equations. Initial data on a spacelike hypersurface need to solve the so-called constraint equations, i.e a geometric nonlinear underdetermined elliptic system. I will show how one can parametrize solutions in a neighborhood of Minkowski spacetime and address linear obstructions coming from conservation laws in general relativity. This is a joint work with Allen Juntao Fang and Jérémie Szeftel.
Le 14 décembre 2023
à 11:00
Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
Salle 2, IMB
Francois Clautiaux Universite de Bordeaux
Models and algorithms for configuring and testing prototype cars
In this presentation, we consider a new industrial problem, which occurs in the context of the automobile industry. This problem occurs during the testing phase of a new vehicle. It involves determining all the variants of the vehicle to be manufactured in order to carry out these tests, and scheduling these tests over time. We model this problem as a new scheduling scheduling problem. Given a set of machines, and a set of jobs, we seek a fixed configuration for each machine (i.e. a set of values for various parameters), and an assignment of jobs to machines along the time horizon that respects compatibility constraints between jobs and machine configurations. Two objectives are lexicographically optimized: the number of late jobs, and the number of machines used. This problem involves a notion of configuration that is not addressed in the literature. First we prove that even finding a feasible solution for the problem is NP-hard, and characterize the cases where compatibility constraints amount to ensuring that only pairwise compatible jobs are assigned to each machine. We then propose a mathematical model for this problem, and a reformulation into a path-flow formulation. To deal with the new notion of configuration, we propose a refined labelling algorithm embedded in a column-and-row generation algorithm to generate primal and dual bounds from this formulation. We conducted computational experiments on industrial data from Renault, and compared our results with those obtained by solving a constraint programming model provided by the company. Our approach finds better solutions than those obtained by the company, and proves the optimality for all instances of our benchmark for the first objective function. We also obtain small optimality gaps for the second objective function.
Le 14 décembre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de conférénces
Camille Castera University of Tübingen
Second-order algorithms for large-scale optimization and deep learning
Non-convex non-smooth optimization has gained a lot of interest due to the efficiency of neural networks in many practical applications and the need to "train" them. Training amounts to solving very large-scale optimization problems. In this context, standard algorithms almost exclusively rely on inexact (sub-)gradients through automatic differentiation and mini-batch sub-sampling. As a result, first-order methods (SGD, ADAM, etc.) remain the most used ones to train neural networks.
Driven by a dynamical system approach, we build INNA, an inertial and Newtonian algorithm, exploiting second-order information on the function only by means of first-order automatic differentiation and mini-batch sub-sampling. By analyzing together the dynamical system and INNA, we prove the almost-sure convergence of the algorithm. We discuss practical considerations and empirical results on deep learning experiments.
We finally depart from non-smooth optimization and provide insights into recent results that pave the way for designing faster second-order methods.
Le 14 décembre 2023
à 14:00
Soutenance de thèse
Salle de conférences
Niami NASR IMB
Titre de la thèse :"Méthodes numériques pour la tomographie par impédance électrique dans le cadre de l'électrocardiographie". Directrice de thèse : Lisl Weynans
Le 14 décembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Coquerelle Mathieu I2M
[Séminaire CSM] Des avancées récentes des méthodes numériques d’ordre élevé pour les écoulements diphasiques : modèles one-fluid et level set. Applications aux vagues et gouttes d'eau dans le code de calcul massivement parallèle Notus
Les codes de calcul sur maillages structurés bénéficient de l'avantage majeur de permettre, et nécessiter l'utilisation de schémas numériques d'ordres élevés. Pour les écoulements diphasiques, notamment pour les vagues, la présence d'une interface franche où les sauts de masse volumique, viscosité et pression, dû à la tension superficielle, sont souvent très grands requiert un soin particulier et des méthodes idoines. L'approche eulérienne basée sur le modèle one-fluid (OF) est simple à mettre en place et donne des résultats tout à fait satisfaisants... jusqu'à un certain niveau de discrétisation, aujourd'hui rapidement atteint par les maillages très fins nécessaires pour des applications pointues. Nous verrons qu'en revisitant l'intégration des équations de Navier-Stokes, les approches récentes basées sur le transport cohérent de la masse et de la quantité de mouvement sont indispensables pour réduire les erreurs numériques de transferts d'une phase à l'autre, cause d'instabilités, voire de divergence des calculs.
Autre ingrédient fondamental, le modèle de représentation de l'interface est crucial pour capter la richesse de la dynamique de la surface libre. Parmi les familles de méthodes existantes, les Level Set (LS) sont couramment employées, notamment pour les écoulements impliquant des phénomènes capillaires non négligeables. Elles souffrent toutefois d'un problème récurent : le besoin de réinitialiser régulièrement le champ LS pour garantir sa qualité sur les longs temps. La paramétrisation des stratégies basées sur les équations d'Hamilton-Jacobi (HJ) reste encore très sensible à la paramétrisation, aux conditions de bord, et garantit difficilement la stabilité. Nous proposons une approche originale, géométrique, basée sur le principe des closest-points, qui, a l'avantage de pouvoir être appliquée à chaque pas de temps, tout en offrant la même précision que les méthodes HJ+WENO5. Nous en profiterons pour présenter, en aparté, une discussion sur la nécessité d'user des schémas d'ordre élevé pour calculer la courbure de l'interface pour les forces de tension superficielle, critère rarement atteint par les méthodes de type VOF ou MOF.
Nous présenterons l'application de ces travaux à des simulations de vagues et de gouttes de pluie, permettant de reproduire des phénomènes très fins, du déferlement à la capture de poches et bulles d'air sous la surface, participant aux échanges océan-atmosphère. Ces résultats ont été obtenus grâce au code volumes-finis massivement parallèle Notus CFD développé à l'I2M, plate-forme commune de développement de méthodes et d'expérimentation numérique.
Le 14 décembre 2023
à 15:30
Le Colloquium
Salle 1
Samuel Petite (Université de Picardie)
Centralisateurs de sous-shifts
Un système dynamique (topologique) est la donnée d’un homéomorphisme T sur un espace métrique compact X. Un problème classique consiste à étudier le centralisateur de T i.e., le groupe des transformations commutant avec T. Nous nous concentrerons sur les systèmes symboliques engendrés par des sous-shifts, ou sous-décalage, qui forment une classe riche de systèmes dynamiques offrant une diversité de comportements. Après avoir évoqué les motivations, nous présenterons un survol de résultats récents obtenus dans ce contexte, mettant en lumière comment les propriétés topologiques du système (complexité, minimalité, etc) influent sur ce groupe.
Le 15 décembre 2023
à 10:45
Séminaire de Géométrie
Salle 2
Arnaud Chéritat (Toulouse)
Redressement des champs d'ellipses : une nouvelle preuve du théorème d'Ahlfors-Bers
Le théorème d'Ahlfors-Bers énonce la dépendance holomorphe du redressement d'un champ d'ellipses quand le champ dépend holomorphiquement d'un paramètre et est un point crucial de plusieurs preuves en dynamique holomorphe et chez les groupes Kleiniens. Sa preuve classique repose sur l'étude d'un opérateur de convolution à noyau singulier. En considérant une suite de surfaces de similitude, on peut en donner une preuve plus géométrique. Si le temps le permet je décrirai un objet limite inattendu dans le cas où le champ d'ellipses est suffisamment lisse.
Afficher tous les événements à venir