Related papers: Inessential directed maps and directed homotopy eq…

A topological space is said to be cardinality homogeneous if every nonempty open subset has the same cardinality as the space itself. Let $X$ and $Y$ be cardinality homogeneous metric spaces of the same cardinality. If there exists a…

Two channels are said to be equivalent if they are degraded from each other. The space of equivalent channels with input alphabet $X$ and output alphabet $Y$ can be naturally endowed with the quotient of the Euclidean topology by the…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

Given based cellular spaces X and Y, X compact, we define a sequence of increasingly fine equivalences on the based-homotopy set [X,Y].

We provide a characterization of two types of directed homology for fully-connected, feedforward neural network architectures. These exact characterizations of the directed homology structure of a neural network architecture are the first…

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

A poset-stratified space is a pair $(S, S \xrightarrow \pi P)$ of a topological space $S$ and a continuous map $\pi: S \to P$ with a poset $P$ considered as a topological space with its associated Alexandroff topology. In this paper we show…

We describe the behaviour of the homotopy similarity relations and finite-order invariants under the function $[X,Y]\to[X,Z]$ induced by a map $Y\to Z$ strongly $r$-similar to the constant map.

We investigate if an existing notion of weak sequential convergence in a Hadamard space can be induced by a topology. We provide an answer on what we call weakly proper Hadamard spaces. A notion of dual space is proposed and it is shown…

We define and develop a homotopy invariant notion for the topological complexity of a map $f:X \to Y$, denoted TC($f$), that interacts with TC($X$) and TC($Y$) in the same way cat($f$) interacts with cat($X$) and cat($Y$). Furthermore,…

Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…

The main goal of this paper is to prove that the space of directed loops on the final precubical set is homotopy equivalent to the "total" configuration space of points on the plane; by "total" we mean that any finite number of points in a…

We prove that a space whose topological complexity equals 1 is homotopy equivalent to some odd-dimensional sphere. We prove a similar result, although not in complete generality, for spaces X whose higher topological complexity TC_n(X) is…

The path spaces of a directed graph play an important role in the study of graph $\css$. These are topological spaces that were originally constructed using groupoid and inverse semigroup techniques. In this paper, we develop a simple,…

While the topology of the space of all smooth immersed curves on the $2$-sphere $\mathbb{S}^2$ that start and end at given points in given directions is well known, it is an open problem to understand the homotopy type of its subspaces…

We construct a topology on the class of pointed proper quantum metric spaces which generalizes the topology of the Gromov-Hausdorff distance on proper metric spaces, and the topology of the dual propinquity on Leibniz quantum compact metric…

Embedding undirected graphs in a Euclidean space has many computational benefits. FastMap is an efficient embedding algorithm that facilitates a geometric interpretation of problems posed on undirected graphs. However, Euclidean distances…

We introduce a hypertopology, induced by an inframetric up to full quantum isometry, on the class of pointed proper quantum metric spaces, which are separable, possibly non-unital, C*-algebras endowed with an analogue of the Lipschitz…

Optimizing a network of maps among a collection of objects/domains (or map synchronization) is a central problem across computer vision and many other relevant fields. Compared to optimizing pairwise maps in isolation, the benefit of map…

Let U be a unipotent group over the field of complex numbers C, acting on a complex algebraic variety X. Assume that there exists a surjective morphism of complex algebraic varieties f: X --> Y whose fibres are orbits of U. We show that if…