https://arxiv.org/api/FDs03bs7/z9Sly2FBJai0okYq6k 2026-06-13T17:56:57Z 5910 90 15 http://arxiv.org/abs/2506.15422v5 2026-04-22T21:54:30Z

We introduce and study a new topological notion of the size for subsets of the real line, called \emph{super-density}. A set $A\subset\mathbb{R}$ is super-dense if for every non-empty open interval $I$ and every nowhere constant continuous function $\varphi\colon I\to\mathbb{R}$, we have $\varphi(I\cap A)\cap A\neq\emptyset$. We first establish basic properties of super-dense sets. Our main topological result characterizes them within the framework of Baire category: a set with the Baire property is super-dense if and only if it is co-meager. We then investigate the implications for the theory of normal numbers. We prove that the set of non-normal numbers is super-dense, whereas the set of normal numbers is not. Consequently, no nowhere constant continuous function can map all non-normal numbers to normal numbers. Conversely, we explicitly construct a computable nowhere constant continuous function that maps all normal numbers to non-normal numbers. Finally, we provide a constructive algorithm that, given any countable family of nowhere constant continuous functions, produces a real number $x$ such that $x$ and all its images under these functions are non-normal. As a corollary, we obtain the existence of a non-normal number $x$ such that $e^{αx}$ is non-normal for every non-zero algebraic $α$.

2025-06-18T12:48:17Z 24 pages, improved presentation with larger emphasis on topological results, more detailed proofs Chokri Manai http://arxiv.org/abs/2603.03228v5 2026-04-22T13:14:44Z

We construct the Extended Real Line with Reentry (ERI): identify $\{-\infty, 0, +\infty\}$ to a single point $\ast$ in $\overline{\mathbb{R}}$, and require every neighborhood of $\ast$ to have dense preimage. The resulting space is compact, path-connected, and sober; it is $T_1$ and US (uniquely sequential), but not weakly Hausdorff, not KC, and not Hausdorff. In the refined hierarchy of Clontz, ERI sits at the $k_2$-Hausdorff level. A search of pi-Base for compact US-not-KC spaces returns three entries -- $\mathbb{Q}^{\ast} \times \mathbb{Q}^{\ast}$, $ω_1+1$ with doubled endpoint (S37), and the one-point compactification of the Arens-Fort space (S165) -- all totally disconnected. ERI is the first compact path-connected example. The same density condition on a general compact Hausdorff base without isolated points defines a Filter-Modified Quotient (FMQ). We prove that the density modifier $\mathcal{D}_Y$ is the least restrictive admissible modifier preserving US, and that the hierarchy level $k_2\mathrm{H}$-not-$\mathrm{wH}$ is invariant under infinite closed nowhere-dense collapse sets, iteration of the construction, and arbitrary products. The only remaining direction toward a US-not-$k_2\mathrm{H}$ level runs through non-first-countable base spaces.

2026-03-03T18:19:26Z Damian Rafael Lattenero http://arxiv.org/abs/2508.13443v2 2026-04-22T09:16:40Z

A discrete subset $S$ of a topological group $G$ is called a {\it suitable set} for $G$ if $S\cup \{e\}$ is closed in $G$ and the subgroup generated by $S$ is dense in $G$, where $e$ is the identity element of $G$. In this paper, the existence of suitable sets in topological groups is studied. It is proved that, for a non-separable $k_ω$-space $X$ without non-trivial convergent sequences, the $snf$-countability of $A(X)$ implies that $A(X)$ does not have a suitable set, which gives a partial answer to \cite[Problem 2.1]{TKA1997}. Moreover, the existence of suitable sets in some particular classes of linearly orderable topological groups is considered, where Theorem~\ref{t4} provides an affirmative answer to \cite[Problem 4.3]{ST2002}. Then, topological groups with an $ω^ω$-base are discussed, and every linearly orderable topological group with an $ω^ω$-base being metrizable is proved; thus it has a suitable set. Further, it follows that each topological group $G$ with an $ω^ω$-base has a suitable set whenever $G$ is a $k$-space, which gives a generalization of a well-known result in \cite{CM}. Finally, some cardinal invariant of topological groups with a suitable set are provided. Some results of this paper give some partial answers to some open problems posed in~\cite{DTA} and~\cite{TKA1997} respectively.

2025-08-19T01:57:49Z 15 pages Fucai Lin Jiamin He Jiajia Yang Chuan Liu http://arxiv.org/abs/2511.12327v2 2026-04-21T02:18:28Z

We consider sets of reals $X$ endowed with the Sorgenfrey lower limit topology denoted $X[\leq]$. Przymusiński proved that if $X$ is a $Q$-set then $(X[\leq])^2$ is normal. While the converse is not in general true we consider examples of sets of the reals for which $(X[\leq])^2$ is normal or just pseudo-normal. For example, if $X$ is a $λ$ set, then $(X[\leq])^2$ is pseudo-normal but assuming CH there is an $X$ concentrated on a countable dense subset (so not a $λ$-set) but still $(X[\leq])^2$ is normal.

2025-11-15T19:07:50Z Paul Szeptycki Hongwei Wen http://arxiv.org/abs/2604.18515v1 2026-04-20T17:10:47Z

The 2015 fixed point result on rs-relational metric spaces due to Alam and Imdad [J. Fixed Point Th. Appl., 17 (2015), 693-702] is equivalent with the classical Banach Contraction Principle [Fund. Math., 3 (1922), 133-181]. This is also valid for the 1961 statement in metric spaces due to Edelstein [Proc. Amer. Math. Soc., 12 (1961), 7-10], or the 2005 fixed point result in quasi-ordered metric spaces obtained by Nieto and Rodriguez-Lopez [Order, 22 (2005), 223-239].

2026-04-20T17:10:47Z Mihai Turinici http://arxiv.org/abs/2604.18458v1 2026-04-20T16:15:24Z

We introduce the notion of confined subalgebras in the context of the group von Neumann algebra. We also define Uniformly Recurrent States -- an operator-algebraic analog of Uniformly Recurrent Subgroups. Using this framework, we show that a countable discrete group is $C^*$-simple if and only if it admits no non-trivial amenable confined subalgebras. This generalizes the well-known result of Kennedy that characterizes $C^*$-simplicity in terms of trivial amenable uniformly recurrent subgroups.

2026-04-20T16:15:24Z 24 pages; comments are welcome Tattwamasi Amrutam Yongle Jiang http://arxiv.org/abs/2604.18400v1 2026-04-20T15:22:13Z

Let $G=(V,E)$ be a finite connected graph with vertex set $V$ and edge set $E$, and let $U(G)$ be the set of all ultrametric spaces $(V,d_l)$ generated by vertex labelings $l\colon V \to \mathbb R^+$. We prove that the inequality $$ |D(V)| \le |E| + 1 $$ holds for all $(V,d_l) \in U(G)$, where $D(V)$ is the distance set of $(V,d_l)$. The necessary and sufficient conditions under which the above inequality turns to an equality are found. Moreover, we prove that each connected graph with non-negative vertex labeling generates a pseudoultrametric space and find some sufficient conditions under which this space is ultrametric.

2026-04-20T15:22:13Z Oleksiy Dovgoshey Olga Rovenska http://arxiv.org/abs/2601.01681v3 2026-04-20T10:56:48Z

We show that for every finite-rank median algebra $X$, the rank of $X$ coincides with the independence number of the family of all median-preserving maps $X \to [0,1]$. In the compact topological case, the same equality holds for the family of all continuous median-preserving maps. Combined with Rosenthal's dichotomy, this yields a generalized Helly selection principle: for every finite-rank median algebra, every uniformly bounded sequence of median-preserving real-valued maps admits a pointwise convergent subsequence whose limit is again median-preserving. As a dynamical application, we generalize a joint result with E. Glasner on dendrites and prove that every continuous action of a topological group by median automorphisms on a compact finite-rank median algebra is Rosenthal representable, and hence dynamically tame. We also apply this result to the Roller--Fioravanti compactification of finite-rank topological median $G$-algebras, and in particular to complete finite-rank median metric spaces under continuous isometric actions.

2026-01-04T22:30:31Z 16 pages Michael Megrelishvili http://arxiv.org/abs/2604.17164v1 2026-04-18T22:54:18Z

In 1992, Diestel asked which topological spaces could be represented as the end space of some graph. In 2023, Pitz provided a solution to this question by giving a topological characterization of end spaces using a hereditarily complete special subbase. In this paper, we present an alternative topological characterization of end spaces, in which we employ a special subbase and a topological game. Furthermore, we provide several applications of this characterization: we show that every end space is hereditarily Baire, that $G_δ$ subspaces of end spaces are also end spaces, and that the product of end spaces is not always an end space.

2026-04-18T22:54:18Z arXiv admin note: substantial text overlap with arXiv:2404.17116 Leandro Aurichi Gustavo Boska Davide Giacopello Paulo Magalhães Júnior http://arxiv.org/abs/2604.16876v1 2026-04-18T06:58:10Z

The conjugacy problem in braid groups has been extensively studied, particularly from an algorithmic perspective. Established methods based on Garside structures, such as initial summit sets and super summit sets, provide effective procedures for determining whether two braids are conjugate. In contrast, explicit structural descriptions of conjugacy classes are less frequently addressed. Although cyclic sliding offers a powerful mechanism for navigating distinguished subsets within a conjugacy class, it is well known that conjugate braids cannot, in general, be obtained from one another solely through iterated cyclic sliding. In this paper, we provide a direct and explicit characterization of the conjugacy classes of positive $3$-braids. Specifically, for any given positive $3$-braid, we determine all of its conjugates in a concrete and closed form.

2026-04-18T06:58:10Z Kui-Yo Chen Yat-Hin Suen http://arxiv.org/abs/2604.16660v1 2026-04-17T19:29:31Z

We define several topological spaces whose points are quivers with a given infinite vertex set $X$. In the special case when $X$ is countably infinite, we show that two of the spaces of interest are homeomorphic to the Baire space $\mathbb{N}^\mathbb{N}$. We study properties of countably infinite quivers as subspaces of these topological spaces and prove a ``meta-theorem'' about hereditary properties of quivers. Furthermore, we approach the question of convergence for infinite mutation sequences in these spaces, providing a complete characterization of the (non-)density of the domains of convergence and divergence of infinite mutation sequences in one of these spaces and a partial characterization in the other. We then draw attention to a very special infinite quiver which we call the \emph{Fraïssé quiver} that draws a clear contrast between the behavior of finite and infinite mutation sequences. Finally, we reproduce (a very mild modification of) a previously-constructed topological space due to Ervin and Jackson as a subquotient of one of the spaces of interest.

2026-04-17T19:29:31Z 67 pages, comments welcome! Benjamin Grant http://arxiv.org/abs/2601.14545v2 2026-04-16T13:04:02Z

This paper deals with the extension of partial actions of topological groups on topological spaces. Within this framework, we introduce a class of topological embeddings defined via the inverse semigroup of homeomorphisms between open subsets of a topological space. We describe several embeddings of this type, referred to as $Γ$- embeddings, and we place particular emphasis on one of them. In particular, we prove that every topological space $Y$ admits a $Γ$-embedding into the space of continuous functions $C(X, Y )$, equipped with the compact-open topology, where $X$ is a compact space. Consequently, any partial action $θ$ of a topological group $G$ on $ Y$ naturally induces a partial action $\hatθ$ on $C(X, Y ).$ Throughout the paper, we investigate various relationships between these actions, as well as between their corresponding globalizations and enveloping spaces.

2026-01-20T23:55:11Z Luis A. Martínez-Sánchez Héctor Pinedo José L. Vilca-Rodríguez http://arxiv.org/abs/2401.05185v6 2026-04-16T12:19:01Z

In this article, we first prove a general result in topology which states that every quasi-component of a quasi-spectral space is connected. \\ As an application, the structure of the connected components of every quasi-compact quasi-separated (qcqs) scheme $X$ is fully characterized. They are exactly of the form $f^{-1}(C)$ where $f:X\rightarrow\Spec(R)$ is the canonical morphism, $C$ is a connected component of $\Spec(R)$ and $R=\mathscr{O}_{X}(X)$ is the ring of global sections of $X$. \\ Next, we make new advances in understanding the structure of the connected components of projective spaces. In general, for an $\mathbb{N}$-graded ring $R=\bigoplus\limits_{n\geqslant0}R_{n}$, the structure of the connected components of scheme $\Proj(R)$ is still unknown. However, we show that for any scheme $S$ the connected components of the projective space $\mathbb{P}^{n}_{S}= \mathbb{P}^{n}_{\mathbb{Z}}\times_{\Spec(\mathbb{Z})}S$ are exactly of the form $\mathbb{P}^{n}_{C}$ where $C$ is a connected component of $S$ which is equipped with a closed subscheme structure.

2024-01-10T14:33:47Z 21 pages Abolfazl Tarizadeh http://arxiv.org/abs/2604.14929v1 2026-04-16T12:16:58Z

In this paper, we study homotopical analogues of the Cantor-Bendixson derivative. For each $n\geq 0$, the "$π_n$-wild set" $\mathbf{w}_n(X)$ of a topological space $X$ is the subspace of $X$ consisting of the points at which there exists a shrinking sequence of essential based maps $S^n\to X$. Since the operator $\mathbf{w}_n$ permits iteration, every given space $X$ yields a descending transfinite sequence of nested subspaces $\{\mathbf{w}_n^κ(X)\}_κ$ that stabilizes at some smallest ordinal $\mathbf{wrk}_n(X)$ called the "$π_n$-wild rank" of $X$. We show that the entire transfinite sequence $\{ho(\mathbf{w}_n^κ(X))\}_κ$ of homotopy types is a homotopy invariant of $X$ and that $\mathbf{wrk}_n(X)$ can be an arbitrary countable ordinal when $X$ is an $n$-dimensional Peano continuum. It remains open if there exists a continuum $X$ with uncountable $π_n$-wild rank. This difficulty motivates the parallel study a basepoint-free version $\mathbf{fwrk}_n(X)$, called the "free $π_n$-wild rank" of $X$. We show that for every continuum $X$, $\mathbf{fwrk}_n(X)$ is always countable and can be any countable ordinal.

2026-04-16T12:16:58Z 16 pages, 1 figure Jeremy Brazas Atish Mitra http://arxiv.org/abs/2604.14020v1 2026-04-15T16:02:17Z

This paper models the theory of abstract harmonic spaces in the syntax of the continuous first-order logic of Banach lattices. It addresses a topological question asking when a one-to-one harmonic map onto smooth manifolds $M^n$ is a diffeomorphism. We give $M^n$ ($n\le 2$) a characterization by $U$-rank and elementary saturation for large cardinals. Polar sets are characterized by several equivalent conditions from the omitting type theorem. Consequently, harmonic measures on the ideal boundary in Martin representation are bijectively mapped to Keisler measures supported on non-principal types. Further problems concerning o-minimality and non-local potentials are finally discussed.

2026-04-15T16:02:17Z Haoming Wang