Signatures of algebraic curves via numerical algebraic geometry. (March 2023)

• Record Type: Journal Article
• Authors: Duff, Timothy; Ruddy, Michael
• Is Part Of: Journal of symbolic computation. Volume 115(2023)
• Page Start: 452
• Page End: 477
• Publication Date: 2023-03
• Subjects: Differential invariants -- Invariant theory -- Numerical algebraic geometry -- Euclidean group -- Computer algebra -- Homotopy continuation; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2022.08.003
• Languages: English
• ISSNs: 0747-7171

Abstract

Abstract: We apply numerical algebraic geometry to the invariant-theoretic problem of detecting symmetries between two plane algebraic curves. We describe an efficient equality test which determines, with "probability-one", whether or not two rational maps have the same image up to Zariski closure. The application to invariant theory is based on the construction of suitable signature maps associated to a group acting linearly on the respective curves. We consider two versions of this construction: differential and joint signature maps. In our examples and computational experiments, we focus on the complex Euclidean group, and introduce an algebraic joint signature that we prove determines equivalence of curves under this action and the size of a curve's symmetry group. We demonstrate that the test is efficient and use it to empirically compare the sensitivity of differential and joint signatures to different types of noise.