Événements à venir |
Résumé : Résoudre un problème inverse en théorie additive des nombres consiste à fournir une description fine de la structure d'ensembles satisfaisant une condition contraignante portant sur la taille de leur somme. Cette description sera d'autant plus fine que la contrainte est proche de l'optimal. Par exemple la somme $A+B$ de deux ensembles finis non vides de nombres réels a pour taille (ici le cardinal) minimale la somme des cardinaux moins un : $|A+B|\geq |A|+|B|-1$. Ce dernier travail a été conduit en collaboration avec P-Y. Bienvenu (Dublin). |
|
Événements passés |
Résumé : Résumé: Prenez deux coniques : s'il existe un polygone à n côtés à la fois circonscrit à l'une et inscrit dans l'autre, alors il existe une infinité de tels polygones. Voilà un théorème du début du 19ème siècle, dû à Poncelet, et reconnu plus tard par d'autres mathématiciens comme le plus célèbre des "théorèmes de clôture". Dans mon exposé, je propose de montrer comment plusieurs théorèmes de géométrie (dont celui de Poncelet), au départ énoncés et démontrés de manière indépendante les uns des, ont progressivement été reconnus comme étant les membres d'une même famille désignée par cette étiquette de "théorèmes de clôture". Nous verrons que la reconnaissance de cette famille s’est faite de plusieurs manières selon les mathématiciens, certains mettant en avant la "nature" des théorèmes, d'autres insistant sur les liens techniques existant entre eux, d'autres encore les rassemblant par des points de vue unificateurs (comme celui des fonctions elliptiques). L’exposé sera aussi l'occasion de parler des notions cognitives de catégorisation et d'airs de famille, que je discuterai sur l'exemple de la constitution de la famille des théorèmes de clôture. Prérequis: culture mathématique niveau L1 |
Résumé : Résumé: La réécriture est une théorie du calcul visant à parcourir des classes d'équivalence Dans cet exposé, je vais montrer comment utiliser la théorie de la réécriture afin de calculer dans des algèbres définies par des diagrammes de cordes. J'introduirai les concepts fondamentaux de terminaison et de confluence et montrerai comment calculer explicitement des bases linéaires pour ces algèbres à partir de ces 2 propriétés. Prérequis: culture mathématique niveau L3 |
Résumé : In the 1930s, Emil Artin put forward an influential chain of conjectures
that concern the existence of p-adic points on projective hypersurfaces.
The status of these conjectures is uncertain : in some ways, the
conjecture is completely wrong, in others it is almost true.
The lecture will formulate Artin's conjectures in elementary terms and
then explain their relevance to diophantine analysis. The state of the
art will be summarized, with combinatorial methods at the focus of
attention. |
Résumé : We are interested in approximate solutions of the Fredholm integral equations of the
second kind using projection methods. Classical methods such as the Galerkin method
associated with an orthogonal projection and the collocation method associated with
an interpolatory projection are discussed. We also consider the iterated Galerkin and
the iterated collocation methods which have higher orders of convergence. A method
proposed by author which improves upon the iterated Galerkin/iterated collocation is
next described. The proofs for orders of convergence for various methods in the case
of a smooth kernel are discussed briefly. We obtain orders of convergence in the case
of a kernel of the type of a Green's function and validate these results by a numerical
example.
Prerequisite: Niveau d'Analyse L3 |
Résumé : In this introductory talk, all concepts will be defined and explained in detail. We talk about the meaning of quivers with relations and motivate the theory by basic examples from Linear Algebra. By looking at representations of such quivers, we discuss an important example in detail: How is the Jordan Normal form of matrices of square size n related to this setup? The strength of methods and techniques which are available for quiver representations will be sketched.
Prerequisite: Linear algebra, Jordan normal form |
Résumé : Titre: "Mixed joint universality for zeta-functions" Résumé: Prérequis: "un peu d'analyse complexe de base et un peu de proba de base" |
Résumé : Titre : Dynamiques McKean-Vlasov et leurs applications. Résumé : Le présent exposé sera consacré à une classe particulière de processus stochastiques, la classe des modèles de McKean-Vlasov. Ces modèles sont liés à une famille d'équations différentielles stochastiques issue de l'interprétation probabiliste d'équations aux dérivées partielles nonlinéaires et interviennent dans la description de limites de systèmes de particules en interaction. La première partie de l'exposé portera sur un bref rappel sur la théorie générale des équations différentielles stochastiques et leurs applications en finance et en physique. A la suite, nous aborderons le cadre particulier des processus de McKean-Vlasov, présentant leurs particularités mathématiques, les phénomènes de propagation du chaos associés ainsi que leurs applications en mécanique statistique, mécanique des fluides et en économie. Prérequis : Théorie des probabilités, équations différentielles (ordinaires et aux dérivées partielles), ainsi que des bases élémentaires sur la théorie des processus stochastiques. |
Résumé : Titre : "Quelques résultats autour des événements rares et de leur modélisation stochastique" Résumé : Dans cet exposé, nous allons tenter de présenter de manière pédagogique la théorie des valeurs extrêmes et notamment certains résultats liés aux processus max-stables. La théorie des valeurs extrêmes se situe à la frontière entre probabilité et statistiques et concerne l’étude probabiliste d'événements rares, i.e., dont la probabilité d’occurence est extrêmement faible. De cet fait, elle a été largement utilisée lors d’applications liées à la finance (krach boursier), l’environnement (catastrophe naturelle) ou les télécoms (défaillance de réseau). Après avoir introduit le jargon propre aux « extrêmistes », nous nous intéresserons plus particulièrement aux fameux processus stochastiques dit max-stables, processus notamment utiles pour la modélisation spatiale des extrêmes, e.g., vague de chaleur, inondations… Ceci sera pour nous l’occasion de croiser de nombreux champs des statistiques modernes (e.g., statistiques algorithmiques) mais aussi quelques résultats probabilistes (e.g., un peu de géométrie stochastique). Tout au long de cette présentation, et ce malgré la présentation de résultats plutôt récents, un effort particulier sera mis afin de rendre l’exposé complètement accessible aux non initiés. |
Résumé : Résumé : Le théorème d'Olivier-Abel dit que si une série à termes positifs est convergente et si son terme général a(n) décroît, alors n.a(n) tend vers zéro, quand n tend vers plus l'infini. Dans un travail, en commun avec Alain Faisant et Ladislav Misik, nous recherchons des analogues de ce théorème quand la convergence usuelle est remplacée par la convergence selon un "filtre". Je présenterai un bref historique, les notions de "filtre" et de la convergence selon un filtre, et un aperçu des résultats et des preuves. Prérequis : Notion de série et de limite |
Résumé : Titre : Introduction to index theory
|
Résumé : |
Résumé : |
Résumé : Résumé : Dans les années 70, Bruhat et Tits ont introduits les immeubles de Bruhat-Tits afin d'étudier certains groupes importants en arithmétique. Nous expliquerons la construction d'un cas particulier de ces immeubles : l'arbre de SL_2(F), où F est un corps local (il ne sera pas important de savoir ce qu'est un corps local). Nous montrerons comment ce groupe agit sur cet arbre et quels genres de résultats on peut en déduire. Nous essaierons ensuite de donner une intuition de ce qu'est un immeuble. Les prérequis sont : Avoir une vague intuition de ce qu'est un isomorphisme, savoir ce qu'est un corps, Z/pZ, une série formelle à coefficients dans Z/pZ (éventuellement savoir ce qu'est un polynôme suffit), un groupe, un sous-groupe, un quotient de groupes, SL_2, un espace vectoriel sur un corps quelconque, une base d'un espace vectoriel de dimension finie, une relation d'équivalence, un ensemble quotienté par une relation d'équivalence, une distance.
|
Résumé : Abstract: "The vanishing viscosity problem consists of understanding the limit, or limits, of solutions of the Navier–Stokes equations, with viscosity $\nu$, as $\nu$ tends to zero. The Navier–Stokes equations are a model for real-world fluids and the parameter $\nu$ represents the ratio of friction, or resistance to shear, and inertia. Ultimately, the relevant question is whether a real-world fluid with very small viscosity can be approximated by an ideal fluid, which has no viscosity.
|
Résumé : Titre : Étude numérique de problème de contact élastodynamique basées sur la méthode de redistribution de masse Résumé : Un ou plusieurs corps déformables en mouvement peuvent entrer en contact en un point, le long d’une ligne ou d’une surface. Les systèmes aux dérivées partielles sont particulièrement bien adaptés pour modéliser les mouvements complexes de corps soumis à des conditions aux limites faisant intervenir des conditions de contact. Ces problèmes de contact occupent un rôle prépondérant dans de nombreux domaines d’ingénierie comme par exemple dans l’industrie automobile où on s’interesse au contact entre le pneu et la chaussée, ainsi que dans les crash tests.
|
Résumé : |
Résumé : Titre : Univers aléatoires non-commutatifs en grande dimension et physique du solide. Résumé : Le très classique théorème de la limite centrale énonce que les fluctuations d'une somme d'un grand nombre de variables aléatoires correctement rescalées sont données par une loi normale (loi de Gauss). Nous explorerons ici des analogues de ce théorème dans des modèles matriciels issus de la physique (matrices aléatoires en grande dimension, opérateurs de Schrödinger avec potentiel aléatoire -- modèle d'Anderson -- modélisant le mouvement d'électrons dans un métal réel avec défauts). Pour finir sur une note plus personnelle, nous discuterons l'analogie formelle entre la supraconductivité basse température d'une part, et le comportement à grande échelle du modèle d'Anderson (régimes délocalisé -- électrons mobiles -- versus localisé -- électrons piégés --), objet d'une conjecture célèbre constituant un problème ouvert fondamental de la physique mathématique.
|
Résumé : Résumé: The first quasi-random structures were identified by Thomason (1987) and Chung, Graham and Wilson (1989). The theory of limit objects was launched by the work of Lovaasz and Szegedy (2006). Join work with Hiep Han (U. de Santiago de Chile) and Matias Pavez Signé (U. de Chile) Keywords: Quasi-randomness, limits of discrete structures, property testing. Prérequis: Some familiarity with discrete probabilities and basic notions of calculus and measure theory.
|
Résumé : Abstract: The movement of a fluid can be modeled by a system of partial differential equations known as the Navier-Stokes equations. In order to describe the evolution of the fluid we need information about the solutions of this system. To do so, it is necessary to answer some fundamental questions about the existence, uniqueness and regularity of solutions. In this talk, we will explain what each of these questions means and what are the answers to these questions in some cases. In other cases, these questions have not yet been completely answered and who answers it could become a millionaire*!
*http://www.claymath.org/millennium-problems/navier-stokes-equation
|
Résumé : Usually we think that we are living in the real world, namely the world of real numbers. Sometimes it is useful to move to the larger and more complex world of complex numbers, since there we have various powerful tools including complex analysis and Euler's identity. Also we usually think that integers and rational numbers are parts of real numbers and complex numbers. However, it turned out that they are not enough to reveal mystery in number theory. |
Résumé : Fin 2020, un allemand nommé Peter Scholze, mathématicien d'assez bon niveau, tomba en proie d'un doute commun à nombre de ses collègues: "je viens de pondre une démonstration sur une feuille, elle m'a l'air plutôt solide, j'en suis même sûr au 99,9%: sera-t-elle vraiment correcte?". L'énoncé (probablement) démontré portait sur une propriété sophistiquée de certains espaces de Banach qui venait juste d'être introduite: où trouver de braves gens prêts à étudier, vérifier, décortiquer, éplucher, et enfin certifier que tout allait pour le mieux?
Dans cet exposé je parlerai un peu de ce qu'est un assistant de preuve, un logiciel conçu pour digérer des preuves d'énoncés mathématiques, et en restituer une validation formelle — ou un déni impitoyable. Je montrerai des exemples de raisonnement qu'on peut faire faire à un ordinateur et des notions mathématiques qu'on a déjà formalisées, en les traduisant en lignes de code pour que l'ordinateur puisse avancer tout seul. Finalement, je relaterai de comment un assistant de preuve entendit le signal de détresse banachique de Scholze et comment se passa le sauvetage.
Aucun prérequis d'informatique théorique, d'analyse fonctionnelle, d'espaces perfectoïdes (ou d'autres scholzeries) n'est nécessaire pour suivre l'exposé.
|
Résumé : |
Résumé : "La vraie satisfaction mathématique est d’apprendre des autres et de partager". Venez adhérer à cette belle maxime de William Thurston en découvrant une de ses théories les plus déconcertantes, celle des corrugations. Vous y apprendrez en même temps comment lesdites corrugations permettent de résoudre une question restée longtemps mystérieuse : l'existence, prédite par John Nash, de surfaces à la fois grumeleuses et lisses. |
Résumé : ![]() |
Source : Indico - Math évènementiel - GDS Mathrice |