arXiv subjects

J. M. Selig

Publications and source records attributed to J. M. Selig.

3 recordsLinked to original sources

arXiv2017

Hyperbolic pseudoinverses for kinematics in the Euclidean group

The kinematics of a robot manipulator are described in terms of the mapping connecting its joint space and the 6-dimensional Euclidean group of motions $SE(3)$. The associated Jacobian matrices map into its Lie algebra $\mathfrak{se}(3)$, the space of twists describing infinitesimal motion of a rigid body. Control methods generally require knowledge of an inverse for the Jacobian. However for an arm with fewer or greater than six actuated joints or at singularities of the kinematic mapping this breaks down. The Moore-Penrose pseudoinverse has frequently been used as a surrogate but is not invariant under change of coordinates. Since the Euclidean Lie algebra carries a pencil of invariant bilinear forms that are indefinite, a family of alternative hyperbolic pseudoinverses is available. Generalised Gram matrices and the classification of screw systems are used to determine conditions for their existence. The existence or otherwise of these pseudoinverses also relates to a classical problem addressed by Sylvester concerning the conditions for a system of lines to be in involution or, equivalently, the corresponding system of generalised forces to be in equilibrium.

math.MG↗

arXiv2016

On the use of Klein quadric for geometric incidence problems in two dimensions

We discuss a unified approach to a class of geometric combinatorics incidence problems in $2D$, of the Erdös distance type. The goal is obtaining the second moment estimate, that is given a finite point set $S$ and a function $f$ on $S\times S$, an upper bound on the number of solutions of $$ f(p,p') = f(q,q')\neq 0,\qquad (p,p',q,q')\in S\times S\times S\times S. \qquad(*) $$ E.g., $f$ is the Euclidean distance in the plane, sphere, or a sheet of the two-sheeted hyperboloid. Our tool is the Guth-Katz incidence theorem for lines in $\mathbb{RP}^3$, but we focus on how the original $2D$ problem is made amenable to it. This procedure was initiated by Elekes and Sharir, based on symmetry considerations. However, symmetry considerations can be bypassed or made implicit. The classical Plücker-Klein formalism for line geometry enables one to directly interpret a solution of $(*)$ as intersection of two lines in $\mathbb{RP}^3$. This allows for a very brief argument extending the Euclidean plane distance argument to the spherical and hyperbolic distances. We also find instances of the question $(*)$ without underlying symmetry group. The space of lines in the three-space, the Klein quadric $\mathcal K$, is four-dimensional. We start out with an injective map $\mathfrak F:\,S\times S\to\mathcal K$, from a pair of points in $2D$ to a line in $3D$ and seek a combinatorial problem in the form $(*)$, which can be solved by applying the Guth-Katz theorem to the set of lines in question. We identify a few new such problems and generalise the existing ones.

math.MG↗

arXiv2016

Mobile Icosapods

Pods are mechanical devices constituted of two rigid bodies, the base and the platform, connected by a number of other rigid bodies, called legs, that are anchored via spherical joints. It is possible to prove that the maximal number of legs of a mobile pod, when finite, is 20. In 1904, Borel designed a technique to construct examples of such 20-pods, but could not constrain the legs to have base and platform points with real coordinates. We show that Borel's construction yields all mobile 20-pods, and that it is possible to construct examples with all real coordinates.

cs.RO↗