https://arxiv.org/api/rzcPKHAgyhWTmJ6J+CTyN681HEE 2026-06-19T02:47:02Z 5914 495 15 http://arxiv.org/abs/2507.12272v1 2025-07-16T14:21:37Z

Given a compact metric space $X$ and an upper semicontinuous function $F\colon X \to 2^X$, we explore the dynamic system $(X,F)$. In this study, we introduce new concepts, demonstrate various results, and provide numerous examples. In particular, we define the orbit set $\mathcal{O}_F(p)$ and prove that it is compact. We also establish conditions for connectedness of the orbit sets and pose several questions related to the system. We also investigate transitivity and its relation to the density of orbits. In addition, we present strong and weak notions of sensitivity and examine the relationships between these concepts.

2025-07-16T14:21:37Z Jeison Amorocho Javier Camargo Sergio Macías http://arxiv.org/abs/2307.15130v7 2025-07-15T18:23:04Z

Data consisting of a graph with a function mapping into $\mathbb{R}^d$ arise in many data applications, encompassing structures such as Reeb graphs, geometric graphs, and knot embeddings. As such, the ability to compare and cluster such objects is required in a data analysis pipeline, leading to a need for distances between them. In this work, we study the interleaving distance on discretization of these objects, called mapper graphs when $d=1$, where functor representations of the data can be compared by finding pairs of natural transformations between them. However, in many cases, computation of the interleaving distance is NP-hard. For this reason, we take inspiration from recent work by Robinson to find quality measures for families of maps that do not rise to the level of a natural transformation, called assignments. We then endow the functor images with the extra structure of a metric space and define a loss function which measures how far an assignment is from making the required diagrams of an interleaving commute. Finally we show that the computation of the loss function is polynomial with a given assignment. We believe this idea is both powerful and translatable, with the potential to provide approximations and bounds on interleavings in a broad array of contexts.

2023-07-27T18:07:45Z Updating to fix some typos Erin W. Chambers Elizabeth Munch Sarah Percival Bei Wang 10.1007/s41468-025-00215-x http://arxiv.org/abs/2507.11220v1 2025-07-15T11:47:00Z

We say that a Tychonoff space $X$ is a $κ$-space if it is homeomorphic to a closed subspace of $C_p(Y)$ for some locally compact space $Y$. The class of $κ$-spaces is strictly between the class of Dieudonné complete spaces and the class of $μ$-spaces. We show that the class of $κ$-spaces has nice stability properties, that allows us to define the $κ$-completion $κX$ of $X$ as the smallest $κ$-space in the Stone--Čech compactification $βX$ of $X$ containing $X$. For a point $z\inβX$, we show that (1) if $z\in\upsilon X$, then the Dirac measure $δ_z$ at $z$ is bounded on each compact subset of $C_p(X)$, (2) $z\in κX$ iff $δ_z$ is continuous on each compact subset of $C_p(X)$ iff $δ_z$ is continuous on each compact subset of $C_p^b(X)$, (3) $z\in\upsilon X$ iff $δ_z$ is bounded on each compact subset of $C_p^b(X)$. It is proved that $κX$ is the largest subspace $Y$ of $βX$ containing $X$ for which $C_p(Y)$ and $C_p(X)$ have the same compact subsets, this result essentially generalizes a known result of R.~Haydon.

2025-07-15T11:47:00Z Saak Gabriyelyan Evgenii Reznichenko http://arxiv.org/abs/2507.19506v1 2025-07-15T09:04:20Z

In this paper, we mainly prove that if $H$ is a closed strong subgyrogroup of a strongly topological gyrogroup $G$ and $H$ is neutral, then (1) $G/H$ is biradial if and only if $G/H$ is nested; (2) $G/H$ is metrizable if and only if $G/H$ is a biradial space with countable pseudocharacter; (3) $G/H$ is metrizable if and only if $G/H$ has countable $cn$-character, given that $G/H$ has the Baire property.

2025-07-15T09:04:20Z arXiv admin note: text overlap with arXiv:2204.02079 by other authors Ying-Ying Jin Yi-Ting Wang Li-Hong Xie http://arxiv.org/abs/2507.09670v1 2025-07-13T15:09:38Z

We prove that a Tychonoff space $X$ is (sequentially) Ascoli iff for every compact space $K$ (resp., for a convergent sequence $\mathbf{s}$), each separately continuous $k$-continuous function $Φ:X\times K\to \mathbb{R}$ is continuous. We apply these characterizations to show that an open subspace of a (sequentially) Ascoli space is (sequentially) Ascoli, and that the $μ$-completion and the Dieudonné completion of a (sequentially) Ascoli space are (sequentially) Ascoli. We give also cover-type characterizations of Ascoli spaces and suggest an easy method of construction of pseudocompact Ascoli spaces which are not $k_\mathbb{R}$-spaces and show that each space $X$ can be closely embedded into such a space. Using a different method we prove Hušek's theorem: a Tychonoff space $Y$ is a locally pseudocompact $k_\mathbb{R}$-space iff $X\times Y$ is a $k_\mathbb{R}$-space for each $k_\mathbb{R}$-space $X$. It is proved that $X$ is an $s_\mathbb{R}$-space iff for every locally compact sequential space $K$, each $s$-continuous function $f:X\times K\to\mathbb{R}$ is continuous.

2025-07-13T15:09:38Z Saak Gabriyelyan Evgenii Reznichenko http://arxiv.org/abs/2507.07085v1 2025-07-09T17:47:16Z

Let $m$ be any integer $\geq 3$. We consider the polynomial equation $$X^n + a_{n-1}\cdot X^{n-1} + \dots + a_1 \cdot X + a_0 \cdot I = O,$$ over $(m \times m)$-matrices $X$ with the real entries, where $I$ is the identity matrix, $O$ is the null matrix, $a_i \in \mathbb R$ for each $i$ and $n \geq 1$. We discuss its solution set $S$ supplied with the natural Euclidean topology. In particular, we describe the solution set $S$ for $m=3$ and calculate its dimension.

2025-07-09T17:47:16Z Vitalij A. Chatyrko Alexandre Karassev http://arxiv.org/abs/2507.06843v1 2025-07-09T13:43:56Z

In this paper, we introduced the concepts of new separation axioms called $ SC^* $-separation axioms and $ H^* $-separation axioms by using $ SC^* $ and $ H^* $-open sets in topological spaces. The $ SC^* $-separation axioms include $ SC^* $-$ C_0 $, $ SC^* $-$ C_1 $, weakly $ SC^* $-$ C_0 $, and weakly $ SC^* $-$ C_1 $ spaces, while the $ H^* $-separation axioms include $ H^* $-$ T_{\frac{1}{2}} $, $ H^* $-$ T_b $, and $ H^* $-$ T_d $ spaces. Also, we obtained several properties of such spaces.

2025-07-09T13:43:56Z The Mathematics Education. Vol. LVIII, No. 3, pp. 48-60, September 2024 Neeraj Kumar Tomar M. C. Sharma Amit Ujlayan Fahed Zulfeqarr 10.5281/zenodo.14823030 http://arxiv.org/abs/2506.16075v2 2025-07-09T12:45:29Z

This paper introduces and explores functions defined on \( H^* \)-normal spaces through the framework of \( H^* \)-open sets. We extend the concept of \( H^* \)-normality and investigate its connections with \( g \)-normal and classical normal spaces. Additionally, we generalize \( H^* \)-closed and \( H^* \)-generalized closed functions, analyzing their fundamental properties. Several characterizations of \( H^* \)-normal spaces are established, along with preservation theorems that highlight the structural significance of these functions.

2025-06-19T07:01:21Z Neeraj Kumar Tomar M. C. Sharma Amit Ujlayan http://arxiv.org/abs/2506.00024v2 2025-07-09T01:47:53Z

We present a characterization of paratopological gyrogroups that can be topologically embedded as subgyrogroups into a product of first-countable $T_{i}$ paratopological gyrogroups for $i = 0, 1, 2$. Specifically, we demonstrate that a strongly paratopological gyrogroup $G$ is topologically isomorphic to a subgyrogroup of a topological product of first-countable $T_1$ strongly paratopological gyrogroups if and only if $G$ is $T_1$, $ω$-balanced and the weakly Hausdorff number of $G$ is countable. This means that for every neighborhood $U$ of the identity 0 in $G$, there exists a countable family $γ$ of neighborhoods of 0 such that for all $V \inγ$, $\bigcap_{V\inγ} (\ominus V)\subseteq U$. Similarly, we prove that a strongly paratopological gyrogroup $G$ is topologically isomorphic to a subgyrogroup of a topological product of first-countable Hausdorff strongly paratopological gyrogroups if and only if $G$ is Hausdorff, $ω$-balanced and the Hausdorff number of $G$ is countable. This means that for every neighborhood $U$ of the identity 0 in $G$, there exists a countable family $γ$ of neighborhoods of 0 such that for all $V \inγ$, $\bigcap_{V\inγ} (V\boxminus V)\subseteq U$.

2025-05-22T09:11:40Z Ying-Ying Jin Ye-Qing Sheng Yi-Ting Wang Li-Hong Xie http://arxiv.org/abs/2501.18776v2 2025-07-08T21:41:13Z

For positive integers $1 \leq k \leq n$ let $M_n$ be the algebra of all $n \times n$ complex matrices and $M_n^{\le k}$ its subset consisting of all matrices of rank at most $k$. We first show that whenever $k>\frac{n}{2}$, any continuous spectrum-shrinking map $φ: M_n^{\le k} \to M_n$ (i.e. $\mathrm{sp}(φ(X)) \subseteq \mathrm{sp}(X)$ for all $X \in M_n^{\le k}$) either preserves characteristic polynomials or takes only nilpotent values. Moreover, for any $k$ there exists a real analytic embedding of $M_n^{\le k}$ into the space of $n\times n$ nilpotent matrices for all sufficiently large $n$. This phenomenon cannot occur when $φ$ is injective and either $k > n - \sqrt{n}$ or the image of $φ$ is contained in $M_n^{\le k}$. We then establish a main result of the paper -- a variant of Šemrl's preserver theorem for $M_n^{\le k}$: if $n \geq 3$, any injective continuous map $φ:M_n^{\le k} \to M_n^{\le k}$ that preserves commutativity and shrinks spectrum is of the form $φ(\cdot)=T(\cdot)T^{-1}$ or $φ(\cdot)=T(\cdot)^tT^{-1}$, for some invertible matrix $T\in M_n$. Moreover, when $k=n-1$, which corresponds to the set of singular $n\times n$ matrices, this result extends to maps $φ$ which take values in $M_n$. Finally, we discuss the indispensability of assumptions in our main result.

2025-01-30T22:00:00Z 15 pages + references; to appear in Linear Algebra and its Applications; https://www.sciencedirect.com/science/article/abs/pii/S0024379525002733 Alexandru Chirvasitu Ilja Gogić Mateo Tomašević http://arxiv.org/abs/2407.17690v2 2025-07-08T02:36:05Z

A stratified space is a topological space equipped with a \emph{stratification}, which is a decomposition or partition of the topological space satisfying certain extra conditions. More recently, the notion of poset-stratified space, i.e., topological space endowed with a continuous map to a poset with its Alexandrov topology, has been popularized. Both notions of stratified spaces are ubiquitous in mathematics, ranging from investigations of singular structures in algebraic geometry to extensions of the homotopy hypothesis in higher category theory. In this article we study the precise mathematical relation between these different approaches to stratified spaces.

2024-07-25T01:16:46Z Any comments are welcome; a revised version to appear in Algebraic & Geometric Topology Lukas Waas Jon Woolf Shoji Yokura http://arxiv.org/abs/2505.18704v3 2025-07-07T09:01:48Z

Suppose $X$ and $Y$ are topological spaces, $|X| = Δ(X)$ and $|Y| = Δ(Y)$. We investigate resolvability of the product $X \times Y$. We prove that: I. If $|X| = |Y| = ω$ and $X,Y$ are Hausdorff, then $X \times Y$ is maximally resolvable; II. If $2^κ= κ^+$, $\{|X|, \mathrm{cf}|X|\} \cap \{κ, κ^+\} \ne \emptyset$ and $\mathrm{cf}|Y| = κ^+$, then the space $X \times Y$ is $κ^+$-resolvable. In particular, under GCH the space $X^2$ is $\mathrm{cf}|X|$-resolvable whenever $\mathrm{cf}|X|$ is an isolated cardinal; III. ($\frak{r} = \frak{c}$) If $\mathrm{cf}|X| = ω$ and $\mathrm{cf}|Y| = \mathrm{cf}(\frak{c})$, then the space $X \times Y$ is $ω$-resolvable. If, moreover, $\mathrm{cf}(\frak{c}) = ω_1$, then the space $X \times Y$ is $ω_1$-resolvable.

2025-05-24T13:53:39Z 10 pages. Minor changes Anton Lipin http://arxiv.org/abs/2402.03253v3 2025-07-07T08:01:23Z

We introduce semitopologies, a generalisation of point-set topology that removes the restriction that intersections of open sets need necessarily be open. The intuition is that points are participants in some distributed system, and an open set is a collection of participants that can collaborate to update their local state by taking a distributed collaborative action; we call this an actionable coalition. What constitutes an actionable coalition depends on what actions we want to model. Intuitive examples include 'a group of people that is collectively strong enough to lift a rock', where the state update is very simply 'holding rock low' to 'holding rock high' and this update is common to all participants in the actionable coalition. Or, consider 'two people wishing to barter a can of juice for a bar of chocolate', in which case the coalition is any such pair and the state updates differ between participants to flip them between 'has/has no juice' and 'has/has no chocolate'. A characteristic of these systems is that state updates are local to the coalition, voluntary, may vary between participants, and are not assumed subject to permission or synchronisation by a central authority. Peer-to-peer computer networks, including filesharing and blockchain systems, provide motivating examples from computing. This monograph presents a comprehensive view of semitopologies which includes point-set semitopology, algebra, and logic inspired by these considerations. This is interesting in and of itself and it provides a conceptual framework within which to understand a useful class of distributed systems.

2024-01-16T16:26:01Z This document is a preprint of a monograph, which integrates material from papers arXiv:2303.09287 (for point-set semitopologies) and arXiv:2310.00956 (for algebra). This update corrects minor typos and omissions in the previous version Murdoch J. Gabbay http://arxiv.org/abs/2507.04065v1 2025-07-05T14:58:28Z

The semidirect product $\mathbb{G}=\mathbb{L}\rtimes \mathbb{K}$ attached to a compact-group action on a connected, simply-connected solvable Lie group has a dense set of compact elements precisely when the $s\in \mathbb{K}$ operating on $\mathbb{L}$ fixed-point-freely constitute a dense set. This (along with a number of alternative equivalent characterizations) extends the Wu's analogous result for connected Lie $\mathbb{K}$, and also provides ample supplies of examples of almost-connected Lie groups $\mathbb{G}$ which do not have dense sets of compact elements, even though their identity components $\mathbb{G}_0$ do. This corrects prior literature on the subject, claiming the property equivalent for $\mathbb{G}$ and $\mathbb{G}_0$. In a related discussion we characterize those connected Lie groups $\mathbb{G}$ with large sets of $d$-tuples generating dense subgroups $Γ\le \mathbb{G}$ for which the derived subgroup $Γ^{(1)}$ fails to be finitely-generated: $\mathbb{G}$ must either be non-trivial topologically perfect or have non-nilpotent maximal solvable quotient.

2025-07-05T14:58:28Z 11 pages + references Alexandru Chirvasitu http://arxiv.org/abs/2507.03413v1 2025-07-04T09:22:09Z

No.

2025-07-04T09:22:09Z Paolo Leonetti