-
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.
-
On the symmetries of a Kaehler manifold
Authors:
Alma L. Albujer,
Jorge Alcázar,
Magdalena Caballero
Abstract:
In this manuscript we study natural symmetries of Kaehler manifolds: constant holomorphic sectional curvature Kaheler manifolds, semisymmetric Kaehler manifolds and holomorphically pseudosymmetric Kaehler manifolds. We get characterization results, as well as a geometric interpretation of the complex Tachibana tensor.
In this manuscript we study natural symmetries of Kaehler manifolds: constant holomorphic sectional curvature Kaheler manifolds, semisymmetric Kaehler manifolds and holomorphically pseudosymmetric Kaehler manifolds. We get characterization results, as well as a geometric interpretation of the complex Tachibana tensor.
△ Less
Submitted 18 May, 2022; v1 submitted 7 May, 2022;
originally announced May 2022.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
