7,839 research outputs found
Extremal Configuration of Robot Arms in Three Dimensions
We define a volume function for a robot arms in 3-dimensional Euclidean space
and give geometric conditions for its critical points. For 3-arms this volume
function is an exact topological Morse function on the 3-sphere.Comment: 13 pages; Updated version of sections 6-9 of Oberwolfach preprint
2011-2
Category and Topological Complexity of the configuration space
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 topological complexity of the ordered configuration space of two
distinct points in the product and apply the results to
the planar and spatial motion of two rigid bodies in and
respectively.Comment: 10 pages, 1 figure. Final version. To appear in Bulletin of the
Australian Mathematical Societ
Bredon cohomology and robot motion planning
In this paper we study the topological invariant reflecting
the complexity of algorithms for autonomous robot motion. Here, stands for
the configuration space of a system and is, roughly, the
minimal number of continuous rules which are needed to construct a motion
planning algorithm in . We focus on the case when the space is
aspherical; then the number depends only on the fundamental group
and we denote it . We prove that
can be characterised as the smallest integer such that the canonical
-equivariant map of classifying spaces can be equivariantly deformed into the
-dimensional skeleton of . The symbol
denotes the classifying space for free actions and
denotes the classifying space for actions with
isotropy in a certain family of subgroups of . Using
this result we show how one can estimate in terms of the
equivariant Bredon cohomology theory. We prove that where denotes the cohomological dimension of with
respect to the family of subgroups . We also introduce a Bredon
cohomology refinement of the canonical class and prove its universality.
Finally we show that for a large class of principal groups (which includes all
torsion free hyperbolic groups as well as all torsion free nilpotent groups)
the essential cohomology classes in the sense of Farber and Mescher are exactly
the classes having Bredon cohomology extensions with respect to the family
.Comment: This revision contains a few additional comments, among them is
Corollary 3.5.
- …