Séminaires de l'année


Lien ical.

François Vilar, Université de Montpellier. 1:00:00 21 février 2025 11:30 TLR edp
Schémas monolithiques GD/VF de sous-mailles : préservation des propriétés convexes et stabilités entropiques
Abstract

Cette présentation vise à introduire un schéma monolithique GD/VF (Galerkin Discontinu/Volumes Finis) préservant les propriétés convexes (principes du maximum, positivité, entropie, ...) pour la résolution des systèmes de lois de conservation sur maillages non-structurés. Il est bien connu que les méthodes Galerkin discontinue (GD) nécessitent une limitation non linéaire pour éviter les oscillations parasites ou les instabilités non linéaires, susceptibles de provoquer l´arrêt anticipé du code de simulation. L'idée principale de ce travail est d'améliorer la robustesse des schémas GD tout en préservant autant que possible leur grande précision et leur résolution de sous-maille. Pour ce faire, une combinaison convexe entre un schéma GD d'ordre élevé et un schéma volumes finis (VF) d'ordre un sera localement effectué, à l'échelle des sous-mailles, où cela sera nécessaire. À cette fin, nous prouverons tout d'abord qu'il est possible de réécrire un schéma GD comme un schéma VF défini sur un sous-maillage, en introduisant des flux numériques spécifiques, qu'on appellera flux reconstruits GD. Le schéma monolithique GD/VF sera alors défini de la manière suivante : à chaque face de chaque sous-cellule seront assignés deux flux, un flux VF d'ordre un et un flux reconstruit d'ordre élevé, qui seront finalement combinés de manière convexe. L'objectif est alors de déterminer, par analyse, les coefficients de combinaison optimaux pour atteindre les propriétés souhaitées (par exemple, positivité, absence d´oscillations, inégalités d´entropie) tout en préservant la grande précision du schéma. Des résultats numériques sur divers types de problèmes hyperboliques seront présentés pour évaluer les performances de la méthode proposée.

Grâce à ce formalisme monolithique, nous tenterons de répondre à certaines questions : est-il possible d'assurer une stabilité entropique ? de quelle stabilité entropique parlons-nous (discrète, semi-discrète, de maille, de sous-maille, pour quelle entropie, ...) ? quels sont les coûts de telles stabilités (en terme de précision ou de perte d'autres propriétés) ? À quel point est-ce essentiel pour les problèmes qui nous intéressent ? Nous présenterons différents résultats numériques pour tenter de partiellement répondre à ces questions

Daniel PANAZZOLO, Université de Haute Alsace (Mulhouse). 2:00:00 20 février 2025 14:00 TLR geo
Solutions de l'équation $a_n+(a_{n−1}+⋯(a_2+(a_1+x^{r_1})^{r_2}⋯)^{r_n}=b x$
Abstract

Nous discuterons de certains problèmes en systèmes dynamiques où ces équations apparaissent et nous présenterons une méthode permettant d’obtenir une borne supérieure du nombre de solutions réelles à l’aide d’un algorithme de dérivation-division. Nous montrerons que cet algorithme conduit également à un nouvel ensemble de fonctions de Chebyshev spécifiquement adaptées aux problèmes de dynamique.

Karim Nour, Equipe LIMD. 2:00:00 20 février 2025 09:30 TLR limd
Introduction au mu-calcul
Abstract

Le but de mon exposé est de vous présenter mon thème de recherche, qui était également celui de l'équipe de logique lors de sa création. L'objectif est d'étudier la relation entre les démonstrations mathématiques complètement formalisées et la programmation à l'aide d'un langage fonctionnel très basique.

Plusieurs questions nous intéressent dans ce domaine :

  • Comment programmer correctement des fonctions sur des types de données ?
  • Comment extraire le contenu algorithmique des preuves mathématiques ?
  • Quelles sont les propriétés de cette relation entre preuves et programmes ?

L'exposé sera en français, avec des diapositives en anglais, et ne nécessitera pas de connaissances avancées dans ce domaine.

Adriano Festa, Politecnico di Torino, Italy. 1:00:00 14 février 2025 11:30 TLR edp
A network model for urban planning
Abstract

In this seminar we present a mathematical model to describe the evolution of a city, which is determined by the interaction of two large populations of agents, workers and firms. The map of the city is described by a network with the edges representing at the same time residential areas and communication routes. The two populations compete for space while interacting through the labour market. The resulting model is described by a two population Mean-Field Game system coupled with an Optimal Transport problem. We prove existence and uniqueness of the solution and we provide some numerical tools to develop several numerical simulations. This is a joint work with Fabio Camilli (Sapienza Roma) and Luciano Marzufero (Libera Università di Bolzano).

Srijani Mukherjee, équipe LIMD. 2:00:00 13 février 2025 10:00 TLR limd
Graph-Oriented Information Fusion for Solar PV Performance Analysis
Abstract

Solar photovoltaic (PV) systems are complex, dynamic systems influenced by a wide range of environmental and operational factors. Accurately modelling their performance and detecting anomalies require integrating diverse data sources and capturing intricate dependencies. In this talk will present a graph-oriented information fusion framework designed to enhance solar PV performance analysis. The framework begins with the analysis of temperature and irradiance data using graph-based techniques, which are then extended to incorporate additional PV parameters such as module temperature, ambient air temperature, global shortwave and longwave radiation, and power output. By constructing temporal graphs, the framework captures both spatial and temporal dependencies, enabling a holistic understanding of system behaviour under varying conditions. This talk will explain the development of a Temporal Graph Neural Network (TGN) model that leverages these fused data sources for performance prediction and anomaly detection. The TGN model integrates Graph Convolutional Networks (GCNs) and Gated Recurrent Units (GRUs) to simultaneously model spatial and temporal dependencies, offering a robust approach to analyse complex PV system dynamics. The talk will highlight the mathematical foundations of the framework, including network analysis, information fusion, and deep learning, and demonstrate its practical applications in solar PV diagnostics. By combining diverse data sources and advanced graph-based techniques, this framework provides a powerful tool for improving the reliability and efficiency of solar energy systems.

Victor Michel-Dansac, INRIA, IRMA, Strasbourg. 1:00:00 7 février 2025 11:30 TLR edp
Hybrid methods for elliptic and hyperbolic PDEs
Abstract

The goal of this talk is to give an overview of two new results in the development of hybrid methods for elliptic and hyperbolic partial differential equations (PDEs). A hybrid method combines classical numerical analysis techniques (finite element method (FEM), discontinuous Galerkin (DG), ...) with tools from machine learning (ML). The first part of this talk is dedicated to a broad presentation of such ML tools, including a common framework to represent PDE approximators, be they classical or ML-based. Then, in a second part, we explain how to use a physics-informed prior to lower the error constant of the FEM while keeping the same order of accuracy. Thanks to the FEM framework applied to elliptic PDEs, we rigorously prove that our correction improves the FEM error constant by a factor depending on the prior quality. If time permits, in a third part, we discuss how to enhance the DG basis with physics-informed priors, to increase the resolution of near-equilibrium solutions to hyperbolic systems of balance laws. Once again, we rigorously prove that the error constant is improved. Numerical illustrations will be present throughout the presentation, to validate our results.

Jules Armand, LIMD. 2:00:00 30 janvier 2025 10:00 TLR limd
Reconstruction des circuits arithmétiques génériques de profondeur constante.
Abstract

Les circuits arithmétiques sont un modèle de calcul des polynômes multivariés sur un corps $\mathbb{K}$. Des problèmes classiques difficiles sur les circuits sont notamment les questions de calcul de bornes inférieures (quelle est la taille minimale d'un circuit calculant un certain polynôme), de test d'identité (donné un circuit, quelle est la complexité de tester si ce circuit calcule le polynôme identiquement nul) ou de reconstruction (Étant donné un accès oracle à un polynôme $f$ calculé par un certain circuit $C$, peut-on reconstruire un circuit similaire $C'$ calculant $f$). On se penchera sur le dernier problème. La question de la reconstruction est ouverte dans le cas général mais il existe des méthodes de reconstruction pour certaines classes de circuits et notamment pour des sous-familles de profondeur constante.

Etienne Moutot, CR CNRS - équipe GDAC à l'I2M, Aix-Marseille. 2:00:00 23 janvier 2025 10:00 TLR limd
Compter des couplages parfait en réécrivant des graphes
Abstract

Les langages graphiques sont des formalismes de plus en plus utilisés dans le contexte de l'informatique quantique. Ils permettent de faire des calculs sans utiliser d'équations, uniquement par des opérations de réécriture de diagrammes. Dans cet exposés, je commencerai par une petite introduction douce au ZW-calcul, inventé en 2010 par Coecke and Kissinger. Je montrerai que ce langage graphique peut être utilisé pour traiter des problème complètement combinatoires (et "classiques"), comme le comptage de couplages parfaits dans des graphes. En utilisant ce formalisme, nous sommes parvenus (avec Titouan Carette, Thomas Perez et Renaud Vilmart) à une nouvelle technique permettant de compter les couplages parfaits d'un graphe planaire en un nombre polynomial d'opérations (un résultat dû à Kasteleyn en 1967 en utilisant la notion d'orientations Pfaffiennes).

Philippe Helluy, IRMA, Strasbourg. 1:00:00 17 janvier 2025 11:30 edp
Schéma ALE aléatoire pour les écoulements bifluides compressibles. Application à la simulation du déferlement.
Abstract

Le modèle Euler compressible bifluide ne présente pas de difficultés théoriques supplémentaires comparé au cas monofluide. Mais sa résolution numérique est notoirement plus difficile à cause du phénomène d'oscillations de pression à l'interface entre fluides. Nous présentons une approche basée sur un échantillonnage aléatoire "à la Glimm" à l'interface, qui permet de s'affranchir de ce défaut. Le schéma obtenu est applicable à des maillages non structurés, il a d'excellentes propriétés de robustesse et de convergence. Nous l'appliquons à des cas de déferlement.

Antoine Dailly, INRAE. 2:00:00 16 janvier 2025 10:00 TLR limd
Un canadien voyage sur un graphe planaire extérieur...
Abstract

Le Voyageur Canadien essaye, dans un graphe pondéré donné, d'aller d'un sommet à un autre. Mais certaines arêtes sont bloquées ; il les découvre en visitant une de leurs extrémités. Une façon d'évaluer la stratégie du voyageur est de chercher à minimiser le ratio entre la distance parcourue et celle qui l'aurait été avec l'information parfaite : c'est le ratio compétitif. Il est connu qu'aucune stratégie ne peut avoir de ratio compétitif meilleur que 2k+1 (où k est le nombre d'arêtes bloquées), même dans les graphes planaires non-pondérés de largeur arborescente 2.

Nous étudions le cas des graphes planaires extérieurs, où nous déterminons une stratégie ayant ratio compétitif 9 dans le cas non-pondéré (ce qui implique un ratio constant lorsque l'écart entre les pondérations est borné). Nous montrons aussi que cette valeur de 9 est une borne inférieure : il existe une famille sur laquelle aucune stratégie ne peut avoir de ratio compétitif 9-epsilon. Enfin, nous montrons que le ratio compétitif ne peut pas être borné dans les graphes planaires extérieurs arbitrairement pondérés.

Rémi REBOULET, CNRS - Univ. Lyon I. 2:00:00 9 janvier 2025 14:00 TLR geo
Une version de la conjecture de Yau--Tian--Donaldson via la théorie géométrique des invariants
Abstract

La conjecture de Yau--Tian--Donaldson (YTD) propose un critère purement algébrique pour détecter l'existence de métriques kählériennes à courbure scalaire constante sur une variété projective. Si elle est résolue dans le cas Fano, sa version générale demeure ouverte à ce jour. Nous fournissons une réponse positive à une conjecture de Tian, vérifiant une étape de son programme visant à résoudre la conjecture de YTD générale. Nous nous appuyons sur des travaux de Paul concernant la stabilité des paires (qui généralise la notion de stabilité au sens de la théorie géométrique des invariants), ainsi que sur la notion d'arc pour une variété projective - dont l'intérêt dans le cadre de cette conjecture a autrefois été suggéré par Donaldson et Wang. Cet exposé se base sur des travaux en commun avec Ruadhai Dervan.

Rim El Cheikh, Sur les problèmes mathématiques et numériques en dynamique des fluides: modèles asymptotiques pour les flux pulsatiles dans les vaisseaux cylindriques déformables. 2:00:00 20 décembre 2024 09:00 edp
Ariane TRESCASES, Institut de Mathématiques de Toulouse. 1:00:00 19 décembre 2024 10:00 edp
Un modèle multi-tissus visqueux pour la croissance des tissus avec ségrégation forcée
Abstract

Pendant l'élongation de l’axe de l'embryon de vertébré, on observe, grâce à l’imagerie live, un phénomène de turbulence cellulaire dans les différents tissus embryonnaires. Nous proposons un modèle mécanique en 2D pour modéliser la croissance des tissus pendant l'élongation de l'embryon, qui permet de retrouver ces flux turbulents à travers un rotationnel non trivial pour les vitesses des tissus. Une autre spécificité de ce modèle est que la ségrégation entre les tissus est assurée par une pression de ségrégation. Après avoir déterminé (formellement) la limite incompressible, nous étudions le comportement qualitatif à la limite et discutons d'un effet fantôme.

Pierre Gonin Joubert, Université Claude Bernard Lyon 1. 1:00:00 6 décembre 2024 11:30 edp
Homogénéisation pour des fluides compressibles
Abstract

Plusieurs modèles physiques permettent de comprendre la dynamique des mélanges de fluides, parmi lesquels figurent les modèles dits de Baer-Nunziato. Les équations aux dérivées partielles associées à ces modèles ressemblent à celles de Navier-Stokes, avec, en plus, de nouveaux termes de relaxation.

Une stratégie pour obtenir ces modèles est l'homogénéisation : à partir d'un mélange mésoscopique, où deux fluides purs satisfaisant les équations de Navier-Stokes compressibles se répartissent l'espace, on effectue un changement d'échelle pour obtenir un mélange macroscopique, où, en chaque point de l'espace, les deux fluides peuvent coexister.

Ce problème relève de l'étude des équations de Navier-Stokes avec des données initiales fortement oscillantes. On commencera donc par expliquer certains résultats dans ce cadre de travail, en dimension un d'espace et sur le tore, d'abord pour des fluides barotropes, puis pour des gaz parfaits non barotropes. On détaillera ensuite les différentes étapes de la démonstration de l'homogénéisation.

Vincent BAGAYOKO, IMJ - Paris Cité. 2:00:00 5 décembre 2024 14:00 TLR geo
Groupes ordonnés de germes dans les corps de Hardy
Abstract

Un corps de Hardy est un corps différentiel, pour les opérations point par point, de germes à l'infini de fonctions réelles définies sur des voisinages de l'infini. Si son sous-ensemble des germes de fonctions tendant vers l'infini à l'infini est stable par composition et inversion fonctionnelle des germes, alors cet ensemble a une structure de groupe totalement ordonné. Il n'est certes pas commutatif, mais présente des traits commutatifs permettant de simplifier l'étude d'équations et inégalités fonctionnelles, relativement à leur étude dans des groupes ordonnés généraux. Je définirai ces objets et notions, et présenterai des propriétés élémentaires de ces groupes ordonnés de germes. Je montrerai comment résoudre des équations fonctionnelles sur ces groupes dans des extensions qui sont des groupes de séries formelles généralisées, comme les transséries.

Loïc Pujet, University of Stockholm, Department of mathematics. 2:00:00 5 décembre 2024 10:00 TLR limd
"Si ça marche, chante et vole comme un Coq, alors c'est un Coq" ~ Étendre Coq avec le Pouvoir de l'Observation
Abstract

La théorie des types observationnelle (OTT) est une extension de la théorie des types dépendants conçue par Altenkirch et McBride dans les années 2000. L'idée centrale d'OTT est qu'en modifiant le concept d'égalité, il devient possible d'avoir des types quotients et des fonctions extensionnelles sans compromettre le caractère constructif de la théorie des types dépendants.

Lors de cet exposé, j'expliquerai comment combiner la théorie observationnelle d'Altenkirch et McBride avec le Calcul des Constructions, la théorie des types qui sous-tend l'assistant à la preuve Coq. En particulier, j'expliquerai comment caractériser l'égalité des types inductifs de Coq, et comment les éliminateurs des types indexés utilisent une règle de calcul délicate à intégrer à la théorie.

Si le temps le permet, j'en profiterai pour faire une démonstration de la branche expérimentale Coq-observationnel, et pour discuter d'avancées récentes dans la sémantique ensembliste de la théorie des types observationnelle.

Loïs FAISANT, IST Austria. 2:00:00 21 novembre 2024 14:00 TLR geo
Une formule de Poisson motivique pour les tores algébriques
Abstract

Les compactifications équivariantes de groupes, comme les variétés toriques ou les compactifications d’espaces vectoriels, sont des familles-tests régulièrement mises à contribution dans l’étude de la répartition des points rationnels sur les variétés algébriques (conjecture de Manin-Peyre).

Notamment, à la fin des années 90, l’emploi d’outils d'analyse harmonique a permis à Victor Batyrev et Yuri Tschinkel d’établir une formule asymptotique pour le nombre de points rationnels de hauteur anticanonique bornée sur une variété torique, en faisant un usage clef d’une formule de Poisson adélique. Puis, au début des années 2000, ce résultat a été étendu aux corps de fonction de charactérique positive par David Bourqui. Un peu plus tard encore, une approche similaire a permis à Antoine Chambert-Loir et Yuri Tschinkel de traiter le cas des compactifications équivariantes d’espaces vectoriels sur un corps de nombres.

Ces dix dernières années, une version motivique additive de ces outils et résultats pour les compactifications d’espaces vectoriel a été développée successivement par Antoine Chambert-Loir et François Loeser puis Margaret Bilu, ce qui a servi de base à la formulation d’un principe de Manin-Peyre dans une version motivique.

L’objet de cet exposé est le fruit d'un travail en collaboration avec Margaret Bilu dans lequel nous développons une version motivique multiplicative de cette approche, laquelle nous permet de démontrer un phénomène de stabilisation motivique dans l’espace de module des morphismes d’une courbe lisse projective complexe quelconque vers une variété torique.

Walter Boscheri, . 2:00:00 19 novembre 2024 10:00 edp
Soutenance HDR: Structure Preserving schemes for hyperbolic systems: asymptotic limits, involutions and thermodynamics.
Abstract

Dynamic processes in continuum physics are modeled using time-dependent partial differential equations (PDE), which are based on the conservation of some physical quantities, such as mass, momentum and energy. Depending on the physical phenomenon under consideration, the governing equations can exhibit some mathematical structures like differential constraints, algebraic relations, physical admissible states as well as asymptotic limits and thermodynamics compatibility. An interesting class of mathematical models is provided by symmetric hyperbolic systems that intrinsically imply all the structures listed above. When passing at the discrete level, the exact satisfaction of these structural properties is not automatically guaranteed, thus Structure Preserving numerical schemes have recently emerged with the aim of exactly discretizing at least a subset of these constraints. We will investigate and present some of our research activity carried out in the framework of the development of Structure Preserving schemes, focusing on recent contributions delivered in the last three years. In particular, we will address asymptotic preserving schemes for low Mach flows, div-curl and curl-grad preserving operators for discontinuous Galerkin methods, and a novel geometric and thermodynamically compatible finite volume method for continuum mechanics.

Elisabeth Charlaix et Cyril Picard, LIPhy, Université Grenoble Alpes. 2:00:00 15 novembre 2024 11:30 edp
Harvesting energy of saline gradients: approaches at LiPhy
Abstract

The energy of saline gradients is a very promising source of non-intermittent renewable energy, the exploitation of which is hampered by the lack of economically viable technology. The most investigated harvesting methods rely on selective transport of ions or water molecules through semi-permeable or ion-selective membranes, which demonstrate limited power densities of the order of a few W/m2. While in the last decade single nanofluidic objects such as nanopores of nanotubes have opened up very promising prospects with power density capabilities in the kW or even MW/m2, scale-up efforts face serious issues, as concentration polarization phenomena result in a massive loss of performance.

At the LiPhy we work on a concept of nanofluidic exchanger for power generation from saline gradients, focused on designing a nanoscale flow able to harvest the power at the output of the nanopores. We will present the study of a simple exchanger made of a selective nanoslit fed by a nanofluidic assembly. One specific feature of such an exchanger relies on the non-linear ion fluxes through the nanoslit, according to the so-called 1D Poisson-Nernt Planck equations. Such an elemental brick could be massively parallelized in stackable electricity-generating layers using standard technologies of the semi-conductors industry. We demonstrate here a scheme for rationalizing the choice of the exchanger parameters, taking into account the transport properties at all scales. The simplified numerical resolution of the three-dimensional device shows that net power densities of 300 W/m2 and more can be achieved.

Yannick Mogge, Hamburg University of Technology. 2:00:00 14 novembre 2024 10:00 TLR limd
Speed and size of dominating sets in domination games
Abstract

We consider Maker-Breaker domination games, a variety of positional games, in which two players (Dominator and Staller) alternately claim vertices of a given graph. Dominator's goal is to fully claim all vertices of a dominating set, while Staller tries to prevent Dominator from doing so, or at least tries to delay Dominator's win for as long as possible.

We prove a variety of results about domination games, including the number of turns Dominator needs to win and the size of a smallest dominating set that Dominator can occupy. We could also show that speed and size can be far apart, and we prove further non-intuitive statements about the general behaviour of such games.

We also consider the Waiter-Client version of such games.

Co-authors (all from Hamburg University of Technology as well): Ali Deniz Bagdas, Dennis Clemens, Fabian Hamann