Designed and built with care, filled with creative elements

Top

Pavages du diamant aztèque : combinatoire bijective, algébrique et algorithmique

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Les pavages par dominos du diamant aztèque ont été introduits au début des années 90 pour leur lien avec les matrices à signes alternants et les lambda-déterminants. Leur énumération est particulièrement élégante puisqu'il existe 2^{n(n+1)/2} pavages de taille n. Nous ferons une promenade combinatoire grâce à ces pavages: énumération, bijection, fonctions symétriques, génération aléatoire, formes limites... Cela nous emmènera vers des objets plus généraux: les pavages pentus, tout récemment définis par J. Bouttier, G. Chapuy et S. Corteel.

Quelques paradoxes issus de l’analyse mathématique des fluides

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Les équations d'Euler et de Navier-Stokes sont les équations reines de la mécanique des fluides. Bien qu'elles constituent aujourd'hui des modèles incontestés, elles mènent parfois à des conclusions surprenantes, à l'image du célèbre paradoxe de d'Alembert. L'objet de l'exposé est de présenter de manière simple ces EDP, les paradoxes qui leur sont associés, et comment ces paradoxes débouchent sur des problèmes mathématiques difficiles et actuels.

Modélisation aléatoire de l’évolution darwinienne

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Par son ouvrage De l'origine des espèces paru en 1859, Darwin révolutionne la biologie en proposant une théorie de l'évolution des espèces vivantes. Cette théorie repose sur la variabilité des caractères génétiques et le processus de sélection naturelle. Au 20ième siècle, de nombreux mathématiciens se sont penchés sur la modélisation de cette théorie et ils ont, pour ce faire, développé des idées et objets probabilistes importants. Je raconterai ce développement des idées et expliquerai un modèle récent pour l'évolution de bactéries et leur adaptation à des ressources. Ce modèle combinera […]

Mécanique statistique et modèle de dimères

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

La mécanique statistique a pour but la compréhension du comportement macroscopique d'un système physique décrit par un modèle définissant les interactions au niveau microscopique. Domaine de recherche des physiciens à ses débuts, la mécanique statistique a pris une grande place dans la communauté probabiliste et a été le théâtre d'avancées spectaculaires ces quinze dernières années.De nombreux modèles appartiennent à la mécanique statistique : modèle d'Ising, percolation, modèle de dimères. Après une introduction générale, nous nous concentrerons sur le modèle de dimères qui représente la répartition de molécules diatomiques à la […]

La dualité de Stone en logique et en informatique

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

La dualité de Stone montre que la catégorie des algèbres de Boole avec leurs homomorphismes est équivalente à l'opposée de celle des espaces compacts qui possèdent une base d'ouverts-fermés. Le fait que ce soit une équivalence entre une catégorie et l'opposée d'une autre signifie que les sous-objets d'un côté correspondent aux quotients de l'autre et que les produits d'un côté correspondent aux coproduits (ou sommes) de l'autre. Cela donne aux dualités leur puissance toute particulière.La dualité de Stone et ses variantes et ses extensions donnent le lien entre l'approche syntaxique […]

Groupes, géométrie et analyse

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

J’expliquerai la notion de groupe et discuterai plus en détail certains exemples qu’on rencontre très tôt dans un cursus mathématique. Je parlerai en particulier de groupes de type fini, de la géométrie qu’ils peuvent admettre et de questions plus analytiques qu’on peut se poser à leur sujet.

Étude mathématique des vagues : quelques problèmes ouverts

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Laplace et Cauchy (entre autres) ont jeté les bases de l'étude mathématique des vagues et furent suivis par de nombreux mathématiciens de renom. Plusieurs concepts importants ont émergé dans le cadre de ces travaux (non localité, ondes solitaires, interactions dispersion/nonlinéarité, etc), donnant lieu à plusieurs polémiques. Nous revisiterons rapidement ces polémiques historiques à la lumière d'outils mathématiques actuels.Nous nous intéresserons ensuite aux avancées récentes sur ce sujet très actif depuis une quinzaine d'années. Nous en ferons un rapide tour d'horizon en essayant de montrer quels sont les principes mathématiques généraux […]

Beyond the Gaussian Universality Class

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

The Gaussian central limit theorem says that for a wide class of stochastic systems, the bell curve (Gaussian distribution) describes the statistics for random fluctuations of important observables. In this talk I will look beyond this class of systems to a collection of probabilistic models which include random growth models, polymers, particle systems, matrices and stochastic PDEs, as well as certain asymptotic problems in combinatorics and representation theory. I will explain in what ways these different examples all fall into a single new universality class with a much richer mathematical […]

Modèles d’évolution de la diversité génétique d’une population

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

La génétique des populations mathématique s'intéresse à l'évolution de la composition génétique d'une population dans une région du génome donnée. Si le gène considéré a plusieurs allèles (c'est-à-dire plusieurs versions, comme le gène qui code la couleur des yeux), en fonction de la manière dont les individus se reproduisent et se transmettent cette caractéristique de parent à enfant, on peut voir s'instaurer petit à petit un équilibre dans lequel plusieurs allèles sont présents, ou au contraire l'un d'entre eux parvient à envahir totalement la population. Dans cet exposé nous aborderons […]

Contrôle et conception optimale pour les fluides et les structures

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Depuis des générations, au sein de nombreuses civilisations, les mathématiques se sont développées dans le but de quantifier, de mesurer, et d’expliquer le monde qui nous entoure. Notre société moderne ne serait tout simplement pas possible sans l’apport des mathématiques. Les mathématiques et le langage font probablement partie des attributs qui distinguent les êtres humains des autres espèces. Au cours de leur évolution, les mathématiques sont devenues parties prenantes de presque tous les aspects de notre vie quotidienne. Leurs utilisations sont innombrables et de plus en plus pointues. Ceci est […]

René Gateaux (1889-1914). Vie, mort et trajectoire mathématique

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

En octobre 1914, le jeune mathématicien René Gateaux est tué à la tête d'une section de mitrailleuses en Artois. Il avait 25 ans et n'avait laissé que quelques esquisses de ce qui devait devenir sa thèse. Il eut cependant la chance posthume d'avoir été pendant sa brève vie scientifique proche de mathématiciens importants de son temps tels Jacques Hadamard et surtout Vito Volterra. Pour honorer sa mémoire, ces derniers conseillèrent à Paul Lévy en 1919 de regarder de près ce que René Gateaux avait fait en analyse fonctionnelle. Ce fait […]

Le génie mathématique, du théorème de quatre couleurs à la classification des groupes

ENS (amphithéâtre Galois sous la bibliothèque de mathématique)

Il y a trente ans les ordinateurs faisaient irruption dans les mathématiques avec la célèbre preuve du théorème des quatre couleurs par Appel et Haken. Au départ limité au simple calcul, leur rôle s'élargit maintenant à des raisonnements dont la complexité dépasse les capacités de la plupart des humains, comme la preuve de la classification des groupes simples finis. Nous venons d'en formaliser la première étape importante, le théorème de Feit-Thompson, à l'aide d'un éventail de méthodes et techniques qui vont de la logique formelle au génie logiciel.