Related papers: Spaces of directed paths on pre-cubical sets
We construct a many-object dual version of Chen's iterated integral map. For any topological space X, the construction takes the form of an A-infinity functor between two dg categories whose objects are the points of X: the domain has as…
In prior work \cite{AD} of Lars Andersson and Bruce K. Driver, the path space with finite interval over a compact Riemannian manifold is approximated by finite dimensional manifolds $H_{x,\P} (M)$ consisting of piecewise geodesic paths…
We investigate paths in the hexagonal circle packing and enumerate them with respect to width, height, number of steps, area, and kissing number. Functional equations and the kernel method yield closed bivariate generating functions…
We review the general properties of target spaces of hypermultiplets, which are quaternionic-like manifolds, and discuss the relations between these manifolds and their symmetry generators. We explicitly construct a one-to-one map between…
We study topological spaces with a distinguished set of paths, called directed paths. Since these directed paths are generally not reversible, the directed homotopy classes of directed paths do not assemble into a groupoid, and there is no…
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the…
We compute generating functions of the set of directed lattice paths starting from the origin and avoiding a periodic set of even point on OX = "time"-axis. As an application we prove a combinatorial identity proposed by P. Hajnal and G.V.…
In [1] we introduced the concept of structured space, which is a topological space that locally resembles some algebraic structures. In [2] we proceeded the study of these spaces, developing two cohomology theories. The aim of this paper is…
Locally convex (or nondegenerate) curves in the sphere (or projective space) have been studied for several reasons, including the study of linear ordinary differential equations. Taking Frenet frames allows us to translate such curves into…
I investigate a class of dynamical systems in which finite pieces of spacetime contain finite amounts of information. Most of the guiding principles for designing these systems are drawn from general relativity: the systems are…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
We realize any space of conformal blocks attached to a punctured curve inside the cohomology of a configuration space of that curve and compare the WZW connection with the Gauss-Manin connection.
Continuous-time quantum walks (CTQW) have shown the capability to perform efficiently the spatial search of a marked site on many kinds of graphs. However, most of such graphs are hard to realize in an experimental setting. Here we study…
This paper presents a method based on linear programming for trajectory planning of automated vehicles, combining obstacle avoidance, time scheduling for the reaching of waypoints and time-optimal traversal of tube-like road segments.…
Classical $W$-algebras in higher dimensions are constructed. This is achieved by generalizing the classical Gel'fand-Dickey brackets to the commutative limit of the ring of classical pseudodifferential operators in arbitrary dimension.…
We investigate the existence of an H-space structure on the function space, F_*(X,Y,*), of based maps in the component of the trivial map between two pointed connected CW-complexes X and Y. For that, we introduce the notion of H(n)-space…
We give a constructive method for realizing an arbitrary directed graph (with no one-cycles) as a heteroclinic or an excitable dynamic network in the phase space of a system of coupled cells of two types. In each case, the system is…
Consider a 2D coordinate space with a set of red and a set of blue points. We define a scenic point as a point that is equidistant to a red point and a blue point. The set of contiguous scenic points form a scenic path. The perpendicular…
We introduce the abstract notion of a closed necklical set in order to describe a functorial combinatorial model of the free loop fibration $\Omega Y\rightarrow \Lambda Y\rightarrow Y$ over the geometric realization $Y=|X|$ of a path…
A framework analogous to path integrals in quantum physics is set up for abstract dynamical systems in a W*-algebraic setting. We consider spaces of evolutions, defined in a specific way, of a W*-algebra A as an analogue of spaces of…