https://arxiv.org/api/AI4ALdkMqgCvYmoK3yP62lUidhQ 2026-06-18T13:21:10Z 5913 300 15 http://arxiv.org/abs/2503.05579v2 2025-12-15T14:48:56Z

We characterize relative notions of syndetic and thick sets using, what we call, "derived" sets along ultrafilters. Manipulations of derived sets is a characteristic feature of algebra in the Stone-Čech compactification and its applications. Combined with the existence of idempotents and structure of the smallest ideal in closed subsemigroups of the Stone-Čch compactification, our particular use of derived sets adapt and generalize methods recently used by Griffin arXiv:2311.09436 to characterize relative piecewise syndetic sets. As an application, we define an algebraically interesting subset of the Stone-Čech compactification and show, in some ways, it shares structural properties analogous to the smallest ideal.

2025-03-07T17:03:38Z 33 pages, corrected typos and added examples Shea D. Burns Dennis Davenport Shakuan Frankson Conner Griffin John H. Johnson Malick Kebe http://arxiv.org/abs/2512.12064v1 2025-12-12T22:08:38Z

Maps $f,g\colon X\to X$ are called kin if they are forward iterates of the same map $\varphi\colon X\to X$, up to a composition with a commuting homeomorphism. Kin form an important class of commuting maps on $X$. In this paper, we characterize kin, and give an Euclidean-type algorithm which tests when two maps $f,g\colon X\to X$ are kin. Furthermore, we compute the topological entropy of diagonal maps induced by commuting diagonal kin diagrams.

2025-12-12T22:08:38Z 28 pages, 7 figures Ana Anušić Christopher Mouron http://arxiv.org/abs/2511.06241v2 2025-12-12T07:29:00Z

In this work, we present several new findings regarding the concepts of orbit-transitivity, strict orbit-transitivity, $ω$-transitivity, and $μ$-open-set transitivity for self-maps on generalized topological spaces. Let $(X,μ)$ denote a generalized topological space. A point $x \in X$ is said to be \textit{quasi-$μ$-isolated} if there exists a $μ$-open set $U$ such that $x \in U$ and $i_μ(U \setminus c_μ(\{x\})) = \emptyset$. We prove that $x$ is a quasi-$μ$-isolated point of $X$ precisely when there exists a $μ$-dense subset $D$ of $X$ for which $x$ is a $μ_D$-isolated point of $D$. Moreover, in the case where $X$ has no quasi-$μ$-isolated points, we establish that a map $f: X \to X$ is orbit-transitive (or strictly orbit-transitive) if and only if it is $ω$-transitive.

2025-11-09T05:53:43Z We want to revise the paper and extend some of its results M. R. Ahmadi Zand N. Baimani http://arxiv.org/abs/2512.10599v1 2025-12-11T12:49:31Z

We first introduce and investigate a new class of $T_0$ spaces -- strong R-spaces, which are stronger than both R-spaces and strongly well-filtered spaces. It is proved that any sup-complete poset equipped with the upper topology is a strong R-space and the Hoare power space of a $T_0$-space is a strong R-space. Hence the upper topology on a sup-complete poset is strongly well-filtered and the Hoare power space of a $T_0$-space is strongly well-filtered, which answers two problems recently posed by Xu.

2025-12-11T12:49:31Z 10 pages, 3 figures Xiaoquan Xu Yi Yang Lizi Chen http://arxiv.org/abs/2512.09614v1 2025-12-10T13:05:28Z

The $π$-weight spectrum for countable regular Fréchet-Urysohn spaces is the set of uncountable cardinals that are equal to the $π$-weight for some such space. We determine this $π$-weight spectrum in the standard Miller rational perfect set model and in the Random real model.

2025-12-10T13:05:28Z Alan Dow http://arxiv.org/abs/2504.12965v2 2025-12-08T15:48:44Z

This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of topologicalspaces and continuous maps. Namely, it is shown that, whenever $X$ is a topological $\bigwedge$-semilattice, the canonical forgetful functor $\mathsf{Top} \Downarrow X \to \mathsf{Top}$ is topological, preserves and reflects exponentials, and preserves effective descent morphisms. Moreover, under additional conditions on $X$, a characterisation of effective descent morphisms is obtained.

2025-04-17T14:18:42Z 26p + 3p refs Order 43, 3 (2026) Maria Manuel Clementino Dirk Hofmann Rui Prezado 10.1007/s11083-025-09714-z http://arxiv.org/abs/2512.03885v1 2025-12-03T15:36:20Z

The so-called $T$-sequences $\mathbf u$ in a group $G$, and the related finest Hausdorff group topology $T_\mathbf u$ on $G$ that makes $\mathbf u$ a null sequence, were introduced by Protasov and Zelenyuk 35 years ago and since then they became a fundamental tool in the field of topological groups. More recently, in the abelian case, the subfamily of $T$-sequences called $TB$-sequences was introduced, as well as the finest precompact group topology $T_\mathbf{pu}$ that makes $\mathbf u$ a null sequence. Here we study the counterpart of all these notions with respect to ideal convergence in place of the classical notion of convergence of a sequence. Also, we study their relation to the already established field of $I$-characterized subgroups of compact abelian groups.

2025-12-03T15:36:20Z Lydia Außenhofer Dikran Dikranjan Anna Giordano Bruno http://arxiv.org/abs/2512.03633v1 2025-12-03T10:14:18Z

We present an approximation theorem for continuous non-decreasing functions on compact preordered spaces, leading to an algebraic characterization of their corresponding function spaces. As an application, we prove that the family of positive non-decreasing rational functions with non-negative coefficients can uniformly approximate all continuous non-decreasing functions on compact intervals. An explicit approximation formula of this type is provided.

2025-12-03T10:14:18Z 20 pages Ettore Minguzzi http://arxiv.org/abs/2504.10252v2 2025-12-02T19:32:31Z

Background: Topological data analysis (TDA) has exploded as a tool for analyzing and making sense of high dimensional datasets across a variety of fields. Mapper is a tool from TDA that captures low-dimensional structure from high-dimensional data, precisely the approach needed to capture relevant information from high-dimensional neural time series. Electrical potential scalp recording, or electroencephalography (EEG), is routinely used in clinical applications and research studies thanks to its noninvasive nature, relatively inexpensive equipment, and high temporal resolution. But, it is prone to contamination, exhibits low spatial resolution, and has a non-stationary nature. Thus, it requires advanced signal processing and mathematical analysis methods for tasks requiring unsupervised brain state clustering. New Method: We introduce MapperEEG, an approach to unsupervised brain state clustering that uses tools from classical EEG analysis combined with Mapper to cluster and connect brain states. Results: We show that MapperEEG can serve as a clustering algorithm in the spectral domain and provide additional information about the underlying brain state connectivity in a tapping task. Additionally, we use a go/no-go shooting task to explore how MapperEEG can still provide insight into the underlying structure and clusters of brain states even when it and other clustering methods fail. Comparison with Existing Methods: We demonstrate that it outperforms six other clustering algorithms such as hierarchical clustering, Hidden Markov Models, and basic autoencoders on identifying states in a tapping task. Conclusions: MapperEEG offers a novel and effective approach to analyzing EEG data, showing promise for brain state clustering and analysis.

2025-04-14T14:13:48Z Brittany Story Zhibin Zhou Ramesh Srinivasan Scott Kerick David Boothe Piotr J. Franaszczuk http://arxiv.org/abs/2408.16456v3 2025-12-02T03:01:39Z

It is shown that the isomorphism relation between continuous t-norms is Borel bireducible with the relation of order isomorphism between linear orders on the set of natural numbers, and therefore, it is a Borel complete equivalence relation.

2024-08-29T11:43:01Z 15 pages, revised version Topology and its Applications, 378:109684, 2026 Jialiang He Lili Shen Yi Zhou 10.1016/j.topol.2025.109684 http://arxiv.org/abs/2510.10754v2 2025-12-01T17:07:52Z

We prove that a topological group is isomorphic to the real line if and only if it is a one-parameteric, metrizable, and not monothetic. This result is used in the authors' other paper to prove that one-parametric groups in strictly convex metric group all are topologically isomorphic to the real line. The example of the Bohr topology on the real line demonstrates that metrizability is an essential assumption in our first claim. This motivates further study to characterize the Bohr group topology as well as detect a monothetic one-parametric topological groups in a non-metrizable setting. Both issues are addressed and resolved in the present paper.

2025-10-12T18:48:42Z 9 pages Taras Banakh Kateryna Makarova Oles Mazurenko http://arxiv.org/abs/2512.01751v1 2025-12-01T14:54:47Z

To a singular foliation on the plane corresponds a circular boundary at infinity endowed with a pre-lamination on the circle. We solve the converse direction. We determine which pre-lamination on the circle are boundary at infinity of a foliation, and we build the corresponding (unique) foliation. We consider both regular foliations and a singular foliations with prong singularities.

2025-12-01T14:54:47Z 69 pages, 2 figures Christian Bonatti Théo Marty http://arxiv.org/abs/2512.01323v1 2025-12-01T06:28:09Z

This paper develops a complete foundational treatment of simplicial complexes from Euclidean spaces through geometric realizations, emphasizing concrete computations, examples, and practical verification methods. Beginning with finite point sets in finite and infinite-dimensional Euclidean spaces, geometric independence is established via linear independence of relative vectors, with explicit matrix rank tests. $n$-simplices arise as convex hulls of such independent points, proven convex, compact, uniquely spanned, and homeomorphic to unit balls, with detailed barycentric coordinate. Simplicial complexes form through collections closed under faces and with simplex intersections either empty or common faces, verified by necessary and sufficient disjoint interior conditions, illustrated across dimensions from lines to tetrahedra plus non-examples. Derived structures including subcomplexes, $p$-skeletons, vertices, stars, and links lead to geometric realizations as continuous spaces with weak topology, proven Hausdorff and locally compact, alongside ray characterizations of convexity and continuity via simplicial maps.

2025-12-01T06:28:09Z Sanjay Mishra http://arxiv.org/abs/2512.01065v1 2025-11-30T20:22:54Z

We construct a model of the Open Graph Axiom (OGA) in which there is a 2-entangled Suslin line $S$. Consequently, in this model, there is a 2-entangled uncountable linear order, but no such order is separable. This resolves a problem posed by Carroy, Levine, and Notaro \cite{carroy2025} and answers a question from McKenney on MathOverflow \cite{Mckenney2014}.

2025-11-30T20:22:54Z Carlos Martinez-Ranero Lucas Polymeris http://arxiv.org/abs/2405.05407v3 2025-11-30T18:33:37Z

We compare quasi-graphs and generalized $\sin(1/x)$-type continua, which are two classes of continua that generalize topological graphs and contain the Warsaw circle as a nontrivial common element. We show that neither class is a subset of the other, provide some characterizations, and present illustrative examples. We unify both approaches by considering the class of tranched graphs, compare it to concepts known from the literature, and describe how the topological structure of its elements restricts possible dynamics.

2024-05-08T20:21:42Z Fundamenta Mathematicae 273 (2026), 1-46 Michał Kowalewski Piotr Oprocha 10.4064/fm240613-5-12