arXiv ScienceSearch

arXiv · 2504.09042

A Comprehensive Review of the Mapper Algorithm, a Topological Data Analysis Technique, and Its Applications Across Various Fields (2007-2025)

Abstract

The Mapper algorithm, a technique within topological data analysis (TDA), constructs a simplified graphical representation of high-dimensional data to uncover its underlying shape and structural patterns. The algorithm has attracted significant attention from researchers and has been applied across various disciplines. However, to the best of the authors' knowledge, no comprehensive review currently exists on the Mapper algorithm and its variants as applied across different fields of study between 2007 and 2025. This review addresses this gap and serves as a valuable resource for researchers and practitioners aiming to apply or advance the algorithm. The reviewed literature comprises peer-reviewed articles retrieved from major academic databases, including Google Scholar, Web of Science, Scopus, JSTOR, PubMed, and IEEE Xplore, using the keywords 'topological data analysis,' 'mapper algorithm,' and 'topological graph.' The study further provides an overview and a comparative analysis of the suitability of the most commonly used filter functions and clustering algorithms within the Mapper framework. Additionally, it examines current trends, identifies limitations, and proposes future research directions for the Mapper algorithm and its variants, emphasizing the need for developing effective methodologies to streamline the analysis of high-dimensional data in the age of big data proliferation.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vine Nwabuisi Madukpe, Bright Chukwuma Ugoala, Nur Fariha Syaqina Zulkepli. 2025-04-12. A Comprehensive Review of the Mapper Algorithm, a Topological Data Analysis Technique, and Its Applications Across Various Fields (2007-2025). https://arxiv.org/abs/2504.09042

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Homogeneous linearly ordered spaces

Every compact subset of a homogeneous generalized ordered (GO) space has character at most $ω_1$ and cardinality at most $2^{ω_1}$; if such a subset has uncountable character, then the character of the whole space equals $ω_1$ and its $π$-character is countable. We construct a homogeneous $σ$-compact linearly ordered space (LOTS) $\mathbf{H}$ containing a compact subset $\mathbf{S}$ of cardinality $2^{ω_1}$ whose character is $ω_1$ at every point and whose weight and Souslin number are both $2^{ω_1}$; thus both bounds obtained are sharp. We prove that a semitopological group that is a GO space is hereditarily paracompact; if, in addition, it is not a $P$-space, then it is submetrizable, has countable character, and its compact subsets are metrizable. Every linearly ordered semitopological group (and, more generally, every GO semitopological group) is either metrizable or is a $P$-space; the same holds for topological groups. We also show that in an order-homogeneous LOTS every compact subset is first countable.

math.GN

A New Approach to Universal Measurability

V. Fedorchuk, A. Chizogidze, and T. Banakh in 2003 and V. Bogachev in 2024 posed the following questions: (i) is it true that $P_τ(X)$ is $C$-embedded in $P_σ(X)$; (ii) Is it true that $P_R(X)$ is $C$-embedded in $P_R(βX)$ if and only if $X$ is pseudocompact, where $P_σ$, $P_τ$, and $P_R$ are the functors of probability $σ$-additive on the Baire $σ$-algebra, $τ$-additive, and Radon measures on the space $X$? The answers to these questions are negative. However, if instead of probability measures we consider the corresponding alternating measures $M_σ$, $M_τ$, and $M_R$, the situation changes. It is proved that (i) $M_τ(X)$ is $C$-embedded in $M_σ(X)$; (ii) $M_R(X)$ is $C$-embedded in $M_R(βX)$ if and only if $X$ is pseudocompact. The question of $C$-embedding of measure spaces is an extension of the question of coincidence of measure spaces, which is a development of the classical concepts of universally measurable and universal measure zero sets. A general theorem is obtained, which leads to the mentioned results.

math.GN

One-Point Metrizable Coarsenings: Gauges and Local Metric Preservation

Let $(X,τ)$ be metrizable and let $a\in X$. We give a constructive account of metrizable topologies $σ\subseteqτ$ that agree with $τ$ on $X\setminus\{a\}$. Applying Hausdorff's classical metric collapse construction, for every noncompact $(X,τ)$ and every compatible metric $d$ we obtain a strict coarsening with a metric $p\le d$ that agrees with $d$ on a common neighborhood of each point other than $a$. A prescribed countably infinite closed discrete set $\{x_n:n\in\N\}\subseteq X\setminus\{a\}$ can be made to satisfy $p(a,x_n)\leλ_n$ for any positive null sequence $(λ_n)$. The resulting metric is greatest among the metrics dominated by $d$ that satisfy these bounds, and is complete whenever $d$ is complete. We exhibit its realization as a classical metric quotient. We also represent all localized metrizable coarsenings by continuous scalar gauges using a standard cone metric. Inclusion is expressed by the cofinal comparison of sublevel sets familiar from extension-trace theory, while pointwise maximum and minimum realize finite joins and meets. A closed-discrete criterion detects strictness. Standard preservation results for Borel structure, complete metrizability, and Polishness, together with function-space and local-field examples, complete the account.

math.GN