|
|
|
AbstractsEddie Aamari. A theory of stratification learning: Dimension-wise clustering with reconstruction. Given i.i.d. sample from a stratified mixture of immersed manifolds of different dimensions, we will study the minimax estimation of the underlying stratified structure. We will provide a constructive algorithm allowing to estimate each mixture component at its optimal dimension-specific rate adaptively. The method is based on an ascending hierarchical co-detection of points belonging to different layers, which also identifies the number of layers and their dimensions, assigns each data point to a layer accurately, and estimates tangent spaces optimally. These results hold regardless of any ambient assumption on the manifolds or on their intersection configurations. They open the way to a broad clustering framework, where each mixture component models a cluster emanating from a specific nonlinear correlation phenomenon.
Diego Bolón Rodríguez. A geometry-based highest density region estimator for manifold data. Highest density regions (HDRs) are the subsets of the support where the density function of the data exceeds a given (and usually high) value. Estimating the HDRs of a population from a data sample has multiple practical applications, like clustering analysis or outlier detection. We introduce new geometry-based HDR estimator for manifold data. The new proposal is based on the empirical version of the opening operator from mathematical morphology combined with a preliminary estimator of the density function. This results in an estimator that is easy-to-compute since it simply consists of a radius and a list of centers that are adequately selected from the data. The consistency and the convergence rate (in terms of the Hausdorff distance) of the new estimator are derived. Finally, the performance in practice of the new HDR estimator is illustrated with a real data example. This is a joint work with Rosa M. Crujeiras and Alberto Rodríguez-Casal.
Claire Brécheteau. Learning on mm spaces based on Gromov’s reconstruction theorem. In this talk, we focus on the questions of testing and learning for datasets represented by a matrix of pairwise distances between datapoints. Such datasets can be considered as discrete versions of metric measure spaces (mm spaces). We recall the Gromov’s mm spaces reconstruction theorem in [1], that states that mm spaces can be represented by the distribution of pairwise distance matrices. We give an alternative proof to this theorem. Then we introduce a new metric between mm spaces, based on this theorem, as an alternative to the Gromov-Wasserstein distance, and prove stability results and in particular parametric rates. As the Gromov-Wasserstein distance, this metric allows to account for variations of both density and shape of datasets. We provide new goodness-of-fit and two-sample tests for mm spaces, but also new classification methods for data given by mm spaces (or pairwise distance matrices), based on this new metric. Joint work with Thomas Verdebout. References
Elsa Cazelles. Projecting probability measures onto Wasserstein geodesics. I will first introduce the Busemann function, which naturally defines projections onto geodesic rays in Riemannian manifolds and generalizes the notion of hyperplanes. As the Wasserstein space admits a rich formal Riemannian structure induced by optimal transport metrics, I will then discuss the existence and computation of the Busemann function in this setting. In particular, I will present closed-form expressions in two important cases: one-dimensional probability measures and Gaussian distributions. I will then consider another notion of projection, namely the metric projection, and demonstrate how these projections can be used for transfer learning and geodesic PCA.
Huibin Chang. Mathematical Models and Efficient Algorithms for Ptychography: From Thin-Slice Phase Retrieval to Phase Unwrapping and Thick-Sample Multi-Slice Imaging. Since the advent of X-ray crystallography and coherent diffraction imaging, phase retrieval has become a fundamental problem in modern imaging, with major impact on structural biology, materials science, and electron microscopy. However, conventional phase retrieval often suffers from ill-posedness, limited field of view, and sensitivity to experimental imperfections. Ptychography, a lensless imaging technique based on overlapped scanning and redundant diffraction measurements, has emerged as a powerful approach for overcoming several of these limitations and has enabled imaging at near-atomic and even sub-angstrom resolution. This talk presents a unified overview of mathematical models and efficient algorithms for ptychography, spanning thin-sample phase retrieval, phase unwrapping under strong scattering, and thick-sample multi-slice imaging. The main focus is on how to recover reliable phase information from intensity-only measurements when the underlying inverse problem is nonlinear, nonconvex, and increasingly complicated by noise, phase wrapping, and multiple scattering. We discuss how optimization-based formulations improve robustness and efficiency in thin-sample reconstruction, how strong scattering makes phase unwrapping an essential part of the imaging process, and how multi-slice modeling provides a principled framework for thick-sample imaging despite its increased computational and analytical complexity. Overall, the talk highlights a coherent progression from simpler to more challenging imaging regimes and emphasizes several unifying ideas, including physics-based modeling, structured optimization, and plug-and-play priors.
Vincent Divol. Minimax spectral estimation of Laplace operators.
Fernando Galaz-García. Metric Geometry of Spaces of Persistence Diagrams.
Persistence diagrams are a standard tool in topological data analysis (TDA) for summarizing the shape of data across scales. They may be viewed as countable multisets of points in a metric space X, considered relative to a distinguished nonempty closed subset A of X. Their comparison is usually based on the bottleneck distance or on p-Wasserstein distances, and the resulting spaces of diagrams place metric geometry and TDA in a common framework. In this talk, I will discuss the functorial construction (X,A) -> D_p(X,A), which assigns to each metric pair (X,A) a pointed metric space of persistence diagrams. Several geometric properties of the classical diagram spaces extend to general metric pairs. In particular, if X is a proper Alexandrov space of non-negative curvature, then D_2(X,A) is an infinite-dimensional Alexandrov space of non-negative curvature. I will also discuss more recent work in which the bottleneck and p-Wasserstein distances are recovered as special cases of a broader construction obtained by replacing the usual l^p norm by the norm of a normalized permutation-invariant Banach sequence ideal E. Under natural assumptions on E, the resulting matching formula defines a metric and the associated spaces of persistence diagrams are complete, separable, and geodesic. This enlarges the class of metrics available on spaces of persistence diagrams while preserving the basic geometric properties of the classical cases.
Florentin Goyens. The Riemannian landing method for optimization with equality constraints.
Landing methods have recently emerged in Riemannian matrix optimization as efficient algorithms for handling nonlinear equality constraints without requiring costly retractions. These methods split the search direction into tangent and normal components, allowing iterates to approach feasibility while maintaining inexpensive updates.
In this work, we introduce a geometric framework that unifies landing methods with several classical optimization algorithms. In particular, we show that suitable choices of the Riemannian metric recover projected and null-space gradient flows, Sequential Quadratic Programming (SQP), and a form of the augmented Lagrangian method. These connections also allow us to propose a globally convergent landing method using adaptive step
sizes.
Our framework parameterizes the metric through oblique projectors and metric restrictions on tangent and normal spaces. This perspective clarifies the design of landing methods and provides practical guidelines for constructing metrics that lead to explicit and efficient search directions, particularly in matrix optimization problems with orthogonality constraints.
Stephan Huckeman. The Probability of the Cut Locus of a Fréchet Mean. Générau, F. (2020). Laplacian of the distance function on the cut locus on a Riemannian manifold. Nonlinearity 33(8), 3928. Le, H. and D. Barden (2014). On the measure of the cut locus of a Fréchet mean. Bulletin of the London Mathematical Society 46(4), 698–708. Lytchak, A. and S. F. Huckemann (2025). Zero mass at the cut locus of a Fréchet mean on a Riemannian manifold. arXiv preprint arXiv:2508.00747.
Huiling Le. Fréchet p-functions and Fréchet p-means. The Fréchet p-functions and Fréchet p-means are generalisations of widely-used Fréchet functions and Fréchet means. This talk discusses some of their properties relevant to statistical applications.
Alice Le Brigant. Non parametric information geometry.
Andrea Meilan Vila. Anisotropic geodesic distances for modelling spherical data.
Amaranta Membrillo Solis. Multiscale geometrical and topological learning in the analysis of soft matter collective dynamics. Understanding the dynamics of complex many-body systems from experimental data is an important challenge across physics, chemistry, and biology. Such systems often exhibit hierarchical organisation and complex spatiotemporal dynamics driven by multiscale processes that frequently lead to pattern formation. In this talk, we present a framework that combines geometric methods and topological data analysis to extract quantitative information from images of soft matter systems. In particular, we define a topological descriptor derived from persistent homology that captures changes in the size, shape, and spatial organisation of particle ensembles, and apply it to the analysis of liquid crystals, a representative example of a soft-matter complex system. We also show that geometric analysis of images interpreted as vector fields provides insight into the nonlinear mechanisms underlying the system’s response to external stimuli and enables comparison with theoretical predictions.
Davy Paindaveine. Simplex-based location functionals.
We study location functionals defined through random simplices, with the Oja median providing the prototypical example. In contrast with classical distance-based notions of location, simplex-based functionals are fully affine-equivariant and thus naturally robust under affine changes of coordinates, including marginal changes in measurement units. After reviewing several results in this direction, we present two new extensions of the simplex-based framework: directional quantiles in Euclidean spaces and simplex-based notions of means on hyperspheres. Jim Portegies. The Carleson project and the Real Interpolation Theorem in Lean.
Last year we finished a large collaborative project on the formalization of a generalization of the Carleson Theorem in Lean, a project led by Floris van Doorn. In this talk I will focus on the part I personally worked on most: the real interpolation theorem. I'll describe some challenges that arose from the formalization, but also how these challenges have helped to obtain a slightly more general result. If time permits, I will also zoom out a bit to reflect on the role of formalization and AI for mathematics in general.
Tancredi Schettini Gherardini. PINNs for Knot-filling Minimal Surfaces in Hyperbolic Space.
This talk discusses a novel machine-learning framework for computing minimal surfaces in hyperbolic 4-space that fill knots at infinity. Motivated by the recent conjectures of Joel Fine, this joint project with Marco Usula aimed at developing neural network techniques specific to the differential geometric properties of the problem. After reviewing the relevant background, I will present how Physics-Informed Neural Networks (PINNs) can be a powerful computational tool to explicitly construct new minimal surfaces bounding complex knots. Through this methodology, we successfully generate previously unknown minimal surfaces in dimension 4 for non-trivial knots like the trefoil, as well as obtain minimal surfaces in dimension 3 whose existence was known, but whose description was lacking. Furthermore, our results in dimension 4 accurately reproduce the theoretically predicted number of double points, offering concrete computational validation for Fine's conjecture.
Jordan Serres. K-means with learned metrics.
K-means is a very well-known and widely used algorithm for clustering Euclidean data. It can be generalized to metric measure spaces, however, it is less well understood in settings where both the distance and the measure are unknown and must be estimated. In this talk, I will present recent work in which we prove the consistency of k-means in this context by establishing the stability of k-means centroids and clusters with respect to the measured Gromov–Hausdorff topology. This framework provides a unified approach for proving consistency across a wide range of metric learning procedures. In particular, I will discuss consequences for Isomap and Fermat geodesic distances on manifolds, diffusion distances, and Wasserstein distances. Work in collaboration with P. Groisman (Buenos Aires), M. Jonckheere (Toulouse) and M. Sued (Buenos Aires). |
Loading...