Related papers: Regular directed path and Moore flow

In this paper, we consider 2-dimensional precubical sets, which can be used to model systems of two concurrently executing processes. From the point of view of concurrency theory, two precubical sets can be considered equivalent if their…

Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all possible legal schedulings. It is interesting to investigate…

This paper answers some questions about conjugate points along the geodesics corresponding to steady 2D Euler flows, posed by a paper of Drivas-Misiolek-Shi-Yoneda. We present a new sufficient criterion for the existence of conjugate…

A toric cube is a subset of the standard cube defined by binomial inequalities. These basic semialgebraic sets are precisely the images of standard cubes under monomial maps. We study toric cubes from the perspective of topological…

How do spaces emerge from pregeometric discrete building blocks governed by computational rules? To address this, we investigate non-deterministic rewriting systems (multiway systems) of the Wolfram model. We express these rewriting systems…

We show a Whitney Approximation Theorem for a continuous map from a manifold to a smooth CW complex. This enables us to show that a topological CW complex is homotopy equivalent to a smooth CW complex in a category of topological spaces. It…

We introduce a new cubical model for homotopy types. More precisely, we'll define a category Qs with the following features: Qs is a PROP containing the classical box category as a subcategory, the category Qs-Set of presheaves of sets on…

We complete the theoretical framework required for the construction of a Morse homology theory for certain types of forced mean curvature flows. The main result of this paper describes the asymptotic behaviour of these flows as the forcing…

The strict globular $\omega$-categories formalize the execution paths of a parallel automaton and the homotopies between them. One associates to such (and any) $\omega$-category $\C$ three homology theories. The first one is called the…

We study the equivariant homotopy type of the poset of orthogonal decompositions of a finite-dimensional complex vector space. Suppose that n is a power of a prime p, and that D is an elementary abelian p-subgroup of U(n) acting on complex…

We perform a geometric study of the equilibrium locus of the flow that models the diffusion process over a circular network of cells. We prove that when considering the set of all possible values of the parameters, the equilibrium locus is…

By studying spaces of flow graphs in a closed oriented manifold, we construct operations on its cohomology, parametrized by the homology of the moduli spaces of compact Riemann surfaces with boundary marked points. We show that the…

This paper describes a mechanism by which a traversally generic flow $v$ on a smooth connected manifold $X$ with boundary produces a compact $CW$-complex $\mathcal T(v)$, which is homotopy equivalent to $X$ and such that $X$ embeds in…

In this work we provide an explicit cdga that controls the rational homotopy type of the complement $X-\cup_i Z_i$, where $X$ is a smooth compact algebraic variety and $\{Z_i\}$ is a collection of subvarieties such that all set-theoretical…

In arXiv:1905.07734 we presented a construction that is an analogue of Pontryagin's for proper maps in stable dimensions. This gives a bijection between the cobordism set of framed embedded compact submanifolds in $W\times\mathbb{R}^n$ for…

We simulated a turbulent pipe flow within the Lattice Boltzmann Method using a multiple-relaxation-time collision operator with Maxwell-Boltzmann equilibrium distribution expanded, for the sake of a more accurate description, up to the…

We consider a Hamiltonian action of n-dimensional torus, T^n, on a compact symplectic manifold (M,\omega) with d isolated fixed points. For every fixed point p there exists (though not unique) a class a_p in H^*_{T}(M; Q) such that the…

In this article, we extend Huisken's theorem that convex surfaces flow to round points by mean curvature flow. We construct certain classes of mean convex and non-mean convex hypersurfaces that shrink to round points and use these…

This study focuses on defining normal and strictly convex structures within Menger cone PM-space. It also presents a shared fixed point theorem for the existence of two self-mappings constructed on a strictly convex probabilistic cone…

A multifiltration is a functor indexed by $\mathbb{N}^r$ that maps any morphism to a monomorphism. The goal of this paper is to describe in an explicit and combinatorial way the natural $\mathbb{N}^r$-graded $R[x_1,\ldots, x_r]$-module…