Depuis plus d'un demi-siècle, les ordinateurs ont acquis le statut d'instruments de recherche incontournables dans de nombreuses branches de mathématiques fondamentales. Leur puissance de calcul est mise au service de l'experimentation, de la visualisation, de l'aide a la conjecture,... Mais aussi de la démonstration. Peut-on aller jusqu'à dire que les ordinateurs d'aujourd'hui font des mathématiques?
Certains jeux de données présentent des caractéristiques géométriques et topologiques non-triviales qu'il peut être intéressant d'inférer. Dans cet exposé, j'aborderai quelques questions associées à l'estimation optimale du support d'une loi de probabilité inconnue, à partir d'échantillons aléatoires de celle-ci. Je débuterai par le cas simple des supports convexes, pour ensuite aborder celui des sous-variétés de l'espace euclidien, puis des sous-variétés à bord. Dans ces trois cas, je discuterai de la régularité quantitative induite par le "reach" (H. Federer, 1959), une quantité centrale dans cette théorie. Si le temps le permet, […]
Les systèmes de particules en interaction sont des modèles pour des phénomènes physiques où des particules évoluent selon certaines règles, en faisant un choix aléatoire à chaque pas de temps (il s’agit d’une chaîne de Markov). Dans certains cas, le système converge vers un équilibre (appelé mesure invariante) en temps long, et on appelle temps de mélange le temps nécessaire pour devenir « proche » de cet équilibre. Dans cet exposé, nous étudierons certains systèmes de particules, et une méthode pour majorer le temps de mélange, qui consiste à construire un couplage […]
Étant donné un domaine convexe du plan, nous pouvons nous intéresser à la dynamique billard associée : un point sans masse bouge le long d'une ligne droite à l'intérieur du domaine, et ensuite, il rebondit sur le bord de façon élastique. Ces dynamiques sont des exemples d'applications déviant la verticale et ont été largement étudiées dans la littérature. Nous présenterons quelques résultats classiques et parlerons d'ensembles d'Aubry-Mather, outils efficaces pour comprendre ces dynamiques. Ensuite, nous discuterons (avec plus ou moins de détails, par rapport au temps restant) ce qui se […]
Title: Computers and mathematics in PDE: new developments and challenges Speaker: Javier Gómez-Serrano Abstract: In the last 50 years computing power has experienced an enormous development: from Moore's law -- every two years the number of transistors doubled -- up to the latest developments in GPUs. In this talk I will address the interaction between traditional and modern mathematics and how computers have helped over the last decade providing rigorous proofs in the context of PDE. I will also describe new exciting future directions in the field, in particular addressing […]
Les projections aléatoires constituent une technique de réduction de dimension simple et efficace en apprentissage automatique non supervisé. Elles reposent sur l'existence de quasi-immersions pour un ensemble de points d'un espace euclidien de haute dimension vers un espace de dimension inférieure. Nous proposerons une présentation du lemme de Johnson-Lindenstrauss centrée sur la notion de variable sous-gaussienne, puis nous discuterons de la meilleure manière de construire des projections simples, et en particulier creuses.
Title: Optimal smooth approximation of integral cycles Speaker: Camillo De Lellis (Institute for Advanced Study, Princeton) Abtract: Integer rectifiable currents without boundary were introduced in the 60es as a good variational generalization of smooth cycles (smooth oriented submanifolds without boundary) of Riemannian manifolds. In the presentation I will give an idea of the foundational paper of Federer and Fleming, who introduced the concept which later became a powerful tool to tackle variational problems like the existence of submanifolds of least area in every integral homology class. One of the most […]
