Signatures of algebraic curves via numerical algebraic geometry (Q2674020)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Signatures of algebraic curves via numerical algebraic geometry |
scientific article |
Statements
Signatures of algebraic curves via numerical algebraic geometry (English)
0 references
22 September 2022
0 references
The topic of this paper is to decide whether two plane algebraic curves are equal up to action of the group of rigid body motions or other subgroups of the projective group. Problems of this type can be studied via differential invariants. For example in the case of rigid body motions the curves' arclength and curvature must match. It is, however, conceptually simpler, also for implementation, to merge suitable differential invariants into a ``signature curve''. An alternative approach uses ``joint signatures'' which rely only on invariants of order zero and are considered to be more robust against noise. The thus obtained theory is not only capable of detecting symmetries between two curves, it can also report the size of the symmetry group. Details of definition and precise statements on the information value to be extracted are too technical to be reported here. Besides improving theoretical underpinnings, this article introduces for the first time numerical algebraic geometry to signature based symmetry detection between curves. The curves are represented by witness sets or sampling oracles, respectively and membership tests are performed via homotopy continuation. This leads to a probabilistic algorithm that is both feasible for curves of degree \(d \le 6\) (the paper also reports successful runs for \(d \le 10\)) and robust against noise. The theory comes with an implementation in \texttt{Macaulay2} that is publicly available. It is described in Section~4 together with particular examples and experimental results.
0 references
differential invariants
0 references
invariant theory
0 references
numerical algebraic geometry
0 references
Euclidean group
0 references
computer algebra
0 references
homotopy continuation
0 references