Skip to main content

Non-congruent non-degenerate curves with identical signatures

A Correction to this article was published on 07 April 2021

This article has been updated

Abstract

While the equality of differential signatures (Calabi et al., Int. J. Comput. Vis. 26: 107–135, 1998) is known to be a necessary condition for congruence, it is not sufficient (Musso and Nicolodi, J. Math Imaging Vis. 35: 68–85, 2009). Hickman (J. Math Imaging Vis. 43: 206–213, 2012, Theorem 2) claimed that for non-degenerate planar curves, equality of Euclidean signatures implies congruence. We prove that while Hickman’s claim holds for simple, closed curves with simple signatures, it fails for curves with non-simple signatures. In the latter case, we associate a directed graph with the signature and show how various paths along the graph give rise to a family of non-congruent, non-degenerate curves with identical signatures. Using this additional structure, we formulate congruence criteria for non-degenerate, closed, simple curves and show how the paths reflect the global and local symmetries of the corresponding curve.

This is a preview of subscription content, access via your institution.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22

Change history

Notes

  1. 1.

    It is very common for a simple curve to have non-simple signature.

  2. 2.

    In [13], the cogwheels are constructed using error functions (likely for computational reasons), and in fact, the permutation of cogs produces curves with slightly different signatures. In [12], the explicit formulas are not given, but the Mathematica code provided by the author shows that the construction was also done in terms of error functions. In both cases, replacing the error functions with smooth bump functions results in families of non-degenerate curves with identical signatures.

  3. 3.

    A map \(\gamma :I \rightarrow {\mathbb {R}}^2\) where I is an open subset of \({\mathbb {R}}\) is locally injective if for any \(t\in I\), there exists an open neighborhood J, such that \(\gamma |_J\) is injective.

  4. 4.

    The term piece has a different meaning in [12]. Also, if I is open, then a curve piece satisfies our definition of a curve, but we still use the term curve piece when we want to emphasize that the piece is a proper subset of a larger curve.

  5. 5.

    In [12], in a much more general setting, the symmetry index at p is defined as the cardinality of the set \(\text {sym}(\varGamma _p)/\text {sym}^*(\varGamma _p)\), where \(\text {sym}^*(\varGamma _p)\) denotes the subset of \(\text {sym}(\varGamma _p)\) consisting of elements that fix p. However, if p is not a point of self-intersection and \(\varGamma \) is oriented, then under the action of SE(2) the group \(\text {sym}^*(\varGamma _p)\) is trivial.

  6. 6.

    The change in the orientation sends \(\kappa (p)\) to \(-\kappa (p)\).

  7. 7.

    In [13], \(\kappa \) is assumed to be \(C^1\), but the proof is valid for a continuous function \(\kappa \).

  8. 8.

    Strictly speaking, we should call this signature the “special Euclidean signature,” because the full Euclidean group includes reflections and both \(\kappa \) and \(\dot{\kappa }\) change sign under reflections and are, therefore, not invariant. We also note that if we reverse a curve’s orientation then \(\kappa \) changes its sign, but \(\dot{\kappa }\) preserves the sign. Thus, change in the orientation induces the reflection of the signature about the vertical axis.

  9. 9.

    For a sufficient condition, see Corollary 5 in [13].

  10. 10.

    In [14], special Euclidean transformations are called proper Euclidean transformations. Euclidean transformation, \(\gamma _2 = g\cdot \gamma _1, g\in SE(2)\), if and only if their signature curves are identical \(S_1 = S_2\).

  11. 11.

    Except for the midpoint of “long” red segments, where it is 2, because the long red segment is an end-to-end attachment of two “short” red pieces.

  12. 12.

    A map between topological spaces is called proper if the preimage of every compact subset is compact. Any continuous map with a compact domain to \({\mathbb {R}}^2\) (and, more generally, to any Hausdorff space) is proper.

  13. 13.

    A terminology warning: please do not confuse the vertices of the simple planar curve \(\varGamma \) as in Definition 5 and vertices of the quiver \(\varDelta _S\).

References

  1. 1.

    Calabi, E., Olver, P.J., Shakiban, C., Tannenbaum, A., Haker, S.: Differential and numerically invariant signature curves applied to object recognition. Int. J. Comput. Vis. 26(2), 107–135 (1998)

    Article  Google Scholar 

  2. 2.

    Boutin, M.: Numerically invariant signature curves. Int. J. Computer vision 40, 235–248 (2000)

    Article  Google Scholar 

  3. 3.

    Bruckstein, A.M., Katzir, N., Lindenbaum, M., Porat, M.: Similarity-invariant signatures for partially occluded planar shapes. Int. J. Comput Vision 7(3), 271–285 (1992)

    Article  Google Scholar 

  4. 4.

    Bruckstein, A.M., Netravali, A.N.: On differential invariants of planar curves and recognizing partially occluded planar shapes. Ann. Math. Artif. Intell. 13(3–4), 227–250 (1995)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Hoff, D.J., Olver, P.J.: Automatic solution of jigsaw puzzles. J. Math. Imaging Vis. 49(1), 234–250 (2014)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Grim, A., Shakiban, C.: Applications of signature curves to characterize melanomas and moles, Applications of computer algebra, In: Springer Proceedings in Mathematics and Statistics, vol. 198, Springer, Cham, pp. 171–189 (2017)

  7. 7.

    Cartan, É.: Les Problèmes D’équivalence, Oeuvres Completes, II, pp. 1311–1334. Gauthier-Villars, Paris (1953)

    Google Scholar 

  8. 8.

    Peter, J.: Olver, Equivalence, Invariants and Symmetry. Cambridge University Press, Cambridge (1995)

    Google Scholar 

  9. 9.

    DeTurck, D., Gluck, H., Pomerleano, D., Vick, D.S.: The four vertex theorem and its converse. Notices Am. Math. Soc. 54(2), 192–207 (2007)

    MathSciNet  MATH  Google Scholar 

  10. 10.

    Heinrich, W.: Guggenheimer, Differential Geometry. McGraw-Hill Book Co. Inc., New York-San Francisco-Toronto-London (1963)

    Google Scholar 

  11. 11.

    Daniel, J.: Hoff and Peter. J. Olver, Ext. Invariant Signat. Object Recogn. J. Math. Imaging Vis. 45(2), 176–185 (2013)

    Google Scholar 

  12. 12.

    Peter, J.: Olver, The symmetry groupoid and weighted signature of a geometric object. J. Lie Theory 26(1), 235–267 (2016)

    MathSciNet  MATH  Google Scholar 

  13. 13.

    Musso, E., Nicolodi, L.: Invariant signatures of closed planar curves. J. Math. Imaging Vis. 35(1), 68–85 (2009)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Mark, S.: Hickman, Euclidean signature curves. J. Math. Imaging Vis. 43(3), 206–213 (2012)

    Article  Google Scholar 

  15. 15.

    Kühnel, W.: Differential geometry, Student Mathematical Library, vol. 77, American Mathematical Society, Providence, RI, Curves—surfaces—manifolds, Third edition [of MR1882174], Translated from the 2013 German edition by Bruce Hunt, with corrections and additions by the author (2015)

  16. 16.

    Lee, J.M.: Introduction to Smooth Manifolds, Graduate Texts in Mathematics, vol. 218, 2nd edn. Springer, New York (2013)

    Google Scholar 

Download references

Acknowledgements

We are grateful to Peter Olver for pointing out the relationship between the cardinalities of local symmetry sets of a curve and multiplicities of the edges of its signature quiver and to Ekaterina Shemyakova for suggesting we use the term quiver for the graph associated with the signature. We would like to thank the anonymous reviewers for their exceptionally careful reading of the paper: Their remarks and questions were very helpful. We acknowledge NSF conference grant DMS-1952694 for providing travel funding to present an earlier version of this paper at DART X conference.

Author information

Affiliations

Authors

Corresponding author

Correspondence to Eric Geiger.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Supplementary Information

Below is the link to the electronic supplementary material.

Supplementary material 1 (mp4 3813 KB)

Supplementary material 2 (mp4 4412 KB)

Rights and permissions

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Geiger, E., Kogan, I.A. Non-congruent non-degenerate curves with identical signatures. J Math Imaging Vis 63, 601–625 (2021). https://doi.org/10.1007/s10851-020-01015-x

Download citation

Keywords

  • Closed curves
  • Euclidean transformations
  • Signature curves
  • Signature graphs (quivers)
  • Object recognition

Mathematics Subject Classification

  • 53A04
  • 53A55
  • 68T45