https://arxiv.org/api/TrtsZA3WmE4nnkGpGJrRMCYS+X0 2026-06-18T22:38:54Z 5913 435 15 http://arxiv.org/abs/2410.23565v2 2025-09-06T08:33:21Z

In the literature of a digital-topological ($DT$-, for brevity) group structure on a digital image $(X,k)$, roughly saying, two kinds of methods are shown. Given a digital image $(X,k)$, the first one, named by a $DT$-$k$-group, was established in 2022 \cite{H10} by using both the $G_{k^\ast}$- or $C_{k^\ast}$-adjacency \cite{H10} for the product $X^2:=X \times X$ and the $(G_{k^\ast},k)$- or $(C_{k^\ast},k)$-continuity for the multiplication $α:X^2 \to X$ \cite{H10}. The second one with the name of $NP_i$-$DT$-groups, $i \in \{1,2\}$, was discussed in 2023 \cite{LS1} by using the $NP_i(k,k)$-adjacency for $X^2$ in \cite{B1} and the $(NP_i(k,k), k)$-continuities of the multiplication $α:X^2 \to X$, $i\in \{1,2\}$. However, due to some defects of the $NP_u(k_1,k_2, \cdots, k_v)$-adjacency in \cite{B1,B2}, the $AP_u(k_1,k_2, \cdots, k_v)$-adjacency was recently developed as an alternative to the $NP_u(k_1,k_2, \cdots, k_v)$-adjacency (see Section 4). Besides, we also develop an $AP_u^\ast(k_1,k_2, \cdots, k_v)$-adjacency. For a digital image $(X, k)$, in case an $AP_1(k,k)$-($AP_1$-, for simplicity) adjacency on $X^2$ exists, we formulate both an $AP_1$-$k$- and an $AP_1^\ast$-$k$-group. Then we show that an $AP_1^\ast$-$k$-group is equivalent to a Han's $DT$-$k$-group based on both the $C_{k^\ast}$-adjacency on the product $X^2$ and the $(C_{k^\ast}, k)$-continuity for the multiplication $α_1^\prime:(X^2, C_{k^\ast}) \to (X,k)$.

2024-10-31T02:17:32Z This paper can play an important role in the fields of general topology, digital topology, digital geometry, and so on Sang-Eon Han http://arxiv.org/abs/2509.04880v1 2025-09-05T07:55:14Z

Pete discovered a strong combinatorial description of hitomezashi loops via a bijection to pairs of Dyck paths of the same height. Our main theorem provides an analogous description of hitomezashi loops of nonzero homology class on certain cylindrical hitomezashi patterns. In the process, we complete some of Ren and Zhang's results on the count and possible homology classes of toroidal hitomezashi loops.

2025-09-05T07:55:14Z 19 pages, 7 figures Edwin Xie http://arxiv.org/abs/2508.03530v2 2025-09-01T22:50:25Z

Two closely related classes of topological spaces are fences and fans. A fence is a compact metric space whose components are either arcs or singletons. A fan is a continuum formed by joining arcs at a common vertex, in such a way that intersections of subcontinua are always connected. We prove that every fence can be embedded in the plane and that both fences and fans admit a basis consisting of pierced open sets. This resolves a question by Iztok Banič, Goran Erceg, Ivan Jelić, Judy Kennedy, and Van Nall.

2025-08-05T15:01:04Z David S. Lipham http://arxiv.org/abs/2509.01029v1 2025-08-31T23:39:55Z

In this paper we show that for every $2\leq n\in \mathbb{N}$, the statement "there is an $n$-entangled set, but there are no $n+1$-entangled sets" is consistent. We also prove some theorems which improve our understanding of entangled sets in relation to construction schemes: (1) The axiom FCA$^Δ$ introduced in \cite{finitizationclubch} implies the existence of $n$-entangled sets which are not $n+1$-entangled. (2) $\mathfrak{m}_\mathcal{F}>ω_1$ implies the non-existence of entangled sets. Thus, $2$-capturing schemes alone are not sufficient to build these kinds of linear orders. (3) The existence of a 2-$Δ$-capturing scheme is consistent with MA.

2025-08-31T23:39:55Z 23 pages. Comments are welcome Jorge Antonio Cruz Chapital http://arxiv.org/abs/2509.00205v1 2025-08-29T19:32:12Z

Let $(X, d)$ be an ultrametric space and let $d_H$ be the Hausdorff distance on the set $\bar{\mathbf{B}}_X$ of all closed balls in $(X, d)$. Some interconnections between the properties of the spaces $(X, d)$ and $(\bar{\mathbf{B}}_X, d_H)$ are described. It is established that the space $(\bar{\mathbf{B}}_X, d_H)$ has such properties as discreteness, local finiteness, metrical discreteness, completeness, compactness, local compactness if and only if the space $(X, d)$ has these properties. Necessary and sufficient conditions for the separability of the space $(\bar{\mathbf{B}}_X, d_H)$ are also proved.

2025-08-29T19:32:12Z 28 pages Oleksiy Dovgoshey http://arxiv.org/abs/2503.16441v2 2025-08-28T08:50:54Z

The recent adoption of artificial intelligence in robotics has driven the development of algorithms that enable autonomous systems to adapt to complex social environments. In particular, safe and efficient social navigation is a key challenge, requiring AI not only to avoid collisions and deadlocks but also to interact intuitively and predictably with its surroundings. Methods based on probabilistic models and the generation of conformal safety regions have shown promising results in defining safety regions with a controlled margin of error, primarily relying on classification approaches and explicit rules to describe collision-free navigation conditions. This work extends the existing perspective by investigating how topological features can contribute to the creation of explainable safety regions in social navigation scenarios, enabling the classification and characterization of different simulation behaviors. Rather than relying on behaviors parameters to generate safety regions, we leverage topological features through topological data analysis. We first utilize global rule-based classification to provide interpretable characterizations of different simulation behaviors, distinguishing between safe and unsafe scenarios based on topological properties. Next, we define safety regions, $S_\varepsilon$, representing zones in the topological feature space where collisions are avoided with a maximum classification error of $\varepsilon$. These regions are constructed using adjustable SVM classifiers and order statistics, ensuring a robust and scalable decision boundary. Our approach initially separates simulations with and without collisions, outperforming methods that not incorporate topological features. We further refine safety regions to ensure deadlock-free simulations and integrate both aspects to define a compliant simulation space that guarantees safe and efficient navigation.

2025-02-14T07:29:13Z Victor Toscano-Duran Sara Narteni Alberto Carlevaro Jérôme Guzzi Rocio Gonzalez-Diaz Maurizio Mongelli http://arxiv.org/abs/2412.17103v2 2025-08-27T16:46:37Z

We study the homeomorphism groups of ordinals equipped with their order topology, focusing on successor ordinals whose limit capacity is also a successor. This is a rich family of groups that has connections to both permutation groups and homeomorphism groups of manifolds. For ordinals of Cantor--Bendixson degree one, we prove that the homeomorphism group is strongly distorted and uniformly perfect, and we classify its normal generators. As a corollary, we recover and provide a new proof of the classical result that the subgroup of finite permutations in the symmetric group on a countably infinite set is the maximal proper normal subgroup. For ordinals of higher Cantor--Bendixson degree, we establish a semi-direct product decomposition of the (pure) homeomorphism group. When the limit capacity is one, we further compute the abelianizations and determine normal generating sets of minimal cardinality for these groups.

2024-12-22T17:30:30Z v2: incorporates referee's comments, particularly improving the introduction and preliminaries. To appear in Michigan Math. J., 30 pages. v1:28 pages Megha Bhat Rongdao Chen Adityo Mamun Ariana Verbanac Eric Vergo Nicholas G. Vlamis http://arxiv.org/abs/2508.19454v1 2025-08-26T22:03:27Z

We study sets $E(Σ,q)=\left\{\sum_{i=1}^\infty σ_iq^i\colon(σ_i)\inΣ^{\mathbb N}\right\}$ for a finite set $Σ\subset \mathbb R$ and $q\in(0,1)$. Under the assumption $q|Σ|=1$ we prove several new equivalent conditions for $E(Σ,q)$ to contain an interval. We give a full characterization, if additionally $|Σ|$ is prime.

2025-08-26T22:03:27Z 20 pages Szymon Głąb Mateusz Kula http://arxiv.org/abs/2508.18997v1 2025-08-26T12:54:10Z

Research in Economics and Game theory has necessitated results on Carathéodory-type selections. In particular, one has to obtain Carathéodory type-selections from correspondences that need not be continuous (neither lower-semicontinuous nor upper-semicontinuous). We provide new theorems on Carathéodory type-selections that include as corollaries the results in Kim-Prikry-Yannelis \cite{KPY:87}. We also, obtain new random fixed-point theorems, random maximal elements, random (Nash) equilibrium and Bayesian equilibrium extending and generalizing theorems of Browder \cite{Browder:68}, Fan \cite{Fan:52} and Nash \cite{Nash}, among others.

2025-08-26T12:54:10Z Anuj Bhowmik Nicholas C. Yannelis http://arxiv.org/abs/2508.18978v1 2025-08-26T12:25:49Z

Let $G = G_{1} \times G_{2}$ be a product of two locally compact, second countable groups and $μ\in \mathrm{Prob}(G)$ be of the form $μ= μ_{1} \times μ_{2}$, where $μ_{i} \in \mathrm{Prob}(G_{i})$. Let $(B,ν_B)$ be the associated Poisson boundary. We show that every intermediate $G$-von Neumann algebra $\mathcal{M}$ with \[ \mathcal{N} \subseteq \mathcal{M} \subseteq \mathcal{N} \,\bar{\otimes}\, L^{\infty}(B,ν) \] splits as a tensor product of the form $\mathcal{N}\bar{\otimes}L^{\infty}(C,ν_C)$, where $(C,ν_C)$ is a $(G,μ)$-boundary. Here, $\mathcal{N}$ is a tracial von Neumann algebra on which $G$ acts trace-preservingly. This generalizes the Intermediate Factor Theorem proved by Bader--Shalom (\cite[Theorem~1.9]{BS06}) in the measurable setup. In addition, we give various other examples of the splitting phenomenon associated with $W^{*}$-dynamics. We also show that certain assumptions are necessary for the intermediate algebras to split, and ideals in the ambient tensor product algebra obstruct the splitting phenomenon. We also use the Master theorem from \cite{glasner2023intermediate} to resolve the second part of \cite[Problem~5.2]{jiangskalski} in the affirmative.

2025-08-26T12:25:49Z 25 Pages; preliminary version. Comments are welcome Tattwamasi Amrutam Yongle Jiang Shuoxing Zhou http://arxiv.org/abs/2508.17424v1 2025-08-24T15:57:34Z

In a previous joint work with Aurichi and Magalhães Jr., we showed that the topological spaces arising from the edge-end structure of infinite graphs define a proper subfamily of those obtained through the well-known (vertex-)ends. This result was later recovered by a more general approach due to Pitz, who also stated the problem of finding a purely topological characterization for the class of edge-end spaces. His question reads as an edge-related version of a similar conjecture posed by Diestel in 1992, but there regarding the usual end structure of infinite graphs and which was recently answered also by Pitz via the existence of a suitable clopen subbase. This paper shows how an extra intersection property can be combined with his solution in order to restrict it to the edge-end spaces, hence stating a topological description for this later family as well.

2025-08-24T15:57:34Z 13 pages Lucas Real http://arxiv.org/abs/2508.17052v1 2025-08-23T15:04:18Z

In the first part of this article, we study linear cones over totally ordered fields. We show that for each such cone there uniquely exists a universal vector space (called its spanned vector space) into which it embeds as a generating convex cone. Moreover, we investigate topologies on cones for which the natural cone operations are continuous, and study how these topologies carry over to the spanned vector space. In the second part, we deal with hyperbolic norms which satisfy a polarization identity and are defined on cones over the real numbers. We show that, under reasonable assumptions, such hyperbolic norms induce a Lorentzian inner product on the spanned vector space. Finally, we establish a link between completeness under the Wick rotation of a Lorentzian inner product and order-theoretic completeness.

2025-08-23T15:04:18Z 25 pages, comments welcome Ethan Kharitonov Argam Ohanyan http://arxiv.org/abs/2508.16549v1 2025-08-22T17:14:35Z

The definition of the complement of a fuzzy subset is algebraic in nature and when it is used in the context of fuzzy topological spaces it does not share any similarity with the usual property of topological spaces that the complement of an open subset is closed. To tackle this inconsistency, we associate to any fuzzy topological space a topological space and use its fundamental groupoid equipped with the Lasso topology to give a topological characterization for the complementation of fuzzy subsets.

2025-08-22T17:14:35Z Anjeza Krakulli Elton Pasku http://arxiv.org/abs/2509.00032v1 2025-08-21T08:50:23Z

We show that the selection principles ${Ω\choose T}$ and ${Ω\chooseΓ}$ are not equal constructing a topological space $(X,τ)$ that satisfies ${Ω\choose T}$, but not ${Ω\choose Γ}$. This answers a question from arXiv:math/0301011 .

2025-08-21T08:50:23Z 3 pages Dominic van der Zypen http://arxiv.org/abs/2508.14981v1 2025-08-20T18:06:27Z

In the present work, we investigate the extension of double factorization systems to the categories of Eilenberg-Moore (co)algebras. We show that the double factorization systems $(\texttt{ExEpi},\texttt{Bim},\texttt{ExMono})$ in the categories $\mathbf{Tych}$, $\mathbf{Unif}$ and $\mathbf{Comp}$ extend to the same double factorization systems in the corresponding categories of Eilenberg-Moore algebras $\mathbf{Tych}^{\mathbb{H}^t}$, $\mathbf{Unif}^{\mathbb{H}^u}$ and $\mathbf{Comp}^{\mathbb{H}^c}$. We establish a connection between cartesian double factorization systems and LT-topologies. We provide sufficient conditions for the extension of cartesian double factorization systems to the topos of coalgebras.

2025-08-20T18:06:27Z 37 pages E. V. Martyanov