Related papers: Equivalent Conditions for Digital Covering Maps

A map which is non-orientable or has non-empty boundary has a canonical double cover which is orientable and has empty boundary. The map is called stable if every automorphism of this cover is a lift of an automorphism of the map. This note…

We introduce moment maps for continuous unitary representations of general topological groups. For solvable separable locally compact groups, we prove that the closure of the image of the moment map of any representation is convex.

A mechanism to derive non-repetitive coverage path solutions with a proven minimal number of discontinuities is proposed in this work, with the aim to avoid unnecessary, costly end effector lift-offs for manipulators. The problem is…

In this article, we show that a flat morphism of $k$-varieties ($\mathop{\mathrm{char}} k=0$) with locally constant geometric fibers becomes finite \'etale after reduction. When $k$ is a real closed field, we prove that such a morphism…

Using the theory of resolving classes, we show that if $X$ is a CW complex of finite type such that $\map_*(X, S^{2n+1})\sim *$ for all sufficiently large $n$, then $\map_*(X, K) \sim *$ for every simply-connected finite-dimensional CW…

The present paper is devoted to the study of space mappings, which are more general than quasiregular mappings. The questions of the behavior of differentiable mappings having the so--called $N,$ $N^{-1},$ $ACP$ and $ACP^{-1}$ -- properties…

High-definition (HD) maps are essential for autonomous driving, providing precise information such as road boundaries, lane dividers, and crosswalks to enable safe and accurate navigation. However, traditional HD map generation is…

Let $G$ be a graph with no isolated vertex. A matching in $G$ is a set of edges that are pairwise not adjacent in $G$, while the matching number, $\alpha'(G)$, of $G$ is the maximum size of a matching in $G$. The path covering number,…

Let S_n be the set of all permutations on [n]:={1,2,....,n}. We denote by kappa_n the smallest cardinality of a subset A of S_{n+1} that "covers" S_n, in the sense that each pi in S_n may be found as an order-isomorphic subsequence of some…

In the framework of digital topology, we study structural and topological properties of digital n-dimensional manifolds. We introduce the notion of simple connectedness of a digital space and prove that if M and N are homotopy equivalent…

Let N and P be smooth manifolds of dimensions n and p (n \geq p \geq 2) respectively. Let \Omega(N,P) denote an open subspace of J^{infty}(N,P) which consists of all regular jets and jets with prescribed singularities of types A_{i}, D_{j}…

We show that the typical nonexpansive mapping on a small enough subset of a CAT($\kappa$)-space is a contraction in the sense of Rakotch. By typical we mean that the set of nonexpansive mapppings without this property is a $\sigma$-porous…

This article is about polynomial maps with a certain symmetry and/or antisymmetry in their Jacobians, and whether the Jacobian Conjecture is satisfied for such maps, or whether it is sufficient to prove the Jacobian Conjecture for such…

Let $\mathbb{P}_{\kappa}(n)$ be the probability that $n$ points $z_1,\ldots,z_n$ picked uniformly and independently in $\mathfrak{C}_\kappa$, a regular $\kappa$-gon with area $1$, are in convex position, that is, form the vertex set of a…

Given a graph $G$, a subgraph $H$ is isometric if $d_H(u,v) = d_G(u,v)$ for every pair $u,v\in V(H)$, where $d$ is the distance function. A graph $G$ is distance preserving (dp) if it has an isometric subgraph of every possible order. A…

This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with…

We investigate reflection of stationary sets in P_kappa lambda and prove a consistency result for the case when lambda is the successor of kappa.

H-holomorphic maps are a parameter version of J-holomorphic maps into contact manifolds. They have arisen in efforts to prove the existence of higher--genus holomorphic open book decompositions and efforts to prove the existence of finite…

For finite semidistributive lattices the map $\kappa$ gives a bijection between the sets of completely join-irreducible elements and completely meet-irreducible elements. Here we study the $\kappa$-map in the context of torsion classes. It…

Let X be a minimal complex surface of general type such that its image via the canonical map is a surface; we denote by d the degree of the canonical map. In this expository work, first of all we recall the known possibilities for the…