Advertisement

Journal of Mathematical Imaging and Vision

, Volume 61, Issue 8, pp 1197–1220 | Cite as

Currents and Finite Elements as Tools for Shape Space

  • James Benn
  • Stephen MarslandEmail author
  • Robert I. McLachlan
  • Klas Modin
  • Olivier Verdier
Article

Abstract

The nonlinear spaces of shapes (unparameterized immersed curves or submanifolds) are of interest for many applications in image analysis, such as the identification of shapes that are similar modulo the action of some group. In this paper, we study a general representation of shapes as currents, which are based on linear spaces and are suitable for numerical discretization, being robust to noise. We develop the theory of currents for shape spaces by considering both the analytic and numerical aspects of the problem. In particular, we study the analytical properties of the current map and the \(H^{-s}\) norm that it induces on shapes. We determine the conditions under which the current determines the shape. We then provide a finite element-based discretization of the currents that is a practical computational tool for shapes. Finally, we demonstrate this approach on a variety of examples.

Keywords

Currents Finite elements Shape space Image analysis 

Mathematics Subject Classification

32U40m 62M40 65D18 74S05 

Notes

References

  1. 1.
    Adams, R., Fournier, J.: Sobolev Spaces, Pure and Applied Mathematics. Elsevier Science, Amsterdam (2003)Google Scholar
  2. 2.
    Alnaes, M., Blechta, J., Hake, J., Johansson, A., Kehlet, B., Logg, A., Richardson, C., Ring, J., Rognes, M.E., Wells, G.: The FEniCS project version 1.5. Arch. Numer. Softw. 3, 9–23 (2015) Google Scholar
  3. 3.
    Arnold, V.: Mathematical Methods of Classical Mechanics, 2nd edn. Springer, Berlin (1989)CrossRefGoogle Scholar
  4. 4.
    Bandeira, A.S., Cahill, J., Mixon, D.G., Nelson, A.A.: Saving phase: injectivity and stability for phase retrieval. Appl. Comput. Harmon. Anal. 37, 106–125 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bauer, M., Bruveris, M., Marsland, S., Michor, P.W.: Constructing reparameterization invariant metrics on spaces of plane curves. Differ. Geom. Appl. 34, 139–165 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Beg, M.F., Miller, M.I., Trouvé, A., Younes, L.: Computing large deformation metric mappings via geodesic flows of diffeomorphisms. Int. J. Comput. Vis. 61, 139–157 (2005)CrossRefGoogle Scholar
  7. 7.
    Benn, J., Marsland, S., McLachlan, R.I., Modin, K., Verdier, O.: femshape: library for computing shape invariants of planar curves using the finite element method (2018). https://github.com/olivierverdier/femshape
  8. 8.
    Bône, A., Louis, M., Martin, B., Durrleman, S.: Deformetrica 4: an open-source software for statistical shape analysis. In: International Workshop on Shape in Medical Imaging, pp. 3–13. Springer (2018)Google Scholar
  9. 9.
    Boutin, M.: Numerically invariant signature curves. Int. J. Comput. Vis. 40, 235–248 (2000)CrossRefzbMATHGoogle Scholar
  10. 10.
    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, 107–135 (1998)CrossRefGoogle Scholar
  11. 11.
    Celledoni, E., Eslitzbichler, M., Schmeding, A.: Shape analysis on Lie groups with applications in computer animation. J. Geom. Mech. (JGM) 8, 273–304 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Charon, N., Trouvé, A.: The varifold representation of non-oriented shapes for diffeomorphic registration. SIAM J. Imaging Sci. 6, 2547–2580 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Charon, N., Trouvé, A.: Functional currents: a new mathematical tool to model and analyse functional shapes. J. Math. Imaging Vis. 48, 413–431 (2014)CrossRefzbMATHGoogle Scholar
  14. 14.
    De Rham, G.: Variétés différentiables: formes, courants, formes harmoniques, vol. 3, Editions Hermann (1973)Google Scholar
  15. 15.
    Durrleman, S., Pennec, X., Trouvé, A., Ayache, N.: Statistical models of sets of curves and surfaces based on currents. Med. Image Anal. 13, 793–808 (2009)CrossRefGoogle Scholar
  16. 16.
    Glaunès, J., Joshi, S.: Template estimation form unlabeled point set data and surfaces for computational anatomy. In: Proceedings of the International Workshop on the Mathematical Foundations of Computational Anatomy (MFCA-2006), pp. 29–39 (2006)Google Scholar
  17. 17.
    Glaunès, J., Qiu, A., Miller, M.I., Younes, L.: Large deformation diffeomorphic metric curve mapping. Int. J. Comput. Vis. 80, 317–336 (2008)CrossRefGoogle Scholar
  18. 18.
    Hebey, E.: Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities. American Mathematical Society, Providence (1999)zbMATHGoogle Scholar
  19. 19.
    Kaltenmark, I., Charlier, B., Charon, N.: A general framework for curve and surface comparison and registration with oriented varifolds. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 3346–3355 (2017)Google Scholar
  20. 20.
    Logg, A., Wells, G., Hake, J.: DOLFIN: a C++/python finite element library. In: Logg, A., Mardal, K.A., Wells, G. (eds.) Automated Solution of Differential Equations by the Finite Element Method. Lecture Notes in Computational Science and Engineering, vol. 84. Springer, Berlin, Heidelberg (2012) CrossRefGoogle Scholar
  21. 21.
    Michor, P.W., Mumford, D.: An overview of the Riemannian metrics on spaces of curves using the Hamiltonian approach. Appl. Comput. Harmon. Anal. 23, 74–113 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Morgan, F.: Geometric Measure Theory: A Beginner’s Guide, 4th edn. Academic Press, Boston (2009)zbMATHGoogle Scholar
  23. 23.
    Mumford, D.: Pattern theory: the mathematics of perception. Proc. Int. Congr. Math. III, 1–21 (2002)zbMATHGoogle Scholar
  24. 24.
    Roussillon, P., Glaunès, J.A.: Surface matching using normal cycles. In: International Conference on Geometric Science of Information, pp. 73–80. Springer (2017)Google Scholar
  25. 25.
    Schmudgen, K.: Unbounded Self-Adjoint Operators on Hilbert Space. Springer, Berlin (2012)CrossRefzbMATHGoogle Scholar
  26. 26.
    Taylor, M.: Partial Differential Equations I: Basic Theory. Springer, Berlin (2011)CrossRefzbMATHGoogle Scholar
  27. 27.
    Vaillant, M., Glaunès, J.: Surface matching via currents. Inf. Process. Med. Imaging 19, 381–92 (2005)CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Palmerston NorthNew Zealand
  2. 2.School of Mathematics and StatisticsVictoria University of WellingtonWellingtonNew Zealand
  3. 3.Institute of Fundamental SciencesMassey UniversityPalmerston NorthNew Zealand
  4. 4.Department of Mathematical SciencesChalmers University of Technology and University of GothenburgGothenburgSweden
  5. 5.Department of Computing, Mathematics and PhysicsWestern Norway University of Applied SciencesBergenNorway
  6. 6.Department of MathematicsKTHStockholmSweden

Personalised recommendations