https://arxiv.org/api/ZFfLPpll+8E10lhkwPULoWdfvdc 2026-06-21T11:31:58Z 5914 585 15 http://arxiv.org/abs/2308.08664v2 2025-04-23T20:43:57Z

We study the poset NO(B) of necessity operators on a boolean algebra B. We show that NO(B) is a meet-semilattice that need not be distributive. However, when B is complete, NO(B) is necessarily a frame, which is spatial iff B is atomic. In that case, NO(B) is a locally Stone frame. Dual results hold for the poset PO(B) of possibility operators. We also obtain similar results for the posets TNO(B) and TPO(B) of tense necessity and possibility operators on B. Our main tool is Jonsson-Tarski duality, by which such operators correspond to continuous and interior relations on the Stone space of B.

2023-08-16T20:29:38Z 18 pages; added passage on future work and made minor corrections Algebra Universalis 86 (2025) Guram Bezhanishvili Andre Kornell http://arxiv.org/abs/2504.15531v1 2025-04-22T02:21:51Z

This paper addresses the topological structures induced on vector spaces by convex modulars that do not satisfy the $Δ_2$ condition, with particular focus on their applications to variable exponent spaces such as \( \ell^{(p_n)} \) and \( L^{p(\cdot)} \). The motivation behind this investigation is its applicability to the study of boundary value problems involving the variable exponent $p(x)$-Laplacian when $p(x)$ is unbounded, a line of research recently opened by the authors. Fundamental topological properties are analyzed, including separation axioms, countability axioms, and the relationship between modular convergence and classical topological concepts such as continuity. Attention is given to the relation between modular and norm topologies. Special emphasis is placed on the openness of modular balls, the impact of the \(Δ_2\)-condition, and duality with respect to modular topologies.

2025-04-22T02:21:51Z Mohamed Khamsi Jan Lang Osvaldo Mendez http://arxiv.org/abs/2504.15398v1 2025-04-21T19:02:45Z

We continue the development of the theory of capturing schemes over $ω_1$ by analyzing the relation between the capturing construction schemes (whose existence is implied by Jensen's $\Diamond$-principle) and both the Continuum Hypothesis and Ostaszewski's $\clubsuit$-principle. Formally, we show that the property of being capturing can be viewed as the conjunction of two properties, one of which is implied by $\clubsuit$ and the other one by CH. We apply these principles to construct multiple gaps, entangled sets and metric spaces without uncountable monotone subspaces.

2025-04-21T19:02:45Z 28 pages Jorge Antonio Cruz Chapital http://arxiv.org/abs/2504.14213v1 2025-04-19T07:36:11Z

We introduce and study a new type of mappings in metric spaces termed $n$-point Kannan-type mappings. A fixed-point theorem is proved for these mappings. In general case such mappings are discontinuous in the domain but necessarily continuous at fixed points. Conditions under which usual Kannan mappings and mapping contracting the total pairwise distances between $n$ points are $n$-point Kannan-type mappings are found. It is shown that additional conditions of asymptotic regularity and continuity allow to extend the value of the contraction coefficient in fixed-point theorems for $n$-point Kannan-type mappings.

2025-04-19T07:36:11Z 12 pages Ravindra K. Bisht Evgeniy Petrov http://arxiv.org/abs/2504.13761v1 2025-04-18T15:59:25Z

The comonotonic maxitivity property of functionals frequently appears in the characterization of fuzzy integrals based on the maximum operation. In some special cases, comonotonic maxitivity implies monotonicity of functionals. The question of whether this implication holds in general was posed by T. Radul (2023). It was shown in that paper that the implication is valid for finite compacta. In this article, we provide a negative answer to the general problem and discuss additional properties that need to be imposed to ensure the implication holds.

2025-04-18T15:59:25Z Taras Radul http://arxiv.org/abs/2411.10866v2 2025-04-18T06:35:04Z

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $ω$. A point $η\in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to $η$ such that the set of indexes $\{k_n: n \in ω\}\notin \mathcal{I}$. Denote by $\mathscr{L}(\mathcal{I})$ the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$ or $S$ is empty. In this paper, we study the relationships between the topological complexity of ideals $\mathcal{I}$, their combinatorial properties, and the families of sets $\mathscr{L}(\mathcal{I})$ which can be attained. On the positive side, we provide several purely combinatorial (not dependind on the space $X$) characterizations of ideals $\mathcal{I}$ for the inclusions and the equalities between $\mathscr{L}(\mathcal{I})$ and the Borel classes $Π^0_1$, $Σ^0_2$, and $Π^0_3$. As a consequence, we prove that if $\mathcal{I}$ is a $Π^0_4$ ideal then exactly one of the following cases holds: $\mathscr{L}(\mathcal{I})=Π^0_1$ or $\mathscr{L}(\mathcal{I})=Σ^0_2$ or $\mathscr{L}(\mathcal{I})=Σ^1_1$ (however we do not have an example of a $Π^0_4$ ideal with $\mathscr{L}(\mathcal{I})=Σ^1_1$). In addition, we provide an explicit example of a coanalytic ideal $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})=Σ^1_1$. On the negative side, we show that there are no ideals $\mathcal{I}$ such that $\mathscr{L}(\mathcal{I})=Π^0_2$ or $\mathscr{L}(\mathcal{I})=Σ^0_3$. We conclude with several open questions.

2024-11-16T19:22:27Z Rafal Filipow Adam Kwela Paolo Leonetti http://arxiv.org/abs/2504.11751v2 2025-04-17T11:48:48Z

We study planar flows without non-wandering points and prove several properties of these flows in relation with their prolongational relation. The main results of this article are that a planar (regular) wandering flow has no generalized recurrence and has only two topological invariants: the space of its orbits and its prolongational relation (or, equivalently, its smallest stream). As a byproduct, our results show that, even in absence of any type of recurrence, the stream of a flow contains fundamental information on its behavior.

2025-04-16T04:06:41Z 32 pages, 6 figures Joseph Auslander Roberto De Leo http://arxiv.org/abs/2504.12277v1 2025-04-16T17:35:51Z

In this thesis, we introduce the subject of D-spaces and some of its most important open problems which are related to well known covering properties. We then introduce a new approach for studying D-spaces and covering properties in general. We start by defining a topology on the family of all principal ultrafilters of a set $X$ called the principal ultrafilter topology. We show that each open neighborhood assignment could be transformed uniquely to a special continuous map using the principal ultrafilter topology. We study some structures related to this special continuous map in the category Top, then we obtain a characterization of D-spaces via this map. Finally, we prove some results on Lindelöf, paracompact, and metacompact spaces that are related to the property D.

2025-04-16T17:35:51Z Talal Alrawajfeh Hasan Z. Hdeib http://arxiv.org/abs/2412.01816v2 2025-04-15T18:14:41Z

Ends and end cohomology are powerful invariants for the study of noncompact spaces. We present a self-contained exposition of the topological theory of ends and prove novel extensions including the existence of an exhaustion of a proper map. We define reduced end cohomology as the relative end cohomology of a ray-based space. We use those results to prove a version of a theorem of King that computes the reduced end cohomology of an end sum of two manifolds. We include a complete proof of Freudenthal's fundamental theorem on the number of ends of a topological group, and we use our results on dimension-zero end cohomology to prove -- without using transfinite induction -- a theorem of Nöbeling on freeness of certain modules of continuous functions.

2024-12-02T18:56:21Z 56 pages, 21 figures. Included acknowledgement, replaced Figure 4.2, and corrected a few typos William G. Bass Jack S. Calcut http://arxiv.org/abs/2407.08974v4 2025-04-15T09:15:39Z

Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced machine learning model (Top-ML) for anticancer peptides prediction. Our Top-ML employs peptide topological features derived from its sequence "connection" information characterized by vector and spectral descriptors. Our Top-ML model, employing an Extra-Trees classifier, has been validated on the AntiCP 2.0 and mACPpred 2.0 benchmark datasets, achieving state-of-the-art performance or results comparable to existing deep learning models, while providing greater interpretability. Our results highlight the potential of leveraging novel topology-based featurization to accelerate the identification of anticancer peptides.

2024-07-12T04:04:54Z Joshua Zhi En Tan JunJie Wee Xue Gong Kelin Xia http://arxiv.org/abs/2503.10491v2 2025-04-15T08:55:50Z

We give a characterization of the $Δ_1$-property of any Tychonoff space $X$ in terms of the function space $B_1(X)$ of all Baire-one real-valued functions on a space $X$ with the topology of pointwise convergence. We establish that for a Tychonoff space $X$ the $Δ_1$-property is equivalent to the Choquet property of $B_1(X)$. Also we construct under $ZFC$ an example of a separable pseudocompact space $X$ such that $C_p(X)$ is $κ$-Frechet-Urysohn but $X$ fails to be a $Δ_1$-space. This answers a question of Kakol-Leiderman-Tkachuk.

2025-03-13T15:56:25Z 8 pages. arXiv admin note: text overlap with arXiv:2110.15496, arXiv:2501.06898 Alexander V. Osipov http://arxiv.org/abs/2501.19226v2 2025-04-14T15:34:13Z

In this paper, we explore a taxonomy of connectivity for space-like structures. It is inspired by isolating posets of connected pieces of a space and examining its embedding in the ambient space. The taxonomy includes in its scope all standard notions of connectivity in point-set and point-free contexts, such as connectivity in graphs and hypergraphs (as well as k-connectivity in graphs), connectivity and path-connectivity in topology, and connectivity of elements in a frame.

2025-01-31T15:37:00Z 22 pages, 13 figures, v2 fixed some figure referencing Appl Categor Struct 34, 18 (2026) Jean F. Du Plessis Zurab Janelidze Bernardus A. Wessels 10.1007/s10485-025-09840-0 http://arxiv.org/abs/2410.17254v2 2025-04-14T15:18:01Z

We study {\it permeable} sets. These are sets \(Θ\subset \mathbb{R}^d\) which have the property that each two points \(x,y\in \mathbb{R}^d\) can be connected by a short path \(γ\) which has small (or even empty, apart from the end points of \(γ\)) intersection with \(Θ\). We investigate relations between permeability and Lebesgue measure and establish theorems on the relation of permeability with several notions of dimension. It turns out that for most notions of dimension each subset of \(\mathbb{R}^d\) of dimension less than \(d-1\) is permeable. We use our permeability result on the Nagata dimension to characterize permeability properties of self-similar sets with certain finiteness properties.

2024-10-03T18:57:50Z Gunther Leobacher Tapio Rajala Alexander Steinicke Jörg Thuswaldner http://arxiv.org/abs/2504.09729v1 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.

2025-04-13T21:32:49Z Nathanael Ackerman Mostafa Mirabi http://arxiv.org/abs/2411.10725v3 2025-04-13T00:41:43Z

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.

2024-11-16T07:20:17Z In memory of Prof. Dr. Jürgen Herzog (1941--2024) / Major revision Peyman Nasehpour 10.1142/S0219498826502555