Showing 1–22 of 22 results for author: Alcázar, J G

Nonzero Constant Wronskians of Polynomials and Laurent Polynomials, and Geometric Consequences

Authors: Carlos Hermoso, Juan Gerardo Alcázar

Abstract: We characterize the polynomials $p_1(t), ... , p_n(t)$ whose Wronskian $W(p_1, ... , p_n)$ is a nonzero constant. Then, we generalize our results to characterize the Laurent polynomials with the same property. Finally, for rational functions we prove an impossibility result for $n=2$, and pose the case $n \geq 3$ as an open question, although we suggest an impossibility conjecture. Some geometric… ▽ More We characterize the polynomials $p_1(t), ... , p_n(t)$ whose Wronskian $W(p_1, ... , p_n)$ is a nonzero constant. Then, we generalize our results to characterize the Laurent polynomials with the same property. Finally, for rational functions we prove an impossibility result for $n=2$, and pose the case $n \geq 3$ as an open question, although we suggest an impossibility conjecture. Some geometric consequences are derived, especially in the case of polynomials. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Computation of symmetries of rational surfaces

Authors: Juan Juan Gerardo Alcázar, Carlos Hermoso, Hüsnü Anıl Çoban, Uğur Gözütok

Abstract: In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the algorithm works well for sparse parametrizations (e.g. toric surfaces) and PN surfaces. Additionally, we provide a specific, also symbolic algorithm for computing… ▽ More In this paper we provide, first, a general symbolic algorithm for computing the symmetries of a given rational surface, based on the classical differential invariants of surfaces, i.e. Gauss curvature and mean curvature. In practice, the algorithm works well for sparse parametrizations (e.g. toric surfaces) and PN surfaces. Additionally, we provide a specific, also symbolic algorithm for computing the symmetries of ruled surfaces; this algorithm works extremely well in practice, since the problem is reduced to that of rational space curves, which can be efficiently solved by using existing methods. The algorithm for ruled surfaces is based on the fact, proven in the paper, that every symmetry of a rational surface must also be a symmetry of its line of striction, which is a rational space curve. The algorithms have been implemented in the computer algebra system Maple, and the implementations have been made public; evidence of their performance is given in the paper. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Detecting affine equivalences between certain types of parametric curves, in any dimension

Authors: Juan Gerardo Alcázar, Hüsnü Anıl Çoban, Uğur Gözütok

Abstract: Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In this paper we generalize previous results by the authors to provide an algorithm for computing the affine equivalences between two parametric curves of certain typ… ▽ More Two curves are affinely equivalent if there exists an affine mapping transforming one of them onto the other. Thus, detecting affine equivalence comprises, as important particular cases, similarity, congruence and symmetry detection. In this paper we generalize previous results by the authors to provide an algorithm for computing the affine equivalences between two parametric curves of certain types, in any dimension. In more detail, the algorithm is valid for rational curves, and for parametric curves with non-rational but meromorphic components admitting a rational inverse. Unlike other algorithms already known for rational curves, the algorithm completely avoids polynomial system solving, and uses bivariate factoring, instead, as a fundamental tool. The algorithm has been implemented in the computer algebra system {\tt Maple}, and can be freely downloaded and used. △ Less

Submitted 26 March, 2024; v1 submitted 25 March, 2024; originally announced March 2024.

A new method to detect projective equivalences and symmetries of rational $3D$ curves

Authors: Uğur Gözütok, Hüsnü Anıl Çoban, Yasemin Sağıroğlu, Juan Gerardo Alcázar

Abstract: We present a new approach using differential invariants to detect projective equivalences and symmetries between two rational parametric $3D$ curves properly parametrized. In order to do this, we introduce two differential invariants that commute with Möbius transformations, which are the transformations in the parameter space associated with the projective equivalences between the curves. The Möb… ▽ More We present a new approach using differential invariants to detect projective equivalences and symmetries between two rational parametric $3D$ curves properly parametrized. In order to do this, we introduce two differential invariants that commute with Möbius transformations, which are the transformations in the parameter space associated with the projective equivalences between the curves. The Möbius transformations are found by first computing the gcd of two polynomials built from the differential invariants, and then searching for the Möbius-like factors of this gcd. The projective equivalences themselves are easily computed from the Möbius transformations. In particular, and unlike previous approaches, we avoid solving big polynomial systems. The algorithm has been implemented in Maple, and evidences of its efficiency as well as a comparison with previous approaches are given. △ Less

Submitted 30 June, 2022; v1 submitted 11 October, 2021; originally announced October 2021.

Affine equivalences of surfaces of translation and minimal surfaces, and applications to symmetry detection and design

Authors: Juan Gerardo Alcázar, Georg Muntingh

Abstract: We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minima… ▽ More We introduce a characterization for affine equivalence of two surfaces of translation defined by either rational or meromorphic generators. In turn, this induces a similar characterization for minimal surfaces. In the rational case, our results provide algorithms for detecting affine equivalence of these surfaces, and therefore, in particular, the symmetries of a surface of translation or a minimal surface of the considered types. Additionally, we apply our results to designing surfaces of translation and minimal surfaces with symmetries, and to computing the symmetries of the higher-order Enneper surfaces. △ Less

Submitted 17 December, 2021; v1 submitted 27 February, 2021; originally announced March 2021.

Comments: 24 pages

MSC Class: 14Q10; 68W30 ACM Class: F.2.2; I.1.2

Affine equivalences, isometries and symmetries of ruled rational surfaces

Authors: Juan Gerardo Alcázar, Emily Quintero

Abstract: A method is presented for computing all the affine equivalences between two rational ruled surfaces defined by rational parametrizations that works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method translates the problem into parameter space and relies on polynomial system solving. Geometrically, the problem is related to… ▽ More A method is presented for computing all the affine equivalences between two rational ruled surfaces defined by rational parametrizations that works directly in parametric rational form, i.e. without computing or making use of the implicit equation of the surface. The method translates the problem into parameter space and relies on polynomial system solving. Geometrically, the problem is related to finding the projective equivalences between two projective curves (corresponding to the directions of the rulings of the surfaces). This problem was recently addressed in a paper by Hauer and Jüttler, and we exploit the ideas by these authors in the algorithm presented in this paper. The general idea is adapted to computing the isometries between two rational ruled surfaces, and the symmetries of a given rational ruled surface. The efficiency of the method is shown through several examples. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Comments: related to arXiv:1806.09829

Computing the topology of a planar or space hyperelliptic curve

Authors: Juan Gerardo Alcázar, Jorge Caravantes, Gema M. Diaz-Toca, Elias Tsigaridas

Abstract: We present algorithms to compute the topology of 2D and 3D hyperelliptic curves. The algorithms are based on the fact that 2D and 3D hyperelliptic curves can be seen as the image of a planar curve (the Weierstrass form of the curve), whose topology is easy to compute, under a birational mapping of the plane or the space. We report on a {\tt Maple} implementation of these algorithms, and present se… ▽ More We present algorithms to compute the topology of 2D and 3D hyperelliptic curves. The algorithms are based on the fact that 2D and 3D hyperelliptic curves can be seen as the image of a planar curve (the Weierstrass form of the curve), whose topology is easy to compute, under a birational mapping of the plane or the space. We report on a {\tt Maple} implementation of these algorithms, and present several examples. Complexity and certification issues are also discussed. △ Less

Submitted 28 October, 2019; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 34 pages, lot of figures

MSC Class: 14H50

Affine differential geometry and affine rotation surfaces: algebraic surfaces invariant under non-Euclidean affine rotations

Authors: Juan Gerardo Alcázar, Ron Goldman

Abstract: Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surf… ▽ More Affine rotation surfaces are a generalization of the well-known surfaces of revolution. Affine rotation surfaces arise naturally within the framework of affine differential geometry, a field started by Blaschke in the first decades of the past century. Affine rotations are the affine equivalents of Euclidean rotations, and include certain shears as well as Euclidean rotations. Affine rotation surfaces are surfaces invariant under affine rotations. In this paper, we analyze several properties of algebraic affine rotation surfaces and, by using some notions and results from affine differential geometry, we develop an algorithm for determining whether or not an algebraic surface given in implicit form, or in some cases in rational parametric form, is an affine rotation surface. We also show how to find the axis of an affine rotation surface. Additionally, we discuss several properties of affine spheres, analogues of Euclidean spheres in the context of affine differential geometry. △ Less

Submitted 2 August, 2019; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: Several corrections with respect to the previous ArXiv version (in particular, two results on parabolic affine rotation surfaces)

Symmetries and similarities of planar algebraic curves using harmonic polynomials

Authors: Juan Gerardo Alcázar, Miroslav Lávička, Jan Vršek

Abstract: We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a similarity transformation. Both algorithms are based on the fact, well-known in Harmonic Analysis, that the Laplacian operator commutes with orthogonal transformations,… ▽ More We present novel, deterministic, efficient algorithms to compute the symmetries of a planar algebraic curve, implicitly defined, and to check whether or not two given implicit planar algebraic curves are similar, i.e. equal up to a similarity transformation. Both algorithms are based on the fact, well-known in Harmonic Analysis, that the Laplacian operator commutes with orthogonal transformations, and on efficient algorithms to find the symmetriessimilarities of a harmonic algebraic curvetwo given harmonic algebraic curves. In fact, we show that in general the problem can be reduced to the harmonic case, except for some special cases, easy to treat. △ Less

Submitted 30 January, 2018; originally announced January 2018.

Symmetries of Canal Surfaces and Dupin Cyclides

Authors: Juan Gerardo Alcázar, Heidi E. I. Dahl, Georg Muntingh

Abstract: We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries of such canal surfaces. For Dupin cyclides in canonical form, we apply the characterization to derive an intrinsic description of their symmetries and symmetry groups, which… ▽ More We develop a characterization for the existence of symmetries of canal surfaces defined by a rational spine curve and rational radius function. In turn, this characterization inspires an algorithm for computing the symmetries of such canal surfaces. For Dupin cyclides in canonical form, we apply the characterization to derive an intrinsic description of their symmetries and symmetry groups, which gives rise to a method for computing the symmetries of a Dupin cyclide not necessarily in canonical form. As a final application, we discuss the construction of patches and blends of rational canal surfaces with a prescribed symmetry. △ Less

Submitted 14 August, 2017; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 27 pages

MSC Class: 14Q10; 68W30

Recognizing projections of rational curves

Authors: Juan Gerardo Alcázar, Carlos Hermoso

Abstract: Given two rational, properly parametrized space curves ${\mathcal C}_1$ and ${\mathcal C}_2$, where $\CCC_2$ is contained in some plane $Π$, we provide an algorithm to check whether or not there exist perspective or parallel projections mapping $\CCC_1$ onto $\CCC_2$, i.e. to recognize $\CCC_2$ as the projection of $\CCC_1$. In the affirmative case, the algorithm provides the eye point(s) of the p… ▽ More Given two rational, properly parametrized space curves ${\mathcal C}_1$ and ${\mathcal C}_2$, where $\CCC_2$ is contained in some plane $Π$, we provide an algorithm to check whether or not there exist perspective or parallel projections mapping $\CCC_1$ onto $\CCC_2$, i.e. to recognize $\CCC_2$ as the projection of $\CCC_1$. In the affirmative case, the algorithm provides the eye point(s) of the perspective transformation(s), or the direction(s) of the parallel projection(s). The problem is mainly discussed from a symbolic point of view, but an approximate algorithm is also included. △ Less

Submitted 24 March, 2016; originally announced March 2016.

On the computation of the straight lines contained in a rational surface

Authors: Juan Gerardo Alcázar, Jorge Caravantes

Abstract: In this paper we present an algorithm to compute the (real and complex) straight lines contained in a rational surface, defined by a rational parameterization. The algorithm relies on the well-known theorem of Differential Geometry that characterizes real straight lines contained in a surface as curves that are simultaneously asymptotic lines, and geodesics. We also report on an implementation car… ▽ More In this paper we present an algorithm to compute the (real and complex) straight lines contained in a rational surface, defined by a rational parameterization. The algorithm relies on the well-known theorem of Differential Geometry that characterizes real straight lines contained in a surface as curves that are simultaneously asymptotic lines, and geodesics. We also report on an implementation carried out in Maple 18, and we compare the behavior of our algorithm with two brute-force approaches. △ Less

Submitted 31 January, 2018; v1 submitted 12 March, 2016; originally announced March 2016.

Comments: 26 pages, 1 figure. Rewritten from last version

MSC Class: 14Q10

Similarity detection of rational space curves

Authors: Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh

Abstract: We provide an algorithm to check whether two rational space curves are related by a similarity. The algorithm exploits the relationship between the curvatures and torsions of two similar curves, which is formulated in a computer algebra setting. Helical curves, where curvature and torsion are proportional, need to be distinguished as a special case. The algorithm is easy to implement, as it involv… ▽ More We provide an algorithm to check whether two rational space curves are related by a similarity. The algorithm exploits the relationship between the curvatures and torsions of two similar curves, which is formulated in a computer algebra setting. Helical curves, where curvature and torsion are proportional, need to be distinguished as a special case. The algorithm is easy to implement, as it involves only standard computer algebra techniques, such as greatest common divisors and resultants, and Gröbner basis for the special case of helical curves. Details on the implementation and experimentation carried out using the computer algebra system Maple 18 are provided. △ Less

Submitted 10 June, 2017; v1 submitted 8 December, 2015; originally announced December 2015.

MSC Class: 14Q05; 68W30

On the square-freeness of the offset equation to a rational planar curve

Authors: Juan Gerardo Alcázar, Jorge Caravantes, Gema M. Diaz-Toca

Abstract: It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this pape… ▽ More It is well known that an implicit equation of the offset to a rational planar curve can be computed by removing the extraneous components of the resultant of two certain polynomials computed from the parametrization of the curve. Furthermore, it is also well known that the implicit equation provided by the non-extraneous component of this resultant has at most two irreducible factors. In this paper, we complete the algebraic description of this resultant by showing that the multiplicity of the factors corresponding to the offset can be computed in advance. In particular, when the parametrization is proper, i.e. when the curve is just traced once by the parametrization, we prove that any factor corresponding to a simple component of the offset has multiplicity 1, while the factor corresponding to the special component, if any, has multiplicity 2. Hence, if the parametrization is proper and there is no special component, the non-extraneous part of the resultant is square-free. In fact, this condition is proven to be also sufficient. Additionally, this result provides a simple test to check whether or not a given rational curve is the offset of another curve. △ Less

Submitted 3 September, 2015; originally announced September 2015.

MSC Class: 14H50; 14Q05

On the Problem of Detecting When Two Implicit Plane Algebraic Curves Are Similar

Authors: Juan Gerardo Alcázar, Gema M. Diaz-Toca, Carlos Hermosa

Abstract: We make use of the complex implicit representation in order to provide a deterministic algorithm for checking whether or not two implicit algebraic curves are related by a similarity, a central question in Pattern Recognition and Computer Vision. The algorithm has been implemented in the computer algebra system Maple 2015. Examples and evidence of the good practical performance of the algorithm ar… ▽ More We make use of the complex implicit representation in order to provide a deterministic algorithm for checking whether or not two implicit algebraic curves are related by a similarity, a central question in Pattern Recognition and Computer Vision. The algorithm has been implemented in the computer algebra system Maple 2015. Examples and evidence of the good practical performance of the algorithm are given. △ Less

Submitted 22 May, 2015; originally announced May 2015.

MSC Class: 14H99; 65D99

A new method to compute the singularities of offsets to rational plane curves

Authors: Juan Gerardo Alcázar, Jorge Caravantes, Gema M. Diaz-Toca

Abstract: Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing a… ▽ More Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from the parametrization of the original curve, without computing or making use of the implicit equation of the offset. By using this result, a finite set containing all the real singularities of the offset, and in particular all the real self-intersections of the offset, can be computed. We also report on experiments carried out in the computer algebra system Maple, showing the efficiency of the algorithm for moderate degrees. △ Less

Submitted 11 June, 2015; v1 submitted 16 February, 2015; originally announced February 2015.

ACM Class: G.4; I.1; I.3.5

Symmetry Detection of Rational Space Curves from their Curvature and Torsion

Authors: Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh

Abstract: We present a novel, deterministic, and efficient method to detect whether a given rational space curve is symmetric. By using well-known differential invariants of space curves, namely the curvature and torsion, the method is significantly faster, simpler, and more general than an earlier method addressing a similar problem. To support this claim, we present an analysis of the arithmetic complexit… ▽ More We present a novel, deterministic, and efficient method to detect whether a given rational space curve is symmetric. By using well-known differential invariants of space curves, namely the curvature and torsion, the method is significantly faster, simpler, and more general than an earlier method addressing a similar problem. To support this claim, we present an analysis of the arithmetic complexity of the algorithm and timings from an implementation in Sage. △ Less

Submitted 25 January, 2015; v1 submitted 5 June, 2014; originally announced June 2014.

Comments: 25 pages

Journal ref: Computer Aided Geometric Design. Volume 33, February 2015, Pages 51 - 65

Involutions of polynomially parametrized surfaces

Authors: J. G. Alcázar, C. Hermoso

Abstract: We provide an algorithm for detecting the involutions leaving a surface defined by a polynomial parametrization invariant. As a consequence, the symmetry axes, symmetry planes and symmetry center of the surface, if any, can be determined directly from the parametrization, without computing or making use of the implicit representation. The algorithm is based on the fact, proven in the paper, that a… ▽ More We provide an algorithm for detecting the involutions leaving a surface defined by a polynomial parametrization invariant. As a consequence, the symmetry axes, symmetry planes and symmetry center of the surface, if any, can be determined directly from the parametrization, without computing or making use of the implicit representation. The algorithm is based on the fact, proven in the paper, that any involution of the surface comes from an involution of the parameter space (the real plane, in our case); therefore, by determining the latter, the former can be found. The algorithm has been implemented in the computer algebra system Maple 17. Evidence of its efficiency for moderate degrees, examples and a complexity analysis are also given. △ Less

Submitted 1 April, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Detecting Similarity of Rational Plane Curves

Authors: Juan Gerardo Alcázar, Carlos Hermoso, Georg Muntingh

Abstract: A novel and deterministic algorithm is presented to detect whether two given rational plane curves are related by means of a similarity, which is a central question in Pattern Recognition. As a by-product it finds all such similarities, and the particular case of equal curves yields all symmetries. A complete theoretical description of the method is provided, and the method has been implemented an… ▽ More A novel and deterministic algorithm is presented to detect whether two given rational plane curves are related by means of a similarity, which is a central question in Pattern Recognition. As a by-product it finds all such similarities, and the particular case of equal curves yields all symmetries. A complete theoretical description of the method is provided, and the method has been implemented and tested in the Sage system for curves of moderate degrees. △ Less

Submitted 21 December, 2013; v1 submitted 18 June, 2013; originally announced June 2013.

Comments: 22 pages

MSC Class: 14Q05; 68W30

Journal ref: Journal of Computational and Applied Mathematics, Volume 269 (2014), Pages 1 - 13

Detecting Symmetries of Rational Plane and Space Curves

Authors: J. G. Alcázar, C. Hermoso, G. Muntingh

Abstract: This paper addresses the problem of determining the symmetries of a plane or space curve defined by a rational parametrization. We provide effective methods to compute the involution and rotation symmetries for the planar case. As for space curves, our method finds the involutions in all cases, and all the rotation symmetries in the particular case of Pythagorean-hodograph curves. Our algorithms s… ▽ More This paper addresses the problem of determining the symmetries of a plane or space curve defined by a rational parametrization. We provide effective methods to compute the involution and rotation symmetries for the planar case. As for space curves, our method finds the involutions in all cases, and all the rotation symmetries in the particular case of Pythagorean-hodograph curves. Our algorithms solve these problems without converting to implicit form. Instead, we make use of a relationship between two proper parametrizations of the same curve, which leads to algorithms that involve only univariate polynomials. These algorithms have been implemented and tested in the Sage system. △ Less

Submitted 22 December, 2013; v1 submitted 17 July, 2012; originally announced July 2012.

Comments: 19 pages

MSC Class: 14Q05

Journal ref: Computer Aided Geometric Design, Volume 31, Issues 3-4, March-May 2014, Pages 199-209, ISSN 0167-8396

Efficient Detection of Symmetries of Polynomially Parametrized Curves

Authors: Juan G. Alcazar

Abstract: We present efficient algorithms for detecting central and mirror symmetry for the case of algebraic curves defined by means of polynomial parametrizations. The algorithms are based on the existence of a linear relationship between two proper polynomial parametrizations of the curve, which leads to a triangular polynomial system (with complex unknowns) that can be solved in a very fast way; in part… ▽ More We present efficient algorithms for detecting central and mirror symmetry for the case of algebraic curves defined by means of polynomial parametrizations. The algorithms are based on the existence of a linear relationship between two proper polynomial parametrizations of the curve, which leads to a triangular polynomial system (with complex unknowns) that can be solved in a very fast way; in particular, curves parametrized by polynomials of serious degrees can be analyzed in a few seconds. In our analysis we provide a good number of theoretical results on symmetries of polynomial curves, algorithms for detecting rotation and mirror symmetry, and closed formulae to determine the symmetry center and the symmetry axis, when they exist. A complexity analysis of the algorithms is also given. △ Less

Submitted 23 December, 2012; v1 submitted 30 June, 2012; originally announced July 2012.

Applications of Level Curves to Some Problems on Algebraic Surfaces

Authors: J. G. Alcazar, J. R. Sendra

Abstract: In a previous work of the authors, a result to algorithmically compute the topology types of the level curves of an algebraic surface, is given. From this result, here we derive applications based on level curves to determine some topological features of surfaces (reality, compactness, connectivity) and to the problem of plotting. In a previous work of the authors, a result to algorithmically compute the topology types of the level curves of an algebraic surface, is given. From this result, here we derive applications based on level curves to determine some topological features of surfaces (reality, compactness, connectivity) and to the problem of plotting. △ Less

Submitted 17 October, 2007; originally announced October 2007.

Comments: 18 pages, 6 figures

MSC Class: 14Q10; 68W30