https://arxiv.org/api/WL7Q6lfScO1ORi9DIK5E3l6UiR0 2026-06-21T15:57:11Z 5914 645 15 http://arxiv.org/abs/2502.20164v1 2025-02-27T15:03:14Z

This paper concerns various models of ``at-most-$n$-valued maps''. That is, multivalued maps $f:X\multimap Y$ for which $f(x)$ has cardinality at most $n$ for each $x$. We consider 4 classes of such maps which have appeared in the literature: $\mathcal U$, the set of exactly $n$-valued maps, or unions of such; $\mathcal F$, the set of $n$-fold maps defined by Crabb; $\mathcal S$, the set of symmetric product maps; and $\mathcal W$, the set of weighted maps with weights in $\mathbb N$. Our main result is roughly that these classes satisfy the following containments: \[ \mathcal U \subsetneq \mathcal F \subsetneq \mathcal S = \mathcal W \] Furthermore we define the general class $\mathcal C$ of all at-most-$n$-valued maps, and show that there are maps in $\mathcal C$ which are outside of any of the other classes above. We also describe a configuration-space point of view for the class $\mathcal C$, defining a configuration space $C_n(Y)$ such that any at-most-$n$-valued map $f:X\multimap Y$ corresponds naturally to a single-valued map $f:X\to C_n(Y)$. We give a full calculation of the fundamental group and homology groups of $C_n(S^1)$.

2025-02-27T15:03:14Z Daciberg Lima Goncalves Robert Skiba P. Christopher Staecker http://arxiv.org/abs/2502.20149v1 2025-02-27T14:44:15Z

The conformation space of cyclooctane, a ringlike organic molecule comprising eight carbon atoms, is a two-dimensional algebraic variety, which has been studied extensively for more than 90 years. We propose a cell structure representing this space, which arises naturally by partitioning the space into subsets of conformations that admit particular symmetries. We do so both for the labeled conformation space, in which the carbon atoms are considered as distinct, and for the actual, unlabeled, conformation space. The proposed cell structure is obtained by identifying subspaces of conformations based on symmetry patterns and studying the geometry and topology of these subsets using methods from dimensionality reduction and topological data analysis. Our findings suggest that, in contrast to the labeled variant, the conformation space of cyclooctane is contractible.

2025-02-27T14:44:15Z Ulrich Bauer Fabian Lenzen http://arxiv.org/abs/2502.19936v1 2025-02-27T10:04:41Z

In this paper, we are concerned with the study of the existence of fixed points for single and multi-valued three-points contractions. Namely, we first introduce a new class of single-valued mappings defined on a metric space equipped with three metrics. A fixed point theorem is established for such mappings. The obtained result recovers that established recently by the second author [J. Fixed Point Theory Appl. 25 (2023) 74] for the class of single-valued mappings contracting perimeters of triangles. We next extend our study by introducing the class of multivalued three points contractions. A fixed point theorem, which is a multi-valued version of that obtained in the above reference, is established. Some examples showing the validity of our obtained results are provided.

2025-02-27T10:04:41Z 22 pages Nonlinear Analysis: Modelling and Control, Vol. 30, pp. 1-21, 2025 Mohamed Jleli Evgeniy Petrov Bessem Samet 10.15388/namc.2025.30.38968 http://arxiv.org/abs/2502.19746v1 2025-02-27T04:20:39Z

In this paper, we prove the $\ell^\infty$ product space of two bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space.

2025-02-27T04:20:39Z Takuma Byakuno http://arxiv.org/abs/2502.19727v1 2025-02-27T03:40:36Z

A topological space $(X, τ)$ is said to be have an {\it $ω^ω$-base} if for each point $x\in X$ there exists a neighborhood base $\{U_α[x]: α\inω^ω\}$ such that $U_β[x]\subset U_α[x]$ for all $α\leqβ$ in $ω^ω$. In this paper, the characterization of a space $X$ is given such that the free Abelian topological group $A(X)$, the hyperspace $CL(X)$ with the Vietoris topology and the hyperspace $CL(X)$ with the Fell topology have $ω^ω$-bases respectively. The main results are listed as follows: (1) For a Tychonoff space $X$, the free Abelian topological group $A(X)$ is a $k$-space with an $ω^ω$-base if and only if $X$ is a topological sum of a discrete space and a submetrizable $k_ω$-space. (2) If $X$ is a metrizable space, then $(CL(X), τ_V)$ has an $ω^ω$-base if and only if $X$ is separable and the boundary of each closed subset of $X$ is $σ$-compact. (3) If $X$ is a metrizable space, then $(CL(X), τ_F)$ has an $ω^ω$-base consisting of basic neighborhoods if and only if $X$ is a Polish space. (4) If $X$ is a metrizable space, then $(CL(X), τ_F)$ is a Fréchet-Urysohn space with an $ω^ω$-base, if and only if $(CL(X), τ_F)$ is first-countable, if and only if $X$ is a locally compact and second countable space.

2025-02-27T03:40:36Z 17 Fucai Lin Chuan Liu http://arxiv.org/abs/2502.18833v1 2025-02-26T05:16:16Z

A topological space is domain-representable (or, has a domain model) if it is homeomorphic to the maximal point space $\mbox{Max}(P)$ of a domain $P$ (with the relative Scott topology). We first construct an example to show that the set of maximal points of an ideal domain $P$ need not be a $G_δ$-set in the Scott space $ΣP$, thereby answering an open problem from Martin (2003). In addition, Bennett and Lutzer (2009) asked whether $X$ and $Y$ are domain-representable if their product space $X \times Y$ is domain-representable. This problem was first solved by Önal and Vural (2015). In this paper, we provide a new approach to Bennett and Lutzer's problem.

2025-02-26T05:16:16Z Xiaoyong Xi Chong Shen Dongsheng Zhao http://arxiv.org/abs/2502.16997v1 2025-02-24T09:29:42Z

In 2014, during a study on the connectivity structures of quantum entanglement, I specifically introduced the notion of ''the connectivity structure of a family of random variables'' -- a structure that expresses the dependency relations between the variables in question -- and I stated the following proposition, which can be described as Brunnian in reference to Hermann Brunn's work on links (1892) : "Every finite connectivity structure is that of a family of random variables". At the time, however, I neglected to write down the proof of this assertion, merely providing an intuitive idea of it. The purpose of this article is to present such a proof.

2025-02-24T09:29:42Z in French language Stéphane Dugowson LISMMA, SUPMECA, QUARTZ, ISAE-Supméca http://arxiv.org/abs/2502.16764v1 2025-02-24T01:02:30Z

A standard introductory result is that Hausdorff spaces have the property US, that is, each convergent sequence has a unique limit. This paper explores several existing and new characterizations of separation axioms that are strictly weaker than $T_2$ but strictly stronger than US.

2025-02-24T01:02:30Z Steven Clontz Marshall Williams http://arxiv.org/abs/2502.16712v1 2025-02-23T20:59:17Z

Let $G$ and $H$ be locally compact groups and consider their associate spaces of almost periodic functions $AP(G)$ and $AP(H)$. We investigate the continuous group homomorphisms induced by isometries of $AP(G)$ into $AP(H)$. Among others, the following results are proved: {\bf Theorem} Let $G$ and $H$ be $σ$-compact maximally almost periodic locally compact groups. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that respects finite dimensional unitary representations. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$ and an character $γ\in \widehat{H}$ such that $(Tf)(h)=γ(h)~f(t(h))$ for all $h\in H_0$ and for all $f\in C(G)$. {\bf Theorem} Let $G$ and $H$ be $LC$ Abelian groups and $H$ is connected. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that preserves trigonometric polynomials. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$, an element $h_0\in H_0$, a character $α\in \widehat{H}$ and an unimodular complex number $a$ such that $(Tf)(h)=a\cdot α(h)~\cdot f(t(h-h_0))\text{ for all }h\in H_0\text{ and for all }f\in C(G)\text{.}$

2025-02-23T20:59:17Z Topology Proceedings (2003) Salvador Hernández http://arxiv.org/abs/2405.02627v2 2025-02-23T18:17:09Z

The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature.

2024-05-04T10:00:51Z María V. Ferrer S. Hernández http://arxiv.org/abs/2502.16354v1 2025-02-22T21:03:27Z

Zero-dimensional structural numbers $Z_0^{\mathrm{ind}}$ and $Z_0^{\mathrm{dim}}$ w.r.t. dimensions $\mathrm{ind}$ and $\mathrm{dim}$ were introduced by Georgiou, Hattori, Megaritis, and Sereti. Somewhat similarly, we define structural numbers $\mathrm{Sn}^{A}$ for different subclasses $A$ of the class of hereditarily normal $T_1$-spaces. In particular, we show that: (a) for any metrizable space $X$ with $\dim X = n \geq 0$ we have $1 \leq \mathrm{Sn}^{M_{dim}}X \leq n+1$; (b) for any countable-dimensional metrizable space $Y$ we have $1 \leq \mathrm{Sn}^{M_{dim}}Y \leq \aleph_0$, where $ M_{dim}$ is the class of metrizable spaces $Z$ with $\mathrm{dim}\, Z = 0.$

2025-02-22T21:03:27Z Vitalij Chatyrko Alexandre Karassev http://arxiv.org/abs/2412.10876v2 2025-02-22T05:44:11Z

In this document, we describe the process of obtaining numerous Adams differentials and extensions using computational methods, as well as how to interpret the dataset uploaded to Zenodo. Detailed proofs of the machine-generated results are also provided. The dataset includes information on 49 CW spectra, 180 maps, and 61 cofiber sequences. Leveraging these results, and with the addition of some ad hoc arguments derived through human insight, we successfully resolved the Last Kervaire Invariant Problem in dimension 126.

2024-12-14T16:05:30Z 30 pages, 29 tables, 49 spectra involved in this project Weinan Lin Guozhen Wang Zhouli Xu http://arxiv.org/abs/2502.15492v1 2025-02-21T14:36:24Z

Pierce identified 3 invariants of a compact metrisable Boolean space, derived from its Cantor-Bendixson sequence, that determine the space up to homeomorphism. For locally compact spaces we define an additional invariant, the compact rank, and show that these 4 invariants determine a locally compact metrisable Boolean space up to homeomorphism. We also identify which combinations of the 4 invariants can arise in practice. A Boolean ring and its associated Boolean space are primitive if the ring is disjointly generated by its pseudo-indecomposable (PI) elements. Spaces in this important sub-class of Boolean spaces can be well described (uniquely in the case of compact spaces) by an extended PO system (poset with a distinguished subset). We define the Cantor-Bendixson sequence and associated invariants for a PO system, and show that almost all of the invariant information for a primitive space can be recovered from that of an associated extended PO system. We also show how the primitivity of a Boolean space corresponds to a notion of primitivity of the additive measure associated with the rank function of a space, which in turn depends on the additive measure being sufficiently 'self-similar'. We use these ideas to develop a method for constructing non-primitive spaces.

2025-02-21T14:36:24Z 32 pages Andrew B. Apps http://arxiv.org/abs/2502.15358v1 2025-02-21T10:14:30Z

Let $T''(X)$ and $T'(X)$ denote the collections of all real-valued functions on $X$ which are continuous on a dense cozero set and on an open dense subset of $X$ respectively. $T''(X)$ contains $C(X)$ and forms a subring of $T'(X)$ under pointwise addition and multiplication. We inquire when $T''(X)=C(X)$ and when $T''(X)=T'(X)$. We also ponder over the question when is $T''(X)$ isomorphic to $C(Y)$ for some topological space $Y$. We investigate some algebraic properties of the ring, $T''(X)$ for a Tychonoff space $X$. We provide several characterisations of $T''(X)$ as a Von-Neumann regular ring. We define nowhere almost $P$-spaces using the ring $T''(X)$ and characterise it as a Tychonoff space which has no non-isolated almost $P$-points. We show that a Tychonoff space with countable pseudocharacter is a nowhere almost $P$-space and highlight that this condition is not superflous using the closed ordinal space.

2025-02-21T10:14:30Z Amrita Dey Sagarmoy Bag Dhananjoy Mandal http://arxiv.org/abs/2412.16962v6 2025-02-21T08:58:20Z

The 2x2 space-filling curve is a type of generalized space-filling curve characterized by a basic unit is in a "U-shape" that traverses a 2x2 grid. In this work, we propose a universal framework for constructing general 2x2 curves where self-similarity is not strictly required. The construction is based on a novel set of grammars that define the expansion of curves from level 0 (a single point) to level 1 (units in U-shapes), which ultimately determines all $36 \times 2^k$ possible forms of curves on any level $k$ initialized from single points. We further developed an encoding system in which each unique form of the curve is associated with a specific combination of an initial seed and a sequence of codes that sufficiently describes both the global and local structures of the curve. We demonstrated that this encoding system is a powerful tool for studying 2x2 curves and we established comprehensive theoretical foundations from the following three key perspectives: 1) We provided a deterministic encoding for any unit on any level and position on the curve, enabling the study of curve generation across arbitrary parts on the curve and ranges of iterations; 2) We gave deterministic encodings for various curve transformations, including rotations, reflections and reversals; 3) We provided deterministic forms of families of curves exhibiting specific structures, including homogeneous curves, curves with identical shapes, partially identical shapes, and with completely distinct shapes. We also explored families of recursive curves, subunit identically or differently shaped curves, completely non-recursive curves, symmetric curves and closed curves. Finally, we proposed a method to calculate the location of any point on the curve arithmetically, within a time complexity linear to the level of the curve.

2024-12-22T10:45:33Z Zuguang Gu