arXiv subjects

Ulderico Fugacci

Publications and source records attributed to Ulderico Fugacci.

At least 19 recordsLinked to original sources

arXiv2026

Persistent Homology and Equivariance in Data Analysis: A Topological Introduction

This new book is intended as a first elementary introduction to Topological Data Analysis for mathematics students seeking a rigorous account of the foundations of persistent homology, as well as for computer scientists interested in its theoretical underpinnings. The exposition is as self-contained as possible: all the required background is recalled when needed, and only a few standard results are cited without proof. One section of the book, devoted to monodromy in biparameter persistence (Section 4.4), requires more advanced knowledge of algebraic topology. Persistent homology can be introduced from different perspectives, reflecting the variety of mathematical languages that have shaped its development over the years. Some approaches emphasize the algebraic foundations of the theory, while others highlight its topological essence. In this book, we adopt the latter viewpoint - the one that historically marked the birth of the subject - because we believe it offers both conceptual clarity and pedagogical effectiveness, making it particularly suitable for undergraduate and early graduate students. This book differs from existing introductory texts in several respects. First, it adopts a functional viewpoint: rather than representing data as finite (pseudo-)metric spaces, it treats them as functions encoding the information to be analyzed. This interpretative framework allows data to be viewed as measurable objects and highlights the role of observers and their equivariances in the analysis process. Second, this perspective provides a natural bridge between Topological Data Analysis and machine learning through the theory of Group Equivariant Non-Expansive Operators (GENEOs), which offers a mathematically grounded framework for incorporating symmetries and invariances into learning systems.

math.AT↗

arXiv2026

LARAG: Link-Aware Retrieval Strategy for RAG Systems in Hyperlinked Technical Documentation

Retrieval-Augmented Generation (RAG) enhances the factual grounding of Large Language Models by conditioning their outputs on external documents. However, standard embedding-based retrievers treat naturally structured corpora, such as technical manuals, as flat collections of passages, thereby overlooking the hyperlink topology that users rely on when navigating such content. We introduce LARAG (Link-Aware RAG): a lightweight, link-aware retrieval strategy that leverages the author-defined hyperlink structure already present in HTML documentation, encoding hyperlink relations as metadata in the chunk representations and exploiting them to perform a form of graph-like retrieval of locally relevant content. In a benchmark of twenty expert-designed queries over Rulex Platform technical documentation and four prompting strategies, LARAG consistently improves answer quality, achieving the highest BERTScore F1, while retrieving fewer chunks and generating fewer tokens than a baseline RAG architecture used for comparison. These results show that directly leveraging the existing hyperlink topology of technical documentation, even without explicit graph construction or inference, enables an implicit form of graph-like retrieval that yields a more faithful and efficient RAG pipeline, providing better grounding at lower cost.

cs.IR↗

arXiv2026

Hook-decomposable modules and their resolutions

We compare several classes of biparameter persistence modules: $\gamma$-products of monoparameter modules, hook-decomposable modules, modules admitting a Smith-type structure theorem, and modules of projective dimension at most 1. We determine all logical implications among these classes, providing explicit counterexamples showing that the converses fail when appropriate. In particular, $\gamma$-products (i.e., hook-decomposable modules) form a very small subclass of biparameter modules, precisely the ones for which a structure theorem still holds, thus making explicit the richer structural complexity of the biparameter setting compared to the monoparameter one.

math.AT↗

arXiv2025

The Convex Matching Distance in Multiparameter Persistence

We introduce the convex matching distance, a novel metric for comparing functions with values in the real plane. This metric measures the maximal bottleneck distance between the persistence diagrams associated with the convex combinations of the two function components. Similarly to the traditional matching distance, the convex matching distance aggregates the information provided by two real-valued components. However, whereas the matching distance depends on two parameters, the convex matching distance depends on only one, offering improved computational efficiency. We further show that the convex matching distance can be more discriminative than the traditional matching distance in certain cases, although the two metrics are generally not comparable. Moreover, we prove that the convex matching distance is stable and characterize the coefficients of the convex combination at which it is attained. Finally, we demonstrate that this new aggregation framework benefits from the computational advantages provided by the Pareto grid, a collection of curves in the plane whose points lie in the image of the Pareto critical set associated with functions assuming values on the real plane. Experimental validation on MNIST digits, synthetic shapes, and chaotic attractors suggests that the convex matching distance provides a reliable and efficient alternative to the matching distance, at a significantly lower computational cost.

math.AT↗

arXiv2025

SHREC 2025: Protein surface shape retrieval including electrostatic potential

This SHREC 2025 track dedicated to protein surface shape retrieval involved 9 participating teams. We evaluated the performance in retrieval of 15 proposed methods on a large dataset of 11,555 protein surfaces with calculated electrostatic potential (a key molecular surface descriptor). The performance in retrieval of the proposed methods was evaluated through different metrics (Accuracy, Balanced accuracy, F1 score, Precision and Recall). The best retrieval performance was achieved by the proposed methods that used the electrostatic potential complementary to molecular surface shape. This observation was also valid for classes with limited data which highlights the importance of taking into account additional molecular surface descriptors.

cs.CV↗

arXiv2025

Topological Correlation

We introduce two novel concepts, topological difference and topological correlation, that offer a new perspective on the discriminative power of multiparameter persistence. The former quantifies the discrepancy between multiparameter and monoparameter persistence, while the other leverages this gap to measure the interdependence of filtering functions. Our framework sheds light on the expressive advantage of multiparameter over monoparameter persistence and suggests potential applications.

math.AT↗

arXiv2025

Retrieving biparameter persistence modules from monoparameter ones: a characterization of hook-decomposable persistence modules

Motivated by the need to relate the biparameter persistence module induced by a pair of scalar functions with the monoparameter persistence modules induced by each function separately, we introduce a construction that defines a kind of product between two monoparameter persistence modules. While originally conceived to serve this comparative purpose, our construction unexpectedly reveals a deeper structural property: it also characterizes a class of biparameter modules known as hook-decomposable modules.

math.AT↗

arXiv2023

GEO-Nav: a geometric dataset of voltage-gated sodium channels

Voltage-gated sodium (Nav) channels constitute a prime target for drug design and discovery, given their implication in various diseases such as epilepsy, migraine and ataxia to name a few. In this regard, performing morphological analysis is a crucial step in comprehensively understanding their biological function and mechanism, as well as in uncovering subtle details of their mechanism that may be elusive to experimental observations. Despite their tremendous therapeutic potential, drug design resources are deficient, particularly in terms of accurate and comprehensive geometric information. This paper presents a geometric dataset of molecular surfaces that are representative of Nav channels in mammals. For each structure we provide three representations and a number of geometric measures, including length, volume and straightness of the recognized channels. To demonstrate the effective use of GEO-Nav, we have tested it on two methods belonging to two different categories of approaches: a sphere-based and a tessellation-based method.

q-bio.BM↗

arXiv2022

SHREC 2022: Protein-ligand binding site recognition

This paper presents the methods that have participated in the SHREC 2022 contest on protein-ligand binding site recognition. The prediction of protein-ligand binding regions is an active research domain in computational biophysics and structural biology and plays a relevant role for molecular docking and drug design. The goal of the contest is to assess the effectiveness of computational methods in recognizing ligand binding sites in a protein based on its geometrical structure. Performances of the segmentation algorithms are analyzed according to two evaluation scores describing the capacity of a putative pocket to contact a ligand and to pinpoint the correct binding region. Despite some methods perform remarkably, we show that simple non-machine-learning approaches remain very competitive against data-driven algorithms. In general, the task of pocket detection remains a challenging learning problem which suffers of intrinsic difficulties due to the lack of negative examples (data imbalance problem).

q-bio.BM↗

arXiv2021

Compression for 2-Parameter Persistent Homology

Compression aims to reduce the size of an input, while maintaining its relevant properties. For multi-parameter persistent homology, compression is a necessary step in any computational pipeline, since standard constructions lead to large inputs, and computational tasks in this area tend to be expensive. We propose two compression methods for chain complexes of free 2-parameter persistence modules. The first method extends the multi-chunk algorithm for one-parameter persistent homology, returning the smallest chain complex among all the ones quasi-isomorphic to the input. The second method produces minimal presentations of the homology of the input; it is based on an algorithm of Lesnick and Wright, but incorporates several improvements that lead to substantial performance gains. The two methods are complementary, and can be combined to compute minimal presentations for complexes with millions of generators in a few seconds. The methods have been implemented, and the software is publicly available. We report on experimental evaluations, which demonstrate substantial improvements in performance compared to previously available compression strategies.

math.AT↗

arXiv2021

SHREC 2021: Retrieval and classification of protein surfaces equipped with physical and chemical properties

This paper presents the methods that have participated in the SHREC 2021 contest on retrieval and classification of protein surfaces on the basis of their geometry and physicochemical properties. The goal of the contest is to assess the capability of different computational approaches to identify different conformations of the same protein, or the presence of common sub-parts, starting from a set of molecular surfaces. We addressed two problems: defining the similarity solely based on the surface geometry or with the inclusion of physicochemical information, such as electrostatic potential, amino acid hydrophobicity, and the presence of hydrogen bond donors and acceptors. Retrieval and classification performances, with respect to the single protein or the existence of common sub-sequences, are analysed according to a number of information retrieval indicators.

q-bio.BM↗

arXiv2020

On the notion of weak isometry for finite metric spaces

Finite metric spaces are the object of study in many data analysis problems. We examine the concept of weak isometry between finite metric spaces, in order to analyse properties of the spaces that are invariant under strictly increasing rescaling of the distance functions. In this paper, we analyse some of the possible complete and incomplete invariants for weak isometry and we introduce a dissimilarity measure that asses how far two spaces are from being weakly isometric. Furthermore, we compare these ideas with the theory of persistent homology, to study how the two are related.

math.MG↗

arXiv2020

Homological Scaffold via Minimal Homology Bases

The homological scaffold leverages persistent homology to construct a topologically sound summary of a weighted network. However, its crucial dependency on the choice of representative cycles hinders the ability to trace back global features onto individual network components, unless one provides a principled way to make such a choice. In this paper, we apply recent advances in the computation of minimal homology bases to introduce a quasi-canonical version of the scaffold, called minimal, and employ it to analyze data both real and in silico. At the same time, we verify that, statistically, the standard scaffold is a good proxy of the minimal one for sufficiently complex networks.

math.AT↗

arXiv2020

Critical Sets of PL and Discrete Morse Theory: a Correspondence

Piecewise-linear (PL) Morse theory and discrete Morse theory are used in shape analysis tasks to investigate the topological features of discretized spaces. In spite of their common origin in smooth Morse theory, various notions of critical points have been given in the literature for the discrete setting, making a clear understanding of the relationships occurring between them not obvious. This paper aims at providing equivalence results about critical points of the two discretized Morse theories. First of all, we prove the equivalence of the existing notions of PL critical points. Next, under an optimality condition called relative perfectness, we show a dimension agnostic correspondence between the set of PL critical points and that of discrete critical simplices of the combinatorial approach. Finally, we show how a relatively perfect discrete gradient vector field can be algorithmically built up to dimension 3. This way, we guarantee a formal and operative connection between critical sets in the PL and discrete theories.

cs.CG↗

arXiv2019

Topology-Preserving Terrain Simplification

We give necessary and sufficient criteria for elementary operations in a two-dimensional terrain to preserve the persistent homology induced by the height function. These operations are edge flips and removals of interior vertices, re-triangulating the link of the removed vertex. This problem is motivated by topological terrain simplification, which means removing as many critical vertices of a terrain as possible while maintaining geometric closeness to the original surface. Existing methods manage to reduce the maximal possible number of critical vertices, but increase thereby the number of regular vertices. Our method can be used to post-process a simplified terrain, drastically reducing its size and preserving its favorable properties.

cs.CG↗

arXiv2018

Chunk Reduction for Multi-Parameter Persistent Homology

The extension of persistent homology to multi-parameter setups is an algorithmic challenge. Since most computation tasks scale badly with the size of the input complex, an important pre-processing step consists of simplifying the input while maintaining the homological information. We present an algorithm that drastically reduces the size of an input. Our approach is an extension of the chunk algorithm for persistent homology (Bauer et al., Topological Methods in Data Analysis and Visualization III, 2014). We show that our construction produces the smallest multi-filtered chain complex among all the complexes quasi-isomorphic to the input, improving on the guarantees of previous work in the context of discrete Morse theory. Our algorithm also offers an immediate parallelization scheme in shared memory. Already its sequential version compares favorably with existing simplification schemes, as we show by experimental evaluation.

math.AT↗

arXiv2018

Computing discrete Morse complexes from simplicial complexes

We consider the problem of efficiently computing a discrete Morse complex on simplicial complexes of arbitrary dimension and very large size. Based on a common graph-based formalism, we analyze existing data structures for simplicial complexes, and we define an efficient encoding for the discrete Morse gradient on the most compact of such representations. We theoretically compare methods based on reductions and coreductions for computing a discrete Morse gradient, proving that the combination of reductions and coreductions produces new mutually equivalent approaches. We design and implement a new algorithm for computing a discrete Morse complex on simplicial complexes. We show that our approach scales very well with the size and the dimension of the simplicial complex also through comparisons with the only existing public-domain algorithm for discrete Morse complex computation. We discuss applications to the computation of multi-parameter persistent homology and of extrema graphs for visualization of time-varying 3D scalar fields.

cs.CG↗

arXiv2018

A Kernel for Multi-Parameter Persistent Homology

Topological data analysis and its main method, persistent homology, provide a toolkit for computing topological information of high-dimensional and noisy data sets. Kernels for one-parameter persistent homology have been established to connect persistent homology with machine learning techniques. We contribute a kernel construction for multi-parameter persistence by integrating a one-parameter kernel weighted along straight lines. We prove that our kernel is stable and efficiently computable, which establishes a theoretical connection between topological data analysis and machine learning for multivariate data analysis.

cs.LG↗