IMB > Informations générales > Agendas
Le 28 septembre 2023
à 09:30
Groupe de Travail EDP et Théorie Spectrale
Salle 2
Vincent Bruneau (GT spectral)
Graphène, Dirac, champ magnétique & co
Nous exposerons comment l'opérateur de Dirac intervient dans des modèles de graphène et les questions spectrales qui se posent. Nous décrirons l'influence d'un champ magnétique sur le spectre de l'opérateur de Dirac et le lien avec les opérateurs de Schrödinger.
Le 28 septembre 2023
à 11:00
Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
Salle 2, IMB
Liding Xu Optimix\, Ecole Polytechnique
Cutting planes for signomial programming
Cutting planes are of crucial importance when solving nonconvex nonlinear programs to global optimality, for example using the spatial branch-and-bound algorithms. In this paper, we discuss the generation of cutting planes for signomial programming. Many global optimization algorithms lift signomial programs into an extended formulation such that these algorithms can construct relaxations of the signomial program by outer approximations of the lifted set encoding nonconvex signomial term sets, i.e., hypographs, or epigraphs of signomial terms. We show that any signomial term set can be transformed into the subset of the difference of two concave power functions, from which we derive two kinds of valid linear inequalities. Intersection cuts are constructed using signomial term-free sets which do not contain any point of the signomial term set in their interior. We show that these signomial term-free sets are maximal in the nonnegative orthant, and use them to derive intersection sets. We then convexify a concave power function in the reformulation of the signomial term set, resulting in a convex set containing the signomial term set. This convex outer approximation is constructed in an extended space, and we separate a class of valid linear inequalities by projection from this approximation. We implement the valid inequalities in a global optimization solver and test them on MINLPLib instances. Our results show that both types of valid inequalities provide comparable reductions in running time, number of search nodes, and duality gap.
Le 28 septembre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Conférences
Julio Backhoff University of Vienna
Bass Martingales: existence, duality, and their properties.
Motivated by robust mathematical finance, and also taking inspiration from the field of Optimal Transport, we ask:
What is the martingale, with prescribed initial and terminal marginal distributions, which is closest to Brownian motion?
Under suitable assumptions the answer to this question, in any dimension, is provided by the so-called Bass martingales. To imagine what these are, one pictures an underlying Brownian motion which is stretched in space in an order-preserving and martingale-preserving way. In this talk we discuss the properties of Bass martingales, their existence, and the duality theory required to study them. Talk based on joint work with Beiglböck, Schachermayer and Tschiderer.
Le 28 septembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Bérénice Grec Paris-Cite MAP5
[Séminaire CSM] Modélisation d’un fluide diphasique à faible nombre de Mach avec forts transferts de chaleur
Dans cet exposé, nous nous intéressons à la modélisation de l’écoulement du fluide caloporteur (eau) dans un coeur de réacteur nucléaire.
Pour cela, je présenterai tout d’abord un modèle simplifié à faible nombre de Mach « à 3 équations » (obtenu comme limite asymptotique à bas nombre de Mach d’un modèle compressible, le modèle HEM), qui repose sur la décomposition du champ de pression en une pression thermodynamique (qui intervient dans l’équation d’état) et une pression dynamique (dans l’équation de quantité de mouvement). Cette décomposition présente de nombreux avantages, à la fois du point de l’obtention de solutions exactes et asymptotiques, mais aussi du point de vue numérique.
Par la suite, nous étudions un nouveau modèle (« à 4 équations ») décrivant le comportement d’un fluide diphasique à faible nombre de Mach, qui peut être obtenu comme la limite asymptotique à bas nombre de Mach du modèle HRM. Après avoir décrit quelques propriétés du modèle, nous montrons la convergence formelle de ce modèle vers le modèle précédent « à 3 équations » dans le régime de relaxation instantanée. Nous introduisons un schéma préservant l’asymptotique permettant des simulations numériques du couplage spatial entre deux régions présentant des temps caractéristiques de relaxation différents.
Il s’agit de travaux en collaboration avec Stéphane Dellacherie, Gloria Faccanoni et Yohan Penel.
Le 29 septembre 2023
à 10:45
Séminaire de Géométrie
Salle 2
Benoît Cadorel (Nancy)
Hyperbolicité et représentations du groupe fondamental : le cas ouvert
Il est maintenant bien établi que les variétés complexes dont le groupe fondamental admet de "grosses" représentations tendent à avoir de fortes propriétés d'hyperbolicité complexe. Cela a mené dans les dernières années à d'importants travaux de Campana, Claudon, Eyssidieux, Brunebarbe, Deng, Yamanoi...
Je présenterai ici un travail en commun avec Y. Deng et K. Yamanoi, dans lequel on montre notamment de telles propriétés d'hyperbolicité algébrique et transcendante pour des variétés quasi-projectives, sous l'hypothèse de l'existence d'une telle représentation. Comme souvent dans cette théorie, la preuve repose sur des outils de nature archimédienne (la théorie des variations de structures de Hodge) et non-archimédienne (utilisant les applications harmoniques à valeurs dans les immeubles), qu'il s'agit de développer ici dans un cadre ouvert.
Le 29 septembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Sophie Marques (Stellenbosch University)
La géométrie des espaces de modules : classification des extensions de corps à isomorphisme près
Dans cet exposé, on se focalise sur la classification des extensions de corps à isomorphisme près, une tâche qui nécessite la création d'un système de classification solide. L'objectif est de mieux comprendre la structure des extensions de corps en étudiant les familles de polynômes associées. L'analyse s'approfondit en examinant les cas
spécifiques des extensions cubiques, quartiques et radicales, y compris celles qui ne sont pas nécessairement galoisiennes, en introduisant des concepts tel que la fermeture radicale et l'Artin-Schreier. Pour faire cela, une attention particulière est portée aux extensions cyclotomiques.
(joint with Jacob Ward, Mpendulo Cele, Elizabeth Merma, Chad Brache)
Le 2 octobre 2023
à 14:00
Groupe de Travail Analyse
Salle 1
Andreas Hartmann IMB
Autour du d-bar, épisode 3 - suite et fin
In the previous talks we have seen that in certain problems in complex analysis, one can try to first construct a smooth $($not analytic$)$ solution to the initial problem with the required properties, which is is in general a rather easy task. In a second step one tries to correct the solution to make it holomorphic maintaining the main properties of the problem: if $f$ is a smooth solution to the initial problem and if $u$ is a suitable solution to ${\overline{\partial}}\,$ $u=g$ where $g={\overline{\partial}\,}$ $f$, then $F=f-u$ satisfies ${\overline{\partial}\,}$$F=0$ so that $F$ is analytic. The challenge here is that the correction u does not destroy the properties required by the initial problem $($for instance values in given points, norms, etc.$)$. We have seen different types of problems where this
scheme produces solution $($e.g. interpolation problems, corona/Bézout-type problems, Cousin problem$)$.
A central tool is Hörmander's theorem which gives the existence of d-bar solutions with norm estimates in suitable weighted spaces, the weight involving subharmonic functions.
The aim of this last talk is to solve an interpolation problem in the Fock space $($which is the space of entire functions square integrable with respect to a gaussian weight$)$. More precisely, we will show how a certain density condition allows to construct the subharmonic function required by Hörmander's theorem.
Le 3 octobre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences and online BBT
Frédéric Marbach ENS Paris
A nonlinear forward-backward problem
In this presentation, we will construct regular solutions for a nonlinear elliptic-parabolic equation in which the natural direction of parabolicity reverses along a critical line. To prevent the emergence of singularities, we will impose orthogonality conditions on the source terms, and follow them during the execution of the nonlinear scheme.
This is a joint work with Anne-Laure Dalibard and Jean Rax, motivated by recirculation problems in boundary layer theory for fluid mechanics, and based on the preprint https://arxiv.org/abs/2203.11067
Le 3 octobre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Jean Gasnier IMB
An Algebraic Point of View on the Generation of Pairing-Friendly Elliptic Curves
In 2010, Freeman, Scott, and Teske published a well-known taxonomy compiling the
best known families of pairing-friendly elliptic curves. Since then, the
research effort mostly shifted from the generation of pairing-friendly curves to
the improvement of algorithms or the assessment of security parameters to resist
the latest attacks on the discrete logarithm problem. Consequently, very few new
families were discovered. However, the need of pairing-friendly curves of prime
order in some new applications such as SNARKs has reignited the interest in the
generation of pairing-friendly curves, with hope of finding families similar to
the one discovered by Barreto and Naehrig.
Building on the work of Kachisa, Schaefer, and Scott, we show that some elements
of extensions of a cyclotomic field have a higher probability of generating a
family of pairing-friendly curves. We present a general framework which embraces
the KSS families and many of the other families in the taxonomy paper. We finally
introduce a new family with embedding degree k=20 which we estimate to provide
a faster Miller loop compared to KSS16 and KSS18 at the 192-bit security level.
Le 4 octobre 2023
à 10:00
Soutenance de thèse
Salle de conférences
Axel BALDANZA IMB
Titre de la thèse : "Localisation temporelle et suivi de l'action dans les vidéos de sport amateur". Directeur de thèse : Jean-François Aujol. Co-directeur : Yann Traonmilin
Le 5 octobre 2023
à 09:00
Soutenance de thèse
Salle de conférences
Hui SHI IMB
Titre de la thèse :"Méthodes de sketching pour problèmes inverses en traitement des images ". Directeur de thèse : Yann Traonmilin
Le 5 octobre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Séminaire.
Hui Shi Bordeaux
Soutenance de thèse
Le 5 octobre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Vincent Martin LMAC
[Séminaire CSM] Quelques étapes vers la preuve formelle en Coq de la méthodes des éléments finis
La méthode des éléments finis est largement répandue pour résoudre des gammes d'équations aux dérivées partielles. Elle est basée sur un cadre mathématique bien connu et est implémentée dans de nombreux codes numériques. Notre objectif à relativement long terme est double : d'une part, prouver formellement en Coq que la méthode mathématique des éléments finis est "correcte", et d'autre part prouver, toujours en Coq et avec l'aide d'autres outils formels, que des parties de bibliothèques d'éléments finis en C++ sont "correctes". Le sens du mot "correct" est à préciser. Le but est d'avoir la plus grande confiance possible dans la méthode et son implémentation, en précisant/explicitant par exemple quelles sont les hypothèses nécessaires.
On commencera par une explication succincte, par un non spécialiste, de ce qu'un assistant de preuve (comme Coq) peut faire pour aider à prouver un théorème ou un programme. Ensuite, on illustrera brièvement la démarche, avec la preuve complète --mathématique et programme, faite par d'autres-- de l'équation des ondes 1D en différences finies. Enfin, on présentera quelques étapes vers la preuve de la méthode des éléments finis : la preuve du théorème de Lax--Milgram, la
construction de l'intégrale de Lebesgue et le théorème de Tonelli, pour finir sur la preuve en cours de l'unisolvance pour les éléments finis de Lagrange de degré k, sur un simplexe en dimension d.
Ce travail résulte d'une collaboration avec des informaticiennes, Sylvie Boldo (INRIA Saclay) et Micaela Mayero (LIPN, Paris 13) et un numéricien-informaticien François Clément (INRIA Paris). Florian Faissole (Mitsubishi Electric) et Houda Moucine (thèse en cours) ont contribué également.
Le 5 octobre 2023
à 14:00
Séminaire d'Analyse
Salle de conférences
Matthieu Astorg Orléans
Dynamique locale de produits fibrés tangents à l'identité
Les résultats que nous présenterons dans cet exposé ont trait à la dynamique locale de produits fibrés $P$ ayant un point fixe tangent à l'identité à l'origine. En particulier, nous verrons que la dynamique d'applications quadratiques de la forme $(z,w)-> (z+z^2,w+w^2+b z^2)$ est particulièrement riche : sous une condition explicite sur $b$, ces applications ont une infinité de composantes de Fatou errantes, qui admettent chacune des limites non constantes. La question de l'existence de composantes de Fatou errantes pour des applications polynomiales en plusieurs variables complexes a été posée dans les années 90 et les premiers exemples ont été construits dans un article de 2016 avec X. Buff, R. Dujardin, H. Peters et J. Raissy.
Travail en collaboration avec Luka Boc Thaler.
Le 6 octobre 2023
à 10:45
Séminaire de Géométrie
Salle 2
Gerard Freixas i Montplet (CNRS-Ecole Polytechnique)
à préciser
Le 6 octobre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Luis Santiago Palacios (IMB\, Université de Bordeaux)
Geometry of the Bianchi eigenvariety at non-cuspidal points
An important tool to study automorphic representations in the framework of the Langlands program is to produce $p$-adic variation. Such variation is captured geometrically in the study of certain rigid analytic spaces, called eigenvarieties.
In this talk, we first introduce Bianchi modular forms, that is, automorphic forms for $\mathrm{GL}_2$ over an imaginary quadratic field, and then discuss its contribution to the cohomology of the Bianchi threefold. Further, we present the Bianchi eigenvariety and state our result about its geometry at a special non-cuspidal point. Time permitting, we will give some ideas about the proof. This is a joint work in progress with Daniel Barrera (Universidad de Santiago de Chile).
Le 10 octobre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Victor Arnaiz IMB
Séminaire de crémaillère
Le 10 octobre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Wouter Rozendaal IMB
A Renormalisation Decoder for Kitaev's Toric Quantum Code
Kitaev's toric code is expected to be at the core of the first generation of quantum computers that will incorporate error protection. To make full use of the toric code, one requires an efficient decoding scheme that will process the classical information obtained from quantum syndrome measurements, so as to be able to regularly put arrays of qubits back into their intended states. The renormalisation decoders introduced by Duclos-Cianci and Poulin exhibit one of the best trade-offs between efficiency and speed. One feature that remained a mystery however, is their behaviour over adversarial channels, i.e. their worst-case behaviour. In this talk, we introduce a relatively natural and deterministic version of a renormalisation decoder and bound its error-correcting radius.
Le 12 octobre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Séminaire
Baptiste Louf IMB
À préciser
À préciser
Le 12 octobre 2023
à 11:00
Séminaire Optimisation Mathématique Modèle Aléatoire et Statistique
Salle 2, IMB
Pierre Pesneau IMB\, Universite de Bordeaux
Problème du sous-graphe cordal maximum
Le 13 octobre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Riccardo Pengo (Leibniz Universität Hannover)
Théorie d'Iwasawa pour les graphes et mesures de Mahler p-adiques
La théorie d'Iwasawa étudie l'évolution de certains invariants, comme le nombres des classes d'idéaux d'un corps de nombres, dans une tour d'objets, donnée par exemple par la tour des corps cyclotomiques. En regardant les analogies entre corps de nombres, corps de fonctions des courbes sur les corps finis, nœuds et graphes, la théorie d'Iwasawa a été étendue à ces types d'objets. Pour le cas des graphes, plusieurs auteurs ont montré que les valuations p-adiques des nombres d'arbres couvrants dans une tour l-adique des graphs, qui est l'invariant analogue au nombre des classes d'idéaux, satisfait des analogues des théorèmes classiques de Iwasawa (quand l et p coincident) et Washington (quand l est différent de p), et d'une conjecture de Greenberg. Dans cet exposé, basé sur un travail en commun avec Daniel Vallières, nous montrerons comment ces résultats se globalisent, en considérant une tour des graphs dont le groupe de Galois est isomorphe aux entiers. En particulier, nous montrerons que dans ce cas les invariants d'Iwasawa peuvent être calculés grâce à un polynôme associé à la tour, et à ses mesures de Mahler p-adiques, qui mesurent la distribution p-adique des racines du polynôme en question. Enfin, nous montrerons comment ce théorème peut être utilisé pour récupérer des résultats antécédents autours des asymptotiques des nombres d'arbres couvrants de certains types de graphes, qui généralisent les graphes de Petersen, et pour montrer une formule explicite pour les valuations p-adiques des nombres de Fibonacci, due à Lengyel.
Le 16 octobre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférence
Sylvain Ervedoza IMB
TBA
TBA
Le 17 octobre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
David Meyer Université de Münster
TBA
TBA
Le 19 octobre 2023
à 09:00
Séminaire Images Optimisation et Probabilités
...
Séminaire banalisé ...
Journée de rentrée IMB
...
Le 19 octobre 2023
à 10:00
Direction
Salle de conférences
Journée de rentrée de l'IMB jeudi 19 octobre -
Exposés scientifiques des nouveaux arrivants de 10h à 12h et de 14h à 16h - Buffet de 12h à 14h
Le 19 octobre 2023
à 14:00
Séminaire d'Analyse
Salle de conférences
Emmanuel Fricain Lille
[Reporté à une date ultérieure] Identité de Bezout polynomiale, quoi de neuf docteur ?
Dans cet exposé, nous revisiterons le théorème d'Etienne Bézout de 1779 sur deux polynômes sans zéros communs. Inspiré par le théorème de la couronne de Carleson, nous donnerons des estimations optimales sur les coefficients des solutions minimales de l'équation de Bézout, en utilisant une approche analytique. Nous montrerons également que cela donne également des estimations sur la norme de l'inverse de la matrice de Sylvester.
Il s'agit d'un travail en collaboration avec A. Hartmann, D. Timotion et W. Ross.
Le 20 octobre 2023
à 10:45
Séminaire de Géométrie
Salle 2
Nicolas Gourmelon IMB (Bordeaux)
A préciser
Le 20 octobre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Cathy Swaenepoel (Institut de Mathématiques de Jussieu - Paris Rive Gauche)
TBA
TBA
Le 23 octobre 2023
à 14:00
Groupe de Travail Intération fluide-solide
TBA
Ayman Said Cambridge
Local well-posedness and singularity formation beyond the Yudovich class.
In this talk, I will present recent results obtained in collaboration with Tarek M. Elgindi and
Ryan M. Murray. We give a new supercritical class of data for the 2D Euler equation that
allows for unbounded vorticities well beyond the Yudovich class. Within this class, we can
demonstrate local existence and uniqueness of the solutions. Furthermore, we construct data
for which a finite-time blow-up occurs.
Le 24 octobre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Benjamin Boutin Université de Rennes
TBA
TBA
Le 24 octobre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Donghyeok Lim Korea
TBA
Le 26 octobre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Séminaire
Nicolas Zalduendo Université de Lorraine and INRIA Grand Est
À préciser
À préciser
Le 26 octobre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Ludovic Godard-Cadillac IMB
[Séminaire CSM]
.
Le 27 octobre 2023
à 10:45
Séminaire de Géométrie
Salle 2
Mickaël Matusinski IMB (Bordeaux)
A préciser
Le 27 octobre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Sary Drappeau (Institut de Mathématiques de Marseille)
TBA
TBA
Le 7 novembre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Maxime Bombar CWI
Pseudorandom Correlation Generators from the Hardness of Decoding Codes over Group Algebras
Le 7 novembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
TBA TBA
TBA
BBT in Bilbao
Le 9 novembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Vanessa Lleras Univ. Montpellier
[Séminaire CSM] $\phi$-FEM, une nouvelle méthode éléments finis non conformes
\phi-FEM est une méthode éléments finis sur des maillages réguliers qui partage des similitudes avec les méthodes classiques aux frontières immergées et des approches plus récentes comme CutFEM. L'innovation de notre méthode consiste à intégrer une fonction Level Set décrivant la géométrie de la structure ou de la particule dans le schéma éléments finis lui-même. Dans l’exposé, je présenterai le principe de la méthode pour différentes conditions aux bords en mettant en avant sa précision et sa rapidité comparée à la méthode des éléments finis classiques puis nous verrons l’application à des problèmes variés (mécanique des structures, Stokes, couplage avec réseaux de neurones).
Le 10 novembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Matilde Maccan (IRMAR)
TBA
TBA
Le 14 novembre 2023
à 09:00
au 15 novembre 2023
à 16:30
Manifestations Scientifiques
Salle de conférences
Organisateur : Stéphane Brull IMB
Analyse, modélisation et méthode numérique pour modèles cinétiques et modèles connexes
Le 14 novembre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Stefano Marseglia Utrecht University
TBA
Le 14 novembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Yoshihiro Ueda null
TBA
TBA
Le 16 novembre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Séminaire
Pierre-Jan Benard IMB
À préciser
À préciser.
Le 16 novembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Joyce Ghantous Université de Pau
[Séminaire CSM]
Le 16 novembre 2023
à 15:30
Le Colloquium
Salle de Conférences
Moreno Andreatta (Strasbourg)
A focus on some theoretical problems in contemporary 'mathemusical' research
À préciser
Le 17 novembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Daniel Vargas-Montoya (IMPAN)
TBA
TBA
Le 20 novembre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférences
Armand Koenig IMB
TBA
TBA
Le 21 novembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Sidy Djitté FAU Erlangen-Nürnberg
TBA
TBA
Le 24 novembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Michel Brion (Grenoble)
TBA
TBA
Le 27 novembre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférence
Giuseppe Lamberti IMB
TBA
TBA
Le 28 novembre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Monika Trimoska Eindhoven University of Technology
Disorientation faults in CSIDH
Le 30 novembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Emmanuel Franck INRIA NANCY GRAND EST
[Séminaire CSM]
.
Le 1er décembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Sylvain Brochard (Université de Montpellier 2)
TBA
TBA
Le 5 décembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
TBA TBA
TBA
BBT in Toulouse
Le 7 décembre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Séminaires
Raphaël Berthier EPFL
À préciser
À préciser
Le 11 décembre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférences
Marius Tucsnak IMB
TBA
TBA
Le 12 décembre 2023
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Jana Sotáková University of Amsterdam
TBA
Le 12 décembre 2023
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de Conférences
Arthur Touati IHES
TBA
TBA
Le 14 décembre 2023
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Coquerelle Mathieu I2M
[Séminaire CSM]
Le 14 décembre 2023
à 15:30
Le Colloquium
Salle 1
Samuel Petite (Université de Picardie)
À préciser
À préciser
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 15 décembre 2023
à 14:00
Séminaire de Théorie des Nombres
Salle de conférences
Christian Maire (Université de Franche-Comté)
TBA
TBA
Le 18 décembre 2023
à 14:00
Groupe de Travail Analyse
Salle de conférences
Marius Tucsnak IMB
TBA
TBA
Le 21 décembre 2023
à 11:00
Séminaire Images Optimisation et Probabilités
Salle de Conférences
Bastien Laville INRIA
À préciser
À préciser
Le 4 janvier 2024
à 11:00
Séminaire Images Optimisation et Probabilités
Shenzhen
Cosme Louart (?)
A préciser
A préciser
Le 9 janvier 2024
à 06:57
Séminaire de Physique Mathématique - EDP
Bordeaux, Salle de conférences
TBA TBA
BBT in Bordeaux
TBA
Le 9 janvier 2024
à 06:59
au 6 février 2024
à 06:59
Séminaire de Physique Mathématique - EDP
Bilbao
TBA TBA
BBT in Bilbao
TBA
Le 9 janvier 2024
à 11:15
Séminaire de Théorie Algorithmique des Nombres
salle 2
Jean-Marc Couveignes IMB
TBA
Le 11 janvier 2024
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Philippe Villedieu Onera
[Séminaire CSM]
.
Le 11 janvier 2024
à 14:00
Séminaire d'Analyse
Salle de conférences
Isabelle Chalendar U. Eiffel (Marne la Vallée)
Tba
Le 16 janvier 2024
à 11:00
Séminaire de Théorie Algorithmique des Nombres
salle 2
Jérémy Berthomieu Sorbonne Université (LIP6)
F4SAT
Le 15 février 2024
à 14:00
Séminaire de Calcul Scientifique et Modélisation
Salle 2
Hendrik Ranocha Hambourg
[Séminaire CSM]
Le 5 mars 2024
à 10:58
Séminaire de Physique Mathématique - EDP
Toulouse
TBA TBA
BBT in Toulouse
TBA
Le 12 mars 2024
à 11:00
Séminaire de Physique Mathématique - EDP
Salle de conférences
Kai Koike Tokyo Tech
TBA
TBA
Le 2 avril 2024
à 11:00
Séminaire de Physique Mathématique - EDP
Bordeaux
TBA TBA
BBT in Bordeaux
TBA
Le 4 juin 2024
à 11:01
Séminaire de Physique Mathématique - EDP
Toulouse
TBA TBA
BBT in Toulouse
TBA
Evénements passés
What is the martingale, with prescribed initial and terminal marginal distributions, which is closest to Brownian motion?
Under suitable assumptions the answer to this question, in any dimension, is provided by the so-called Bass martingales. To imagine what these are, one pictures an underlying Brownian motion which is stretched in space in an order-preserving and martingale-preserving way. In this talk we discuss the properties of Bass martingales, their existence, and the duality theory required to study them. Talk based on joint work with Beiglböck, Schachermayer and Tschiderer.
Pour cela, je présenterai tout d’abord un modèle simplifié à faible nombre de Mach « à 3 équations » (obtenu comme limite asymptotique à bas nombre de Mach d’un modèle compressible, le modèle HEM), qui repose sur la décomposition du champ de pression en une pression thermodynamique (qui intervient dans l’équation d’état) et une pression dynamique (dans l’équation de quantité de mouvement). Cette décomposition présente de nombreux avantages, à la fois du point de l’obtention de solutions exactes et asymptotiques, mais aussi du point de vue numérique.
Par la suite, nous étudions un nouveau modèle (« à 4 équations ») décrivant le comportement d’un fluide diphasique à faible nombre de Mach, qui peut être obtenu comme la limite asymptotique à bas nombre de Mach du modèle HRM. Après avoir décrit quelques propriétés du modèle, nous montrons la convergence formelle de ce modèle vers le modèle précédent « à 3 équations » dans le régime de relaxation instantanée. Nous introduisons un schéma préservant l’asymptotique permettant des simulations numériques du couplage spatial entre deux régions présentant des temps caractéristiques de relaxation différents.
Il s’agit de travaux en collaboration avec Stéphane Dellacherie, Gloria Faccanoni et Yohan Penel.
Je présenterai ici un travail en commun avec Y. Deng et K. Yamanoi, dans lequel on montre notamment de telles propriétés d'hyperbolicité algébrique et transcendante pour des variétés quasi-projectives, sous l'hypothèse de l'existence d'une telle représentation. Comme souvent dans cette théorie, la preuve repose sur des outils de nature archimédienne (la théorie des variations de structures de Hodge) et non-archimédienne (utilisant les applications harmoniques à valeurs dans les immeubles), qu'il s'agit de développer ici dans un cadre ouvert.
spécifiques des extensions cubiques, quartiques et radicales, y compris celles qui ne sont pas nécessairement galoisiennes, en introduisant des concepts tel que la fermeture radicale et l'Artin-Schreier. Pour faire cela, une attention particulière est portée aux extensions cyclotomiques.
(joint with Jacob Ward, Mpendulo Cele, Elizabeth Merma, Chad Brache)
scheme produces solution $($e.g. interpolation problems, corona/Bézout-type problems, Cousin problem$)$.
A central tool is Hörmander's theorem which gives the existence of d-bar solutions with norm estimates in suitable weighted spaces, the weight involving subharmonic functions.
The aim of this last talk is to solve an interpolation problem in the Fock space $($which is the space of entire functions square integrable with respect to a gaussian weight$)$. More precisely, we will show how a certain density condition allows to construct the subharmonic function required by Hörmander's theorem.
This is a joint work with Anne-Laure Dalibard and Jean Rax, motivated by recirculation problems in boundary layer theory for fluid mechanics, and based on the preprint https://arxiv.org/abs/2203.11067
best known families of pairing-friendly elliptic curves. Since then, the
research effort mostly shifted from the generation of pairing-friendly curves to
the improvement of algorithms or the assessment of security parameters to resist
the latest attacks on the discrete logarithm problem. Consequently, very few new
families were discovered. However, the need of pairing-friendly curves of prime
order in some new applications such as SNARKs has reignited the interest in the
generation of pairing-friendly curves, with hope of finding families similar to
the one discovered by Barreto and Naehrig.
Building on the work of Kachisa, Schaefer, and Scott, we show that some elements
of extensions of a cyclotomic field have a higher probability of generating a
family of pairing-friendly curves. We present a general framework which embraces
the KSS families and many of the other families in the taxonomy paper. We finally
introduce a new family with embedding degree k=20 which we estimate to provide
a faster Miller loop compared to KSS16 and KSS18 at the 192-bit security level.
On commencera par une explication succincte, par un non spécialiste, de ce qu'un assistant de preuve (comme Coq) peut faire pour aider à prouver un théorème ou un programme. Ensuite, on illustrera brièvement la démarche, avec la preuve complète --mathématique et programme, faite par d'autres-- de l'équation des ondes 1D en différences finies. Enfin, on présentera quelques étapes vers la preuve de la méthode des éléments finis : la preuve du théorème de Lax--Milgram, la
construction de l'intégrale de Lebesgue et le théorème de Tonelli, pour finir sur la preuve en cours de l'unisolvance pour les éléments finis de Lagrange de degré k, sur un simplexe en dimension d.
Ce travail résulte d'une collaboration avec des informaticiennes, Sylvie Boldo (INRIA Saclay) et Micaela Mayero (LIPN, Paris 13) et un numéricien-informaticien François Clément (INRIA Paris). Florian Faissole (Mitsubishi Electric) et Houda Moucine (thèse en cours) ont contribué également.
Travail en collaboration avec Luka Boc Thaler.
In this talk, we first introduce Bianchi modular forms, that is, automorphic forms for $\mathrm{GL}_2$ over an imaginary quadratic field, and then discuss its contribution to the cohomology of the Bianchi threefold. Further, we present the Bianchi eigenvariety and state our result about its geometry at a special non-cuspidal point. Time permitting, we will give some ideas about the proof. This is a joint work in progress with Daniel Barrera (Universidad de Santiago de Chile).
Il s'agit d'un travail en collaboration avec A. Hartmann, D. Timotion et W. Ross.
Ryan M. Murray. We give a new supercritical class of data for the 2D Euler equation that
allows for unbounded vorticities well beyond the Yudovich class. Within this class, we can
demonstrate local existence and uniqueness of the solutions. Furthermore, we construct data
for which a finite-time blow-up occurs.
Institut de Mathématiques de Bordeaux UMR 5251
Université de Bordeaux
351, cours de la Libération - F 33 405 TALENCE
Tél: +33 (0)5 40 00 60 70
institut
math.u-bordeaux.fr
