https://arxiv.org/api/rR+A/3zggky/3EGx9Ng5DKG1Twk 2026-03-26T11:30:35Z 5817 180 15 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/2401.05185v5 2025-12-03T13:30:56Z

In this article, we first prove a general result in topology which asserts that every quasi-component of a quasi-spectral space is connected. As an important application, the structure of all connected components of every quasi-compact quasi-separated (qcqs) scheme $X$ is fully characterized. They are exactly of the form ...

2024-01-10T14:33:47Z 20 pages Abolfazl Tarizadeh 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 Michał Kowalewski Piotr Oprocha http://arxiv.org/abs/2501.02542v3 2025-11-30T13:57:45Z

I propose a mathematical framework for embedding an unshaped discrete lattice $L$ on a smooth manifold $M$. This framework simplifies complex concepts in pure mathematics and physics by connecting discrete lattice structures with continuous geometric interpretations through practical embeddings.

2025-01-05T13:44:54Z This manuscript represents an early draft. The results will be reorganized and incorporated into a unified and more rigorous framework in a forthcoming work Francesco D'Agostino 10.5281/zenodo.14599397 http://arxiv.org/abs/2512.00865v1 2025-11-30T12:26:32Z

Let $X$ be a set and $2^X$ be a set of all subsets of $X$. The necessary and sufficient conditions under which a mapping $X \to 2^X$ is a closure of one-point sets in some $T_0$-space $(X, τ)$ are described. It is proved that every $T_0$-Alexandroff space is quasi-metrizable by some equidistant quasi-metric.

2025-11-30T12:26:32Z 10 pages Oleksiy Dovgoshey Ruslan Shanin http://arxiv.org/abs/2512.00415v1 2025-11-29T09:49:46Z

We prove that: I. The product of any two regular isodyne spaces of cardinality $ω_1$ is $ω$-resolvable; II. The product of any $n + 2$ Hausdorff isodyne spaces of cardinality $ω_n$ is $ω$-resolvable.

2025-11-29T09:49:46Z 10 pages Anton Lipin http://arxiv.org/abs/2512.00230v1 2025-11-28T22:07:16Z

Answering questions raised in \cite{Leonetti, Uzcategui} we characterize ideals $\mathcal I\subseteq \mathcal P(ω)$ such that $c_{0,\mathcal I}$ is complemented in $\ell_\infty$ as exactly those ideals for which the space $K_{\mathcal I}= \mathsf{Stone}(\mathcal P(ω)/\mathcal I)$ is approximable, i.e., the unit ball of the space $M(K_{\mathcal I})$ of signed Radon measures on $K_\mathcal I$ is separable in the weak* topology.

2025-11-28T22:07:16Z Michael Hrušák Luis Sáenz