Using signature sequences to classify intersection curves of two quadrics

https://doi.org/10.1016/j.cagd.2008.08.004Get rights and content

Abstract

We present a method that uses signature sequences to classify the intersection curve of two quadrics (QSIC) or, equivalently, quadric pencils in PR3 (3D real projective space), in terms of the shape, topological properties, and algebraic properties of the QSIC. Specifically, for a QSIC we consider its singularity, reducibility, the number of its components, and the degree of each irreducible component, etc. There are in total 35 different types of non-degenerate quadric pencils. For each of the 35 types of QSICs given by these non-degenerate pencils, through a detailed study of the eigenvalue curve and the index function jump we establish a characterizing algebraic condition expressed in terms of the Segre characteristics and the signature sequence of the quadric pencil. We show how to compute a signature sequence with rational arithmetic and use it to determine the type of the intersection curve of any two quadrics which form a non-degenerate pencil. As an example of application, we discuss how to apply our results to collision detection of cones in 3D affine space.

References (47)

  • W. Wang et al.

    An algebraic condition on the separation of two ellipsoids

    Comput. Aided Geom. Design

    (2001)
  • I. Wilf et al.

    Quadric-surface intersection curves: shape and structure

    Comput.-Aided Design

    (1993)
  • S. Abhyankar

    Algebraic Geometry for Scientists and Engineers

    (1990)
  • A. Agrachëv

    Homology of intersections of real quadrics

    Dokl. Akad. Nauk SSSR

    (1988)
  • Agrachëv, A., Gamkrelidze, R., 1989. Quadratic mappings and smooth vector functions: Euler characteristics of the level...
  • S. Basu et al.

    Algorithms in Real Algebraic Geometry

    (2003)
  • Berberich, E., Hemmer, M., Kettner, L., Schömer, E., Wolpert, N., 2005. An exact, complete and efficient implementation...
  • Bromwich, T., 1906. Quadratic Forms and Their Classification by Means of Invariant-Factors. Cambridge Tracts in...
  • Dupont, L., 2004. Paramétrage quasi-optimal de l'intersection de deux quadriques : théorie, algorithme et implantation....
  • Dupont, L., Lazard, D., Lazard, S., Petitjean, S., 2003. Near optimal parameterization of the intersection of quadrics....
  • I. Emiris et al.

    Computing with real algebraic numbers of small degree

  • R. Farouki et al.

    Automatic parsing of degenerate quadric-surface intersections

    ACM Trans. Graph.

    (1989)
  • G.H. Golub et al.

    Matrix Computation

    (1989)
  • Cited by (20)

    • Contact detection between a small ellipsoid and another quadric

      2022, Computer Aided Geometric Design
      Citation Excerpt :

      These methods have been extended to other quadric surfaces Brozos-Vázquez et al. (2018, 2019) and exploited for practical uses, such as the detection of position for Unmanned Aerial Vehicles Castro et al. (2019); Dapena et al. (2017). The analysis of the intersection of quadrics was initiated much earlier (see Levin (1979)) and continues to be an active research field (see González-Vega and Trocado (2021); Jia et al. (2020); Pazouki et al. (2012); Tu et al. (2009); Wang et al. (2003, 2004); Wilf and Manor (1993) and references therein). Quadric surfaces allow to approximate very accurately a large variety of shapes.

    • Enumerating the morphologies of non-degenerate Darboux cyclides

      2019, Computer Aided Geometric Design
      Citation Excerpt :

      Quadric pair canonical form Since the two canonical quadratic forms are projectively equivalent to the original two quadratic forms, Tu et al. (2009) show the following result. The terminology “morphology” in Tu et al. (2009) takes topology, real and imaginary components, types and numbers of singularities into account.

    • Classification of the relative positions between a small ellipsoid and an elliptic paraboloid

      2019, Computer Aided Geometric Design
      Citation Excerpt :

      Consequently, other more complicated relative positions that include multiple tangent points or intersections in curves with two connected components are excluded by this hypothesis. If the reader is interested just in the intersection curves of all the possible cases, we refer to Jia et al. (2016), Levin (1979), Tu et al. (2009), Wang et al. (2003). The “smallness” hypothesis can be phrased in terms of principal curvatures of the surfaces: the smallest principal curvature in the ellipsoid is greater than the largest principal curvature of the elliptic paraboloid (which is attained at the vertex point).

    • Continuous detection of the variations of the intersection curve of two moving quadrics in 3-dimensional projective space

      2016, Journal of Symbolic Computation
      Citation Excerpt :

      Hence quadrics have widely been used in CAD/CAM and industrial manufacture, where 3D shapes are frequently defined by piecewise quadrics (Wang, 2002; Yan et al., 2012). The intersection curve of two quadrics (QSIC) has attracted particular attention since it contributes to the boundary detection of 3D shapes defined by quadric patches in geometric modeling or industry design (Levin, 1979; Wang et al., 2003; Dupont et al., 2008a, 2008b, 2008c; Tu et al., 2009). Our work can be seen as a deeper extension of collision detection, which detect the variations in the algebraic property and topology (brief as ‘type’) of QSIC of two quadrics that are moving or deforming.

    View all citing articles on Scopus
    View full text