Shape splines and stochastic shape evolutions: A second order point of view

Trouvé, Alain; Vialard, François-Xavier

doi:10.1090/S0033-569X-2012-01250-4

Authors: Alain Trouvé and François-Xavier Vialard
Journal: Quart. Appl. Math. 70 (2012), 219-251
MSC (2010): Primary 65D07, 62J02, 37K65, 34F05, 93E14
DOI: https://doi.org/10.1090/S0033-569X-2012-01250-4
Published electronically: February 3, 2012
MathSciNet review: 2953101
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract:

This article presents a new mathematical framework to perform statistical analysis on time-indexed sequences of 2D or 3D shapes. At the core of this statistical analysis is the task of time interpolation of such data. Current models in use can be compared to linear interpolation for one-dimensional data. We develop a spline interpolation method which is directly related to cubic splines on a Riemannian manifold. Our strategy consists of introducing a control variable on the Hamiltonian equations of the geodesics. Motivated by statistical modeling of spatiotemporal data, we also design a stochastic model to deal with random shape evolutions. This model is closely related to the spline model since the control variable previously introduced is set as a random force perturbing the evolution.

Although we focus on the finite-dimensional case of landmarks, our models can be extended to infinite-dimensional shape spaces, and they provide a first step for a nonparametric growth model for shapes taking advantage of the widely developed framework of large deformations by diffeomorphisms.

References

Andrei A. Agrachev and Yuri L. Sachkov, Control theory from the geometric viewpoint, Encyclopaedia of Mathematical Sciences, vol. 87, Springer-Verlag, Berlin, 2004. Control Theory and Optimization, II. MR 2062547
J. H. Ahlberg, E. N. Nilson, and J. L. Walsh, The theory of splines and their applications, Academic Press, New York-London, 1967. MR 0239327
S. Allassonnière, Y. Amit, and A. Trouvé, Towards a coherent statistical framework for dense deformable template estimation, J. R. Stat. Soc. Ser. B Stat. Methodol. 69 (2007), no. 1, 3–29. MR 2301497, DOI https://doi.org/10.1111/j.1467-9868.2007.00574.x

S. Allassonnière, A. Trouvé, and L. Younes. Geodesic shooting and diffeomorphic matching via textured meshes. In EMMCVPR05, pages 365–381, 2005.

M. Camarinha, F. Silva Leite, and P. Crouch, Splines of class $C^k$ on non-Euclidean spaces, IMA J. Math. Control Inform. 12 (1995), no. 4, 399–410. MR 1363321, DOI https://doi.org/10.1093/imamci/12.4.399

P. Crouch and F. Silva Leite, The dynamic interpolation problem: on Riemannian manifolds, Lie groups, and symmetric spaces, J. Dynam. Control Systems 1 (1995), no. 2, 177–202. MR 1333770, DOI https://doi.org/10.1007/BF02254638

B. Davis, P. Fletcher, E. Bullitt, and S. Joshi. Population shape regression from random design data. In Computer Vision, 2007. ICCV 2007. IEEE 11th International Conference, pages 1–7, Oct. 2007.

I. L. Dryden and K. V. Mardia, Statistical shape analysis, Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Ltd., Chichester, 1998. MR 1646114

S. Durrleman, X. Pennec, G. Gerig, A. Trouvé, and N. Ayache. Spatiotemporal atlas estimation for developmental delay detection in longitudinal datasets. In Medical Image Computing and Computer Assisted Intervention, September 2009.

E. T. Jaynes, Information theory and statistical mechanics, Phys. Rev. (2) 106 (1957), 620–630. MR 87305

Roberto Giambò, Fabio Giannoni, and Paolo Piccione, An analytical theory for Riemannian cubic polynomials, IMA J. Math. Control Inform. 19 (2002), no. 4, 445–460. MR 1949013, DOI https://doi.org/10.1093/imamci/19.4.445

J. Glaunes, A. Trouvé, and L. Younes. Diffeomorphic matching of distributions: A new approach for unlabelled point-sets and sub-manifolds matching. In Computer Vision and Pattern Recognition, volume 2, 2004.

Joan Glaunès, Alain Trouvé, and Laurent Younes, Modeling planar shape variation via Hamiltonian flows of curves, Statistics and analysis of shapes, Model. Simul. Sci. Eng. Technol., Birkhäuser Boston, Boston, MA, 2006, pp. 335–361. MR 2274202, DOI https://doi.org/10.1007/0-8176-4481-4_14

U. Grenander, A. Srivastava, and S. Saini. Characterization of biological growth using iterated diffeomorphisms. In ISBI, pages 1136–1139, 2006.

U. Grenander, A. Srivastava, and S. Saini. A pattern-theoretic characterization of biological growth. IEEE Trans. Med. Imaging, 26(5):648–659, 2007.

Darryl D. Holm, Alain Trouvé, and Laurent Younes, The Euler-Poincaré theory of metamorphosis, Quart. Appl. Math. 67 (2009), no. 4, 661–685. MR 2588229, DOI https://doi.org/10.1090/S0033-569X-09-01134-2

Ram V. Iyer, Raymond Holsapple, and David Doman, Optimal control problems on parallelizable Riemannian manifolds: theory and applications, ESAIM Control Optim. Calc. Var. 12 (2006), no. 1, 1–11. MR 2192065, DOI https://doi.org/10.1051/cocv%3A2005026

Joseph Warren Jackson, Dynamic interpolation with application to flight control, ProQuest LLC, Ann Arbor, MI, 1990. Thesis (Ph.D.)–Arizona State University. MR 2685853

Sarang C. Joshi and Michael I. Miller, Landmark matching via large deformation diffeomorphisms, IEEE Trans. Image Process. 9 (2000), no. 8, 1357–1370. MR 1808275, DOI https://doi.org/10.1109/83.855431

J. N. Kapur, Maximum-entropy models in science and engineering, John Wiley & Sons, Inc., New York, 1989. MR 1079544

D. G. Kendall. The diffusion of shape. Advances in Applied Probability, vol. 9:pp. 428–430, 1977.

A. Khan and M. Beg. Representation of time-varying shapes in the large deformation diffeomorphic framework. In Biomedical Imaging: From Nano to Macro, 2008. ISBI 2008. 5th IEEE International Symposium, pages 1521–1524, May 2008.

Hiroshi Kunita, Stochastic flows and stochastic differential equations, Cambridge Studies in Advanced Mathematics, vol. 24, Cambridge University Press, Cambridge, 1997. Reprint of the 1990 original. MR 1472487

Jack W. Macki and Aaron Strauss, Introduction to optimal control theory, Springer-Verlag, New York-Berlin, 1982. Undergraduate Texts in Mathematics. MR 638591

Jerrold E. Marsden and Tudor S. Ratiu, Introduction to mechanics and symmetry, 2nd ed., Texts in Applied Mathematics, vol. 17, Springer-Verlag, New York, 1999. A basic exposition of classical mechanical systems. MR 1723696

Peter W. Michor and David Mumford, An overview of the Riemannian metrics on spaces of curves using the Hamiltonian approach, Appl. Comput. Harmon. Anal. 23 (2007), no. 1, 74–113. MR 2333829, DOI https://doi.org/10.1016/j.acha.2006.07.004

M. I. Miller, A. Trouvé, and L. Younes. On the metrics and Euler-Lagrange equations of computational anatomy. Annual Review of Biomedical Engineering, 4:375–405, 2002.

Michael I. Miller, Alain Trouvé, and Laurent Younes, Geodesic shooting for computational anatomy, J. Math. Imaging Vision 24 (2006), no. 2, 209–228. MR 2227097, DOI https://doi.org/10.1007/s10851-005-3624-0

Lyle Noakes, Greg Heinzinger, and Brad Paden, Cubic splines on curved spaces, IMA J. Math. Control Inform. 6 (1989), no. 4, 465–473. MR 1036158, DOI https://doi.org/10.1093/imamci/6.4.465

N. Portman, U. Grenander, and E. R. Vrscay. Direct estimation of biological growth properties from image data using the “grid” model. In ICIAR, pages 832–843, 2009.

I. Schoenberg. Contributions to the problem of approximation of equidistant data by analytic functions. Quart. Appl. Math. 4, 45-99 (Part A), 112-141 (Part B), 1946.

A. Srivastava, S. Saini, Z. Ding, and U. Grenander. Maximum-likelihood estimation of biological growth variables. pages 107–118, 2005.

Alain Trouvé and Laurent Younes, Local geometry of deformable templates, SIAM J. Math. Anal. 37 (2005), no. 1, 17–59. MR 2176922, DOI https://doi.org/10.1137/S0036141002404838

F.-X. Vialard. Hamiltonian Approach to Shape Spaces in a Diffeomorphic Framework: From the Discontinuous Image Matching Problem to a Stochastic Growth Model. Ph.D. thesis, ENS Cachan, 2009.

L. Younes, F. Arrate, and M. I. Miller. Evolution equations in computational anatomy. NeuroImage, 45(1, Supplement 1):S40 – S50, 2009. Mathematics in Brain Imaging.