https://arxiv.org/api/Lz52hoSa/Xd7uG+uNTQf0RDHhrQ 2026-06-21T12:37:20Z 5914 600 15 http://arxiv.org/abs/2504.09042v1 2025-04-12T01:48:25Z

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.

2025-04-12T01:48:25Z 31 pages, 9 figures Vine Nwabuisi Madukpe Bright Chukwuma Ugoala Nur Fariha Syaqina Zulkepli http://arxiv.org/abs/2504.07020v1 2025-04-09T16:36:11Z

In computable topology, a represented space is called computably discrete if its equality predicate is semidecidable. While any such space is classically isomorphic to an initial segment of the natural numbers, the computable-isomorphism types of computably discrete represented spaces exhibit a rich structure. We show that the widely studied class of computably enumerable equivalence relations (ceers) corresponds precisely to the computably Quasi-Polish computably discrete spaces. We employ computably discrete spaces to exhibit several separating examples in computable topology. We construct a computably discrete computably Quasi-Polish space admitting no decidable properties, a computably discrete and computably Hausdorff precomputably Quasi-Polish space admitting no computable injection into the natural numbers, a two-point space which is computably Hausdorff but not computably discrete, and a two-point space which is computably discrete but not computably Hausdorff. We further expand an example due to Weihrauch that separates computably regular spaces from computably normal spaces.

2025-04-09T16:36:11Z Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, 2025, pp. 349-364 Eike Neumann Arno Pauly Cécilia Pradic Manlio Valenti 10.1007/978-3-031-95908-0_25 http://arxiv.org/abs/2405.19171v3 2025-04-09T14:43:55Z

Completions play an important rôle for studying structure by supplying elements that in some sense ``ought to be." Among these, the Dedekind-MacNeille completion is of particular importance. In 1968 Janowitz provided necessary and sufficient conditions for it to be subfit or Boolean. Another natural separation axiom connected to these is regularity. We explore similar characterizations of when closely related completions are subfit, regular, or Boolean. We are mainly interested in the Bruns-Lakser, ideal, and canonical completions, which (unlike the Dedekind-MacNeille completion) satisfy stronger forms of distributivity. The first two are widely used in pointfree topology, while the latter is of crucial importance in the semantics of modal logic.

2024-05-29T15:15:33Z 28 pages, 4 figures, 4 tables G. Bezhanishvili F. Dashiell M. A. Moshier J. Walters-Wayland http://arxiv.org/abs/2504.04189v2 2025-04-08T14:19:43Z

We prove that every domain that fails to be algebraic admits the unit interval $[0, 1]$ as its Scott-continuous retract. As a result, every countable domain is algebraic.

2025-04-05T14:16:13Z Xiaodong Jia Qingguo Li Wei Luan http://arxiv.org/abs/2503.12766v2 2025-04-08T10:15:42Z

In this paper, we investigate the sobriety of weakly first-countable spaces and give some sufficient conditions that the Scott topologies of the open set lattices are sober. The main results are: (1) Let $P$ and $Q$ be two posets. If $ΣP\times ΣQ$ is a Fréchet space, then $Σ(P\times Q)=ΣP \times ΣQ$. (2) For every $ω$-well-filtered coherent $d$-space $X$, if $X\times X$ is a Fréchet space, then $X$ is sober; (3) For every $ω$ type P-space or consonant Wilker space $X$, $Σ\mathcal{O}(X)$ is sober.

2025-03-17T03:01:49Z Zhengmao He http://arxiv.org/abs/2504.05175v1 2025-04-07T15:19:16Z

In this paper, we study flows and semiflows defined on any given finite topological $T_0$-space $X$. We show that there exist non-trivial semiflows on $X$, unless $X$ is a minimal finite space. Specifically, non-trivial semiflows exist if and only if $X$ contains down beat points, and a non-trivial semiflow is essentially a strong deformation retraction. As a consequence of this result, we provide a new and concise proof that the only flow that can be defined on $X$ is the trivial flow. Finally, we discuss the number of different semiflows that can be defined on $X$ in terms of down beat points and other special points.

2025-04-07T15:19:16Z Pedro J. Chocano http://arxiv.org/abs/2504.04888v1 2025-04-07T09:55:24Z

A generalization of an inverse system in a category was recently introduced, as well as that of the corresponding pro-category These so called the delay-inverse systems and delay-pro-category could potentially yield a new theory of (delay-) inverse systems as well as a kind of coarser abstract shape theory. However, we have proven that, whenever an indexing set has cardinality $\aleph_{n}, n\in\mathbb{N}_{0}$, the potential new theory reduces, in its essence (the classification and invariants), to the ordinary one.

2025-04-07T09:55:24Z Nikica Uglešić http://arxiv.org/abs/2504.04773v1 2025-04-07T07:04:30Z

For a bornology $\mathcal{S}$ of subsets of a metric space $(X,d)$, we consider the following unified approaches of hyperspace convergence: convergence induced through uniform convergence of distance functionals ($τ_{\mathcal{S},d}$-convergence); bornological convergence, and the weak convergence induced by a family of gap and excess functionals. An interesting problem regarding these convergences is to investigate when any two of them are equivalent. In this article, we investigate the relation of $τ_{\mathcal{S},d}$-convergence with the other two convergences, which is not completely transparent. As a main tool for our investigation, we use the idea of pointwise enlargement of a set by a positive Lipschitz function. As applications of our results, we provide new proofs of some known results about Attouch-Wets convergence.

2025-04-07T07:04:30Z 23 pages Yogesh Agarwal Varun Jindal http://arxiv.org/abs/2503.17861v2 2025-04-05T23:22:04Z

This article explores the connections between graph-theoretical and topological approaches in the study of the Jordan curve theorem for grids. Building on the foundational work of Rosenfeld, who developed adjacency-based concepts on $\mathbb{Z}^2$, and the subsequent introduction of the topological digital plane $\mathbb{K}^2$ with the Khalimsky topology by Khalimsky, Kopperman, and Meyer, we investigate the interplay between these perspectives. Inspired by the work of Khalimsky, Kopperman, and Meyer, we define an operator $Γ^*$ transforming subsets of $\mathbb{Z}^2$ into subsets of $\mathbb{K}^2$. This operator is essential for demonstrating how 8-paths, 4-connectivity, and other discrete structures in $\mathbb{Z}^2$ correspond to topological properties in $\mathbb{K}^2$. Moreover, we address whether the topological Jordan curve theorem for $\mathbb{K}^2$ can be derived from the graph-theoretical version on $\mathbb{Z}^2$. Our results illustrate the deep and intricate relationship between these two methodologies, shedding light on their complementary roles in digital topology.

2025-03-22T20:43:15Z Yazmin Cote Carlos Uzcátegui-Aylwin http://arxiv.org/abs/2406.00912v2 2025-04-04T21:54:40Z

We study idempotent measures and the structure of the convolution semigroups of measures over definable groups. We isolate the property of generic transitivity and demonstrate that it is sufficient (and necessary) to develop stable group theory localizing on a generically stable type, including invariant stratified ranks and connected components. We establish generic transitivity of generically stable idempotent types in important new cases, including abelian groups in arbitrary theories and arbitrary groups in rosy theories, and characterize them as generics of connected type-definable subgroups. Using tools from Keisler's randomization theory, we generalize some of these results from types to generically stable Keisler measures, and classify idempotent generically stable measures in abelian groups as (unique) translation-invariant measures on type-definable fsg subgroups. This provides a partial definable counterpart to the classical work of Rudin, Cohen and Pym for locally compact topological groups. Finally, we provide an explicit construction of a minimal left ideal in the convolution semigroup of measures for an arbitrary countable NIP group, from a minimal left ideal in the corresponding semigroup on types and a canonical measure constructed on its ideal subgroup. In order to achieve it, we in particular prove the revised Ellis group conjecture of Newelski for countable NIP groups.

2024-06-03T00:43:16Z v.2: 73 pages; minor corrections, increased font size Artem Chernikov Kyle Gannon Krzysztof Krupiński http://arxiv.org/abs/2504.02816v1 2025-04-03T17:57:22Z

Given a graph $G$ and a subset $X$ of vertices of $G$ with size at least two, we denote by $N^2_G(X)$ the set of vertices of $G$ that have at least two neighbors in $X$. We say that a bipartite graph $G$ with sides $A$ and $B$ satisfies the double Hall property if for every subset $X$ of vertices of $A$ with size at least 2, $\vert N^2_G(X)\vert \geq \vert X\vert$. Salia conjectured that if $G$ is a bipartite graph that satisfies the double Hall property, then there exists a cycle in $G$ that covers all vertices of $A$. In this work, we study this conjecture restricted to infinite graphs. For this, we use the definition of ends and infinite cycles. It is simple to see that Salia's conjecture is false for infinite graphs in general. Consequently, all our results are partial. Under certain hypothesis it is possible to obtain a collection of pairwise disjoint 2-regular subgraphs that covers $A$. We show that if side $B$ is locally finite and side $A$ is countable, then the conjecture is true. Furthermore, assuming the conjecture holds for finite graphs, we show that it holds for infinite graphs with a restriction on the degree of the vertices of $B$. This result is inspired by the result obtained by Barát, Grzesik, Jung, Nagy and Pálvölgyi for finite graphs. Finally, we also show that if Salia's conjecture holds for some cases of infinite graphs, then the conjecture about finite graphs presented by Lavrov and Vandenbussche is true.

2025-04-03T17:57:22Z Leandro Aurichi Paulo Magalhães Júnior Lyubomyr Zdomskyy http://arxiv.org/abs/2504.02425v1 2025-04-03T09:28:50Z

Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the ultrametric spaces which are weakly similar to finite US-spaces and describe these spaces by certain four-point conditions.

2025-04-03T09:28:50Z Oleksiy Dovgoshey Omer Cantor Olga Rovenska http://arxiv.org/abs/2503.24092v1 2025-03-31T13:43:21Z

Motivated by the rapidly growing field of mathematics for operator approximation with neural networks, we present a novel universal operator approximation theorem for a broad class of encoder-decoder architectures. In this study, we focus on approximating continuous operators in $\mathcal{C}(\mathcal{X}, \mathcal{Y})$, where $\mathcal{X}$ and $\mathcal{Y}$ are infinite-dimensional normed or metric spaces, and we consider uniform convergence on compact subsets of $\mathcal{X}$. Unlike standard results in the operator learning literature, we investigate the case where the approximating operator sequence can be chosen independently of the compact sets. Taking a topological perspective, we analyze different types of operator approximation and show that compact-set-independent approximation is a strictly stronger property in most relevant operator learning frameworks. To establish our results, we introduce a new approximation property tailored to encoder-decoder architectures, which enables us to prove a universal operator approximation theorem ensuring uniform convergence on every compact subset. This result unifies and extends existing universal operator approximation theorems for various encoder-decoder architectures, including classical DeepONets, BasisONets, special cases of MIONets, architectures based on frames and other related approaches.

2025-03-31T13:43:21Z 34 pages Janek Gödeke Pascal Fernsel http://arxiv.org/abs/2503.23938v1 2025-03-31T10:38:24Z

In recent studies, Bibiloni-Femenias, Miñana and Valero characterized the functions that aggregate a family of (quasi-)(pseudo)metric modulars defined over a fixed set $X$ into a single one. In this paper, we adopt a related but different approach to examine those functions that allow us to define a (quasi-)(pseudo)metric modular in the Cartesian product of (quasi-)(pseudo)metric modular spaces. We base our research on the recent development of a general theory of aggregation functions between quantales. This enables to shed light between the two different ways of aggregation (quasi-)(pseudo)metric modulars.

2025-03-31T10:38:24Z Mathematics 13, no. 5 (2025), 809 Alejandro Fructuoso-Bonet Jesús Rodríguez-López 10.3390/math13050809 http://arxiv.org/abs/2409.07280v2 2025-03-28T09:25:47Z

In this paper we investigate Schur ultrafilters on groups. Using the algebraic structure of Stone-Čech compactifications of discrete groups and Schur ultrafilters, we give a new description of Bohr compactifications of topological groups. This approach allows us to characterize chart groups that are topological groups. Namely, a chart group $G$ is a topological group if and only if each Schur ultrafilter on $G$ converges to the unit of $G$.

2024-09-11T14:08:31Z Serhii Bardyla Pavol Zlatoš