English
Related papers

Related papers: Towards Directed Collapsibility

200 papers

Variational analysis presents a unified theory encompassing in particular both smoothness and convexity. In a Euclidean space, convex sets and smooth manifolds both have straightforward local geometry. However, in the most basic hybrid case…

Optimization and Control · Mathematics 2025-01-29 Adrian S. Lewis , Adriana Nicolae , Tonghua Tian

A semantics of concurrent programs can be given using precubical sets, in order to study (higher) commutations between the actions, thus encoding the "geometry" of the space of possible executions of the program. Here, we study the…

Logic in Computer Science · Computer Science 2023-06-22 Eric Goubault , Samuel Mimram

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…

Category Theory · Mathematics 2012-05-02 L. Fajstrup , J. Rosicky

A bounded curvature path is a continuously differentiable piecewise $C^2$ path with a bounded absolute curvature that connects two points in the tangent bundle of a surface. In this work, we analyze the homotopy classes of bounded curvature…

Metric Geometry · Mathematics 2017-05-08 José Ayala , Hyam Rubinstein

The topological complexity of a path-connected space $X,$ denoted $TC(X),$ can be thought of as the minimum number of continuous rules needed to describe how to move from one point in $X$ to another. The space $X$ is often interpreted as a…

Algebraic Topology · Mathematics 2018-03-16 Steven Scheirer

Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The first part…

Algebraic Topology · Mathematics 2024-09-05 Marco Grandis

The notion of a homotopy flow on a directed space was introduced in \cite{Raussen:07} as a coherent tool for comparing spaces of directed paths between pairs of points in that space with each other. If all parameter directed maps preserve…

Algebraic Topology · Mathematics 2019-10-28 Martin Raussen

In this work we introduce a topological method for the search of fixed points and periodic points for continuous maps defined on generalized rectangles in finite dimensional Euclidean spaces. We name our technique "Stretching Along the…

Dynamical Systems · Mathematics 2009-10-21 Marina Pireddu

Connectedness, path connectedness, and uniform connectedness are well-known concepts. In the traditional presentation of these concepts there is a substantial difference between connectedness and the other two notions, namely connectedness…

General Topology · Mathematics 2015-11-06 Ittay Weiss

This article belongs to a subject, Directed Algebraic Topology, whose general aim is including non-reversible processes in the range of topology and algebraic topology. Here, as a further step, we also want to cover "critical processes",…

Algebraic Topology · Mathematics 2024-01-30 Marco Grandis

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…

Algebraic Topology · Mathematics 2007-05-23 Marco Grandis

Various kinds of data are routinely represented as discrete probability distributions. Examples include text documents summarized by histograms of word occurrences and images represented as histograms of oriented gradients. Viewing a…

Computational Geometry · Computer Science 2019-03-29 Herbert Edelsbrunner , Ziga Virk , Hubert Wagner

A shape of a combinatorial polytope is a convex embedding into Euclidean space. We provide necessary and sufficient conditions for a piecewise linear map between two shapes of the same polytope to be a compression (respectively a weak…

Metric Geometry · Mathematics 2025-06-24 José Ayala , David Kirszenblat , J. Hyam Rubinstein

The paper addresses certain topological aspects of Dijkstra's PV-model for parallel computations in concurrency theory. The main result is a computation of the homology of the trace space associated with PV-programs in which access and…

Combinatorics · Mathematics 2016-11-28 Roy Meshulam , Martin Raussen

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…

Geometric Topology · Mathematics 2025-10-28 Nicolau C. Saldanha , Pedro Zühlke

We study the topology of metric spaces which are definable in o-minimal expansions of ordered fields. We show that a definable metric space either contains an infinite definable discrete set or is definably homeomorphic to a definable set…

Logic · Mathematics 2015-11-12 Erik Walsberg

The lack of studying the complex organization of directed network usually limits to the understanding of underlying relationship between network structures and functions. Structural controllability and structural predictability, two…

Physics and Society · Physics 2022-03-31 Fei Jing , Chuang Liu , Jian-Liang Wu , Zi-Ke Zhang

In this paper we propose an elementary topological approach which unifies and extends various different results concerning fixed points and periodic points for maps defined on sets homeomorphic to rectangles embedded in euclidean spaces. We…

Dynamical Systems · Mathematics 2007-05-23 Marina Pireddu , Fabio Zanolin

Let $S$ be a complete flat surface, such as the Euclidean plane. We obtain direct characterizations of the connected components of the space of all curves on $S$ which start and end at given points in given directions, and whose curvatures…

Geometric Topology · Mathematics 2016-02-11 Nicolau C. Saldanha , Pedro Zühlke

Tilings of the plane resemble the simplicial and other complexes from algebraic topology, but have not been studied from this perspective. We construct finite categories corresponding to polygons with labeled directed edges, and introduce…

Category Theory · Mathematics 2025-09-09 Catherine DiLeo , Preston Sessoms , Brandon T. Shapiro