Searcharxiv⌕ Search

arXiv subjects

M. J. Pereira-Sáez

Publications and source records attributed to M. J. Pereira-Sáez.

12 recordsLinked to original sources
arXiv2021

Contact detection between an ellipsoid and a combination of quadrics

We analyze the characteristic polynomial associated to an ellipsoid and another quadric in the context of the contact detection problem. We obtain a necessary and sufficient condition for an efficient method to detect contact. This condition is a feature on the size and the shape of the quadrics and can be checked directly from their parameters. Under this hypothesis, contact can be noticed by means of discriminants of the characteristic polynomial. Furthermore, relative positions can be classified through the sign of the coefficients of this polynomial.

cs.CG↗
arXiv2021

Homotopic distance and generalized motion planning

We prove that the homotopic distance between two maps defined on a manifold is bounded above by the sum of their subspace distances on the critical submanifol of any Morse-Bott function. This generalizes the Lusternik-Schnirelmann theorem (for Morse functions), and a similar result by Farber for the topological complexity. Analogously, we prove that, for analytic manifolds, the homotopic distance is bounded by the sum of the subspace distances on any submanifold and its cut locus. As an application, we show how navigation functions can be used to solve a generalized motion planning problem.

math.AT↗
arXiv2019

Relative singular value decomposition and applications to LS-category

Let $Sp(n)$ be the symplectic group of quaternionic $(n\times n)$-matrices. For any $1\leq k\leq n$, an element $A$ of $Sp(n)$ can be decomposed in $A= \begin{bmatrix} α&T\cr β&P \end{bmatrix}$ with $P$ a $(k\times k)$-matrix. In this work, starting from a singular value decomposition of $P$, we obtain what we call a relative singular value decomposition of $A$. This feature is well adapted for the study of the quaternionic Stiefel manifold $X_{n,k}$, and we apply it to the determination of the Lusternik-Schnirelmann category of $Sp(k)$ in $X_{2k-j,k}$, for $j= 0,\,1,\,2$

math.AT↗
arXiv2016

Classification of the relative positions between a hyperboloid and a sphere

We characterize all possible relative positions between a hyperboloid of one sheet and a sphere through the roots of a characteristic polynomial associated to these quadrics. The classification is also suitable for a hyperboloid and a ellipsoid in some situations. As an application, this provides a method to detect contact between the two surfaces by a simple calculation in many real world applications.

math.MG↗
arXiv2013

Height functions on compact symmetric spaces

We consider height functions on symmetric spaces $M\cong G/K$ embedded in the associated matrix Lie group $G$. In particular we study the relationship between the critical sets of the height function on $G$ and its restriction to $M$. Also we prove that the gradient flow on $M$ can be integrated by means of a generalized Cayley transform. This allows to obtain explicit local charts for the critical submanifolds. Finally, we discuss how to reduce the generic case to a height function whose ground hyperplane is orhogonal to a real diagonal matrix. This result requires to prove the existence of a polar decomposition adapted to the automorphism defining $M$. Detailed examples are given.

math.DG↗
arXiv2012

A topological approach to left eigenvalues of quaternionic matrices

It is known that a $2\times 2$ quaternionic matrix has one, two or an infinite number of left eigenvalues, but the available algebraic proofs are difficult to generalize to higher orders. In this paper a different point of view is adopted by computing the topological degree of a characteristic map associated to the matrix and discussing the rank of the differential. The same techniques are extended to $3\times 3$ matrices, which are still lacking a complete classification.

math.RA↗
arXiv2010

Characteristic functions and Hamilton-Cayley theorem for left eigenvalues of quaternionic matrices

We introduce the notion of characteristic function of a quaternionic matrix, whose roots are the left eigenvalues. We prove that for all $2\times 2$ matrices and for $3\times 3$ matrices having some zero entry outside the diagonal there is a characteristic function which is a polynomial. For the other $3\times 3$ matrices the characteristic function is a rational function with one point of discontinuity. We prove that Hamilton-Cayley theorem holds in all cases.

math.RA↗
arXiv2009

Symplectic matrices with predetermined left eigenvalues

We prove that given four arbitrary quaternion numbers of norm 1 there always exists a $2\times 2$ symplectic matrix for which those numbers are left eigenvalues. The proof is constructive. An application to the LS category of Lie groups is given.

math.RA↗
arXiv2009

Trace map, Cayley transform and LS category of Lie groups

The aim of this paper is to use the so-called Cayley transform to compute the LS category of Lie groups and homogeneous spaces by giving explicit categorical open coverings. When applied to U(n), $U(2n)/Sp(n)$ and $U(n)/O(n)$ this method is simpler than those formerly known. We also show that the Cayley transform is related to height functions in Lie groups, allowing to give a local linear model of the set of critical points. As an application we give an explicit covering of $Sp(2)$ by categorical open sets. The obstacles to generalize these results to $Sp(n)$ are discussed.

math.AT↗
arXiv2008

Left eigenvalues of $2\times 2$ symplectic matrices

We obtain a complete characterization of the $2\times 2$ symplectic matrices having an infinite number of left eigenvalues. Previously, we give a new proof of a result from Huang and So about the number of eigenvalues of a quaternionic matrix. This is achieved by applying an algorithm for the resolution of equations due to De Leo et al.

math.RA↗