Shape analysis on Lie groups and Homogeneous Manifolds with applications in computer animation
|
|
- Horatio Wheeler
- 6 years ago
- Views:
Transcription
1 Shape analysis on Lie groups and Homogeneous Manifolds with applications in computer animation Department of Mathematical Sciences, NTNU, Trondheim, Norway joint work with Markus Eslitzbichler and Alexander Schmeding Geometric Numerical Integration Oberwolfach, March 21st 2016
2 Outline Analysis of shapes in vector spaces. Character animation and skeletal animation. Analysis of shapes on Lie groups. Applications in: curve blending, projection from open curves to closed curves, and distances between curves. Examples in computer animation.
3 Analysis of shapes Shapes are unparametrized curves in a vector space or on a manifold.
4 Analysis of shapes Shapes are unparametrized curves in a vector space or on a manifold. Example: object recognition, objects can be represented by their contours, i.e. closed planar curves.
5 Analysis of shapes Shapes are unparametrized curves in a vector space or on a manifold. Example: object recognition, objects can be represented by their contours, i.e. closed planar curves. Image recognition: a tennis player a tennis racket and a ball.
6 Shapes Shapes are unparametrized curves in a vector space or on a manifold. Definition of shapes via an equivalence relation: let I R an interval, consider P = Imm(I, M) = {c C (I, M) ċ(t) 0}, P is called pre-shape space (an infinite dimensional manifold). Let c 0, c 1 P then c 0 c 1 ϕ c 0 = c 1 ϕ with ϕ Diff + (I) a orientation preserving diffeomorphism on I
7 Shapes Shapes are unparametrized curves in a vector space or on a manifold. Definition of shapes via an equivalence relation: let I R an interval, consider P = Imm(I, M) = {c C (I, M) ċ(t) 0}, P is called pre-shape space (an infinite dimensional manifold). Let c 0, c 1 P then c 0 c 1 ϕ c 0 = c 1 ϕ with ϕ Diff + (I) a orientation preserving diffeomorphism on I shape: [c 0 ]
8 Shapes Shapes are unparametrized curves in a vector space or on a manifold. Definition of shapes via an equivalence relation: let I R an interval, consider P = Imm(I, M) = {c C (I, M) ċ(t) 0}, P is called pre-shape space (an infinite dimensional manifold). Let c 0, c 1 P then c 0 c 1 ϕ c 0 = c 1 ϕ with ϕ Diff + (I) a orientation preserving diffeomorphism on I shape: Shape space: [c 0 ] S = Imm(I, M)/
9 Reparametrization invariance of shapes Let Diff + (I) = {ϕ C (I, I) ϕ (t) > 0} be the set of smooth, orientation preserving, invertible maps. Open curves. I = [0, 1] sin(t) 0.5 phi(t) 0.5 sin(phi(t)) cos(t) t cos(phi(t)) (cos(t), sin(t)), ϕ t 3 4 t2 + t, (cos(ϕ(t)), sin(ϕ(t))) 4
10 Reparametrization invariance of shapes Let Diff + (I) = {ϕ C (I, I) ϕ (t) > 0} be the set of smooth, orientation preserving, invertible maps. Open curves. I = [0, 1] sin(t) 0.5 phi(t) 0.5 sin(phi(t)) cos(t) t cos(phi(t)) (cos(t), sin(t)), ϕ t 3 4 t2 + t, (cos(ϕ(t)), sin(ϕ(t))) 4 Closed curves. Diff + (S 1 ) = {ϕ C (S 1, S 1 ) ϕ (t) > 0} 2π 0 0 2π
11 Distance function on S Applications often require a distance function to measure similarities between shapes. Let d P be a distance function on P (on parametrized curves) then Distance on S: d S ([c 0 ], [c 1 ]) = inf d P (c 0, c 1 ϕ). ϕ Diff + (I) But we need also to check that d S is well defined, i.e. is independent on the choice of representatives c 0 for [c 0 ] and c 1 for [c 1 ].
12 Distance function on S Applications often require a distance function to measure similarities between shapes. Let d P be a distance function on P (on parametrized curves) then Distance on S: d S ([c 0 ], [c 1 ]) = inf d P (c 0, c 1 ϕ). ϕ Diff + (I) But we need also to check that d S is well defined, i.e. is independent on the choice of representatives c 0 for [c 0 ] and c 1 for [c 1 ]. Computational methods for d S : gradient flows dynamic programming
13 Distance on P d P (c 0, c 1 ) it is usually obtained by defining a Riemannian metric on the infinite dimensional manifold P of parametrized curves: G c T c P T c P R and taking the length of the geodesic α between c 0 P and c 1 P wrt G c, i.e. d P (c 0, c 1 ) = length(α(c 0, c 1 )) α(c 0, c 1 ) is the shortest path between c 0 and c 1 wrt G c We will proceed differently and use the SRV transform R P C, with C a vector space where we can (and will) use the L 2 metric.
14 Virtual characters and skeletal animation Virtual character: a closed surface in R 3 (triangle mesh). Motions of characters via skeletal animation approach. Skeleton consisting of bones connected by joints.
15 Virtual characters and skeletal animation Virtual character: a closed surface in R 3 (triangle mesh). Motions of characters via skeletal animation approach. Skeleton consisting of bones connected by joints.
16 Virtual characters and skeletal animation Virtual character: a closed surface in R 3 (triangle mesh). Motions of characters via skeletal animation approach. Skeleton consisting of bones connected by joints. The coordinates of the vertices of the triangle mesh are specified in a coordinate system aligned with the bone. In the animation the movement of the vertices is determined by the bones.
17 Character animation and skeletal animation Skeleton: rooted tree made of bones and joints. Configuration space J = SE(3) n or J = SO(3) n (for human caracters). Character s pose specified by assigning values to the degrees of freedom. Animation: α [a, b] J, a curve on J, [a, b] interval of time. Motion capturing (recording curves on J ). right fingers right wrist right thumb Motion manipulation consider entire animations as shapes belonging to S. Figure: Skeleton: each node corresponds to a Q(t) SO(3) right hand right radius right humerus left toes left foot left tibia rright clavicle left femur left hipjoint head upperneck lowerneck thorax upperback lowerback root right hipjoint left clavicle right femur left humerus right tibia right foot right toes left radius left thumb left wrist left hand left fingers
18 Motion capturing Generating the data: α [a, b] J, a curve on J = SO(3) n motion capturing with and without markers
19 Shape analysis on Lie groups: spaces and metrics P = Imm(I, G) smooth functions with first derivative 0 S = Imm(I, G)/Diff + (I) shape space
20 Shape analysis on Lie groups: spaces and metrics P = Imm(I, G) smooth functions with first derivative 0 S = Imm(I, G)/Diff + (I) shape space Plan: we aim to obtain a distance function on S by d S ([c 0 ], [c 1 ]) = with d P a distance on P. inf d P (c 0, c 1 ϕ) (1) ϕ Diff + (I)
21 Shape analysis on Lie groups: spaces and metrics P = Imm(I, G) smooth functions with first derivative 0 S = Imm(I, G)/Diff + (I) shape space Plan: we aim to obtain a distance function on S by d S ([c 0 ], [c 1 ]) = with d P a distance on P. inf d P (c 0, c 1 ϕ) (1) ϕ Diff + (I) Definition. We say d P is a reparametrization invariant distance function on P iff d P (c 0, c 1 ) = d P (c 0 ϕ, c 1 ϕ) ϕ Diff + (I). (2) Proposition If d P is a reparametrization invariant distance function on P then d S ([c 0 ], [c 1 ]) as defined in (1) is independent of the choice of representatives of [c 0 ] and [c 1 ].
22 Tools to work with curves on G C (I, G) is an infinite dimensional Lie group, C (I, g) infinite dimensional Lie algebra
23 Tools to work with curves on G C (I, G) is an infinite dimensional Lie group, C (I, g) infinite dimensional Lie algebra The evolution operator of a regular (e.g. finite dimensional) Lie group G with Lie algebra g: Evol C (I, g) C (I, G) = {c C (I, G) c(0) = e} Evol(q)(t) = c(t), where c t = R c(t) (q(t)), c(0) = e, is a diffeomorphism. Evol C (I, g) C (I, G)
24 Tools to work with curves on G C (I, G) is an infinite dimensional Lie group, C (I, g) infinite dimensional Lie algebra The evolution operator of a regular (e.g. finite dimensional) Lie group G with Lie algebra g: Evol C (I, g) C (I, G) = {c C (I, G) c(0) = e} Evol(q)(t) = c(t), where c t = R c(t) (q(t)), c(0) = e, Evol C (I, g) C (I, G) is a diffeomorphism. The inverse of the evolution operator is the so called right logarithmic derivative δ r C (I, G) C (I, g), δ r g = R 1 g (ġ). H. Glöckner, arxiv: v3, March A. Kriegl and P. W. Michor, The convenient setting of global analysis.
25 SRVT for curves on G and distance on P SRVT: square root velocity transform. Let, be a right-invariant metric on G and the induced norm on tangent spaces, R {c Imm(I, G) c(0) = e} {v C (I, g) v(t) 0} δ r c q(t) = R(c)(t) = δr c = R 1 c(t) (ċ(t)) ċ(t) with inverse R 1 {v C (I, g) v(t) 0} {c Imm(I, G) c(0) = e}, R 1 (q)(t) = Evol(q q ) = c(t).
26 SRVT for curves on G and distance on P SRVT: square root velocity transform. Let, be a right-invariant metric on G and the induced norm on tangent spaces, R {c Imm(I, G) c(0) = e} {v C (I, g) v(t) 0} δ r c q(t) = R(c)(t) = δr c = R 1 c(t) (ċ(t)) ċ(t) with inverse R 1 {v C (I, g) v(t) 0} {c Imm(I, G) c(0) = e}, R 1 (q)(t) = Evol(q q ) = c(t). Reparametrization invariant distance on P 1 d P (c 0, c 1 ) = d L 2(R(c 0 ), R(c 1 )) = ( q 0 (t) q 1 (t) 2 2 dt) I Proposition d P is reparametrization invariant. Distance on S d S ([c 0 ], [c 1 ]) = inf ( q 0 (t) q 1 (t) 2 dt) ϕ Diff + (I) I 1 2
27 Connections to the elastic metric Elastic metric on P = Imm(I, G). Using the right invariant metric, on G we can define where G T P T P R G c (h, k) = I [a 2 D s h, v D s k, v ] ds (tangential) (normal) + I [b 2 ( D s h D s h, v v 2 D s k D s k, v v 2 )] ds, here the integration is with respect to arc-length, ds = c (t) dt, and v = c (t) c (t), D sh = h(t(s)) 1 h = s c (t) t. A family of Sobolev type metrics of order one.
28 Connections to the elastic metric Assume I = [0, 1], R Imm(I, G) C (I, g) Theorem The pullback of the L 2 inner product on C (I, g) to P = Imm(I, G), by the SRV transform R is the elastic metric G c (h, h) = I D s h D s h, v v D sh, v 2 ds, and D s h = ḣ ċ, v = ċ ċ. D s denotes differentiation with respect to arc length, v is the unit tangent vector of c and ds denotes integration with respect to arc length. For computational purposes, we can transform the curves with R and then use the L 2 metric.
29 Interpolation of curves (motion blending) Motion blending on G Geodesic paths α [0, 1] P between two parametrized curves on the Lie group G: c = α(0, t), d = α(1, t) we get (visually convincing) deformations from c to d α(x, t) = R 1 ((1 x)r(c) + x R(d))(t).
30 Original curves Reparametrized No reparam. Reparametrized
31 Obstacle example (motion blending) Elastic reparam. Feature reparam. SO(3) no reparam. t SO(3) reparam.
32 Closed curves Using SRVT R, we can identify curves c P = Imm(I, G) with R(c) C (I, g) Open curves C o = R(Imm(I, G))
33 Closed curves Using SRVT R, we can identify curves c P = Imm(I, G) with R(c) C (I, g) Open curves C o = R(Imm(I, G)) = {q C (I, g) q 0}
34 Closed curves Using SRVT R, we can identify curves c P = Imm(I, G) with R(c) C (I, g) Open curves Closed curves C o = R(Imm(I, G)) = {q C (I, g) q 0} C c = R({c Imm(I, G) c(0) = c(1) = e}) C c = r 1 (e), r = ev 1 Evol sc, r C o G ev 1 is the evaluation operator evaluating a curve at t = 1, while sc is the map sc(q) = q q, and we notice that r(q) = R 1 (q)(1). Theorem C c is a submanifold of finite codimension of C (I, g)
35 Curve closing Projection from C o onto C c by means of a constrained minimization problem 1 min q C c 2 q q 0, q 0 C o Instead of minimizing the distance from closed curves to q 0 we minimize the closure constraint:
36 Curve closing Projection from C o onto C c by means of a constrained minimization problem 1 min q C c 2 q q 0, q 0 C o Instead of minimizing the distance from closed curves to q 0 we minimize the closure constraint: Measuring closedness. Consider φ C o R φ(q) = 1 2 log(r(q)) 2, r = ev 1 Evol sc and φ(q) = 0 q C c
37 Projection on the space of closed curves Theorem T q φ(f ) = grad(φ)(q), f L2 = I grad(φ)(q), f dx, The gradient vector field wrt the L 2 inner product is where grad(φ)(q) = q α(q) + α(q), α(q) = Ad T c(q) 1 AdT r(q) (log(r(q))) C (I, g) c(q) = R 1 (q) C (I, G) r(q) = R 1 (q)(1) G. q q, (3) q Projection form C o to C c : Gradient flow u τ = grad(φ)(u), u(t, 0) = q(t).
38 Discrete curves: piecewise continuous in G c based on discrete points { c i = c(θ i )} n i=0 c(t) = n 1 k=0 χ [θk,θ k+1 )(t) exp ( t θ k log( c k+1 c k 1 θ k+1 θ )) c k, (4) k where χ is the characteristic function. SRV transform: q = R( c) piecewise constant function in g: q = { q i } n 1 i=0 q i = η i ηi, η i = log( c i+1 c 1 i ), θ i+1 θ i. The inverse SRV transform: c = R 1 ( q): c i+1 = exp ( q i q i (θ i+1 θ i )) c i
39 Numerical algorithms Curve reparametrization Applying a reparametrization ϕ Diff(I) to the discrete curve c gives c with { c i } n i=0 : c i = c j exp(s log( c j+1 c 1 j )), s = ϕ(θ i) θ j θ j+1 θ j, i = 0,..., n, where j is an index such that θ j ϕ(θ i ) < θ j+1. Note that c 0 = c 0 and c n = c n Curve interpolation [0, 1] P P P with interpolation parameter s. Curve closing in SO(3) (s, c 0, c 1 ) R 1 ((1 s)r( c 0 ) + sr( c 1 )), grad(φ)(q) = q c log(c(1))c T + c log(c(1))c T, q q q, (5) c = R 1 (q) ū k+1 = ū k α k grad(φ)(ū k ), where every ū k is a discrete curve as defined above, i.e., ū k = {ūi k}n i=0.
40 Jumping example (closure of curves)
41 Handspring example (closure of curves) Original Discontinuities t Closed t
42 Curve closure: experiments Original Closed Figure: Discontinuities in the handspring animation.
43 Curve closing Original Closed t t Figure: Application of closing algorithm to a cartwheel animation.
44 References E. Celledoni, M. Eslitzbichler ans A. Scmeding, Shape analysis on Lie groups with applications in computer animation, arxiv: M. Eslitzbichler, Modelling character motions on infinite-dimensional manifolds, The Visual Computer, M. Bauer, M. Eslitzbichler, M. Grasmair, Landmark-Guided Elastic Shape Analysis of Human Character Motions, to appear, M. Bauer, M. Bruveris, S. Marsland, and P.W. Michor, Constructing reparametrization invariant metrics on spaces of plane curves, arxiv, Carnegie-Mellon. Carnegie-Mellon Mocap Database, H. Glöckner. Regularity properties of infinite-dimensional Lie groups, and semiregularity. arxiv: [math], August A. Kriegl and P. W. Michor. Regular infinite dimensional Lie groups. Journal of Lie Theory, 7:61 99, A. Srivastava, E. Klassen, S.H. Joshi, and I.H. Jermyn. Shape Analysis of Elastic Curves in Euclidean Spaces. IEEE Transactions on Pattern Analysis and Machine Intelligence, 33(7): , July Thank you for listening.
The Square Root Velocity Framework for Curves in a Homogeneous Space
The Square Root Velocity Framework for Curves in a Homogeneous Space Zhe Su 1 Eric Klassen 1 Martin Bauer 1 1 Florida State University October 8, 2017 Zhe Su (FSU) SRVF for Curves in a Homogeneous Space
More informationGeodesic shooting on shape spaces
Geodesic shooting on shape spaces Alain Trouvé CMLA, Ecole Normale Supérieure de Cachan GDR MIA Paris, November 21 2014 Outline Riemannian manifolds (finite dimensional) Spaces spaces (intrinsic metrics)
More informationarxiv: v1 [math.dg] 31 Jul 2015
arxiv:1507.08816v1 [math.dg] 31 Jul 2015 BAUER ET AL.: ELASTIC METRICS ON THE SPACE OF CURVES 1 Second order elastic metrics on the shape space of curves Martin Bauer bauer.martin@univie.ac.at Martins
More informationAn Efficient Representation for Computing Geodesics Between n-dimensional Elastic Shapes
To appear in Proceedings of IEEE Conference on Computer Vision and Pattern Recognition, 27 An Efficient Representation for Computing Geodesics Between n-dimensional Elastic Shapes Shantanu H. Joshi Department
More informationII. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES
II. DIFFERENTIABLE MANIFOLDS Washington Mio Anuj Srivastava and Xiuwen Liu (Illustrations by D. Badlyans) CENTER FOR APPLIED VISION AND IMAGING SCIENCES Florida State University WHY MANIFOLDS? Non-linearity
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationIntroduction to Algebraic and Geometric Topology Week 14
Introduction to Algebraic and Geometric Topology Week 14 Domingo Toledo University of Utah Fall 2016 Computations in coordinates I Recall smooth surface S = {f (x, y, z) =0} R 3, I rf 6= 0 on S, I Chart
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationMetrics on the space of shapes
Metrics on the space of shapes IPAM, July 4 David Mumford Division of Applied Math Brown University Collaborators Peter Michor Eitan Sharon What is the space of shapes? S = set of all smooth connected
More informationGeodesic Equivalence in sub-riemannian Geometry
03/27/14 Equivalence in sub-riemannian Geometry Supervisor: Dr.Igor Zelenko Texas A&M University, Mathematics Some Preliminaries: Riemannian Metrics Let M be a n-dimensional surface in R N Some Preliminaries:
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationRiemannian Metrics on the Space of Solid Shapes
Riemannian Metrics on the Space of Solid Shapes P. Thomas Fletcher and Ross T. Whitaker School of Computing University of Utah fletcher@sci.utah.edu, whitaker@cs.utah.edu Abstract. We present a new framework
More informationChapter 14. Basics of The Differential Geometry of Surfaces. Introduction. Parameterized Surfaces. The First... Home Page. Title Page.
Chapter 14 Basics of The Differential Geometry of Surfaces Page 649 of 681 14.1. Almost all of the material presented in this chapter is based on lectures given by Eugenio Calabi in an upper undergraduate
More informationKinematics. Chapter Multi-Body Systems
Chapter 2 Kinematics This chapter first introduces multi-body systems in conceptual terms. It then describes the concept of a Euclidean frame in the material world, following the concept of a Euclidean
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationReading. Realistic Character Animation. Modeling Realistic Motion. Two Approaches
Realistic Character Animation Reading Jessica Hodgins,,et.al,Animating Human Athletics,, SIGGRAPH 95 Zoran Popović, Changing Physics for Character Animation,, SIGGRAPH 00 2 Modeling Realistic Motion Model
More informationTHEODORE VORONOV DIFFERENTIAL GEOMETRY. Spring 2009
[under construction] 8 Parallel transport 8.1 Equation of parallel transport Consider a vector bundle E B. We would like to compare vectors belonging to fibers over different points. Recall that this was
More informationShape Analysis of Elastic Curves in Euclidean Spaces
Shape Analysis of Elastic Curves in Euclidean Spaces Anuj Srivastava, Eric Klassen, Shantanu H. Joshi, and Ian Jermyn 1 Abstract This paper introduces a square-root velocity (SRV) representation for analyzing
More informationLECTURE 16: CONJUGATE AND CUT POINTS
LECTURE 16: CONJUGATE AND CUT POINTS 1. Conjugate Points Let (M, g) be Riemannian and γ : [a, b] M a geodesic. Then by definition, exp p ((t a) γ(a)) = γ(t). We know that exp p is a diffeomorphism near
More informationOn isometries of Finsler manifolds
On isometries of Finsler manifolds International Conference on Finsler Geometry February 15-16, 2008, Indianapolis, IN, USA László Kozma (University of Debrecen, Hungary) Finsler metrics, examples isometries
More informationMetamorphoses for Pattern Matching
Metamorphoses for Pattern Matching Laurent Younes Joint work with Darryl Holm and Alain Trouvé Johns Hopkins University July 23 2007 Happy Birthday Darryl ( ) Metamorphoses for Pattern Matching July 23
More informationVariational inequalities for set-valued vector fields on Riemannian manifolds
Variational inequalities for set-valued vector fields on Riemannian manifolds Chong LI Department of Mathematics Zhejiang University Joint with Jen-Chih YAO Chong LI (Zhejiang University) VI on RM 1 /
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationShape Metrics Based on Elastic Deformations
Noname manuscript No. (will be inserted by the editor) Shape Metrics Based on Elastic Deformations Matthias Fuchs Bert Jüttler Otmar Scherzer Huaiping Yang Abstract Deformations of shapes and distances
More informationDurham Research Online
Durham Research Online Deposited in DRO: 5 April 26 Version of attached le: Accepted Version Peer-review status of attached le: Peer-reviewed Citation for published item: Srivastava, A. and Jermyn, I.H.
More informationGeodesic Shape Spaces of Surfaces of Genus Zero
Geodesic Shape Spaces of Surfaces of Genus Zero Xiuwen Liu 1, Washington Mio 2, Yonggang Shi 3, and Ivo Dinov 3 1 Department of Computer Science, Florida State University, Tallahassee, FL 32306 2 Department
More informationDiscriminative Direction for Kernel Classifiers
Discriminative Direction for Kernel Classifiers Polina Golland Artificial Intelligence Lab Massachusetts Institute of Technology Cambridge, MA 02139 polina@ai.mit.edu Abstract In many scientific and engineering
More informationDistance to curves and surfaces in the Heisenberg group
Distance to curves and surfaces in the Heisenberg group Università di Bologna 3 giugno 2012 Survey based on... Fausto Ferrari, N.A. Metric normal and distance function in the Heisenberg group, Math.Z.
More informationDifferential Geometry Exercises
Differential Geometry Exercises Isaac Chavel Spring 2006 Jordan curve theorem We think of a regular C 2 simply closed path in the plane as a C 2 imbedding of the circle ω : S 1 R 2. Theorem. Given the
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationPreconditioned space-time boundary element methods for the heat equation
W I S S E N T E C H N I K L E I D E N S C H A F T Preconditioned space-time boundary element methods for the heat equation S. Dohr and O. Steinbach Institut für Numerische Mathematik Space-Time Methods
More informationAffine invariant Fourier descriptors
Affine invariant Fourier descriptors Sought: a generalization of the previously introduced similarityinvariant Fourier descriptors H. Burkhardt, Institut für Informatik, Universität Freiburg ME-II, Kap.
More informationANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 1,June 00, Pages 11 15 ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS YUNHI CHO AND HYUK KIM Abstract We can extend the
More informationSmooth Dynamics 2. Problem Set Nr. 1. Instructor: Submitted by: Prof. Wilkinson Clark Butler. University of Chicago Winter 2013
Smooth Dynamics 2 Problem Set Nr. 1 University of Chicago Winter 2013 Instructor: Submitted by: Prof. Wilkinson Clark Butler Problem 1 Let M be a Riemannian manifold with metric, and Levi-Civita connection.
More informationAFFINE IMAGES OF RIEMANNIAN MANIFOLDS
AFFINE IMAGES OF RIEMANNIAN MANIFOLDS ALEXANDER LYTCHAK Abstract. We describe all affine maps from a Riemannian manifold to a metric space and all possible image spaces. 1. Introduction A map f : X Y between
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics (Pure and Applied) Rhodes University,
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationThe Karcher Mean of Points on SO n
The Karcher Mean of Points on SO n Knut Hüper joint work with Jonathan Manton (Univ. Melbourne) Knut.Hueper@nicta.com.au National ICT Australia Ltd. CESAME LLN, 15/7/04 p.1/25 Contents Introduction CESAME
More informationLoos Symmetric Cones. Jimmie Lawson Louisiana State University. July, 2018
Louisiana State University July, 2018 Dedication I would like to dedicate this talk to Joachim Hilgert, whose 60th birthday we celebrate at this conference and with whom I researched and wrote a big blue
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationVectors. January 13, 2013
Vectors January 13, 2013 The simplest tensors are scalars, which are the measurable quantities of a theory, left invariant by symmetry transformations. By far the most common non-scalars are the vectors,
More informationA sampling theory for compact sets
ENS Lyon January 2010 A sampling theory for compact sets F. Chazal Geometrica Group INRIA Saclay To download these slides: http://geometrica.saclay.inria.fr/team/fred.chazal/teaching/distancefunctions.pdf
More informationStudy guide for Exam 1. by William H. Meeks III October 26, 2012
Study guide for Exam 1. by William H. Meeks III October 2, 2012 1 Basics. First we cover the basic definitions and then we go over related problems. Note that the material for the actual midterm may include
More informationA LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS
A LOWER BOUND ON THE SUBRIEMANNIAN DISTANCE FOR HÖLDER DISTRIBUTIONS SLOBODAN N. SIMIĆ Abstract. Whereas subriemannian geometry usually deals with smooth horizontal distributions, partially hyperbolic
More informationarxiv: v3 [math.dg] 16 Oct 2016
A Numerical Framework for Sobolev Metrics on the Space of Curves Martin Bauer, Martins Bruveris, Philipp Harms, and Jakob Møller-Andersen arxiv:1603.03480v3 [math.dg] 16 Oct 2016 Abstract. Statistical
More informationMSMS Basilio Bona DAUIN PoliTo
MSMS 214-215 Basilio Bona DAUIN PoliTo Problem 2 The planar system illustrated in Figure 1 consists of a bar B and a wheel W moving (no friction, no sliding) along the bar; the bar can rotate around an
More informationSome aspects of the Geodesic flow
Some aspects of the Geodesic flow Pablo C. Abstract This is a presentation for Yael s course on Symplectic Geometry. We discuss here the context in which the geodesic flow can be understood using techniques
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2-orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Path-lifting, covering homotopy Locally smooth actions Smooth actions
More informationOptimisation on Manifolds
Optimisation on Manifolds K. Hüper MPI Tübingen & Univ. Würzburg K. Hüper (MPI Tübingen & Univ. Würzburg) Applications in Computer Vision Grenoble 18/9/08 1 / 29 Contents 2 Examples Essential matrix estimation
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More informationTrajectory-tracking control of a planar 3-RRR parallel manipulator
Trajectory-tracking control of a planar 3-RRR parallel manipulator Chaman Nasa and Sandipan Bandyopadhyay Department of Engineering Design Indian Institute of Technology Madras Chennai, India Abstract
More informationCS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation
CS 468 Differential Geometry for Computer Science Lecture 17 Surface Deformation Outline Fundamental theorem of surface geometry. Some terminology: embeddings, isometries, deformations. Curvature flows
More informationIntroduction to Teichmüller Spaces
Introduction to Teichmüller Spaces Jing Tao Notes by Serena Yuan 1. Riemann Surfaces Definition 1.1. A conformal structure is an atlas on a manifold such that the differentials of the transition maps lie
More informationSub-Riemannian geometry in groups of diffeomorphisms and shape spaces
Sub-Riemannian geometry in groups of diffeomorphisms and shape spaces Sylvain Arguillère, Emmanuel Trélat (Paris 6), Alain Trouvé (ENS Cachan), Laurent May 2013 Plan 1 Sub-Riemannian geometry 2 Right-invariant
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationUniqueness of the Fisher Rao metric on the space of smooth densities
Uniqueness of the Fisher Rao metric on the space of smooth densities Peter W. ichor University of Vienna, Austria www.mat.univie.ac.at/ michor CES-Seminar April 6, 2018, Brno Devoted to the memory of Thomas
More informationReview of Lagrangian Mechanics and Reduction
Review of Lagrangian Mechanics and Reduction Joel W. Burdick and Patricio Vela California Institute of Technology Mechanical Engineering, BioEngineering Pasadena, CA 91125, USA Verona Short Course, August
More informationInformation geometry for bivariate distribution control
Information geometry for bivariate distribution control C.T.J.Dodson + Hong Wang Mathematics + Control Systems Centre, University of Manchester Institute of Science and Technology Optimal control of stochastic
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationNon-linear Dimensionality Reduction
Non-linear Dimensionality Reduction CE-725: Statistical Pattern Recognition Sharif University of Technology Spring 2013 Soleymani Outline Introduction Laplacian Eigenmaps Locally Linear Embedding (LLE)
More informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
More informationInextensible Flows of Curves in Lie Groups
CJMS. 113, 3-3 Caspian Journal of Mathematical Sciences CJMS University of Mazandaran, Iran http://cjms.journals.umz.ac.ir ISSN: 1735-611 Inextensible Flows of Curves in Lie Groups Gökmen Yıldız a and
More informationWelcome to Copenhagen!
Welcome to Copenhagen! Schedule: Monday Tuesday Wednesday Thursday Friday 8 Registration and welcome 9 Crash course on Crash course on Introduction to Differential and Differential and Information Geometry
More informationDistances, volumes, and integration
Distances, volumes, and integration Scribe: Aric Bartle 1 Local Shape of a Surface A question that we may ask ourselves is what significance does the second fundamental form play in the geometric characteristics
More informationOptimal Polynomial Admissible Meshes on the Closure of C 1,1 Bounded Domains
Optimal Polynomial Admissible Meshes on the Closure of C 1,1 Bounded Domains Constructive Theory of Functions Sozopol, June 9-15, 2013 F. Piazzon, joint work with M. Vianello Department of Mathematics.
More informationarxiv:math/ v1 [math.dg] 23 Dec 2001
arxiv:math/0112260v1 [math.dg] 23 Dec 2001 VOLUME PRESERVING EMBEDDINGS OF OPEN SUBSETS OF Ê n INTO MANIFOLDS FELIX SCHLENK Abstract. We consider a connected smooth n-dimensional manifold M endowed with
More informationA motion planner for nonholonomic mobile robots
A motion planner for nonholonomic mobile robots Miguel Vargas Material taken form: J. P. Laumond, P. E. Jacobs, M. Taix, R. M. Murray. A motion planner for nonholonomic mobile robots. IEEE Transactions
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
More informationA Riemannian Framework for Denoising Diffusion Tensor Images
A Riemannian Framework for Denoising Diffusion Tensor Images Manasi Datar No Institute Given Abstract. Diffusion Tensor Imaging (DTI) is a relatively new imaging modality that has been extensively used
More informationGeodesics on Shape Spaces with Bounded Variation and Sobolev Metrics
Geodesics on Shape Spaces with Bounded Variation and Sobolev Metrics arxiv:142.654v6 [math.oc] 26 Dec 214 Giacomo Nardi, Gabriel Peyré, François-Xavier Vialard Ceremade, Université Paris-Dauphine Abstract
More informationA simplicial gauge theory on spacetime
A simplicial gauge theory on spacetime Tore G. Halvorsen, NTNU, Trondheim Norway. Joint work with Snorre H. Christiansen, UiO. 1 Abstract In this talk I will introduce the variational form of the SU(N)
More informationIsodiametric problem in Carnot groups
Conference Geometric Measure Theory Université Paris Diderot, 12th-14th September 2012 Isodiametric inequality in R n Isodiametric inequality: where ω n = L n (B(0, 1)). L n (A) 2 n ω n (diam A) n Isodiametric
More informationSPHERES IN THE CURVE COMPLEX
SPHERES IN THE CURVE COMPLEX SPENCER DOWDALL, MOON DUCHIN, AND HOWARD MASUR 1. Introduction The curve graph (or curve complex) C(S) associated to a surface S of finite type is a locally infinite combinatorial
More informationL19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationIsometries ( ) Dr. Emanuele Rodolà Matthias Vestner Room , Informatik IX
Isometries (22.05.2014) Dr. Emanuele Rodolà Matthias Vestner {rodola,vestner}@in.tum.de Room 02.09.058, Informatik IX Seminar «The metric approach to shape matching» Alfonso Ros Wednesday, May 28th 14:00
More informationOn the exponential map on Riemannian polyhedra by Monica Alice Aprodu. Abstract
Bull. Math. Soc. Sci. Math. Roumanie Tome 60 (108) No. 3, 2017, 233 238 On the exponential map on Riemannian polyhedra by Monica Alice Aprodu Abstract We prove that Riemannian polyhedra admit explicit
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationIntroduction to Differential Geometry
More about Introduction to Differential Geometry Lecture 7 of 10: Dominic Joyce, Oxford University October 2018 EPSRC CDT in Partial Differential Equations foundation module. These slides available at
More informationYou Are How You Walk: Gait Recognition from Motion Capture Data
You Are How You Walk: Gait Recognition from Motion Capture Data Michal Balazia Faculty of Informatics, Masaryk University, Brno, Czech Republic https://gait.fi.muni.cz Michal Balazia FI MU) Gait Recognition
More information13 Path Planning Cubic Path P 2 P 1. θ 2
13 Path Planning Path planning includes three tasks: 1 Defining a geometric curve for the end-effector between two points. 2 Defining a rotational motion between two orientations. 3 Defining a time function
More informationGEOMETRY OF THE FISHER RAO METRIC ON THE SPACE OF SMOOTH DENSITIES ON A COMPACT MANIFOLD
GEOMETRY OF THE FISHER RAO METRIC ON THE SPACE OF SMOOTH DENSITIES ON A COMPACT MANIFOLD MARTINS BRUVERIS, PETER W. MICHOR Abstract. It is known that on a closed manifold of dimension greater than one,
More informationSTATISTICAL ANALYSIS OF SHAPES OF 2D CURVES, 3D CURVES & FACIAL SURFACES. Anuj Srivastava
STATISTICAL ANALYSIS OF SHAPES OF D CURVES, 3D CURVES & FACIAL SURFACES Anuj Srivastava Department of Statistics Florida State University This research supported in part by ARO and NSF. Presented at IMA
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationImpulsive Control of Lagrangian Systems and Locomotion in Fluids. Alberto Bressan
Manuscript submitted to AIMS journals Volume X, Number X, XX 2X Website http://aimsciences.org pp. X XX Impulsive Control of Lagrangian Systems and Locomotion in Fluids Alberto Bressan Department of Mathematics
More informationMinimizing properties of geodesics and convex neighborhoods
Minimizing properties of geodesics and convex neighorhoods Seminar Riemannian Geometry Summer Semester 2015 Prof. Dr. Anna Wienhard, Dr. Gye-Seon Lee Hyukjin Bang July 10, 2015 1. Normal spheres In the
More informationChordal cubic spline interpolation is fourth order accurate
Chordal cubic spline interpolation is fourth order accurate Michael S. Floater Abstract: It is well known that complete cubic spline interpolation of functions with four continuous derivatives is fourth
More informationFrom the Heisenberg group to Carnot groups
From the Heisenberg group to Carnot groups p. 1/47 From the Heisenberg group to Carnot groups Irina Markina, University of Bergen, Norway Summer school Analysis - with Applications to Mathematical Physics
More informationIndex theory on manifolds with corners: Generalized Gauss-Bonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Paul Loya Index theory on singular manifolds I
More informationA CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS
Journal of Mathematical Sciences: Advances and Applications Volume 46, 017, Pages 1-15 Available at http://scientificadvances.co.in DOI: http://dx.doi.org/10.1864/jmsaa_71001188 A CHARACTERIATION OF WARPED
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationLECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES
LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES 1. Proper actions Suppose G acts on M smoothly, and m M. Then the orbit of G through m is G m = {g m g G}. If m, m lies in the same orbit, i.e. m = g m for
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationOn the existence of isoperimetric extremals of rotation and the fundamental equations of rotary diffeomorphisms
XV II th International Conference of Geometry, Integrability and Quantization Sveti Konstantin i Elena 2016 On the existence of isoperimetric extremals of rotation and the fundamental equations of rotary
More informationG-code and PH curves in CNC Manufacturing
G-code and PH curves in CNC Manufacturing Zbyněk Šír Institute of Applied Geometry, JKU Linz The research was supported through grant P17387-N12 of the Austrian Science Fund (FWF). Talk overview Motivation
More informationA Variational Model for Data Fitting on Manifolds by Minimizing the Acceleration of a Bézier Curve
A Variational Model for Data Fitting on Manifolds by Minimizing the Acceleration of a Bézier Curve Ronny Bergmann a Technische Universität Chemnitz Kolloquium, Department Mathematik, FAU Erlangen-Nürnberg,
More informationAn Introduction to the Stolz-Teichner Program
Intro to STP 1/ 48 Field An Introduction to the Stolz-Teichner Program Australian National University October 20, 2012 Outline of Talk Field Smooth and Intro to STP 2/ 48 Field Field Motivating Principles
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More information