-
Presheaf automata
Authors:
Georg Struth,
Krzysztof Ziemiański
Abstract:
We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition systems. We develop the foundations of a language theory for them based on notions of paths and track objects. We also define open maps for presheaf automata, extending the standard notions of simulation and bisimulatio…
▽ More
We introduce presheaf automata as a generalisation of different variants of higher-dimensional automata and other automata-like formalisms, including Petri nets and vector addition systems. We develop the foundations of a language theory for them based on notions of paths and track objects. We also define open maps for presheaf automata, extending the standard notions of simulation and bisimulation for transition systems. Apart from these conceptual contributions, we show that certain finite-type presheaf automata subsume all Petri nets, generalising a previous result by van Glabbeek, which applies to higher-dimensional automata and safe Petri nets.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Generating Posets with Interfaces
Authors:
Olavi Äikäs,
Uli Fahrenberg,
Christian Johansen,
Krzysztof Ziemiański
Abstract:
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do so, we introduce a new class of iposets with full interfaces and show that considering these is sufficient. We also describe the software (written in Julia) that we have used for our exploration and define a new incompl…
▽ More
We generate and count isomorphism classes of gluing-parallel posets with interfaces (iposets) on up to eight points, and on up to ten points with interfaces removed. In order to do so, we introduce a new class of iposets with full interfaces and show that considering these is sufficient. We also describe the software (written in Julia) that we have used for our exploration and define a new incomplete isomorphism invariant which may be computed in polynomial time yet identifies only very few pairs of non-isomorphic iposets.
△ Less
Submitted 5 March, 2022;
originally announced March 2022.
-
Kleene Theorem for Higher-Dimensional Automata
Authors:
Uli Fahrenberg,
Christian Johansen,
Georg Struth,
Krzysztof Ziemiański
Abstract:
We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets. The rational operations on these languages include a gluing composition, for which we equip pomsets with interfaces. For our proof, we introduce higher-dimensional automata with interfaces, which are modelled as preshe…
▽ More
We prove a Kleene theorem for higher-dimensional automata. It states that the languages they recognise are precisely the rational subsumption-closed sets of finite interval pomsets. The rational operations on these languages include a gluing composition, for which we equip pomsets with interfaces. For our proof, we introduce higher-dimensional automata with interfaces, which are modelled as presheaves over labelled precube categories, and develop tools and techniques inspired by algebraic topology, such as cylinders and (co)fibrations. Higher-dimensional automata form a general model of non-interleaving concurrency, which subsumes many other approaches. Interval orders are used as models for concurrent and distributed systems where events extend in time. Our tools and techniques may therefore yield templates for Kleene theorems in various models and applications.
△ Less
Submitted 8 December, 2024; v1 submitted 8 February, 2022;
originally announced February 2022.
-
lr-Multisemigroups and Modal Convolution Algebras
Authors:
Uli Fahrenberg,
Christian Johnsen,
Georg Struth,
Krzysztof Ziemiański
Abstract:
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr-multisemigroups introduced…
▽ More
We show how modal quantales arise as convolution algebras of functions from lr-multisemigroups that is, multisemigroups with a source map l and a target map r, into modal quantales which can be seen as weight or value algebras. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in the three algebras. The class of lr-multisemigroups introduced in this article generalises Schweizer and Sklar's function systems and object-free categories to a setting isomorphic to algebras of ternary relations as used in boolean algebras with operators and in substructural logics. Our results provide a generic construction recipe for weighted modal quantales from such multisemigroups. This is illustrated by many examples, ranging from modal algebras of weighted relations as used in fuzzy mathematics, category quantales in the tradition of category algebras or group rings, incidence algebras over partial orders, discrete and continuous weighted path algebras, weighted languages of pomsets with interfaces, and weighted languages associated with presimplicial and precubical sets. We also discuss how these results can be combined with previous ones for concurrent quantales and generalised to a setting that supports reasoning with stochastic matrices or probabilistic predicate transformers.
△ Less
Submitted 1 May, 2021;
originally announced May 2021.
-
Configuration spaces and directed paths on the final precubical set
Authors:
Jakub Paliga,
Krzysztof Ziemiański
Abstract:
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 configuration is allowed. We also provide several applications: we define new invariants of precubical sets, prove that directed path spaces on any precubical c…
▽ More
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 configuration is allowed. We also provide several applications: we define new invariants of precubical sets, prove that directed path spaces on any precubical complex have the homotopy types of CW-complexes and construct certain presentations of configuration spaces of points on the plane as nerves of categories.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Spaces of directed paths on pre-cubical sets II
Authors:
Krzysztof Ziemiański
Abstract:
For a given pre-cubical set ($\square$--set) $K$ with two distinguished vertices $\bO$, $\bI$, we prove that the space $\vP(K)_\bO^\bI$ of d-paths on the geometric realization of $K$ with source $\bO$ and target $\bI$ is homotopy equivalent to its subspace $\vP^t(K)_\bO^\bI$ of tame d-paths. When $K$ is the underlying $\square$--set of a Higher Dimensional Automaton $A$, tame d-paths on $K$ repres…
▽ More
For a given pre-cubical set ($\square$--set) $K$ with two distinguished vertices $\bO$, $\bI$, we prove that the space $\vP(K)_\bO^\bI$ of d-paths on the geometric realization of $K$ with source $\bO$ and target $\bI$ is homotopy equivalent to its subspace $\vP^t(K)_\bO^\bI$ of tame d-paths. When $K$ is the underlying $\square$--set of a Higher Dimensional Automaton $A$, tame d-paths on $K$ represent step executions of $A$. Then, we define the cube chain category of $K$ and prove that its nerve is weakly homotopy equivalent to $\vP(K)_\bO^\bI$.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
Stable components of directed spaces
Authors:
Krzysztof Ziemiański
Abstract:
In this paper, we introduce the notions of stable future, past and total component systems on a directed space with no loops. Then, we associate the stable component category to a stable (future, past or total) component system. Stable component categories are enriched in some monoidal category, eg. the homotopy category of spaces, and carry information about the spaces of directed paths between p…
▽ More
In this paper, we introduce the notions of stable future, past and total component systems on a directed space with no loops. Then, we associate the stable component category to a stable (future, past or total) component system. Stable component categories are enriched in some monoidal category, eg. the homotopy category of spaces, and carry information about the spaces of directed paths between particular points. It is shown that the geometric realizations of finite pre-cubical sets with no loops admit the unique minimal stable (future/past/total) component systems. These constructions provide a new family of invariants for directed spaces.
△ Less
Submitted 8 September, 2018; v1 submitted 14 May, 2018;
originally announced May 2018.
-
Directed path spaces via discrete vector fields
Authors:
Krzysztof Ziemiański
Abstract:
Let $K$ be an arbitrary semi-cubical set that can be embedded in a standard cube. Using Discrete Morse Theory, we construct a CW-complex that is homotopy equivalent to the space $\vec{P}(K)_v^w$ of directed paths between two given vertices $v,w$ of $K$. In many cases, this construction is minimal: the cells of the constructed CW-complex are in 1--1 correspondence with the generators of the homolog…
▽ More
Let $K$ be an arbitrary semi-cubical set that can be embedded in a standard cube. Using Discrete Morse Theory, we construct a CW-complex that is homotopy equivalent to the space $\vec{P}(K)_v^w$ of directed paths between two given vertices $v,w$ of $K$. In many cases, this construction is minimal: the cells of the constructed CW-complex are in 1--1 correspondence with the generators of the homology of $\vec{P}(K)_v^w$.
△ Less
Submitted 7 August, 2017;
originally announced August 2017.
-
Paths of the directed suspension
Authors:
Andrzej Weber,
Krzysztof Ziemiański
Abstract:
We prove that the loop space of the directed suspension of a directed space is homotopy equivalent to the James construction. In particular, it does not depend on the directed structure of a given directed space.
We prove that the loop space of the directed suspension of a directed space is homotopy equivalent to the James construction. In particular, it does not depend on the directed structure of a given directed space.
△ Less
Submitted 2 July, 2016;
originally announced July 2016.
-
Spaces of directed paths on pre-cubical sets
Authors:
Krzysztof Ziemiański
Abstract:
The spaces of directed paths on the geometric realizations of pre-cubical sets, called also $\square$--sets, can be interpreted as the spaces of possible executions of Higher Dimensional Automata, which are models for concurrent computations. In this paper we construct, for a sufficiently good pre-cubical set $K$, a CW-complex $W(K)_v^w$ that is homotopy equivalent to the space of directed paths b…
▽ More
The spaces of directed paths on the geometric realizations of pre-cubical sets, called also $\square$--sets, can be interpreted as the spaces of possible executions of Higher Dimensional Automata, which are models for concurrent computations. In this paper we construct, for a sufficiently good pre-cubical set $K$, a CW-complex $W(K)_v^w$ that is homotopy equivalent to the space of directed paths between given vertices $v$, $w$ of $K$. This construction is functorial with respect to $K$, and minimal among all functorial constructions. Furthermore, explicit formulas for incidence numbers of the cells of $W(K)_v^w$ are provided.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
On execution spaces of PV-programs
Authors:
Krzysztof Ziemianski
Abstract:
Semaphores were introduced by Dijkstra as a tool for modeling concurrency in computer programs. In this paper we provide a formal definition of PV-programs, i.e. programs using semaphores, their state spaces and execution spaces. The main goal of this paper is to prove that every finite homotopy type may appear as a connected component of the execution space of a PV-program.
Semaphores were introduced by Dijkstra as a tool for modeling concurrency in computer programs. In this paper we provide a formal definition of PV-programs, i.e. programs using semaphores, their state spaces and execution spaces. The main goal of this paper is to prove that every finite homotopy type may appear as a connected component of the execution space of a PV-program.
△ Less
Submitted 16 February, 2015;
originally announced February 2015.
-
Homotopy representations of the unitary groups
Authors:
Wojciech Lubawski,
Krzysztof Ziemiański
Abstract:
Let $G$ be a compact connected Lie group and let $ξ,ν$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $ξ$ contains a subbundle which is isomorphic to $ν$. The necessary condition is that for every prime $p$ the restriction $ξ|_{BN_p^G}$, where $N_p^G$ is a maximal $p$-toral subgroup of $G$, contains a subbundle isomorphic to $ν|_{BN_p^G}$. We provide…
▽ More
Let $G$ be a compact connected Lie group and let $ξ,ν$ be complex vector bundles over the classifying space $BG$. The problem we consider is whether $ξ$ contains a subbundle which is isomorphic to $ν$. The necessary condition is that for every prime $p$ the restriction $ξ|_{BN_p^G}$, where $N_p^G$ is a maximal $p$-toral subgroup of $G$, contains a subbundle isomorphic to $ν|_{BN_p^G}$. We provide a criterion when this condition is sufficient, expressed in terms of $Λ^*$-functors of Jackowski, McClure \& Oliver and we prove that this criterion applies if $ν$ is a universal bundle over $BU(n)$. Our result allows to construct new examples of maps between classifying spaces of unitary groups. While proving the main result, we develop the obstruction theory for lifting maps from homotopy colimits along fibrations, which generalizes the result of Wojtkowiak.
△ Less
Submitted 2 July, 2015; v1 submitted 29 June, 2014;
originally announced June 2014.
