https://arxiv.org/api/EPJ0LCtxS2RFNiv1YFdV3WVZsIk 2026-06-14T03:07:38Z 5910 210 15 http://arxiv.org/abs/2602.07362v1 2026-02-07T05:08:54Z

We study the topological fundamental groups of the locally finite infinite ordered configuration space \(Conf^{lf}_\infty(\C)\) in the plane and the homotopy quotient of $Conf^{lf}_\infty$ by the canonical action of the infinite permutation group $\Aut(\N)$: \[ H^{lf}(\infty):=π_1^{\mathrm{top}}(Conf^{lf}_\infty(\C),\widetilde{\N}), \qquad B^{lf}(\infty):=π_1^{\mathrm{top}}\!\bigl(Conf^{lf}_\infty(\C)\!/\!/\Aut(\N),[e_0,\widetilde{\N}]\bigr). \] We prove that \(H^{lf}(\infty)\) and \(B^{lf}(\infty)\) are non-discrete and complete topological groups. A main structural theorem identifies \(H^{lf}(\infty)\) with a canonical locally finite inverse-limit model built from finite pure braid groups, and we construct a complete left-invariant ultrametric compatible with the quotient topology from the loop space of $\Conf$. The direct limit of finite pure braid groups admits a dense embedding into \(H^{lf}(\infty)\), and we show that \(H^{lf}(\infty)\) is the Raĭkov completion of this subgroup. Moreover, the direct limit of finite braid groups embeds into \(B^{lf}(\infty)\) and is dense in the finitary subgroup \(B^{lf}_{\mathrm{fin}}(\infty)\subseteq B^{lf}(\infty)\).

2026-02-07T05:08:54Z 43 pages Jyh-Haur Teh http://arxiv.org/abs/2602.06752v1 2026-02-06T14:54:59Z

In 1998, Benyamini introduced and proved the existence of universal interpolating functions. In the note we prove that the set of universal interpolating functions is nowhere dense in the space of continuous functions on $\mathbb{R}$. Several extensions and generalisations are also considered.

2026-02-06T14:54:59Z 7 pages, 1 figure Lars Olsen Noah Pugh Nathaniel Strout http://arxiv.org/abs/2602.06372v1 2026-02-06T04:00:38Z

We introduce soft bitopological spaces from the standpoint of soft elements. A soft bitopological space is a soft set equipped with two soft topologies. Following the classical construction of Goldar--Ray, each soft topology on $F$ induces an ordinary topology on the set $\SE(F)$ of soft elements; hence every soft bitopological space canonically determines a genuine bitopological space on $\SE(F)$. Within this setting we define pairwise soft separation axioms ($T_0$, $T_1$, $T_2$) and a notion of pairwise soft compactness, and we compare them with their parameterwise counterparts. For canonical (sectionwise generated) soft bitopologies, we show that the pairwise soft $T_i$ axioms are equivalent to the corresponding pairwise $T_i$ axioms on each parameter space. Compactness exhibits a finiteness phenomenon: when the parameter set is finite, componentwise pairwise compactness forces pairwise soft compactness, while an infinite-parameter example shows that the finiteness assumption is essential. Examples are included to clarify how the induced bitopology on $\SE(F)$ may behave differently from the original soft bitopology.

2026-02-06T04:00:38Z S. Ray http://arxiv.org/abs/2602.04647v2 2026-02-05T13:03:20Z

We characterize $κ$-Fréchet--Urysohn topological groups. Using this characterization we show that: (1) a hemicompact topological group is $κ$-Fréchet--Urysohn iff it is locally compact, and (2) if $F$ is a closed metrizable subspace of a topological vector space (tvs) $E$ such that the quotient $E/F$ is a $κ$-Fréchet--Urysohn space, then also $E$ is a $κ$-Fréchet--Urysohn space. Consequently, the product of a $κ$-Fréchet--Urysohn tvs and a metrizable tvs is a $κ$-Fréchet--Urysohn space. Under Martin's Axiom, we construct a countable Boolean $κ$-Fréchet--Urysohn group which is not a $k_{\mathbb R}$-space.

2026-02-04T15:23:37Z Saak Gabriyelyan Alexander V. Osipov Evgenii Reznichenko http://arxiv.org/abs/2602.03951v2 2026-02-05T04:54:34Z

Robust generalization under distribution shift remains difficult to monitor and optimize in the absence of target-domain labels, as models with similar in-distribution accuracy can exhibit markedly different out-of-distribution (OOD) performance. While prior work has focused on training-time regularization and low-order representation statistics, little is known about whether the geometric structure of learned embeddings provides reliable post-hoc signals of robustness. We propose a geometry-based diagnostic framework that constructs class-conditional mutual k-nearest-neighbor graphs from in-distribution embeddings and extracts two complementary invariants: a global spectral complexity proxy based on the reduced log-determinant of the normalized Laplacian, and a local smoothness measure based on Ollivier--Ricci curvature. Across multiple architectures, training regimes, and corruption benchmarks, we find that lower spectral complexity and higher mean curvature consistently predict stronger OOD accuracy across checkpoints. Controlled perturbations and topological analyses further show that these signals reflect meaningful representation structure rather than superficial embedding statistics. Our results demonstrate that representation geometry enables interpretable, label-free robustness diagnosis and supports reliable unsupervised checkpoint selection under distribution shift.

2026-02-03T19:13:36Z Ali Zia Farid Hazratian http://arxiv.org/abs/2510.07541v2 2026-02-05T00:45:10Z

Word metrics on finitely generated groups have canonical quasi-isometry classes, making quasi-isometry invariants genuine group invariants. Rosendal generalized this phenomenon to topological groups through CB-generation, but in the general topological setting the resulting quasi-isometry invariants are not invariants of the underlying abstract group. Specializing to the discrete case yields what we call SB-generated groups, where the invariants are genuinely algebraic. We show that SB-generation arises naturally in transformation groups by identifying several broad families of examples: the identity component of homeomorphism groups of closed manifolds, certain big mapping class groups, and homeomorphism groups of compact well-ordered spaces with successor limit capacity. These results demonstrate that SB-generation provides a robust extension of finite generation.

2025-10-08T20:56:42Z 22 pages, 1 figure, v2: fixed typesetting issue with cleverref, correcting referencing of propositions, lemmas, and corollaries: no mathematical change Nicholas G. Vlamis http://arxiv.org/abs/2408.07316v2 2026-02-04T22:48:37Z

For a Hausdorff space $Y$, a topological space $X$ and a map $g:X\to Y$, we present a connection between the relative sectional number of the first coordinate projection $π_{2,1}^Y:F(Y,2)\to Y$ with respect to $g$, and the coincidence property (CP) for $(X,Y;g)$, where $F(Y,2)$ stands for the ordered configuration space of $2$ distinct points on $Y$, and $(X,Y;g)$ has the coincidence property (CP) if, for every map $f:X\to Y$, there is a point $x$ of $X$ such that $f(x)=g(x)$. Explicitly, we demonstrate that $(X,Y;g)$ has the CP if and only if 2 is the minimal cardinality of open covers $\{U_i\}_{1\leq i\leq n}$ of $X$ such that each $U_i$ admits a local lifting for $g$ with respect to $π_{2,1}^Y$. This characterization connects a standard problem in coincidence theory to current research trends in sectional category and topological robotics. Motivated by this connection, we introduce the notion of relative topological complexity of a map.

2024-08-14T06:25:36Z 16 pages. Final version Topological Methods in Nonlinear Analysis. Online. 11 December 2025. Vol. 66, no. 2, pp. 479 - 496 Cesar A. Ipanaque Zapata Felipe A. Torres Estrella 10.12775/TMNA.2025.016 http://arxiv.org/abs/2510.25200v2 2026-01-31T22:23:51Z

We study quasi-modular pseudometric spaces as asymmetric refinements of modular metric structures. To each such space we associate canonical forward and backward quasi-uniformities and the corresponding directional topologies. We introduce directional notions of convergence, completeness, total boundedness, and compactness, and show that these properties are not preserved under symmetrization. In particular, forward and backward completeness may differ, and compactness of the symmetrized uniformity does not imply directional compactness. Using enriched category theory as a comparison framework, we show that symmetrization yields a symmetric enriched category whose Cauchy completion coincides with the classical uniform completion, while directional notions remain invisible at this level.

2025-10-29T06:10:52Z 13 pages Philani Rodney Majozi http://arxiv.org/abs/2602.00645v1 2026-01-31T10:33:46Z

This paper has two aims, first one is to introduce special kind of proximal contractions guaranteeing a finite number of best proximity points, and second one is to derive best proximity point results for perimetric contractions. To meet these two aims, we introduce two new proximal contractions: perimetric proximal contractions of the first and the second kind, and derive best proximity point results for these mappings. We establish that for these particular mappings, best proximity points are not necessarily unique; however, we provide an upper bound, proving that at most two such points can exist. To establish the validity of our results, we provide illustrative examples demonstrating that these newly defined mappings can possess unique or exactly two best proximity points.

2026-01-31T10:33:46Z 10 pages Hiranmoy Garai Evgeniy Petrov Pratikshan Mondal Lakshmi Kanta Dey http://arxiv.org/abs/2601.02279v2 2026-01-30T17:23:32Z

In this article, we present several different ways to define hyperconvexity in partial metric spaces. In particular, we show that the analogue of the Aronszajn--Panitchpakdi notion of hyperconvexity fails to exhibit certain key properties present in the classical metric setting.

2026-01-05T17:10:17Z 10 pages Dariusz Bugajewski Piotr Kasprzak Olivier Olela-Otafudu http://arxiv.org/abs/2602.23380v1 2026-01-30T01:15:16Z

Reeb spaces of real-valued functions on manifolds are the spaces of all connected components (contours) of level sets and endowed with the natural quotient topology. They have been fundamental and strong tools in investigating manifolds via smooth functions with mild critical points since the birth of fundamental theory of Morse functions in the 20th century. We are concerned with topologies and combinatorics of them. Following an explicit note on explicit Reeb spaces of explicit functions which are real analytic (on dense sets) and seem to be simplest and most fundamental, edited by the author himself. We investigate other construction of examples of such functions and their Reeb spaces. Reeb spaces are naturally graphs in considerable cases and as another work, we also discuss natural definitions of vertices for them.

2026-01-30T01:15:16Z 9 pages Naoki Kitazawa http://arxiv.org/abs/2511.01273v2 2026-01-29T00:32:57Z

We study homeomorphisms and the homeomorphism groups of compact metric spaces using the automorphism groups of projective Fraïssé limits. In our applications, we investigate the Polish group ${\rm Homeo}(P)$ of all homeomorphisms of the pseudoarc $P$ using the automorphism group ${\rm Aut}(\mathbb{P})$ of the pre-pseudoarc $\mathbb{P}$. Strengthening results from the literature, we show that the diagonal conjugacy action of ${\rm Homeo}(P)$ on ${\rm Homeo}(P)^{\mathbb{N}}$ has a dense orbit. In our second application, we show that there exists a homeomorphism of $P$ that is not conjugate in ${\rm Homeo}(P)$ to an element of ${\rm Aut}(\mathbb{P})$.

2025-11-03T06:47:09Z Márk Poór Sławomir Solecki http://arxiv.org/abs/2508.14651v2 2026-01-28T08:34:20Z

If $I$ is an ideal in the ring $C(X)$ of all real valued continuous functions defined over a Tychonoff space $X$, then $X$ is called $I$-$pseudocompact$ if the set $X\setminus \bigcap Z[I]$ is a bounded subset of $X$. Corresponding to $I$, the $m^I$-topology and $u^I$-topology on $C(X)$, generalizing the well-known $m$-topology and $u$-topology in $C(X)$ respectively are already there in the literature. It is proved amongst others that the $m^I$-topology is first countable if and only if the $u^I$-topology= $m^I$-topology on $C(X)$ if and only if $X$ is $I$-$pseudocompact$. A special case of this result on choosing $I=C(X)$ reads: the $u$-topology and $m$-topology on $C(X)$ coincide if and only if $X$ is pseudocompact. It is established that the $m^I$-topology on $C(X)$ is second countable if and only if it is $\aleph_0$-$bounded$ if and only if $X$ is compact, metrizable and $I=C(X)$. Furthermore it is realized that the $m^I$ topology on $C(X)$ is hemicompact if and only if it is $σ$-compact if and only if this topology is $H$-$bounded$ if and only if $X$ is finite and $I=C(X)$.

2025-08-20T12:08:29Z Soumajit Dey Sudip Kumar Acharyya Dhananjoy Mandal http://arxiv.org/abs/2601.19999v1 2026-01-27T19:14:40Z

We introduce a new parametrized diamond principle denoted $\diamondsuit(\mathsf{LP})$. This principle is akin to the parametrized diamonds of Moore, Hrušák, and Džamonja, each of which corresponds to some cardinal invariant of the continuum, and gives a $\diamondsuit$-like guessing principle implying the corresponding invariant is $\aleph_1$. Our principle $\diamondsuit(\mathsf{LP})$ is a $\diamondsuit$-like guessing principle implying the Laver property holds over a given inner model, such as the ground model in a forcing extension. We show $\diamondsuit(\mathsf{LP})$ holds in many familiar models of $\mathsf{ZFC}$ obtained by forcing, namely those obtained from a model of $\mathsf{CH}$ by a length-$ω_2$ countable support iteration of proper Borel posets with the Laver property. This is true for essentially the same reason that the usual parametrized diamonds hold in similarly described forcing extensions where their corresponding cardinal invariant is $\aleph_1$. We also prove that if $\diamondsuit(\mathsf{LP})$ holds over an inner model of $\mathsf{CH}$ then there are nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$; in fact we get particularly nice automorphisms extending nontrivial involutions built around $P$-points in the ground model. Additionally, we show that, like the Sacks model, all automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ are somewhere trivial in the Mathias model. This puts a limitation on the kinds of automorphisms obtainable from $\diamondsuit(\mathsf{LP})$.

2026-01-27T19:14:40Z Will Brian Alan Dow http://arxiv.org/abs/2601.19881v1 2026-01-27T18:49:04Z

We give the sufficient condition when every left-continuous (right-continuous) Hausdorff topology on a semigroup $S$ is discrete. We construct a submonoid $\mathscr{C}_{+}(a,b)$ (resp., $\mathscr{C}_{-}(a,b)$) of the bicyclic monoid which contains a family $\{S_α\colon α\in\mathfrak{c}\}$ of continuum many subsemigroups with the following properties: $(i)$ every left-continuous (resp., right-continuous) Hausdorff topology on $S_α$ is discrete; $(ii)$ every semigroup $S_α$ admits a non-discrete right-continuous (resp., left-continuous) Hausdorff topology which is not left-continuous (resp., right-continuous); $(iii)$ every semigroup $S_α$ isomorphically embeds into a Hausdorff compact topological semigroup. Also we construct a submonoid $\mathscr{C}_{\mathbb{Z}}^+$ (resp., $\mathscr{C}_{\mathbb{Z}}^-$) of the extended bicyclic semigroup which contains a family $\{S_α\colon α\in\mathfrak{c}\}$ of continuum many subsemigroups with the above described properties.

2026-01-27T18:49:04Z 12 pages Oleg Gutik