http://arxiv.org/api/JJQRpgxy6S0iXFbBaOjPchD91ZI 2025-05-04T00:00:00-04:00 5462 30 15 http://arxiv.org/abs/2504.09729v1 2025-04-13T21:32:49Z 2025-04-13T21:32:49Z

We characterize those complete commutative positive linear ordered monoids $W$ such that whenever $f$ is a map from a Cauchy complete $W$-metric space to itself, the existence of a fixed point of $f$ is independent of the background model of set theory.

Nathanael Ackerman Mostafa Mirabi http://arxiv.org/abs/2411.10725v3 2025-04-13T00:41:43Z 2024-11-16T07:20:17Z

In this paper, we prove prime avoidance for ringoids. We also generalize McCoy's and Davis' prime avoidance theorems in the context of semiring theory. Next, we proceed to define and characterize compactly packed semirings and show that a commutative semiring is compactly packed if and only if each prime ideal is the radical of a principal ideal. Finally, we calculate the set of zero-divisors of some monoid semimodules over compactly packed semirings in terms of their prime ideals.

Peyman Nasehpour In memory of Prof. Dr. J\"{u}rgen Herzog (1941--2024) / Major revision http://arxiv.org/abs/2504.09042v1 2025-04-12T01:48:25Z 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.

Vine Nwabuisi Madukpe Bright Chukwuma Ugoala Nur Fariha Syaqina Zulkepli 31 pages, 9 figures http://arxiv.org/abs/2408.15208v4 2025-04-10T14:25:18Z 2024-08-27T17:16:26Z

We study selected topics about induced actions of topological groups $G$ on Lipschitz-free spaces $\mathcal{F}(M)$ coming from isometric actions on pointed metric spaces $M$. In particular, induced dynamical $G$-systems (under weak-star topology and the dual actions) on the dual $\mathrm{Lip_0} (M)=\mathcal{F}(M)^*$ and on the bidual $\mathcal{F}(M)^{**}$. Two such natural examples are the so-called metric compactification of isometric $G$-spaces for a pointed metric space and the Gromov $G$-compactification of a bounded metric $G$-space. One of the results asserts that for every bounded stable metric $G$-space $(M,d,\mathbf{0})$ the corresponding metric $G$-compactification $\widehat{M}$ is a weakly almost periodic $G$-flow.

Michael Megrelishvili 19 pages http://arxiv.org/abs/2504.07020v1 2025-04-09T16:36:11Z 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.

Eike Neumann Arno Pauly Cécilia Pradic Manlio Valenti http://arxiv.org/abs/2405.19171v3 2025-04-09T14:43:55Z 2024-05-29T15:15:33Z

Completions play an important r\^ole 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.

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

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.

Xiaodong Jia Qingguo Li Wei Luan http://arxiv.org/abs/2503.12766v2 2025-04-08T10:15:42Z 2025-03-17T03:01:49Z

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 $\Sigma P\times \Sigma Q$ is a Fr\'{e}chet space, then $\Sigma (P\times Q)=\Sigma P \times \Sigma Q$. (2) For every $\omega$-well-filtered coherent $d$-space $X$, if $X\times X$ is a Fr\'{e}chet space, then $X$ is sober; (3) For every $\omega$ type P-space or consonant Wilker space $X$, $\Sigma\mathcal{O}(X)$ is sober.

Zhengmao He http://arxiv.org/abs/2312.10735v2 2025-04-08T09:03:29Z 2023-12-17T14:43:45Z

All spaces are assumed to be separable and metrizable. We give a complete classification of the zero-dimensional homogeneous spaces, under the Axiom of Determinacy. This classification is expressed in terms of topological complexity (in the sense of Wadge theory) and Baire category. In the same spirit, we also give a complete classification of the filters on $\omega$ up to homeomorphism. As byproducts, we obtain purely topological characterizations of the semifilters and filters on $\omega$. The Borel versions of these results are in almost all cases due to Fons van Engelen. Along the way, we obtain Wadge-theoretic results of independent interest, especially regarding closure properties.

Andrea Medini 90 pages http://arxiv.org/abs/2504.05175v1 2025-04-07T15:19:16Z 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.

Pedro J. Chocano http://arxiv.org/abs/2504.04888v1 2025-04-07T09:55:24Z 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.

Nikica Uglešić http://arxiv.org/abs/2504.04773v1 2025-04-07T07:04:30Z 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 ($\tau_{\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 $\tau_{\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.

Yogesh Agarwal Varun Jindal 23 pages http://arxiv.org/abs/2503.17861v2 2025-04-05T23:22:04Z 2025-03-22T20:43:15Z

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 $\Gamma^*$ 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.

Yazmin Cote Carlos Uzcátegui-Aylwin http://arxiv.org/abs/2406.00912v2 2025-04-04T21:54:40Z 2024-06-03T00:43:16Z

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.

Artem Chernikov Kyle Gannon Krzysztof Krupiński v.2: 73 pages; minor corrections, increased font size http://arxiv.org/abs/2504.02816v1 2025-04-03T17:57:22Z 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\'at, Grzesik, Jung, Nagy and P\'alv\"olgyi 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.

Leandro Aurichi Paulo Magalhães Júnior Lyubomyr Zdomskyy