https://arxiv.org/api/8fmwaHctwaitaYKBT3beZp+OJ4Q 2026-06-18T23:40:19Z 5913 450 15 http://arxiv.org/abs/2508.14462v1 2025-08-20T06:33:25Z

Modern Yo-Yo play has developed into a sophisticated international subculture, featuring elite competition and intricate tricks. Despite this, no systematic knot-theoretic treatment has yet been applied to the numerous string configurations realised in contemporary Yo-Yo play. This paper takes initial steps in addressing this gap, recalling fundamental results from knot theory and embeddings to develop a methodology for classifying string arrangements, known as `mounts', in both beginner and advanced single Yo-Yo play. We classify a range of mounts according to the knots they form under appropriate post-processing procedures and identify Yo-Yo maneuvers that correspond to Reidemeister moves. Furthermore, we analyse the impact of certain mounts on the writhe of their diagrammatic projections and introduce operations to facilitate discussion of composite mounts. This work seeks to initiate a dialogue between Yo-Yo practitioners and knot theorists, fostering further advancements in high-level Yo-Yo play and enabling novel physical realisations of knots, links, braids, surgeries, and other topological transformations.

2025-08-20T06:33:25Z Benjamin Hamblin Victor M. Calo http://arxiv.org/abs/2508.14398v1 2025-08-20T03:51:23Z

The computation of Khovanov homology for tangles has significant potential applications, yet explicit computational studies remain limited. In this work, we present a method for computing the Khovanov homology of tangles via an arc reduction approach, and we derive the Poincaré polynomial for simple tangles. Furthermore, we compute the Poincaré polynomials of tangles with at most three crossings.

2025-08-20T03:51:23Z Li Shen Jian Liu Guo-Wei Wei http://arxiv.org/abs/2508.14008v1 2025-08-19T17:14:13Z

A datatset $X$ on $R^2$ is a finite topological space. Current research of a dataset focuses on statistical methods and the algebraic topological method \cite{carlsson}. In \cite{hu}, the concept of typed topological space was introduced and showed to have the potential for studying finite topological spaces, such as a dataset. It is a new method from the general topology perspective. A typed topological space is a topological space whose open sets are assigned types. Topological concepts and methods can be redefined using open sets of certain types. In this article, we develop a special set of types and its related typed topology on a dataset $X$. Using it, we can investigate the inner structure of $X$. In particular, $R^2$ has a natural quotient space, in which $X$ is organized into tracks, and each track is split into components. Those components are in a order. Further, they can be represented by an integer sequence. Components crossing tracks form branches, and the relationship can be well represented by a type of pseudotree (called typed-II pseudotree). Such structures provide a platform for new algorithms for problems such as calculating convex hull, holes, clustering and anomaly detection.

2025-08-19T17:14:13Z 14 pages 5 figures Wanjun Hu http://arxiv.org/abs/2411.13482v3 2025-08-19T17:04:32Z

We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both Stone duality and Isbell's duality between frames and sober spaces for those compact $T_1$-spaces that fall within each of these dualities, that is, respectively, zero-dimensional compact Hausdorff spaces, and compact sober $T_1$-spaces. On the topological side, we allow all compact $T_1$-spaces rather than just sober ones and we identify points in these with minimal prime filters on some base. On the lattice side, the shift goes from the notion of frame homomorphism to that of closed subfit morphism between bounded distributive lattices (closed subfit morphisms are defined by a natural and first order expressible constraint). The reflection becomes a duality when one restricts on the algebraic side to the complete and compact subfit lattices (i.e. compact subfit frames). Furthermore, restricting our duality on the topological side to the subcategory of compact $T_2$-spaces with all continuous maps, we obtain a duality for these with the category of complete, compact and normal lattices, thus recovering a classical result of Cornish. We also relate our adjunction to the duality introduced by Maruyama between $T_1$-spaces with continuous maps and a category having as objects a particular type of subfit frames and as arrows a certain type of morphism, of which we give an alternative and explicit algebraic characterization.

2024-11-20T17:34:29Z Mai Gehrke Elena Pozzan Matteo Viale http://arxiv.org/abs/2508.13325v1 2025-08-18T19:19:01Z

The purpose of this note is to describe a space that is regular but not completely regular, but only barely so: all closed sets are $G_δ$-sets and every singleton is a zero-set.

2025-08-18T19:19:01Z Klaas Pieter Hart http://arxiv.org/abs/2509.05299v1 2025-08-16T15:08:39Z

Motivated by the Hofmann--Lawson theorem, which states that every continuous lattice is inf-generated by its irreducible elements, we explore how to represent posets by extreme points with respect to a closure operator. For this purpose, we introduce the convolution product of closure operators, and prove that the Krein--Milman property can be transferred from one collection of subsets to another by convolution. This result underpins two new representation theorems of topological flavor, which generalize existing ones, even in posets lacking lattice or semilattice structures. We also prove a third representation theorem: given a poset equipped with a closure operator $\mathfrak{c}$ with adequate properties, we show that the set of kit points, defined as an extension of compact points, has the Krein--Milman property with respect to the convolution product of $\mathfrak{c}$ with the dual Alexandrov operator $\uparrow\!\! \cdot$; moreover, every kit point is sup-generated by a unique antichain of compact points, finite if $\mathfrak{c}$ is finitary.

2025-08-16T15:08:39Z 50 pages Paul Poncet http://arxiv.org/abs/2501.07253v2 2025-08-16T12:08:21Z

We show that $X^λ$ is strongly homogeneous whenever $X$ is a non-separable zero-dimensional metrizable space and $λ$ is an infinite cardinal. This partially answers a question of Terada, and improves a previous result of the author. Along the way, we show that every non-compact weight-homogeneous metrizable space with a $π$-base consisting of clopen sets can be partitioned into $κ$ many clopen sets, where $κ$ is the weight of $X$. This improves a result of van Engelen.

2025-01-13T12:00:55Z 6 pages Andrea Medini http://arxiv.org/abs/2507.10909v2 2025-08-16T01:34:08Z

A discrete subset $S$ of a topologically gyrogroup $G$ is called a {\it suitable set} for $G$ if $S\cup \{1\}$ is closed and the subgyrogroup generated by $S$ is dense in $G$, where $1$ is the identity element of $G$. In this paper, we mainly study the existence of suitable set of strongly topologically orderable gyrogroups, which extends some result in some papers in the literature. In particular, the existences of suitable set of each locally compact or not totally disconnected strongly topologically orderable gyrogroup are affirmative.

2025-07-15T01:55:30Z 12 pages Jiamin He Jiajia Yang Fucai Lin http://arxiv.org/abs/2508.09572v1 2025-08-13T07:42:31Z

In this paper we continue to study various types of closures in $S(n)$-spaces. The main results are related to the construction and illustration of examples that allow us to understand the relationship between $S(n)$-closed, $S(n)$-$θ$-closed, weakly $S(n)$-closed and weakly $S(n)$-$θ$-closed spaces for each $n\in \mathbb{N}$. The relation of these classes in Lindelöf spaces is shown. Some of the solved problems formulated by D. Dikranjan and E. Giuli are presented in the examples.

2025-08-13T07:42:31Z 19 pages, 10 figures, 2 diagrams Alexander V. Osipov http://arxiv.org/abs/2112.13825v4 2025-08-12T13:27:22Z

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and Rosenstein and subsequent authors of countably categorical Boolean algebras with finitely many distinguished ideals. Following Pierce, we take a topological approach using the language of PO systems (partially ordered sets with a distinguished subset) and topological Boolean algebras. We provide two different classifications via invariants that uniquely determine the isomorphism type: one using finite PO systems and the other using finite posets. We discuss how our findings link with previous results, but the paper is otherwise self-contained.

2021-12-27T18:31:02Z 17 pages Andrew Apps http://arxiv.org/abs/2503.17926v2 2025-08-11T09:30:19Z

We present several equivalent conditions of the continuity of the supremum function from the square of the Scott space of $C(X)$ to itself under mild assumptions, where $C(X)$ denotes the lattice of closed subsets of a $\mathbf{T_0}$ topological space. We also show that a $\mathbf{T_0}$ space is quasicontinuous (quasialgebraic) iff the lattice of its closed subsets is a quasicontinuous (quasialgebraic) domain by using $n$-approximation. Furthermore, we provide a necessary condition for when a topological space possesses a Scott completion. This allows us to give more examples which do not have Scott completions.

2025-03-23T03:54:14Z 22 pages Yu Chen Hui Kou Zhenchao Lyu Weiyu Yang http://arxiv.org/abs/2507.07449v2 2025-08-09T07:31:21Z

For a convergent series with positive terms, we prove that the $\ell^\infty$ product space of bounded subspaces of the Gromov-Hausdorff space can be isometrically embedded into the Gromov-Hausdorff space, where each subspace consists of compact metric spaces with the diameter less than or equal to the term.

2025-07-10T05:56:38Z Takuma Byakuno http://arxiv.org/abs/2508.06679v1 2025-08-08T20:01:07Z

Let $S$ be an infinite-type surface and let $G \leq \operatorname{Map}(S)$ be a locally bounded Polish subgroup. We construct a metric graph $M$ of simple arcs and curves on $S$ preserved by the action of $G$ and for which the vertex orbit map $G \to V(M)$ is a coarse equivalence; if $G$ is boundedly generated, then $M$ is a Cayley--Abels--Rosendal graph for $G$ and the orbit map is a quasi-isometry. In particular, if $S$ contains a non-displaceable subsurface and $G \geq \operatorname{PMap}_c(S)$ is boundedly generated or $G \in \{\overline{\operatorname{PMap}_c(S)}, \operatorname{PMap}(S), \operatorname{Map}(S) \}$ and is locally bounded, then $\operatorname{asdim} M = \operatorname{asdim} G = \infty$. This result completes the classification of the asymptotic dimension of stable boundedly generated infinite-type surface mapping class groups begun by Grant--Rafi--Verberne.

2025-08-08T20:01:07Z 18 pages, 3 figures Michael C. Kopreski George Shaji http://arxiv.org/abs/2507.01854v2 2025-08-08T16:13:39Z

We focus on a sequence of functions $\{f_n\}$, defined on a compact manifold with boundary $S$, converging in the $C^k$ metric to a limit $f$. A common assumption implicitly made in the empirical sciences is that when such functions represent random processes derived from data, the topological features of $f_n$ will eventually resemble those of $f$. In this work, we investigate the validity of this claim under various regularity assumptions, with the goal of finding conditions sufficient for the number of local maxima, minima and saddle of such functions to converge. In the $C^1$ setting, we do so by employing lesser-known variants of the Poincaré-Hopf and mountain pass theorems, and in the $C^2$ setting we pursue an approach inspired by the homotopy-based proof of the Morse Lemma. To aid practical use, we end by reformulating our central theorems in the language of the empirical processes.

2025-07-02T16:09:04Z For supplementary material see https://www.overleaf.com/read/gxbjfpkqnshw#3eee08 Thomas J. Maullin-Sapey Samuel Davenport http://arxiv.org/abs/2508.05566v1 2025-08-07T16:57:01Z

In this paper, we investigate the existence and uniqueness of fixed points for self-mappings defined on bipolar metric spaces using a new class of contractive conditions, namely polynomial-type contractions. Our main results establish sufficient conditions under which a mapping on a complete bipolar metric space admits a UFP. Several illustrative examples are provided to demonstrate the applicability of our theorems, and we further show how our results generalize and improve upon existing fixed point theorems in both standard and generalized metric settings.

2025-08-07T16:57:01Z Gopinath Janardhanan Gunaseelan Mani Nancy Delaila John Kennedy Yaé Ulrich Gaba