HEИндивидуална стипендия2024–2026

QuRe-ViMaL · Quantitative Rectifiability: from Vitushkin's conjecture to Manifold Learning

„Хоризонт Европа“ — Действия „Мария Склодовска-Кюри“

Период
2024-01-01 → 2026-01-31
Финансиране от ЕС
165 313 €
Участници
1
Схема
HORIZON-TMA-MSCA-PF-EF

Линиите свързват координатора с партньорите.

Накратко на български

Геометрията на многомерни обекти, като повърхности с дупки и остри ръбове, се свързва с теорията за статистическото обучение. Това помага да се разбере как да се работят с данни в пространства с голяма размерност, без да се изисква пълна гладкост на повърхностите.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Резултати накратко

Quantitative Rectifiability: from Vitushkin's conjecture to Manifold Learning

The project QuRe-ViMal links two a priori very different area of quantitative research: quantitative geometric measure theory (Q-GMT) on one hand, and statistical learning theory (SLT) on the other. The former is a branch of pure mathematics. It grew out of purely theoretical questions in complex analysis and it deals with understanding the geometry of sets and measures in Euclidean and more general spaces. Imagine for example a two-dimensional surface in the three dimensional Euclidean space. Its degree of smoothness is one of its key properties: for example, it determines whether this surface represents an amenable domain where to solve PDEs, compute derivatives or integrals. Creating holes and sharp corners in a smooth surface turn it rough: these are features which, if too abundantly present, prevent doing analysis and PDEs. The main focus of Q-GMT is then to study the geometry of possibly very high dimensional objects (sets and measures) via quantifying the presence of holes and corners. In the last twenty years Q-GMT proved a very powerful tool in extending analysis and PDEs to a much larger class of `surfaces' (of arbitrary dimension), which are known as Quantitatively Rectifiable sets (or measures). In other words: smoothness is not needed. What is necessary, instead, is a precise quantification and control of holes and corners. The latter research area, STL, is tasked to formalise when a model constructed out of observations, that is, data sets, has predictive capacities with respect to the phenomenon observed. For example, it gives criteria to check whether an interpolating function is overfitting or underfitting. STL and machine learning are afflicted by the so-called curse of dimensionality: the fact that the computational costs scale exponentially with the dimension of the dataset. What saves the day is that more often than not data points coagulate near geometric objects, such as smooth submanifolds, whose intrinsic dimension is vastly smaller than the ambient dimension. This is known as the `latent (smooth) manifold', and the hypothesis of its existence is known as `manifold hypothesis'. There is a vast literature on how to detect and describe the latent manifold in a dataset. However, there is plenty of empirical evidence that the manifold hypothesis is too restrictive: data sets do tend to group around lower dimensional objects, but these may be not `nice' as smooth manifold. The main achievement of QuRe-ViMal is to develop techniques to use the Q-GMT tools to detect the presence of latent Quantitative Rectifiable sets in datasets, with consequences both in unsupervised and supervised learning. These tools, however, had to be developed and deepened. This is the other main achievement of QuRe-ViMal.

Текст от CORDIS, на английски · Данни: CORDIS, © Европейски съюз

Цел на проекта

For compact planar sets, an analogue to the classic travelling salesman problem is: when can all points in a compact set E be traversed by a rectifiable curve? and how long should such a curve be? P. Jones came up with an answer in his influential Analyst's Travelling Salesman Theorem (ATST). Recent work by the PI and collaborators suggest that fundamental questions at the interface between Geometric Measure Theory (GMT), Harmonic Analysis (HA), PDEs and Machine Learning (ML) have at their core establishing higher dimensional analogues of Jones' ATST. This proposal takes up this challenge by focussing onto three concrete investigations: 1) We aim at solving a long-standing and notoriously difficult conjecture of Vitushkin on the connection between analytic capacity and Favard length. As a result of our strategy, we will prove a quantification of the classical Besicovitch-Federer projections theorem. 2) We study the interplay between the geometry and the differentiability structure a set can support, resulting in a) a geometric characterisation of domains admitting a Sobolev trace theorem, and b) a geometric converse of Rademacher's theorem, which answers a notable open question in the David-Semmes theory of uniform rectifiability. 3) We study the geometry of point clouds by developing a corona-type construction which tests whether the data points lie near a parametrisable surface; this is a way of testing the manifold hypothesis, relied upon by most nonlinear dimensionality reduction algortihms in data analysis.Our framework provide a common language within which we tackle these diverse issues. Hence, achieving our objectives will not only result in major subject-specific breakthroughs, but, just as importantly, will develop and expand this `language', thus providing fertile ground for multidisciplinary interactions to take place.

Оригинален текст от CORDIS (на английски).

Участници

  • UNIVERSIDAD DEL PAIS VASCO/ EUSKAL HERRIKO UNIBERTSITATEA · LeioaКоординаторИспания

Връзки

Данни: CORDIS, © Европейски съюз