Related papers: On the complexity of parametrized motion planning …
We compute some cohomology spaces for the symmetric power of the tautological bundle tensor the determinant bundle on the punctual Hilbert scheme of a complex smooth projective surface.
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…
Kontsevich's characteristic classes are invariants of framed smooth fiber bundles with homology sphere fibers. It was shown by Watanabe that they can be used to distinguish smooth $S^4$-bundles that are all trivial as topological fiber…
Recent work suggests that topological features of certain quantum gravity theories can be interpreted as particles, matching the known fermions and bosons of the first generation in the Standard Model. This is achieved by identifying…
We present a machine learning approach that leverages persistent homology to classify bacterial flagellar motors into two functional states: rotated and stalled. By embedding protein structural data into a topological framework, we extract…
Instabilities of robot motion are caused by topological reasons. In this paper we find a relation between the topological properties of a configuration space (the structure of its cohomology algebra) and the character of instabilities,…
We present a novel method for computing slow manifolds and their fast fibre bundles in geometric singular perturbation problems. This coordinate-independent method is inspired by the parametrisation method introduced by Cabr\'e, Fontich and…
In this work we will review the notion of topological complexity, introduced by Michael Farber in 2003. We will use this theory of topological complexity to solve the motion planning problem of a mobile robot that navigates in the Euclidean…
We compare the higher analytic torsion of Bismut and Lott of a fibre bundle p: M -> B equipped with a flat vector bundle F -> M and a fibre-wise Morse function h on M with a higher torsion T that is constructed in terms of a families…
From a group action on a space, define a variant of the configuration space by insisting that no two points inhabit the same orbit. When the action is almost free, this "orbit configuration space" is the complement of an arrangement of…
Analyzing embedded simplicial complexes, such as triangular meshes and graphs, is an important problem in many fields. We propose a new approach for analyzing embedded simplicial complexes in a subdivision-invariant and isometry-invariant…
A moduli space of stable maps to the fibers of a fiber bundle is constructed. The new moduli space is a family version of the classical moduli space of stable maps to a non-singular complex projective variety. The virtual cycle for this…
We answer the following question posed by Lechuga: Given a simply-connected space $X$ with both $H_*(X,\qq)$ and $\pi_*(X)\otimes \qq$ being finite-dimensional, what is the computational complexity of an algorithm computing the cup-length…
In this paper, we approach the challenging problem of motion planning for knot tying. We propose a hierarchical approach in which the top layer produces a topological plan and the bottom layer translates this plan into continuous robot…
The Lusternik-Schnirelmann category cat and topological complexity TC are related homotopy invariants. The topological complexity TC has applications to the robot motion planning problem. We calculate the Lusternik-Schnirelmann category and…
We study the parameterized complexity of a generalization of the coordinated motion planning problem on graphs, where the goal is to route a specified subset of a given set of $k$ robots to their destinations with the aim of minimizing the…
We establish comparison results between the Hasse-Witt invariants w_t(E) of a symmetric bundle E over a scheme and the invariants of one of its twists E_{\alpha}. For general twists we describe the difference between w_t(E) and…
We show NP-completeness for several planar variants of the monotone satisfiability problem with bounded variable appearances. With one exception the presented variants have an associated bipartite graph where the vertex degree is bounded by…
We present a theoretical analysis of a recent whole body motion planning method, the Randomized Possibility Graph, which uses a high-level decomposition of the feasibility constraint manifold in order to rapidly find routes that may lead to…