http://arxiv.org/api/dwiYPh+HAIE9hkX8KXs/AUACIU4 2025-05-04T00:00:00-04:00 5462 45 15 http://arxiv.org/abs/2504.02425v1 2025-04-03T09:28:50Z 2025-04-03T09:28:50Z

Let US be the class of all ultrametric spaces generated by labeled star graphs. We prove that compact US-spaces are the completions of totally bounded ultrametric spaces generated by decreasingly labeled rays. We characterize the ultrametric spaces which are weakly similar to finite US-spaces and describe these spaces by certain four-point conditions.

Oleksiy Dovgoshey Omer Cantor Olga Rovenska http://arxiv.org/abs/2504.02276v1 2025-04-03T04:50:47Z 2025-04-03T04:50:47Z

Any function from a round $n$-dimensional sphere of radius $r$ into $n$-dimensional Euclidean space must distort the metric additively by at least $\frac{2\pi r}{2 + \sqrt{3-2/n}}$. This is proved using a fixed-point theorem of Granas that generalizes the classical theorem of Borsuk--Ulam to set-valued functions.

James Dibble 8 pages http://arxiv.org/abs/2503.24092v1 2025-03-31T13:43:21Z 2025-03-31T13:43:21Z

Motivated by the rapidly growing field of mathematics for operator approximation with neural networks, we present a novel universal operator approximation theorem for a broad class of encoder-decoder architectures. In this study, we focus on approximating continuous operators in $\mathcal{C}(\mathcal{X}, \mathcal{Y})$, where $\mathcal{X}$ and $\mathcal{Y}$ are infinite-dimensional normed or metric spaces, and we consider uniform convergence on compact subsets of $\mathcal{X}$. Unlike standard results in the operator learning literature, we investigate the case where the approximating operator sequence can be chosen independently of the compact sets. Taking a topological perspective, we analyze different types of operator approximation and show that compact-set-independent approximation is a strictly stronger property in most relevant operator learning frameworks. To establish our results, we introduce a new approximation property tailored to encoder-decoder architectures, which enables us to prove a universal operator approximation theorem ensuring uniform convergence on every compact subset. This result unifies and extends existing universal operator approximation theorems for various encoder-decoder architectures, including classical DeepONets, BasisONets, special cases of MIONets, architectures based on frames and other related approaches.

Janek Gödeke Pascal Fernsel 34 pages http://arxiv.org/abs/2503.23938v1 2025-03-31T10:38:24Z 2025-03-31T10:38:24Z

In recent studies, Bibiloni-Femenias, Mi\~{n}ana and Valero characterized the functions that aggregate a family of (quasi-)(pseudo)metric modulars defined over a fixed set $X$ into a single one. In this paper, we adopt a related but different approach to examine those functions that allow us to define a (quasi-)(pseudo)metric modular in the Cartesian product of (quasi-)(pseudo)metric modular spaces. We base our research on the recent development of a general theory of aggregation functions between quantales. This enables to shed light between the two different ways of aggregation (quasi-)(pseudo)metric modulars.

Alejandro Fructuoso-Bonet Jesús Rodríguez-López 10.3390/math13050809 Mathematics 13, no. 5 (2025), 809 http://arxiv.org/abs/2409.07280v2 2025-03-28T09:25:47Z 2024-09-11T14:08:31Z

In this paper we investigate Schur ultrafilters on groups. Using the algebraic structure of Stone-\v{C}ech compactifications of discrete groups and Schur ultrafilters, we give a new description of Bohr compactifications of topological groups. This approach allows us to characterize chart groups that are topological groups. Namely, a chart group $G$ is a topological group if and only if each Schur ultrafilter on $G$ converges to the unit of $G$.

Serhii Bardyla Pavol Zlatoš http://arxiv.org/abs/2503.22007v1 2025-03-27T21:52:38Z 2025-03-27T21:52:38Z

The Ordered Set Theory is a branch of Mathematics that studies partially ordered sets (usually posets) and lattices. The meaning of dimension is one of the main parts of this eld. Dimensions of partially ordered sets and lattices have been studied in various researches. In particular, the covering dimension, the Krull dimension and the small inductive dimension have been studied extensively for the class of nite lattices. In this paper, we insert new meaning of dimension for nite lattices called large inductive dimension and denoted by Ind. We study various of its properties based on minimal covers. Also, given two nite lattices, we study the dimension Ind of their linear sum, Cartesian, lexicographic and rectangular product, investigating the behavior of this dimension. In addition, we study relations of this new dimension with the small inductive dimension, covering dimension and Krull dimension, presenting various facts and examples that strengthen the corresponding results.

D. Georgiou Y. Hattori A. Megaritis F. Sereti http://arxiv.org/abs/2503.18615v2 2025-03-27T15:21:54Z 2025-03-24T12:15:24Z

We consider products of sets of reals with a combinatorial structure based on scales parameterized by filters. This kind of sets were intensively investigated in products of spaces with combinatorial covering properties as Hurewicz, Scheepers, Menger and Rothberger. We will complete this picture with focusing on properties from the second row of the Scheepers diagram. In particular we show that in the Miller model a product space of two $\mathfrak{d}$-concentrated sets has a strong covering property $\mathsf{S}_1(\Gamma,\Omega)$. We provide also counterexamples in products to demonstrate limitations of used methods.

Michał Pawlikowski Piotr Szewczak Lyubomyr Zdomskyy 23 pp http://arxiv.org/abs/2405.10809v3 2025-03-27T12:35:12Z 2024-05-17T14:23:54Z

Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.

Francesca Aicardi Jesús Juyumaya Paolo Papi Latex file, 41 pages, revision version http://arxiv.org/abs/2312.10646v6 2025-03-27T06:41:16Z 2023-12-17T08:12:55Z

Morse functions with exactly two singular points on homotopy spheres and canonical projections of spheres are generalized as special generic maps. A special generic map is, roughly, a smooth map represented as the composition of a smooth surjection onto a manifold whose preimages are diffeomorphic to a unit sphere in the interior of the manifold and single point sets on the boundary with a smooth immersion of codimension $0$. This paper constructs real algebraic maps topologically special generic maps whose images are smoothly embedded manifolds. We are also interested in construction of explicit and meaningful smooth maps in differential topology and recently ones in real algebraic geometry. This has been an important and difficult problem. In such stories, we have previously constructed real algebraic maps topologically regarded as special generic maps. This paper is a kind of additional short remark on such maps.

Naoki Kitazawa 18 pages. exposition is added. Main Theorem 3 are revised: corrections and improvements. This is submitted to a refereed journal http://arxiv.org/abs/2312.14497v3 2025-03-26T08:25:32Z 2023-12-22T07:48:00Z

The magnitude of a metric space is a real-valued function whose parameter controls the scale of the metric. A metric space is said to have the one-point property if its magnitude converges to 1 as the space is scaled down to a point. Not every finite metric space has the one-point property: to date, exactly one example has been found of a finite space for which the property fails. Understanding the failure of the one-point property is of interest in clarifying the interpretation of magnitude and its stability with respect to the Gromov--Hausdorff topology. We prove that the one-point property holds generically for finite metric spaces, but that when it fails, the failure can be arbitrarily bad: the small-scale limit of magnitude can take arbitrary real values greater than 1.

Emily Roff Masahiko Yoshinaga 14 pages, 4 figures. Version 2: includes acknowledgements and an updated reference, and a few typos are corrected. Version 3: references updated; minor corrections and improvements following referee suggestions. This is the final version, to appear in the Bulletin of the London Mathematical Society http://arxiv.org/abs/2503.20061v1 2025-03-25T20:47:47Z 2025-03-25T20:47:47Z

In this note we prove several theorems that are related to some results and problems from [6]. We answer two of the main problems that were raised in [6]. First we give a ZFC example of a Hausdorff space in $C(\omega_1)$ that has uncountable net weight. Then we prove that after adding any number of Cohen reals to a model of CH, in the extension every regular space in $C(\omega_1)$ has countable net weight. We prove in ZFC that for any regular topology of uncountable weight on $\omega_1$ there is a non-stationary subset that has uncountable weight as well. Moreover, if all final segments of $\omega_1$ have uncountable weight then the assumption of regularity can be dropped. By [6], the analogous statements for the net weight are independent from ZFC. Our proofs of all these results make essential use of elementary submodels.

Alan Dow István Juhász 9 pages http://arxiv.org/abs/2404.06071v2 2025-03-25T10:33:21Z 2024-04-09T07:17:08Z

We investigate whether the set of subfit elements of a distributive semilattice is an ideal. This question was raised by the second author at the BLAST conference in 2022. We show that in general it has a negative solution, however if the semilattice is a lattice, then the solution is positive. This is somewhat unexpected since, as we show, a semilattice is subfit if and only if so is its distributive lattice envelope.

Guram Bezhanishvili James Madden M. Andrew Moshier Marcus Tressl Joanne Walters-Wayland 10.1007/s00233-025-10506-5 Final Version (14 pages) http://arxiv.org/abs/2503.19509v1 2025-03-25T09:59:59Z 2025-03-25T09:59:59Z

It is proved that if some boundary $B$ of a convex compact subset $X$ of a locally convex linear space has a countable network, then the convex compact space $X$ is metrizable. If the boundary $B$ is a Lindelof $\Sigma$-space, then the network weight $nw(B)$ of $B$ coincides with the weight $w(K)$ of $K$.

Reznichenko Evgenii in russian http://arxiv.org/abs/2503.19088v1 2025-03-24T19:20:36Z 2025-03-24T19:20:36Z

Directions of graphs were originally introduced in the study of a cops-and-robbers kind of game, while the study of end spaces has been used to generalize classical graph-theoretical results to infinite graphs, such as Halin's generalization of Menger's theorem. An edge-analogue of end spaces, where finite sets of edges are used instead of vertices as separator agents to form the so-called edge-end space, has been recently used to obtain an edge-analogue of this later result. Inspired by Diestel's correspondence between directions and ends of a graph, we tackle in this paper an edge-analogue of directions, its relation with line graphs, and an edge-analogue of Diestel's correspondence. The results of this study had some implications over edge-end space compactness, which then became a target of inquiry: we thus show an edge-analogue of Diestel's combinatorial characterization for compact end spaces. Non-edge-dominating vertices play an important role in our characterization, which motivated the study of ends and directions using now finite sets of these vertices as separator agents, as done previously for edges, giving rise to other topological spaces associated with graphs. These new direction and end spaces once again motivate an analogue of Diestel's correspondence result, and further generalizations are obtained. All of these constructions define topological space-classes associated with graphs such as edge-end spaces and edge-direction spaces of graphs. The paper organizes these topological space-classes appearing throughout the text with representation results, as it was done by Pitz and Kurkofka, as well as Aurichi, Real and Magalh\~aes J\'unior. Most notably, we show that every compact edge-end space can be represented as the edge-direction space of a connected graph.

Gustavo Boska Matheus Duzi Paulo Magalhães Júnior http://arxiv.org/abs/2503.18196v1 2025-03-23T20:39:04Z 2025-03-23T20:39:04Z

Given a continuum $X$, let $C(X)$ be the hyperspace of all subcontinua of $X$. We consider the hyperspace $NC^{*}(X)=\{A\in C(X):X\setminus A$ is connected$\}$. In this paper we prove that the only locally connected continua $X$ for which $NC^{*}(X)$ is compact are the arcs and the simple closed curves. We also characterize the finite graphs $G$ for which $NC^{*}(G)$ is connected.

Alejandro Illanes Verónica Martínez-de-la-Vega Jorge E. Vega