Topology is the branch of mathematics that studies the "shape" of spaces, and one of its key tools is homology, which counts features like loops and holes. The first homology group of a surface, for instance, captures how many independent loops you can draw on it that cannot be shrunk to a point. A practical question in data analysis is: given only a cloud of randomly scattered points sampled from some hidden surface or manifold, can you figure out the shape of that underlying space just from the points and their pairwise distances? One natural approach is to build a random geometric graph by connecting any two points that are close enough together, and then try to read off topological information from that graph.
This paper shows that, under surprisingly mild conditions, the answer is yes. Specifically, when the connection radius is tuned so that vertices have a bounded average number of neighbors (the "thermodynamic regime"), and the graph is in the supercritical phase of percolation (meaning a giant connected component has formed), you can correctly recover the loop structure of the underlying manifold. The method works by looking at all the cycles in the graph and discarding any that are geometrically small, meaning those whose extent is at most a certain scale proportional to the connection radius times the log of that radius. What remains faithfully reflects the true loops of the manifold. Crucially, this approach needs only a linear number of edges, far fewer than the roughly n log n edges required by previously known methods.
The paper also pins down exactly why this scale is the right one. If you discard cycles that are even slightly smaller than this threshold, you lose information and can no longer recover the correct topology. If you are below the percolation threshold entirely, recovery is impossible no matter what. The authors also prove that every compact Riemannian manifold has a well-defined "first homological percolation threshold" that matches the classical percolation threshold of flat space, extending a result previously known only for the flat torus. Together, these results give a sharp and essentially optimal prescription for inferring the loop structure of an unknown manifold from a sparse random sample of its points.