Shape Analysis and Computational Anatomy: a Geometrical Perspective on the Statistical Analysis of Population of Manifolds
Total Page:16
File Type:pdf, Size:1020Kb
Shape Analysis and Computational Anatomy: A Geometrical Perspective on the Statistical Analysis of Population of Manifolds Alain Trouvé CMLA, Ecole Normale Supérieure de Cachan Grenoble, Statlearn’11 2011-03-17 Alain Trouvé () Statistics on Shape Spaces 1 / 42 Building a differentiable and riemannian setting on shape spaces Outline Building a differentiable and riemannian setting on shape spaces Normal coordinates for statistical analysis Means and Atlases Currents and Manifold Representation Statistics and statistical models Challenges Alain Trouvé () Statistics on Shape Spaces 2 / 42 Building a differentiable and riemannian setting on shape spaces Anatomical shapes Few anatomical structures segmented in MRI Sulcal Lines Internal Structures Fiber Bundles Various shape spaces: points, surfaces, pieces of submanifolds, grey-level images, tensor fields, etc. Alain Trouvé () Statistics on Shape Spaces 3 / 42 Building a differentiable and riemannian setting on shape spaces Anatomical shapes Few anatomical structures segmented in MRI Sulcal Lines Internal Structures Fiber Bundles Various shape spaces: points, surfaces, pieces of submanifolds, grey-level images, tensor fields, etc. Alain Trouvé () Statistics on Shape Spaces 3 / 42 Building a differentiable and riemannian setting on shape spaces Trivial metric don’t work I Differentiable structure should be compatible with “smooth” transformation of a shape (e.g. geometrical transformation) 2 I Not true for the L metric on image and “smooth” transformations : τ ! τf_(x) = f (x + τ) I τ ! t · f is not smooth (but τ ! τ is !). Alain Trouvé () Statistics on Shape Spaces 4 / 42 Building a differentiable and riemannian setting on shape spaces A global geometrical setting through Riemannian submersion from a group of transformation onto a homogeneous space I Consider a transitive group action i.e. G × M ! M (g; m) ! g:m where M = Gm_ 0 with m0 2 M (“template”). I If G is equipped with a G0 (isotropy group) equivariant metric then 0 0 0 0 dM (m; m ) = inff dG(g; g ) j g:m0 = m; g :m0 = m g is a distance on M (coming from the projected riemannian distance on M) G=G0 ' M I Simple framework: Right invariant metric on G (standard construction on finite dimensional Lie group). (Video) Example on the sphere (landmarks matching) (J. Glaunes) Alain Trouvé () Statistics on Shape Spaces 5 / 42 Building a differentiable and riemannian setting on shape spaces Thm (T.) 1 d d 1 d For any V ,! C0 (R ; R ) there exists GV ⊂ Diff (R ) with a right invariant distance dG for which I GV is complete I There exists a minimizing geodesic between any two elements in GV Z 1 2 2 _ dG(Id; φ) = inff jvt j dt j φ = v ◦ φ, φ1 = φg 0 Alain Trouvé () Statistics on Shape Spaces 6 / 42 Normal coordinates for statistical analysis Outline Building a differentiable and riemannian setting on shape spaces Normal coordinates for statistical analysis Means and Atlases Currents and Manifold Representation Statistics and statistical models Challenges Alain Trouvé () Statistics on Shape Spaces 7 / 42 Normal coordinates for statistical analysis Common representation framework I Exponential mapping exp : T M ! M m0 m0 δm ! exp (δm ) 0 m0 0 such that t ! exp (tδm ) is the solution m0 0 of the geodesic equation rm_ m_ = 0 starting from m0 with initial velocity δm0. I Local diffeomorphism (when dimM < 1) Alain Trouvé () Statistics on Shape Spaces 8 / 42 Normal coordinates for statistical analysis Feasibility of the normal coordinate computation I Optimal control problem, π(φ) = φ.m0: 1 R 2 min jvt j dt + g(m1) g(m) = r(m; mobs) 2 V m_ = dπ(m):v = v:m I Associated hamiltonian 1 H(m; p; v) = (pjv:m) − jvj2 2 V I Metric operator: 1 jvj2 = (Lvjv) with L : V ! V ∗ 2 V Alain Trouvé () Statistics on Shape Spaces 9 / 42 Normal coordinates for statistical analysis Reduction via momentum map I v = Kj(m; p) (Horizontal lift) I Maximum Pontryagin Principle Hr (m; p) = max H(m; p; v) v I Hamiltonian evolution: m_ = @Hr @p _ @Hr p = − @q Alain Trouvé () Statistics on Shape Spaces 10 / 42 Normal coordinates for statistical analysis Reduction and statistical power I A geodesic on M comes from a geodesic on G but its initial velocities v0 or its momentum Lv0 belongs to a subspace V ∗ = j(m ; T ∗ M) ⊂ V ∗ 0 0 m0 So, geodesic optimization ) dimensionality reduction ) better statistical power. Alain Trouvé () Statistics on Shape Spaces 11 / 42 Normal coordinates for statistical analysis d I Curve example: γ0 :[0; 1] ! R a continuous curve. Then p0 is a d d ∗ vectorial measure Mf ([0; 1]; R ) = C([0; 1]; R ) and Z 1 v0(x) = K (x; γ0(s))dp0(s) K (x; y) 2 Md (R) kernel 0 I Moreover, if the geodesic comes from a smooth inexact matching problem e.g. Z 2 g(γ1) = jγobs − γ1(s)j ds @g d then p1 + @γ (γ1) = 0 and p1 2 C([0; 1]; R ). Same is true for p0 I For images, if the template is smooth and the data attachment term is R 2 smooth e.g. g(I1) = jIobs − I1j (x)dx then Z v0(x) = K (x; y)p0(y)rI0(y)dy Lv0 = p0rI0 distribution of vector fields normal to the level set of I0. Alain Trouvé () Statistics on Shape Spaces 12 / 42 Means and Atlases Outline Building a differentiable and riemannian setting on shape spaces Normal coordinates for statistical analysis Means and Atlases Currents and Manifold Representation Statistics and statistical models Challenges Alain Trouvé () Statistics on Shape Spaces 13 / 42 Means and Atlases Karcher means For a data set fmi g 1 ≤ i ≤ n the Karcher mean is the point m0 minimizing n : X 2 V (m0) = dM (m0; m1) i=1 I Existence and uniqueness for finite dimensional M and fmi g sufficiently closed or under negative curvature condition. Situation unclear for dimM = 1. Alain Trouvé () Statistics on Shape Spaces 14 / 42 Means and Atlases I Usually observations are yi belongs to an observation space Y different from M. Need the introduction of a data attachment term. n n X 2 X minimize dM (m0; m1) + λ r(mi ; yi ) m0;m1;··· ;mn i=1 i=1 or equivalently (lift on the group G) n X 2 X minimize dG(Id; φi ) + λ r(φi :mi ; yi ) m0,φ1;··· ,φn i=1 i=1 Alain Trouvé () Statistics on Shape Spaces 15 / 42 Means and Atlases Hypertemplate setting n X 2 X minimize dG(Id; φi ) + λ r(φi :mi ; yi ) m0,φ1;··· ,φn i=1 i=1 I Variational problem: if r is smooth enough we have existence of a ^ ^ solution φi ; ··· ; φn for m0 fixed: n pairwise matching problems. I If m0 is let free, existence issues if dim(M) = +1. I Introduce an hypertemplate mh and look for m0 = :mh solution of n 2 X 2 X minimize dG(Id; ) + dG(Id; φi ) + λ r(φi ◦ :mh; yi ) ,φ1;··· ,φn i=1 i=1 ^ ^ m^ 0 = :mh, m^1 = φi :m^0 Actually used to build atlases in medical imaging Alain Trouvé () Statistics on Shape Spaces 16 / 42 Means and Atlases Atlas learning through hypertemplate Figure: 3D hippocampuses data.- Ma, Miller, T., Younes Neuroimage’08 Alain Trouvé () Statistics on Shape Spaces 17 / 42 Currents and Manifold Representation Outline Building a differentiable and riemannian setting on shape spaces Normal coordinates for statistical analysis Means and Atlases Currents and Manifold Representation Statistics and statistical models Challenges Alain Trouvé () Statistics on Shape Spaces 18 / 42 Currents and Manifold Representation Why using currents ? I Challenging problem for submanifold data : I if X is a submanifold, it does not depend as a manifold on any particular parametrization (up to smooth chart changes) I Noisy observation of manifolds may not be a smooth manifold or a manifold at all ! Alain Trouvé () Statistics on Shape Spaces 19 / 42 Currents and Manifold Representation What is a current ? I Goes back to De Rham. Introduced in this setting by Glaunes and Vaillant. I Currents integrate differential forms Z p d ! 2 Ω0(R ) ! CX (!) = ! 2 R | {z } X cont. p-form On a chart γ : U ! X ⊂ Rd Z : Z @γ @γ ! = !γ(s)( ^ · · · ^ )ds γ(U) U @s1 @sp but the expression in independent of a smooth positively oriented reparametrization of the coordinate space : U ! U @γ ◦ @γ ◦ @γ @γ ^ · · · ^ = Jac( )( ^ · · · ^ ) ◦ @s1 @sp @s1 @sp p d ∗ I X can be seen as an element of (Ω0(R )) . Depends on the orientation of X (X is an orientable manifold). Alain Trouvé () Statistics on Shape Spaces 20 / 42 Currents and Manifold Representation RKHS norms on currents p d I Idea: if W is a RKHS on the space on p-forms and W ,! Ω0(R ) then p d ∗ ∗ p d Ω0(R ) ,! W (W dense subset of Ω0(R )). We get an hilbertian structure on currents (dual norm). d d p d p d ∗ I A kernel for p-forms is given as K : R × R ! (Λ R ⊗ Λ R ) and if X; Y are two orientable sub-manifolds : Z hCX ; XY iW ∗ = K X×Y Alain Trouvé () Statistics on Shape Spaces 21 / 42 Currents and Manifold Representation Punctual currents and approximations p d d ∗ I ξ 2 Λ R , x 2 R define a punctual current ξ ⊗ δx 2 W such that (ξ ⊗ δx j!) = !x (ξ) d I Discretization : line γ :[0; 1] ! R n X Cγ ' (γ(si+1 − si )) ⊗ δ(γ(si )+γ(si+1)=2 i=1 I Triangulated surface : T (a; b; c) ! ξ ⊗ δx with x = (a + b + c)=3 and ξ = ab~ ^ ac~ . I Make sense for arbitrary dimensions p and d.