Showing 1–17 of 17 results for author: Puente, J

The volume of an isocanted cube is a determinant

Authors: M. J de la Puente, P. L. Clavería

Abstract: In any dimension d>=2, we give exact volume formulas of two mutually polar dual convex d--polytopes. The primal body is called isocanted cube of dimension d, depending on two real parameters 0<a<l. The limit case a=0 yields a d--cube of edge--length l. We prove that the volume of such a body is the determinant of the matrix of order d having diagonal entries equal to l and a elsewhere. We also c… ▽ More In any dimension d>=2, we give exact volume formulas of two mutually polar dual convex d--polytopes. The primal body is called isocanted cube of dimension d, depending on two real parameters 0<a<l. The limit case a=0 yields a d--cube of edge--length l. We prove that the volume of such a body is the determinant of the matrix of order d having diagonal entries equal to l and a elsewhere. We also compute the volume of the polar dual body, getting a rational expression in l and a, homogeneous of degree -d with rational coefficients. Isocanted cubes are origin--symmetric zonotopes. Zonoids (defined as the limits of families of zonotopes) satisfy the Mahler conjecture; in particular, zonotopes do. Nonetheless, we confirm (by elementary methods) that the Mahler conjecture holds for isocanted cubes. △ Less

Submitted 3 June, 2024; originally announced June 2024.

Comments: Accepted for publication in Linear and Multilinear Algebra; 26 pages and 4 figures

Quasi--Euclidean classification of Alcoved Convex Polyhedra

Authors: M. J. de la Puente

Abstract: We give the quasi--Euclidean classification of the maximal (with respect to the $f$--vector) alcoved polyhedra. The $f$--vector of these maximal convex bodies is $(20,30,12)$, so they are simple dodecahedra. We find eight quasi--Euclidean classes. This classification, which preserves angles, is finer than the known combinatorial classification (found in 2012 by Jiménez and de la Puente), which has… ▽ More We give the quasi--Euclidean classification of the maximal (with respect to the $f$--vector) alcoved polyhedra. The $f$--vector of these maximal convex bodies is $(20,30,12)$, so they are simple dodecahedra. We find eight quasi--Euclidean classes. This classification, which preserves angles, is finer than the known combinatorial classification (found in 2012 by Jiménez and de la Puente), which has only six classes. Each alcoved polyhedron $\mathcal{P}$ is represented by a unique visualized idempotent matrix $A$. Some 2--minors of $A$ are invariants of $\mathcal{P}$: they are the tropical edge--lengths of $\mathcal{P}$. △ Less

Submitted 8 October, 2020; originally announced October 2020.

MSC Class: 52B10; 52B12; 15A80

Journal ref: Linear and Multilinear Algebra 67, (2019)

Isocanted alcoved polytopes

Authors: María Jesús de la Puente, Pedro Luis Clavería

Abstract: Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes, computing their $f$--vectors and checking the validity of the following five conjectures: Bárány, unimodality, $3^d$, flag and cubical lower bound (CLBC). Isocanted alcoved polytopes are centrally symmetric, almost simple cubical polytopes. They are zonotopes. We show that, for each dimension, there is a unique… ▽ More Through tropical normal idempotent matrices, we introduce isocanted alcoved polytopes, computing their $f$--vectors and checking the validity of the following five conjectures: Bárány, unimodality, $3^d$, flag and cubical lower bound (CLBC). Isocanted alcoved polytopes are centrally symmetric, almost simple cubical polytopes. They are zonotopes. We show that, for each dimension, there is a unique combinatorial type. In dimension $d$, an isocanted alcoved polytope has $2^{d+1}-2$ vertices, its face lattice is the lattice of proper subsets of $[d+1]$ and its diameter is $d+1$. They are realizations of $d$--elementary cubical polytopes. The $f$--vector of a $d$--dimensional isocanted alcoved polytope attains its maximum at the integer $\lfloor d/3\rfloor$. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: To appear in Applications of Mathematics, published by Institute of Mathematics, Czech Academy of Sciences

MSC Class: 52B12; 15A80

Orthogonality for $(0,-1)$ tropical normal matrices

Authors: Bakhad Bakhadly, Alexander Guterman, María Jesús de la Puente

Abstract: We study pairs of mutually orthogonal normal matrices with respect to tropical multiplication. Minimal orthogonal pairs are characterized. The diameter and girth of three graphs arising from the orthogonality equivalence relation are computed. We study pairs of mutually orthogonal normal matrices with respect to tropical multiplication. Minimal orthogonal pairs are characterized. The diameter and girth of three graphs arising from the orthogonality equivalence relation are computed. △ Less

Submitted 28 September, 2020; originally announced September 2020.

MSC Class: 15B33; 14T10; 15A80

Journal ref: Special matrices, 8, 40-60 (2020)

PETGEM: A parallel code for 3D CSEM forward modeling using edge finite elements

Authors: Octavio Castillo-Reyes, Josep de la Puente, José María Cela

Abstract: We present the capabilities and results of the Parallel Edge-based Tool for Geophysical Electromagnetic modeling (PETGEM), as well as the physical and numerical foundations upon which it has been developed. PETGEM is an open-source and distributed parallel Python code for fast and highly accurate modeling of 3D marine controlled-source electromagnetic (3D CSEM) problems. We employ the Nédélec Edge… ▽ More We present the capabilities and results of the Parallel Edge-based Tool for Geophysical Electromagnetic modeling (PETGEM), as well as the physical and numerical foundations upon which it has been developed. PETGEM is an open-source and distributed parallel Python code for fast and highly accurate modeling of 3D marine controlled-source electromagnetic (3D CSEM) problems. We employ the Nédélec Edge Finite Element Method (EFEM) which offers a good trade-off between accuracy and number of degrees of freedom, while naturally supporting unstructured tetrahedral meshes. We have particularised this new modeling tool to the 3D CSEM problem for infinitesimal point dipoles asumming arbitrarily isotropic media for low-frequencies approximations. In order to avoid source-singularities, PETGEM solves the frequency-domain Maxwell's equations of the secondary electric field, and the primary electric field is calculated analytically for homogeneous background media. We assess the PETGEM accuracy using classical tests with known analytical solutions as well as recent published data of real life geological scenarios. This assessment proves that this new modeling tool reproduces expected accurate solutions in the former tests, and its flexibility on realistic 3D electromagnetic problems. Furthermore, an automatic mesh adaptation strategy for a given frequency and specific source position is presented. We also include a scalability study based on fundamental metrics for high-performance computing (HPC) architectures. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Comments: \c{opyright} 2018. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/ This project has received funding from the EC-H2020 under the Marie Sklodowska-Curie grant agreement No. 644202, and from the EC-H2020 under the HPC4E Project, grant agreement No. 689772

Journal ref: Computers and Geosciences 2018

Matrices de rotaciones, simetrías y roto-simetrías

Authors: M. J. de la Puente

Abstract: In this note we find the orthogonal matrices $R,S\in M_3(\mathbb{R})$ corresponding to the clockwise rotation $r$ in $\mathbb{R}^3$ around the axis generated by a unit vector $u=(a,b,c)^t$ through an angle $α\in [0,2π)$, and to the symmetry $s$ in $\mathbb{R}^3$ on the plane perpendicular to $u$. Matrix $S$ depends on $a,b,c$ and matrix $R$ depends on $a,b,c, \cos α$ and $\sin α$. We show $SR=RS$.… ▽ More In this note we find the orthogonal matrices $R,S\in M_3(\mathbb{R})$ corresponding to the clockwise rotation $r$ in $\mathbb{R}^3$ around the axis generated by a unit vector $u=(a,b,c)^t$ through an angle $α\in [0,2π)$, and to the symmetry $s$ in $\mathbb{R}^3$ on the plane perpendicular to $u$. Matrix $S$ depends on $a,b,c$ and matrix $R$ depends on $a,b,c, \cos α$ and $\sin α$. We show $SR=RS$. The matrix $R$ is due to Alperin. △ Less

Submitted 4 May, 2015; originally announced May 2015.

Comments: A curiosity for Linear Algebra instructors, written in Spanish

MSC Class: 15B10

Distances on the tropical line determined by two points

Authors: M. J. de la Puente

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

Submitted 10 April, 2014; v1 submitted 1 October, 2013; originally announced October 2013.

Comments: New corrected version. 31 pages and 9 figures. The main result is theorem 13. This is a generalization of theorem 7 to arbitrary n. Theorem 7 was obtained with A. Jiménez; see Arxiv 1205.4162

MSC Class: 15A80; 14T05

Cómo obtener curvas con formas predeterminadas a partir de circunferencias

Authors: M. J. de la Puente

Abstract: We produce several algebraic curves, some well--known, some new, out of circles, by means of two classical (mutually reciprocal) algebraic methods: blow--down and blow--up. We produce several algebraic curves, some well--known, some new, out of circles, by means of two classical (mutually reciprocal) algebraic methods: blow--down and blow--up. △ Less

Submitted 26 July, 2013; originally announced July 2013.

Comments: 13 figures, in Spanish

MSC Class: 00A09

Journal ref: Boletín de la Sociedad Puig Adam de Profesores de Matemáticas, ISSN 1335-0261, June, (2010) 12--24

On tropical Kleene star matrices and alcoved polytopes

Authors: M. J. de la Puente

Abstract: 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 $A$ is characterized by $A$ 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… ▽ More 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 $A$ is characterized by $A$ 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. △ Less

Submitted 20 September, 2013; v1 submitted 5 October, 2012; originally announced October 2012.

Comments: This is a newer revised version. Four figures included. To appear in Kybernetika

MSC Class: 15A80; 52C07; 15A60

Matrices commuting with a given normal tropical matrix

Authors: J. Linde, M. J. de la Puente

Abstract: Consider the space $M_n^{nor}$ of square normal matrices $X=(x_{ij})$ over $\mathbb{R}\cup\{-\infty\}$, i.e., $-\infty\le x_{ij}\le0$ and $x_{ii}=0$. Endow $M_n^{nor}$ with the tropical sum $\oplus$ and multiplication $\odot$. Fix a real matrix $A\in M_n^{nor}$ and consider the set $Ω(A)$ of matrices in $M_n^{nor}$ which commute with $A$. We prove that $Ω(A)$ is a finite union of alcoved polytopes… ▽ More Consider the space $M_n^{nor}$ of square normal matrices $X=(x_{ij})$ over $\mathbb{R}\cup\{-\infty\}$, i.e., $-\infty\le x_{ij}\le0$ and $x_{ii}=0$. Endow $M_n^{nor}$ with the tropical sum $\oplus$ and multiplication $\odot$. Fix a real matrix $A\in M_n^{nor}$ and consider the set $Ω(A)$ of matrices in $M_n^{nor}$ which commute with $A$. We prove that $Ω(A)$ is a finite union of alcoved polytopes; in particular, $Ω(A)$ is a finite union of convex sets. The set $Ω^A(A)$ of $X$ such that $A\odot X=X\odot A=A$ is also a finite union of alcoved polytopes. The same is true for the set $Ω'(A)$ of $X$ such that $A\odot X=X\odot A=X$. A topology is given to $M_n^{nor}$. Then, the set $Ω^{A}(A)$ is a neighborhood of the identity matrix $I$. If $A$ is strictly normal, then $Ω'(A)$ is a neighborhood of the zero matrix. In one case, $Ω(A)$ is a neighborhood of $A$. We give an upper bound for the dimension of $Ω'(A)$. We explore the relationship between the polyhedral complexes $span A$, $span X$ and $span (AX)$, when $A$ and $X$ commute. Two matrices, denoted $\underline{A}$ and $\bar{A}$, arise from $A$, in connection with $Ω(A)$. The geometric meaning of them is given in detail, for one example. We produce examples of matrices which commute, in any dimension. △ Less

Submitted 3 December, 2014; v1 submitted 4 September, 2012; originally announced September 2012.

Comments: Journal version

MSC Class: 15A80; 14T05

Six combinatorial clases of maximal convex tropical polyhedra

Authors: A. Jiménez, M. J. de la Puente

Abstract: 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\times 4$ integer zero-diagonal matrix $A$. A tropical tetrahedron is the set of points in $\R^3$ tropically spanned by four given tropically non-coplanar points. It is a near-miss Johnson solid. The coordina… ▽ More 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\times 4$ integer zero-diagonal matrix $A$. A tropical tetrahedron is the set of points in $\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\times 4$ real matrix $A$ 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\times 2$ minors of $A$. △ Less

Submitted 31 October, 2012; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: Second version of an earlier paper with a different title. Instead of using normal idempotent matrices, we use Kleene stars. We have removed the convexity theorem (which had been proved already by Sergeev). We simply quote it. We concentrate on the convex 3--dim bodies obtained (all having f--vector (20,30,12)) and their combinatorial classification

MSC Class: 15A80; 52B10; 14T05

Algorithms to automatically quantify the geometric similarity of anatomical surfaces

Authors: D. Boyer, Y. Lipman, E. St. Clair, J. Puente, T. Funkhouser, B. Patel, J. Jernvall, I. Daubechies

Abstract: We describe new approaches for distances between pairs of 2-dimensional surfaces (embedded in 3-dimensional space) that use local structures and global information contained in inter-structure geometric relationships. We present algorithms to automatically determine these distances as well as geometric correspondences. This is motivated by the aspiration of students of natural science to understan… ▽ More We describe new approaches for distances between pairs of 2-dimensional surfaces (embedded in 3-dimensional space) that use local structures and global information contained in inter-structure geometric relationships. We present algorithms to automatically determine these distances as well as geometric correspondences. This is motivated by the aspiration of students of natural science to understand the continuity of form that unites the diversity of life. At present, scientists using physical traits to study evolutionary relationships among living and extinct animals analyze data extracted from carefully defined anatomical correspondence points (landmarks). Identifying and recording these landmarks is time consuming and can be done accurately only by trained morphologists. This renders these studies inaccessible to non-morphologists, and causes phenomics to lag behind genomics in elucidating evolutionary patterns. Unlike other algorithms presented for morphological correspondences our approach does not require any preliminary marking of special features or landmarks by the user. It also differs from other seminal work in computational geometry in that our algorithms are polynomial in nature and thus faster, making pairwise comparisons feasible for significantly larger numbers of digitized surfaces. We illustrate our approach using three datasets representing teeth and different bones of primates and humans, and show that it leads to highly accurate results. △ Less

Submitted 15 March, 2012; v1 submitted 17 October, 2011; originally announced October 2011.

Comments: Changes with respect to v1, v2: an Erratum was added, correcting the references for one of the three datasets. Note that the datasets and code for this paper can be obtained from the Data Conservancy (see Download column on v1, v2)

Journal ref: PNAS 2011 108 (45) 18221-18226

Conformal Wasserstein Distance: II. Computational Aspects and Extensions

Authors: Yaron Lipman, Jesus Puente, Ingrid Daubechies

Abstract: This paper is a companion paper to [Lipman and Daubechies 2011]. We provide numerical procedures and algorithms for computing the alignment of and distance between two disk type surfaces. We provide a convergence analysis of the discrete approximation to the arising mass-transportation problems. We furthermore generalize the framework to support sphere-type surfaces, and prove a result connecting… ▽ More This paper is a companion paper to [Lipman and Daubechies 2011]. We provide numerical procedures and algorithms for computing the alignment of and distance between two disk type surfaces. We provide a convergence analysis of the discrete approximation to the arising mass-transportation problems. We furthermore generalize the framework to support sphere-type surfaces, and prove a result connecting this distance to local geodesic distortion. Lastly, we provide numerical experiments on several surfaces' datasets and compare to state of the art method. △ Less

Submitted 18 May, 2011; v1 submitted 24 March, 2011; originally announced March 2011.

Journal ref: Math. Comp. 82 (2013), 331-381

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

Authors: E. Lorenzo, M. J. de la Puente

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

Submitted 21 January, 2011; v1 submitted 29 July, 2010; originally announced July 2010.

Comments: 24 pages, no pictures. The third version slightly improves the second one; one example is made in great detail; some bibliographic items added; some tedious (not too interesting computations found in earlier versions) have been removed

MSC Class: 15A06; 12K99; 15-04; 15A39

Tropical linear maps on the plane

Authors: M. J. de la Puente

Abstract: In this paper we fully describe all tropical linear mappings in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by an order 3 matrix. An erratum has been added fixing two mistakes in the main paper. In this paper we fully describe all tropical linear mappings in the tropical projective plane, that is, maps from the tropical plane to itself given by tropical multiplication by an order 3 matrix. An erratum has been added fixing two mistakes in the main paper. △ Less

Submitted 21 January, 2011; v1 submitted 16 July, 2009; originally announced July 2009.

Comments: Correction of previous versions. 37 pages and 26 pictures

MSC Class: 51A10; 15A04; 12K10; 51A05

Tropical conics for the layman

Authors: M. Ansola, M. J. de la Puente

Abstract: We present a simple and elementary procedure to sketch the tropical conic given by a degree--two homogeneous tropical polynomial. These conics are trees of a very particular kind. Given such a tree, we explain how to compute a defining polynomial. Finally, we characterize those degree--two tropical polynomials which are reducible and factorize them. We show that there exist irreducible degree-… ▽ More We present a simple and elementary procedure to sketch the tropical conic given by a degree--two homogeneous tropical polynomial. These conics are trees of a very particular kind. Given such a tree, we explain how to compute a defining polynomial. Finally, we characterize those degree--two tropical polynomials which are reducible and factorize them. We show that there exist irreducible degree--two tropical polynomials giving rise to pairs of tropical lines. △ Less

Submitted 16 October, 2008; v1 submitted 6 February, 2007; originally announced February 2007.

Comments: 19 pages, 4 figures. Major rewriting of formerly entitled paper "Metric invariants of tropical conics and factorization of degree--two homogeneous tropical polynomials in three variables". To appear in Idempotent and tropical mathematics and problems of mathematical physics (vol. II), G. Litvinov, V. Maslov, S. Sergeev (eds.), Proceedings Workshop, Moscow, 2007

MSC Class: 05C05; 12K99

A note on tropical triangles in the plane

Authors: M. Ansola, M. J. de la Puente

Abstract: We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for t… ▽ More We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained. △ Less

Submitted 16 October, 2008; v1 submitted 8 January, 2007; originally announced January 2007.

Comments: 15 pages, 2 figures. The paper has been fully revised and enlarged. Tropical triangles called transversal here, were called proper and stable in a previous version. To appear in Acta Math. Sinica (English series)

MSC Class: 52C35; 52C20; 15A39; 12K99