L'o-minimalité est une notion mise en évidence dans les années 80 (principalement par van den Dries, Pillay, et Steinhorn), qui représente un cadre possible pour la "géométrie (réelle) modérée". Il s'agit, afin d'exclure les comportements pathologiques de fonctions réelles, de restreindre l'étude à des classes simples de fonctions, via une condition de définissabilité. Il est intéressant de noter que cette notion est aujourd'hui utilisée dans des domaines aussi divers que la géométrie arithmétique, l'optimisation, ou l'étude de réseaux de neurones. La trichotomie de Zilber, dont la formulation modèle-théorique remonte également […]

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, […]