Related papers: Spaces of directed paths on pre-cubical sets
Using the generalized coherent states we argue that the path integral formulae for $SU(2)$ and $SU(1,1)$ (in the discrete series) are WKB exact,if the starting point is expressed as the trace of $e^{-iT\hat H}$ with $\hat H$ being given by…
Given a compact symplectic manifold $M$, with integral symplectic form, we prequantize a certain class of functions on the path space for $M$. The functions in question are induced by functions on $M$. We apply our construction to study the…
Using ideas from shape theory we embed the coarse category of metric spaces into the category of direct sequences of simplicial complexes with bonding maps being simplicial. Two direct sequences of simplicial complexes are equivalent if one…
Simplicial type theory extends homotopy type theory with a directed path type which internalizes the notion of a homomorphism within a type. This concept has significant applications both within mathematics -- where it allows for synthetic…
We show that if A is a simply connected, finite, pointed CW-complex then the mapping spaces Map(A, -) are preserved by the localization functors only if A has the rational homotopy type of a wedge of spheres of a fixed dimension.
We construct "higher" motion planners for automated systems whose space of states are homotopy equivalent to a polyhedral product space $Z(K,\{(S^{k_i},\star)\})$, e.g. robot arms with restrictions on the possible combinations of…
We introduce combinatorial types of arrangements of convex bodies, extending order types of point sets to arrangements of convex bodies, and study their realization spaces. Our main results witness a trade-off between the combinatorial…
Contact path geometries are curved geometric structures on a contact manifold comprising smooth families of paths modeled on the family of all isotropic lines in the projectivization of a symplectic vector space. Locally such a structure is…
In this paper, we construct a pointed CW complex called the magnitude homotopy type for a given metric space $X$ and a real parameter $\ell \geq 0$. This space is roughly consisting of all paths of length $\ell$ and has the reduced homology…
Cattani-Sassone's notion of higher dimensional transition system is interpreted as a small-orthogonality class of a locally finitely presentable topological category of weak higher dimensional transition systems. In particular, the higher…
Homotopy type theory is a logical setting in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces up to homotopy, and proofs as homotopy invariant constructions. In this…
We construct global observable algebras and global DHR morphisms for the Virasoro minimal models with central charge c(2,q), q odd. To this end, we pass {}from the irreducible highest weight modules to path representations, which involve…
We develop a path integral representation for the dynamics of quantum systems with a finite-dimensional Hilbert space, formulated entirely within a discrete phase space. Starting from the discrete Wigner function defined on $\mathbb{Z}_d…
It is well-known and easy to show that even the following version of the directed travelling salesman problem is NP-complete: Given a strongly connected complete digraph $D=(V,A)$, a cost function $w: A\rightarrow \{0,1\}$ and a natural…
The (parallel linear) transports in tensor spaces generated by derivations of the tensor algebra along paths are axiomatically described. Certain their properties are investigated. Transports along paths defined by derivations of the tensor…
We give the first subquadratic-time approximation schemes for dynamic time warping (DTW) and edit distance (ED) of several natural families of point sequences in $\mathbb{R}^d$, for any fixed $d \ge 1$. In particular, our algorithms compute…
We study Hamiltonian paths and cycles in undirected graphs from an operadic viewpoint. We show that the graphical collection $\mathsf{Ham}$ encoding directed Hamiltonian paths in connected graphs admits an operad-like structure, called a…
In this paper, we treat some weighted line digraphs which are induced by a connected and undirected graph. For a given graph $G$, the adjacency matrix of the weighted line digraph $W$ is determined by a boundary operator from an arc-based…
Accurately following a geometric desired path in a two-dimensional space is a fundamental task for many engineering systems, in particular mobile robots. When the desired path is occluded by obstacles, it is necessary and crucial to…
We characterize the Hurewicz cofibrations between finite topological spaces, that is, the continuous functions between finite topological spaces that have the homotopy extension property with respect to all topological spaces. In…