Source author record

M. J. de la Puente

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

8works
5topics
3close collaborators

Published work

8 publications

preprint2015arXiv

Matrices de rotaciones, simetr\'ıas y roto-simetr\'ıas

In this note we find the orthogonal matrices R,S∈M3(R)R,S\in M_3(\mathbb{R}) corresponding to the clockwise rotation rr in R3\mathbb{R}^3 around the axis generated by a unit vector u=(a,b,c)tu=(a,b,c)^t through an angle α∈[0,2π)α\in [0,2π), and to the symmetry ss in R3\mathbb{R}^3 on the plane perpendicular to uu. Matrix SS depends on a,b,ca,b,c and matrix RR depends on a,b,c,cos⁡αa,b,c, \cos α and sin⁡α\sin α. We show SR=RSSR=RS. The matrix RR is due to Alperin.

preprint2014arXiv

Distances on the tropical line determined by two points

Let p′,q′∈Rnp',q'\in R^n. Write p′∼q′p'\sim q' if p′−q′p'-q' is a multiple of (1,…,1)(1,\ldots,1). Two different points pp and qq in Rn/∼R^n/\sim uniquely determine a tropical line L(p,q)L(p,q), passing through them, and stable under small perturbations. This line is a balanced unrooted semi--labeled tree on nn leaves. It is also a metric graph. If some representatives p′p' and q′q' of pp and qq are the first and second columns of some real normal idempotent order nn matrix AA, we prove that the tree L(p,q)L(p,q) is described by a matrix FF, easily obtained from AA. We also prove that L(p,q)L(p,q) is caterpillar. We prove that every vertex in L(p,q)L(p,q) belongs to the tropical linear segment joining pp and qq. A vertex, denoted pqpq, closest (w.r.t tropical distance) to pp exists in L(p,q)L(p,q). Same for qq. The distances between pairs of adjacent vertices in L(p,q)L(p,q) and the distances $\dd(p,pq)$, $\dd(qp,q)$ and $\dd(p,q)$ are certain entries of the matrix ∣F∣|F|. In addition, if pp and qq are generic, then the tree L(p,q)L(p,q) is trivalent. The entries of FF are differences (i.e., sum of principal diagonal minus sum of secondary diagonal) of order 2 minors of the first two columns of AA.

preprint2014arXiv

Matrices commuting with a given normal tropical matrix

Consider the space MnnorM_n^{nor} of square normal matrices X=(xij)X=(x_{ij}) over R∪{−∞}\mathbb{R}\cup\{-\infty\}, i.e., −∞≤xij≤0-\infty\le x_{ij}\le0 and xii=0x_{ii}=0. Endow MnnorM_n^{nor} with the tropical sum ⊕\oplus and multiplication ⊙\odot. Fix a real matrix A∈MnnorA\in M_n^{nor} and consider the set Ω(A)Ω(A) of matrices in MnnorM_n^{nor} which commute with AA. We prove that Ω(A)Ω(A) is a finite union of alcoved polytopes; in particular, Ω(A)Ω(A) is a finite union of convex sets. The set ΩA(A)Ω^A(A) of XX such that A⊙X=X⊙A=AA\odot X=X\odot A=A is also a finite union of alcoved polytopes. The same is true for the set Ω′(A)Ω'(A) of XX such that A⊙X=X⊙A=XA\odot X=X\odot A=X. A topology is given to MnnorM_n^{nor}. Then, the set ΩA(A)Ω^{A}(A) is a neighborhood of the identity matrix II. If AA is strictly normal, then Ω′(A)Ω'(A) is a neighborhood of the zero matrix. In one case, Ω(A)Ω(A) is a neighborhood of AA. We give an upper bound for the dimension of Ω′(A)Ω'(A). We explore the relationship between the polyhedral complexes spanAspan A, spanXspan X and span(AX)span (AX), when AA and XX commute. Two matrices, denoted A‾\underline{A} and Aˉ\bar{A}, arise from AA, in connection with Ω(A)Ω(A). The geometric meaning of them is given in detail, for one example. We produce examples of matrices which commute, in any dimension.

preprint2013arXiv

On tropical Kleene star matrices and alcoved polytopes

In this paper we give a short, elementary proof of a known result in tropical mathematics, by which the convexity of the column span of a zero--diagonal real matrix AA is characterized by AA being a Kleene star. We give applications to alcoved polytopes, using normal idempotent matrices (which form a subclass of Kleene stars). For a normal matrix we define a norm and show that this is the radius of a hyperplane section of its tropical span.

preprint2012arXiv

Six combinatorial clases of maximal convex tropical polyhedra

In this paper we bring together tropical linear algebra and convex 3-dimensional bodies. We show how certain convex 3-dimensional bodies having 20 vertices and 12 facets can be encoded in a 4×44\times 4 integer zero-diagonal matrix AA. A tropical tetrahedron is the set of points in R3\R^3 tropically spanned by four given tropically non-coplanar points. It is a near-miss Johnson solid. The coordinates of the points are arranged as the columns of a 4×44\times 4 real matrix AA and the tetrahedron is denoted $\spann(A)$. We study tropical tetrahedra which are convex and maximal, computing the extremals of $\spann(A)$ and the length (tropical or Euclidean) of its edges. Then, we classify convex maximal tropical tetrahedra, combinatorially. There are six classes, up to symmetry and chirality. Only one class contains symmetric solids and only one contains chiral ones. In the way, we show that the combinatorial type of the regular dodecahedron does not occur here. We also prove that convex maximal tropical tetrahedra are not vertex-transitive, in general. We give families of examples, circulant matrices providing examples for two classes. A crucial role is played by the 2×22\times 2 minors of AA.

preprint2011arXiv

An algorithm to describe the solution set of any tropical linear system A⊙x=B⊙xA\odot x=B\odot x

An algorithm to give an explicit description of all the solutions to any tropical linear system A⊙x=B⊙xA\odot x=B\odot x is presented. The given system is converted into a finite (rather small) number pp of pairs (S,T)(S,T) of classical linear systems: a system SS of equations and a system TT of inequalities. The notion, introduced here, that makes pp small, is called compatibility. The particular feature of both SS and TT is that each item (equation or inequality) is bivariate, i.e., it involves exactly two variables; one variable with coefficient 11, and the other one with −1-1. SS is solved by Gaussian elimination. We explain how to solve TT by a method similar to Gaussian elimination. To achieve this, we introduce the notion of sub--special matrix. The procedure applied to TT is, therefore, called sub--specialization.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.