Multi-virtual braid groups

2026-03-13T05:29:03Z

L. Kauffman (2024) introduced multi-virtual and symmetric multi-virtual braid groups, which are generalizations of the virtual braid group. We introduce multi-virtual pure and multi-virtual semi-pure braid groups, which are normal subgroups of index $n!$. We give a set of generators and defining relations for these groups, show that multi-virtual (symmetric multi-virtual) braid group is a semi-direct products of multi-virtual pure (symmetric multi-virtual pure) braid group and symmetric group. Also, we introduce multi-welded and multi-unrestricted braid groups and examines structure of three-strand 2-virtual braid group and some its subgroups and quotients. The paper concludes by outlining open problems and suggesting avenues for future research in this area.

A Takahashi convexity structure on the Isbell-convex hull of an asymmetrically normed real vector space

2026-03-12T16:08:10Z

Let $(X,\|\cdot\|)$ be an asymmetrically normed real vector space and let $\mathcal{E}(X,\|\cdot\|)$ denote its Isbell-convex (injective) hull viewed as a space of minimal ample function pairs. We introduce a canonical $T_{0}$-quasi-metric $q_{\mathcal{E}}$ on $\mathcal{E}(X,\|\cdot\|)$ of sup-difference type and show that the canonical embedding $i:X\to\mathcal{E}(X,\|\cdot\|)$ is isometric. Using the vector space operations on the hull, we define a barycentric map \[ \mathbb{W}(f,g,λ)=λf\oplus(1-λ)g,\qquad f,g\in\mathcal{E}(X,\|\cdot\|),\ λ\in[0,1], \] and prove that $(\mathcal{E}(X,\|\cdot\|),q_{\mathcal{E}},\mathbb{W})$ is a convex $T_{0}$-quasi-metric space in the sense of Künzi and Yildiz. For the standard affine convexity on $X$ we establish the equivariance $i(W(x,y,λ))=\mathbb{W}(i(x),i(y),λ)$, hence $i(X)$ is $\mathbb{W}$-convex in the hull. We further record stability properties of $W$-convex function pairs under hull operations and develop a Chebyshev-center/normal-structure framework on $\mathcal{E}(X,\|\cdot\|)$ yielding fixed point theorems for nonexpansive self-maps on bounded, doubly closed, $\mathbb{W}$-convex subsets of the hull.

Reeb spaces of smooth functions associated to globally similar graphs of smooth functions

2026-03-12T07:03:16Z

Previously, we have investigated a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane converging to a same value or diverges to $+\infty$ or $-\infty$ simultaneously, at each infinity, and topological properties and combinatorial ones of its composition with the canonical projection. Here, we consider smooth functions with congruent or globally similar graphs instead. Here, the Reeb space of a smooth function on a manifold with no boundary is fundamental and important. This is the naturally topologized quotient space of the manifold, consisting of all connected components (contours) of the function and is a graph under a certain nice situation. Related studies also related to the present study were started due to interest of the author in theory of Reeb spaces of non-proper functions. For proper functions, in 2020s related studies have developed mainly due to Gelbukh and Saeki.

Fundamental examples of Reeb spaces of smooth functions defined from two graphs of smooth functions with same asymptotic behaviors

2026-03-12T06:51:52Z

Reeb spaces of (continuous) real-valued functions on (nice) topological spaces are the spaces whose underlying sets consist of all connected components (contours) of their level sets and seen naturally as quotient spaces of the spaces. They are "$1$-dimensional" spaces in various nice cases. They are graphs or graphs with ends for smooth function cases with nice singularities and behaviors. Reeb spaces have been fundamental and important in theory of Morse functions and more general smooth functions and applications to geometry, since the 20th century. We present Reeb spaces homeomorphic to infinite graphs (with ends) for functions on non-compact manifolds with no boundary. This paper is a note on cases previously obtained by the author. More explicitly, we consider a natural smooth map onto the region surrounded by the graphs of two smooth real-valued functions in the plane and its composition with the canonical projection.

Pizza Sharing is PPA-hard

2026-03-12T02:31:17Z

We study the computational complexity of finding a solution for the straight-cut and square-cut pizza sharing problems. We show that computing an $\varepsilon$-approximate solution is PPA-complete for both problems, while finding an exact solution for the square-cut problem is FIXP-hard. Our PPA-hardness results apply for any $\varepsilon < 1/5$, even when all mass distributions consist of non-overlapping axis-aligned rectangles or when they are point sets, and our FIXP-hardness result applies even when all mass distributions are unions of squares and right-angled triangles. We also prove that the decision variants of both approximate problems are NP-complete, while the decision variant for the exact version of square-cut pizza sharing is $\exists\mathbb{R}$-complete.

On real functions with graphs either connected or locally connected

2026-03-11T14:13:43Z

Let S denote the family of all subspaces of the plane that are graphs of functions from the real line R to itself. We prove that S has two subfamilies G,H of spaces such that the cardinality of G is c (the cardinality of the continuum) and the cardinality of H is 2^c, every space in the family G is completely metrizable, each element of H is a dense subset of the plane and the elements of the union of G and H are pairwise non-embeddable (i.p. pairwise non-homeomorphic) subspaces of the plane. On the other hand, the family S contains precisely countably infinitely many locally connected spaces up to homeomorphism, and if X,Y are such spaces then X is embeddable into Y. Furthermore, if T is a topology on the set R finer than the Euclidean topology and the space (R,T) is separable and locally connected then the space is locally compact and homeomorphic to some space in S. In a very natural way we establish a complete classification of all these refinements T of the real line.

Set-valued metrics and generalized Hausdorff distances

2026-03-11T13:03:29Z

Let $X$ be a metric space and $BCl(X)$ the collection of nonempty bounded closed subsets of $X$. We show that Hausdorff distance $d_H$ belongs to a specific family of real-valued distances on $BCl(X)$, each of which can be expressed as the composition $μ\circ d_{sv}$ of a topology inducing set-valued function $d_{sv}:BCl(X)^2\rightarrow \mathcal{P}(Z)$ and a real-valued set-function $μ:Σ\subset\mathcal{P}(Z)\rightarrow\mathbb{R}$. With this observation, we construct several associated classes of inter-set distances, called set-valued metrics and generalized Hausdorff distances. Our constructions are both explicit and adaptable, and the resulting distance classes are expected to cover most practical applications involving distance between sets.

$F$-Contraction with an Auxiliary Function and Its Application to Terrain-Following Airplane Navigation

2026-03-11T09:05:28Z

This paper aims to integrate the concepts of $F$-contraction and $S^B$-contraction within the context of super metric spaces. Specifically, we introduce the concepts of $S^F$-contraction and Bianchini $S^F$-contraction. We demonstrate that these new concepts are genuine generalizations of $S^B$- and $S^K$-contractions by providing nontrivial examples. Furthermore, we establish the existence and uniqueness of fixed points for mappings that satisfy these contractions. Lastly, we apply our findings to a model describing an airplane capable of automatically following a terrain.

On convergence structures in graphs

2026-03-09T17:06:19Z

A closure operator on a set $X$ is a function $\operatorname{cl}: \wp(X) \to \wp(X)$ satisfying, for all $A, B \subseteq X$, the following properties: extensivity, $A \subseteq \operatorname{cl}(A)$; monotonicity, which states that if $A \subseteq B$ then $\operatorname{cl}(A) \subseteq \operatorname{cl}(B)$; and preservation of unions, $\operatorname{cl}(A \cup B) = \operatorname{cl}(A) \cup \operatorname{cl}(B)$. Every graph $G$ naturally carries such an operator on its vertex set by assigning to each subset $A \subseteq V(G)$ the set $\operatorname{cl}(A) = A \cup N(A)$, where $N(A)$ denotes the vertices adjacent to a vertex in $A$. Since closure operators and pretopological spaces are equivalent notions, this operator induces a canonical convergence structure on $V(G)$. We describe this convergence in terms of nets and relate combinatorial properties of the graph to convergence-theoretic ones.

The Extended Real Line with Reentry: Separating US from KC in the Clontz Hierarchy

2026-03-09T13:33:41Z

We construct the Extended Real Line with Reentry (ERI), a quotient of $\overline{\mathbb{R}} = [-\infty,+\infty]$ that is compact, path-connected, sober, US (uniquely sequential), and not KC (kompacts closed)--the first compact path-connected space known to separate US from KC (see Remark 1.3 for a systematic verification against the pi-Base database [17]). In the Clontz hierarchy [2], ERI is $k_2$-Hausdorff but not weakly Hausdorff. The construction generalizes to a Filter-Modified Quotient (FMQ) framework that produces US-not-KC spaces from any compact Hausdorff base without isolated points. A modifier spectrum identifies an optimal "US zone," and an extended rigidity analysis shows that the hierarchy level $k_2$H-not-wH is preserved under arbitrary closed nowhere-dense collapse sets, iterated FMQ, and products--with first-countability of the base as the precise frontier for potential new levels.

Nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in Cohen models

2026-03-07T13:39:55Z

We show that if $κ< \aleph_ω$ Cohen reals are added to a model of $\mathsf{CH}$, then there are nontrivial automorphisms of $\mathcal P(ω)/\mathrm{Fin}$ in the extension. Under some further hypotheses on the ground model, namely the existence of long enough sage Davies trees (which follows from $\mathsf{SCH}$ plus $\square_λ$ for every $λ$ with $\mathrm{cf}(λ) = ω$), we prove the same result for cardinals $κ\geq \aleph_ω$ as well. This extends a result a Shelah and Steprāns, who proved the result for $κ= \aleph_2$.

Counting spaces of functions on separable compact lines

2026-03-07T12:32:54Z

We investigate the following general problem, closely related to the problem of isomorphic classification of Banach spaces $C(K)$ of continuous real-valued functions on a compact space $K$, equipped with the supremum norm: Let $\mathcal{K}$ be a class of compact spaces. How many isomorphism types of Banach spaces $C(K)$ are there, for $K\in \mathcal{K}$? We prove that for any uncountable regular cardinal number $κ$, there exist exactly $2^κ$ isomorphism types of spaces $C(K)$ for compact spaces of weight $κ$. We show that, for the class $\mathcal{L}_{ω_1}$ of separable compact linearly ordered spaces of weight $ω_1$, the answer to the above question depends on additional set-theoretic axioms. In particular, assuming the continuum hypothesis, there are $2^{ω_1}$ isomorphism types of $C(L)$, for $L\in \mathcal{L_{ω_1}}$, and assuming a certain axiom proposed by Baumgartner, there is only one type.

A Note on the Peter-Weyl Theorem

2026-03-07T08:32:41Z

We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large nontrivial compact open subgroups: in fact, we show that these functions can be approximated via others which are locally identical to the well known representative functions.

Amenable equivalence relations, Kesten's property, and measurable lamplighters

2026-03-06T20:01:28Z

We prove a characterization of the amenability of countable Borel equivalence relations in terms of the uniform Liouville property for group actions on their classes. Furthermore, inspired by a well-known amenability criterion for locally compact groups due to Kesten, we study return probabilities for random walks, and in particular a limiting condition that we call Kesten's property, on general topological groups. We show that every amenable topological group with small invariant neighborhoods indeed has Kesten's property. For measurable lamplighter groups associated with countable Borel equivalence relations, we establish a connection between Kesten's property and anti-concentration inequalities for the inverted orbits of random walks on the equivalence classes. This allows us to construct an amenable contractible Polish group without Kesten's property.

Ideal Analytic sets

2026-03-06T10:42:26Z

The aim of this paper is to give natural examples of $\mathbfΣ_1^1$-complete and $\mathbfΠ_1^1$-complete sets. In the first part, we consider ideals on $ω$. In particular, we show that the Hindman ideal $\mathcal{H}$ is $\mathbfΠ_1^1$-complete and consider a number of ideals generated in the similar fashion. Moreover, we show that the ideal $\mathcal{D}$ is also $\mathbfΠ_1^1$-complete. In the second part, we focus on families of trees (on $ω$ and $2$) containing a specific tree type. We show the connection between two topics and explore some classical tree types (like Sacks and Miller).