Contribution to Book
Towards Directed Collapsibility (Research)
Advances in Mathematical Sciences: AWM Research Symposium, Houston, TX, April 2019
(2020)
Abstract
In the directed setting, the spaces of directed paths between fixed initial and terminal points are the defining feature for distinguishing different directed spaces. The simplest case is when the space of directed paths is homotopy equivalent to that of a single path; we call this the trivial space of directed paths. Directed spaces that are topologically trivial may have non-trivial spaces of directed paths, which means that information is lost when the direction of these topological spaces is ignored. We define a notion of directed collapsibility in the setting of a directed Euclidean cubical complex using the spaces of directed paths of the underlying directed topological space, relative to an initial or a final vertex. In addition, we give sufficient conditions for a directed Euclidean cubical complex to have a contractible or a connected space of directed paths from a fixed initial vertex. We also give sufficient conditions for the path space between two vertices in a Euclidean cubical complex to be disconnected. Our results have applications to speeding up the verification process of concurrent programming and to understanding partial executions in concurrent programs.
Disciplines
Publication Date
2020
Editor
Bahar Acu, Donatella Danielli, Marta Lewicka, Arati Pati, Saraswathy RV, Miranda Teboh-Ewungkem
Publisher
Springer
Series
Association for Women in Mathematics Series
ISBN
978-3-030-42687-3
DOI
10.1007/978-3-030-42687-3_17
Citation Information
Robin Belton, Robyn Brooks, Stefania Ebli, Lisbeth Fajstrup, et al.. "Towards Directed Collapsibility (Research)" Advances in Mathematical Sciences: AWM Research Symposium, Houston, TX, April 2019 Vol. 21 (2020) p. 255 - 571 Available at: http://works.bepress.com/elizabeth-vidaurre/2/