Related papers: Directed Homotopy in Non-Positively Curved Spaces
We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical…
We investigate a special kind of contraction of symmetric spaces (respectively, of Lie triple systems), called homotopy. In this first part of a series of two papers we construct such contractions for classical symmetric spaces in an…
Based on the needs of convergence proofs of preconditioned proximal point methods, we introduce notions of partial strong submonotonicity and partial (metric) subregularity of set-valued maps. We study relationships between these two…
We study the problem of coordinating multiple robots along fixed geometric paths. Our contribution is threefold. First we formalize the intuitive concept of priorities as a binary relation induced by a feasible coordination solution,…
This paper presents a systematic approach for computing local solutions to motion planning problems in non-convex environments using numerical optimal control techniques. It extends the range of use of state-of-the-art numerical optimal…
Measuring the similarity of curves is a fundamental problem arising in many application fields. There has been considerable interest in several such measures, both in Euclidean space and in more general setting such as curves on Riemannian…
We propose a convenient category for directed homotopy consisting of preordered topological spaces generated by cubes. Its main advantage is that, like the category of topological spaces generated by simplices suggested by J. H. Smith, it…
We present a survey of the dual Gromov-Hausdorff propinquity, a noncommutative analogue of the Gromov-Hausdorff distance which we introduced to provide a framework for the study of the noncommutative metric properties of C*-algebras. We…
Motivated by Wheeler's bottom up pregeometry, we introduce a pregeometric approach that does not assume Wheeler's probability amplitudes for establishing spacetime neighborhoods. Rather, a non-trivial metric is produced via the concept of a…
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…
A wide variety of models for concurrent programs has been proposed during the past decades, each one focusing on various aspects of computations: trace equivalence, causality between events, conflicts and schedules due to resource accesses,…
Directed Algebraic Topology is beginning to emerge from various applications. The basic structure we shall use for such a theory, a 'd-space', is a topological space equipped with a family of 'directed paths', closed under some operations.…
In this paper we study homotopy type of certain moduli spaces of metric graphs. More precisely, we show that the spaces $MG_{1,n}^v$, which parametrize the isometry classes of metric graphs of genus 1 with $n$ marks on vertices are homotopy…
Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate…
In an earlier paper (Class. Quantum Grav. 19 (2002) p.259) the author wrote the homothetic equations for vacuum solutions in a first order formalism allowing for arbitrary alignment of the dyad. This paper generalises that method to…
Starting from pseudometrics and preorders on sets of integers, we extend the focus to sets of finite sequences of integers, in particular sequences of consecutive integers. We outline existing concepts for deriving centred pseudometrics and…
We find conditions under which the pretangent spaces to general metric spaces have the nonpositive Aleksandrov curvature or nonnegative one. The infinitesimal structure of general metric cpaces with Busemann convex pretangent spaces is also…
Homotopy methods are attractive due to their capability of solving difficult optimisation and optimal control problems. The underlying idea is to construct a homotopy, which may be considered as a continuous (zero) curve between the…
As a continuation of \cite{NSY:local}, we mainly discuss the global structure of two-dimensional locally compact geodesically complete metric spaces with curvature bounded above. We first obtain the result on the Lipschitz homotopy…
We want to investigate 'spaces' where paths have a 'weight', or 'cost', expressing length, duration, price, energy, etc. The weight function is not assumed to be invariant up to path-reversion. Thus, 'weighted algebraic topology' can be…