Invariant Histograms and Signatures for Object Recognition and Symmetry Detection

Save this PDF as:
 WORD  PNG  TXT  JPG

Size: px
Start display at page:

Download "Invariant Histograms and Signatures for Object Recognition and Symmetry Detection"

Transcription

1 Invariant Histograms and Signatures for Object Recognition and Symmetry Detection Peter J. Olver University of Minnesota olver North Carolina, October, 2011

2 References Boutin, M., & Kemper, G., On reconstructing n-point configurations from the distribution of distances or areas, Adv. Appl. Math. 32 (2004) Brinkman, D., & Olver, P.J., Invariant histograms, Amer. Math. Monthly 118 (2011) Calabi, E., Olver, P.J., Shakiban, C., Tannenbaum, A., & Haker, S., Differential and numerically invariant signature curves applied to object recognition, Int. J. Computer Vision 26 (1998)

3 The Distance Histogram Definition. The distance histogram of a finite set of points P = {z 1,..., z n } V is the function η P (r) = # { (i, j) 1 i < j n, d(zi, z j ) = r }.

4 The Distance Set The support of the histogram function, supp η P = P R + is the distance set of P. Erdös distinct distances conjecture (1946): If P R m, then # P c m,ε (# P ) 2/m ε

5 Characterization of Point Sets Note: If P = g P is obtained from P R m by a rigid motion g E(n), then they have the same distance histogram: η P = η P. Question: Can one uniquely characterize, up to rigid motion, a set of points P {z 1,..., z n } R m by its distance histogram? = Tinkertoy problem.

6 Yes: η = 1, 1, 1, 1, 2, 2.

7 No: Kite Trapezoid η = 2, 2, 2, 10, 10, 4.

8 No: P = {0, 1, 4, 10, 12, 17} Q = {0, 1, 8, 11, 13, 17} R η = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 16, 17 = G. Bloom, J. Comb. Theory, Ser. A 22 (1977)

9 Theorem. (Boutin Kemper) Suppose n 3 or n m + 2. Then there is a Zariski dense open subset in the space of n point configurations in R m that are uniquely characterized, up to rigid motion, by their distance histograms. = M. Boutin, G. Kemper, Adv. Appl. Math. 32 (2004)

10 Limiting Curve Histogram

11 Limiting Curve Histogram

12 Limiting Curve Histogram

13 Sample Point Histograms Cumulative distance histogram: n = #P : Λ P (r) = 1 n + 2 n 2 s r η P (s) = 1 n 2 # { (i, j) d(zi, z j ) r }, Note η(r) = 1 2 n2 [ Λ P (r) Λ P (r δ) ] δ 1. Local distance histogram: λ P (r, z) = 1 n # { j d(z, zj ) r } = 1 n #(P B r (z)) Ball of radius r centered at z: B r (z) = { v V d(v, z) r } Note: Λ P (r) = 1 n z P λ P (r, z) = 1 n 2 z P #(P B r (z)).

14 Limiting Curve Histogram Functions Length of a curve l(c) = Local curve distance histogram function C ds < h C (r, z) = l(c B r (z)) l(c) z V = The fraction of the curve contained in the ball of radius r centered at z. Global curve distance histogram function: H C (r) = 1 l(c) h C (r, z(s)) ds. C

15 Convergence Theorem. Let C be a regular plane curve. Then, for both uniformly spaced and randomly chosen sample points P C, the cumulative local and global histograms converge to their continuous counterparts: λ P (r, z) h C (r, z), Λ P (r) H C (r), as the number of sample points goes to infinity.

16 Square Curve Histogram with Bounds

17 Kite and Trapezoid Curve Histograms

18 Histogram Based Shape Recognition 500 sample points Shape (a) (b) (c) (d) (e) (f) (a) triangle (b) square (c) circle (d) 2 3 rectangle (e) 1 3 rectangle (f) star

19 Curve Histogram Conjecture Two sufficiently regular plane curves C and C have identical global distance histogram functions, so H C (r) = H C(r) for all r 0, if and only if they are rigidly equivalent: C C.

20 Proof Strategies Show that any polygon obtained from (densely) discretizing a curve does not lie in the Boutin Kemper exceptional set. Polygons with obtuse angles: taking r small, one can recover (i) the set of angles and (ii) the shortest side length from H C (r). Further increasing r leads to further geometric information about the polygon... Expand H C (r) in a Taylor series at r = 0 and show that the corresponding integral invariants characterize the curve.

21 Taylor Expansions Local distance histogram function: L h C (r, z) = 2r κ2 r 3 + ( 1 40 κκ ss κ2 s κ4 ) r 5 +. Global distance histogram function: H C (r) = 2r L + r3 12L 2 C κ2 ds + r5 40L 2 C ( 3 8 κ4 1 9 κ2 s ) ds +.

22 Space Curves Saddle curve: z(t) = (cos t, sin t, cos 2t), 0 t 2π. Convergence of global curve distance histogram function:

23 Surfaces Local and global surface distance histogram functions: h S (r, z) = area (S B r (z)) area (S) Convergence for sphere:, H S (r) = 1 area (S) S h S (r, z) ds.

24 Area Histograms Rewrite global curve distance histogram function: H C (r) = 1 L h C (r, z(s)) ds = 1 C L 2 χ r (d(z(s), C C z(s )) ds ds { 1, t r, where χ r (t) = 0, t > r, Global curve area histogram function A C (r) = 1 L 3 χ r (area (z(ŝ), C C C z(ŝ ), z(ŝ )) dŝ dŝ dŝ, dŝ equi-affine arc length element L = Discrete cumulative area histogram 1 A P (r) = n(n 1)(n 2) z z z P χ r (area (z, z, z )), Boutin & Kemper: the area histogram uniquely determines generic point sets P R 2 up to equi-affine motion C dŝ

25 Area Histogram for Circle Joint invariant histograms convergence???

26 Triangle Distance Histograms Z = (... z i...) M sample points on a subset M R n (curve, surface, etc.) T i,j,k triangle with vertices z i, z j, z k. Side lengths: σ(t i,j,k ) = ( d(z i, z j ), d(z i, z k ), d(z j, z k ) ) Discrete triangle histogram: Triangle inequality cone S = σ(t ) K K = { (x, y, z) x, y, z 0, x + y z, x + z y, y + z x } R 3.

27 Triangle Histogram Distributions Circle Triangle Square = Madeleine Kotzagiannidis

28 Practical Object Recognition Scale-invariant feature transform (SIFT) (Lowe) Shape contexts (Belongie Malik Puzicha) Integral invariants (Krim, Kogan, Yezzi, Pottman,... ) Shape distributions (Osada Funkhouser Chazelle Dobkin) Surfaces: distances, angles, areas, volumes, etc. Gromov Hausdorff and Gromov-Wasserstein distances (Mémoli) = lower bounds

29 Signature Curves Definition. The signature curve S R 2 of a curve C R 2 is parametrized by the two lowest order differential invariants S = { ( κ, dκ ds ) } R 2 = One can recover the signature curve from the Taylor expansion of the local distance histogram function.

30 Other Signatures Euclidean space curves: C R 3 S = { ( κ, κ s, τ ) } R 3 Euclidean surfaces: S R 3 (generic) S = { ( H, K, H,1, H,2, K,1, K,2 ) } κ curvature, τ torsion R 3 H mean curvature, K Gauss curvature Equi affine surfaces: S R 3 (generic) S = { ( P, P,1, P,2, P,11 ) } R 3 P Pick invariant

31 Equivalence and Signature Curves Theorem. Two regular curves C and C are equivalent: C = g C if and only if their signature curves are identical: S = S = object recognition

32 Symmetry and Signature Theorem. The dimension of the symmetry group G N = { g g N N } of a nonsingular submanifold N M equals the codimension of its signature: dim G N = dim N dim S

33 Discrete Symmetries Definition. The index of a submanifold N equals the number of points in N which map to a generic point of its signature: ι N = min { # Σ 1 {w} } w S = Self intersections Theorem. The cardinality of the symmetry group of a submanifold N equals its index ι N. = Approximate symmetries

34 The Index Σ N S

35 = Steve Haker

36

37

38 Signature Metrics Hausdorff Monge Kantorovich transport Electrostatic repulsion Latent semantic analysis (Shakiban) Histograms (Kemper Boutin) Diffusion metric Gromov Hausdorff

39 Signatures κ s Classical Signature κ s Original curve κ Differential invariant signature

40 Signatures κ s Classical Signature κ s Original curve κ Differential invariant signature

41 Occlusions κ s Classical Signature κ s Original curve κ Differential invariant signature

42 The Baffler Jigsaw Puzzle

43 The Baffler Solved = Dan Hoff

44 Advantages of the Signature Curve Purely local no ambiguities Symmetries and approximate symmetries Extends to surfaces and higher dimensional submanifolds Occlusions and reconstruction Main disadvantage: Noise sensitivity due to dependence on high order derivatives.

45 Noise Reduction Use lower order invariants to construct a signature: joint invariants joint differential invariants integral invariants topological invariants...

46 Joint Invariants A joint invariant is an invariant of the k-fold Cartesian product action of G on M M: I(g z 1,..., g z k ) = I(z 1,..., z k ) A joint differential invariant or semi-differential invariant is an invariant depending on the derivatives at several points z 1,..., z k N on the submanifold: I(g z (n) 1,..., g z (n) k ) = I(z(n) 1,..., z (n) k )

47 Joint Euclidean Invariants Theorem. Every joint Euclidean invariant is a function of the interpoint distances d(z i, z j ) = z i z j z j z i

48 Joint Equi Affine Invariants Theorem. Every planar joint equi affine invariant is a function of the triangular areas [ i j k ] = 1 2 (z i z j ) (z i z k ) z j z i z k

49 Joint Projective Invariants Theorem. Every joint projective invariant is a function of the planar cross-ratios [ z i, z j, z k, z l, z m ] = A B C D A D C B

50 Three point projective joint differential invariant tangent triangle ratio: [ ] [ ] [ ] [ ] [ ] [ ] z 0 z 1 z 0 z 1 z 2 z 2

51 Joint Invariant Signatures If the invariants depend on k points on a p-dimensional submanifold, then you need at least l > k p distinct invariants I 1,..., I l in order to construct a syzygy. Typically, the number of joint invariants is l = k m r = (#points) (dim M) dim G Therefore, a purely joint invariant signature requires at least r k m p + 1 points on our p-dimensional submanifold N M.

52 Joint Euclidean Signature z 0 a z 1 b e c d z 3 f z 2

53 Joint signature map: Σ : C 4 S R 6 a = z 0 z 1 b = z 0 z 2 c = z 0 z 3 d = z 1 z 2 e = z 1 z 3 f = z 2 z 3 = six functions of four variables Syzygies: Φ 1 (a, b, c, d, e, f) = 0 Φ 2 (a, b, c, d, e, f) = 0 Universal Cayley Menger syzygy C R 2 det 2a 2 a 2 + b 2 d 2 a 2 + c 2 e 2 a 2 + b 2 d 2 2b 2 b 2 + c 2 f 2 a 2 + c 2 e 2 b 2 + c 2 f 2 2c 2 = 0

54 Joint Equi Affine Signature Requires 7 triangular areas: [ ], [ ], [ ], [ ], [ ], [ ], [ ] z 1 z 2 z 0 z 5 z 3 z 4

55 Joint Invariant Signatures The joint invariant signature subsumes other signatures, but resides in a higher dimensional space and contains a lot of redundant information. Identification of landmarks can significantly reduce the redundancies (Boutin) It includes the differential invariant signature and semidifferential invariant signatures as its coalescent boundaries. Invariant numerical approximations to differential invariants and semi-differential invariants are constructed (using moving frames) near these coalescent boundaries.

56 Statistical Sampling Idea: Replace high dimensional joint invariant signatures by increasingly dense point clouds obtained by multiply sampling the original submanifold. The equivalence problem requires direct comparison of signature point clouds. Continuous symmetry detection relies on determining the underlying dimension of the signature point clouds. Discrete symmetry detection relies on determining densities of the signature point clouds.

Symmetry, Invariants, Puzzles, and Cancer

Symmetry, Invariants, Puzzles, and Cancer Symmetry, Invariants, Puzzles, and Cancer Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Wayzata, October, 2016 Why Math? Math is alive Math is fun Math is important Math is everywhere!

More information

Shape Matching: A Metric Geometry Approach. Facundo Mémoli. CS 468, Stanford University, Fall 2008.

Shape Matching: A Metric Geometry Approach. Facundo Mémoli. CS 468, Stanford University, Fall 2008. Shape Matching: A Metric Geometry Approach Facundo Mémoli. CS 468, Stanford University, Fall 2008. 1 The Problem of Shape/Object Matching databases of objects objects can be many things: proteins molecules

More information

ANALYTIC DEFINITIONS FOR HYPERBOLIC OBJECTS. 0. Introduction

ANALYTIC 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 information

Calculus III. Math 233 Spring Final exam May 3rd. Suggested solutions

Calculus III. Math 233 Spring Final exam May 3rd. Suggested solutions alculus III Math 33 pring 7 Final exam May 3rd. uggested solutions This exam contains twenty problems numbered 1 through. All problems are multiple choice problems, and each counts 5% of your total score.

More information

Math Requirements for applicants by Innopolis University

Math Requirements for applicants by Innopolis University Math Requirements for applicants by Innopolis University Contents 1: Algebra... 2 1.1 Numbers, roots and exponents... 2 1.2 Basics of trigonometry... 2 1.3 Logarithms... 2 1.4 Transformations of expressions...

More information

Image Analysis. Feature extraction: corners and blobs

Image Analysis. Feature extraction: corners and blobs Image Analysis Feature extraction: corners and blobs Christophoros Nikou cnikou@cs.uoi.gr Images taken from: Computer Vision course by Svetlana Lazebnik, University of North Carolina at Chapel Hill (http://www.cs.unc.edu/~lazebnik/spring10/).

More information

A new proof of Gromov s theorem on groups of polynomial growth

A new proof of Gromov s theorem on groups of polynomial growth A new proof of Gromov s theorem on groups of polynomial growth Bruce Kleiner Courant Institute NYU Groups as geometric objects Let G a group with a finite generating set S G. Assume that S is symmetric:

More information

Some topics in sub-riemannian geometry

Some topics in sub-riemannian geometry Some topics in sub-riemannian geometry Luca Rizzi CNRS, Institut Fourier Mathematical Colloquium Universität Bern - December 19 2016 Sub-Riemannian geometry Known under many names: Carnot-Carathéodory

More information

Classical differential geometry of two-dimensional surfaces

Classical differential geometry of two-dimensional surfaces Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly

More information

Geometry of the Calabi-Yau Moduli

Geometry of the Calabi-Yau Moduli Geometry of the Calabi-Yau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the Calabi-Yau Moduli 1/51

More information

Minicourse on Complex Hénon Maps

Minicourse on Complex Hénon Maps Minicourse on Complex Hénon Maps (joint with Misha Lyubich) Lecture 2: Currents and their applications Lecture 3: Currents cont d.; Two words about parabolic implosion Lecture 5.5: Quasi-hyperbolicity

More information

Origin, Development, and Dissemination of Differential Geometry in Mathema

Origin, Development, and Dissemination of Differential Geometry in Mathema Origin, Development, and Dissemination of Differential Geometry in Mathematical History The Borough of Manhattan Community College -The City University of New York Fall 2016 Meeting of the Americas Section

More information

, where s is the arclength parameter. Prove that. κ = w = 1 κ (θ) + 1. k (θ + π). dγ dθ. = 1 κ T. = N dn dθ. = T, N T = 0, N = T =1 T (θ + π) = T (θ)

, where s is the arclength parameter. Prove that. κ = w = 1 κ (θ) + 1. k (θ + π). dγ dθ. = 1 κ T. = N dn dθ. = T, N T = 0, N = T =1 T (θ + π) = T (θ) Here is a collection of old exam problems: 1. Let β (t) :I R 3 be a regular curve with speed = dβ, where s is the arclength parameter. Prove that κ = d β d β d s. Let β (t) :I R 3 be a regular curve such

More information

Area Formulas. Linear

Area Formulas. Linear Math Vocabulary and Formulas Approximate Area Arithmetic Sequences Average Rate of Change Axis of Symmetry Base Behavior of the Graph Bell Curve Bi-annually(with Compound Interest) Binomials Boundary Lines

More information

Scene from Lola rennt

Scene from Lola rennt Scene from Lola rennt (Optically guided) sensorimotor action is automatic (Lola s mind is otherwise occupied!). In this respect Lola is a zombie. This is physiology & space-time is generated by the Galilean

More information

Algebraic approximation of semianalytic sets

Algebraic approximation of semianalytic sets Algebraic approximation of semianalytic sets M. Ferrarotti, E. Fortuna and L. Wilson Politecnico di Torino Università di Pisa University of Hawai i at Mānoa Liverpool, June 2012 An algebraic set in R n

More information

arxiv: v2 [math.mg] 24 Oct 2017

arxiv: v2 [math.mg] 24 Oct 2017 Farthest points on most Alexandrov surfaces arxiv:1412.1465v2 [math.mg] 24 Oct 2017 Joël Rouyer October 25, 2017 Abstract Costin Vîlcu We study global maxima of distance functions on most Alexandrov surfaces

More information

Contents. MATH 32B-2 (18W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables. 1 Multiple Integrals 3. 2 Vector Fields 9

Contents. MATH 32B-2 (18W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables. 1 Multiple Integrals 3. 2 Vector Fields 9 MATH 32B-2 (8W) (L) G. Liu / (TA) A. Zhou Calculus of Several Variables Contents Multiple Integrals 3 2 Vector Fields 9 3 Line and Surface Integrals 5 4 The Classical Integral Theorems 9 MATH 32B-2 (8W)

More information

Groups up to quasi-isometry

Groups up to quasi-isometry OSU November 29, 2007 1 Introduction 2 3 Topological methods in group theory via the fundamental group. group theory topology group Γ, a topological space X with π 1 (X) = Γ. Γ acts on the universal cover

More information

Hilbert s Metric and Gromov Hyperbolicity

Hilbert s Metric and Gromov Hyperbolicity Hilbert s Metric and Gromov Hyperbolicity Andrew Altman May 13, 2014 1 1 HILBERT METRIC 2 1 Hilbert Metric The Hilbert metric is a distance function defined on a convex bounded subset of the n-dimensional

More information

HILBERT S THEOREM ON THE HYPERBOLIC PLANE

HILBERT S THEOREM ON THE HYPERBOLIC PLANE HILBET S THEOEM ON THE HYPEBOLIC PLANE MATTHEW D. BOWN Abstract. We recount a proof of Hilbert s result that a complete geometric surface of constant negative Gaussian curvature cannot be isometrically

More information

Geometric Inference for Probability distributions

Geometric Inference for Probability distributions Geometric Inference for Probability distributions F. Chazal 1 D. Cohen-Steiner 2 Q. Mérigot 2 1 Geometrica, INRIA Saclay, 2 Geometrica, INRIA Sophia-Antipolis 2009 June 1 Motivation What is the (relevant)

More information

QUASI-METRIC AND METRIC SPACES

QUASI-METRIC AND METRIC SPACES CONFORMAL GEOMETRY AND DYNAMICS An Electronic Journal of the American Mathematical Society Volume 10, Pages 355 360 (December 26, 2006) S 1088-4173(06)055-X QUASI-METRIC AND METRIC SPACES VIKTOR SCHROEDER

More information

Learning Objectives for Math 166

Learning Objectives for Math 166 Learning Objectives for Math 166 Chapter 6 Applications of Definite Integrals Section 6.1: Volumes Using Cross-Sections Draw and label both 2-dimensional perspectives and 3-dimensional sketches of the

More information

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that 1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral

More information

Stratification of 3 3 Matrices

Stratification of 3 3 Matrices Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (

More information

DIFFERENTIAL GEOMETRY. LECTURE 12-13,

DIFFERENTIAL GEOMETRY. LECTURE 12-13, DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of

More information

Integrated Mathematics I, II, III 2016 Scope and Sequence

Integrated Mathematics I, II, III 2016 Scope and Sequence Mathematics I, II, III 2016 Scope and Sequence I Big Ideas Math 2016 Mathematics I, II, and III Scope and Sequence Number and Quantity The Real Number System (N-RN) Properties of exponents to rational

More information

Fractal zeta functions and geometric combinatorial problems for self-similar subsets of Z n.

Fractal zeta functions and geometric combinatorial problems for self-similar subsets of Z n. Fractal zeta functions and geometric combinatorial problems for self-similar subsets of Z n. Ben Lichtin joint work with Driss Essouabri (Saint-Etienne) 1 / 27 2 examples: Pascal s triangle mod p { Pas(p)

More information

Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals

Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals Department of mathematical sciences Aalborg University Cergy-Pontoise 26.5.2011 Möbius transformations Definition Möbius

More information

RICCI CURVATURE: SOME RECENT PROGRESS A PROGRESS AND OPEN QUESTIONS

RICCI CURVATURE: SOME RECENT PROGRESS A PROGRESS AND OPEN QUESTIONS RICCI CURVATURE: SOME RECENT PROGRESS AND OPEN QUESTIONS Courant Institute September 9, 2016 1 / 27 Introduction. We will survey some recent (and less recent) progress on Ricci curvature and mention some

More information

Geometric Modelling Summer 2016

Geometric Modelling Summer 2016 Geometric Modelling Summer 2016 Exercises Benjamin Karer M.Sc. http://gfx.uni-kl.de/~gm Benjamin Karer M.Sc. Geometric Modelling Summer 2016 1 Dierential Geometry Benjamin Karer M.Sc. Geometric Modelling

More information

Periodic geodesics on translation surfaces

Periodic geodesics on translation surfaces Periodic geodesics on translation surfaces Yaroslav Vorobets 1 Introduction Let M be a compact connected oriented surface. The surface M is called a translation surface if it is equipped with a translation

More information

(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.

(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2. 1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of

More information

How well do I know the content? (scale 1 5)

How well do I know the content? (scale 1 5) Page 1 I. Number and Quantity, Algebra, Functions, and Calculus (68%) A. Number and Quantity 1. Understand the properties of exponents of s I will a. perform operations involving exponents, including negative

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More information

Tangent spaces, normals and extrema

Tangent spaces, normals and extrema Chapter 3 Tangent spaces, normals and extrema If S is a surface in 3-space, with a point a S where S looks smooth, i.e., without any fold or cusp or self-crossing, we can intuitively define the tangent

More information

8.8. Codimension one isoperimetric inequalities Distortion of a subgroup in a group 283

8.8. Codimension one isoperimetric inequalities Distortion of a subgroup in a group 283 Contents Preface xiii Chapter 1. Geometry and topology 1 1.1. Set-theoretic preliminaries 1 1.1.1. General notation 1 1.1.2. Growth rates of functions 2 1.1.3. Jensen s inequality 3 1.2. Measure and integral

More information

( sin(t), cos(t), 1) dt =

( sin(t), cos(t), 1) dt = Differential Geometry MT451 Problems/Homework Recommended Reading: Morgan F. Riemannian geometry, a beginner s guide Klingenberg W. A Course in Differential Geometry do Carmo M.P. Differential geometry

More information

Section 6. Laplacian, volume and Hessian comparison theorems

Section 6. Laplacian, volume and Hessian comparison theorems Section 6. Laplacian, volume and Hessian comparison theorems Weimin Sheng December 27, 2009 Two fundamental results in Riemannian geometry are the Laplacian and Hessian comparison theorems for the distance

More information

SOLUTIONS TO THE FINAL EXAM. December 14, 2010, 9:00am-12:00 (3 hours)

SOLUTIONS TO THE FINAL EXAM. December 14, 2010, 9:00am-12:00 (3 hours) SOLUTIONS TO THE 18.02 FINAL EXAM BJORN POONEN December 14, 2010, 9:00am-12:00 (3 hours) 1) For each of (a)-(e) below: If the statement is true, write TRUE. If the statement is false, write FALSE. (Please

More information

Two simple ideas from calculus applied to Riemannian geometry

Two simple ideas from calculus applied to Riemannian geometry Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University

More information

Feature extraction: Corners and blobs

Feature extraction: Corners and blobs Feature extraction: Corners and blobs Review: Linear filtering and edge detection Name two different kinds of image noise Name a non-linear smoothing filter What advantages does median filtering have over

More information

arxiv: v1 [math.dg] 24 Feb 2017

arxiv: v1 [math.dg] 24 Feb 2017 GEODESIC X-RAY TOMOGRAPHY FOR PIECEWISE CONSTANT FUNCTIONS ON NONTRAPPING MANIFOLDS JOONAS ILMAVIRTA, JERE LEHTONEN, AND MIKKO SALO arxiv:1702.07622v1 [math.dg] 24 Feb 2017 Abstract. We show that on a

More information

Vector Calculus. Lecture Notes

Vector Calculus. Lecture Notes Vector Calculus Lecture Notes Adolfo J. Rumbos c Draft date November 23, 211 2 Contents 1 Motivation for the course 5 2 Euclidean Space 7 2.1 Definition of n Dimensional Euclidean Space........... 7 2.2

More information

FUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv:

FUNDAMENTAL GROUPS. Alex Suciu. Northeastern University. Joint work with Thomas Koberda (U. Virginia) arxiv: RESIDUAL FINITENESS PROPERTIES OF FUNDAMENTAL GROUPS Alex Suciu Northeastern University Joint work with Thomas Koberda (U. Virginia) arxiv:1604.02010 Number Theory and Algebraic Geometry Seminar Katholieke

More information

the neumann-cheeger constant of the jungle gym

the neumann-cheeger constant of the jungle gym the neumann-cheeger constant of the jungle gym Itai Benjamini Isaac Chavel Edgar A. Feldman Our jungle gyms are dimensional differentiable manifolds M, with preferred Riemannian metrics, associated to

More information

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30

NATIONAL BOARD FOR HIGHER MATHEMATICS. M. A. and M.Sc. Scholarship Test. September 25, Time Allowed: 150 Minutes Maximum Marks: 30 NATIONAL BOARD FOR HIGHER MATHEMATICS M. A. and M.Sc. Scholarship Test September 25, 2010 Time Allowed: 150 Minutes Maximum Marks: 30 Please read, carefully, the instructions on the following page 1 INSTRUCTIONS

More information

ON CONVERGENCE RATES OF GIBBS SAMPLERS FOR UNIFORM DISTRIBUTIONS

ON CONVERGENCE RATES OF GIBBS SAMPLERS FOR UNIFORM DISTRIBUTIONS The Annals of Applied Probability 1998, Vol. 8, No. 4, 1291 1302 ON CONVERGENCE RATES OF GIBBS SAMPLERS FOR UNIFORM DISTRIBUTIONS By Gareth O. Roberts 1 and Jeffrey S. Rosenthal 2 University of Cambridge

More information

The Frenet Serret formulas

The Frenet Serret formulas The Frenet Serret formulas Attila Máté Brooklyn College of the City University of New York January 19, 2017 Contents Contents 1 1 The Frenet Serret frame of a space curve 1 2 The Frenet Serret formulas

More information

II. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES

II. 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 information

MATHEMATICS SYLLABUS SECONDARY 4th YEAR

MATHEMATICS SYLLABUS SECONDARY 4th YEAR European Schools Office of the Secretary-General Pedagogical Development Unit Ref.:010-D-591-en- Orig.: EN MATHEMATICS SYLLABUS SECONDARY 4th YEAR 6 period/week course APPROVED BY THE JOINT TEACHING COMMITTEE

More information

Chapter 4. The First Fundamental Form (Induced Metric)

Chapter 4. The First Fundamental Form (Induced Metric) Chapter 4. The First Fundamental Form (Induced Metric) We begin with some definitions from linear algebra. Def. Let V be a vector space (over IR). A bilinear form on V is a map of the form B : V V IR which

More information

arxiv: v1 [math.ap] 30 Jul 2015

arxiv: v1 [math.ap] 30 Jul 2015 Counterexamples in multimarginal optimal transport with Coulomb cost and spherically symmetric data Maria Colombo Federico Stra July, 05 arxiv:507.085v [math.ap] 0 Jul 05 Abstract We disprove a conjecture

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

Geodesics. (Com S 477/577 Notes) Yan-Bin Jia. Nov 2, 2017

Geodesics. (Com S 477/577 Notes) Yan-Bin Jia. Nov 2, 2017 Geodesics (om S 477/577 Notes Yan-Bin Jia Nov 2, 2017 Geodesics are the curves in a surface that make turns just to stay on the surface and never move sideways. A bug living in the surface and following

More information

Math 205C - Topology Midterm

Math 205C - Topology Midterm Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,

More information

MIDLAND ISD ADVANCED PLACEMENT CURRICULUM STANDARDS AP CALCULUS BC

MIDLAND ISD ADVANCED PLACEMENT CURRICULUM STANDARDS AP CALCULUS BC Curricular Requirement 1: The course teaches all topics associated with Functions, Graphs, and Limits; Derivatives; Integrals; and Polynomial Approximations and Series as delineated in the Calculus BC

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

More information

SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds

SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds SOME REMARKS ON THE TOPOLOGY OF HYPERBOLIC ACTIONS OF R n ON n-manifolds DAMIEN BOULOC Abstract. This paper contains some more results on the topology of a nondegenerate action of R n on a compact connected

More information

Lecture Notes Introduction to Vector Analysis MATH 332

Lecture Notes Introduction to Vector Analysis MATH 332 Lecture Notes Introduction to Vector Analysis MATH 332 Instructor: Ivan Avramidi Textbook: H. F. Davis and A. D. Snider, (WCB Publishers, 1995) New Mexico Institute of Mining and Technology Socorro, NM

More information

Functions of Several Variables

Functions of Several Variables Chapter 1 Functions of Several Variables 1.1 Introduction A real valued function of n variables is a function f : R, where the domain is a subset of R n. So: for each ( 1,,..., n ) in, the value of f is

More information

ICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber

ICM 2014: The Structure and Meaning. of Ricci Curvature. Aaron Naber ICM 2014: Aaron Naber Outline of Talk Background and Limit Spaces Structure of Spaces with Lower Ricci Regularity of Spaces with Bounded Ricci Characterizing Ricci Background: s (M n, g, x) n-dimensional pointed Riemannian

More information

Shape analysis on Lie groups and Homogeneous Manifolds with applications in computer animation

Shape analysis on Lie groups and Homogeneous Manifolds with applications in computer animation 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

More information

going vertically down, L 2 going horizontal. Observer O' outside the lift. Cut the lift wire lift accelerates wrt

going vertically down, L 2 going horizontal. Observer O' outside the lift. Cut the lift wire lift accelerates wrt PC4771 Gravitation Lectures 3&4 Einstein lift experiment Observer O in a lift, with light L 1 going vertically down, L 2 going horizontal Observer O outside the lift Cut the lift wire lift accelerates

More information

Lecture 8: Interest Point Detection. Saad J Bedros

Lecture 8: Interest Point Detection. Saad J Bedros #1 Lecture 8: Interest Point Detection Saad J Bedros sbedros@umn.edu Review of Edge Detectors #2 Today s Lecture Interest Points Detection What do we mean with Interest Point Detection in an Image Goal:

More information

DIAMETER, VOLUME, AND TOPOLOGY FOR POSITIVE RICCI CURVATURE

DIAMETER, VOLUME, AND TOPOLOGY FOR POSITIVE RICCI CURVATURE J. DIFFERENTIAL GEOMETRY 33(1991) 743-747 DIAMETER, VOLUME, AND TOPOLOGY FOR POSITIVE RICCI CURVATURE J.-H. ESCHENBURG Dedicated to Wilhelm Klingenberg on the occasion of his 65th birthday 1. Introduction

More information

Problem Solving 1: Line Integrals and Surface Integrals

Problem Solving 1: Line Integrals and Surface Integrals A. Line Integrals MASSACHUSETTS INSTITUTE OF TECHNOLOY Department of Physics Problem Solving 1: Line Integrals and Surface Integrals The line integral of a scalar function f ( xyz),, along a path C is

More information

The Gauss Bonnet Theorem

The Gauss Bonnet Theorem Chapter 27 The Gauss Bonnet Theorem That the sum of the interior angles of a triangle in the plane equals π radians was one of the first mathematical facts established by the Greeks. In 1603 Harriot 1

More information

On the Baum-Connes conjecture for Gromov monster groups

On the Baum-Connes conjecture for Gromov monster groups On the Baum-Connes conjecture for Gromov monster groups Martin Finn-Sell Fakultät für Mathematik, Oskar-Morgenstern-Platz 1, 1090 Wien martin.finn-sell@univie.ac.at June 2015 Abstract We present a geometric

More information

THE DIMENSION OF A CUT LOCUS ON A SMOOTH RIEMANNIAN MANIFOLD

THE DIMENSION OF A CUT LOCUS ON A SMOOTH RIEMANNIAN MANIFOLD Tόhoku Math. J. 50 (1998), 571-575 THE DIMENSION OF A CUT LOCUS ON A SMOOTH RIEMANNIAN MANIFOLD JIN-ICHI ITOH* AND MINORU TANAKA (Received April 9, 1997, revised September 12, 1997) Abstract. In this note

More information

Efficient packing of unit squares in a square

Efficient packing of unit squares in a square Loughborough University Institutional Repository Efficient packing of unit squares in a square This item was submitted to Loughborough University's Institutional Repository by the/an author. Additional

More information

ON THE GROUND STATE OF QUANTUM LAYERS

ON THE GROUND STATE OF QUANTUM LAYERS ON THE GROUND STATE OF QUANTUM LAYERS ZHIQIN LU 1. Introduction The problem is from mesoscopic physics: let p : R 3 be an embedded surface in R 3, we assume that (1) is orientable, complete, but non-compact;

More information

1. If the line l has symmetric equations. = y 3 = z+2 find a vector equation for the line l that contains the point (2, 1, 3) and is parallel to l.

1. If the line l has symmetric equations. = y 3 = z+2 find a vector equation for the line l that contains the point (2, 1, 3) and is parallel to l. . If the line l has symmetric equations MA 6 PRACTICE PROBLEMS x = y = z+ 7, find a vector equation for the line l that contains the point (,, ) and is parallel to l. r = ( + t) i t j + ( + 7t) k B. r

More information

Research in Mathematical Analysis Some Concrete Directions

Research in Mathematical Analysis Some Concrete Directions Research in Mathematical Analysis Some Concrete Directions Anthony Carbery School of Mathematics University of Edinburgh Prospects in Mathematics, Durham, 9th January 2009 Anthony Carbery (U. of Edinburgh)

More information

What is a Space Curve?

What is a Space Curve? What is a Space Curve? A space curve is a smooth map γ : I R R 3. In our analysis of defining the curvature for space curves we will be able to take the inclusion (γ, 0) and have that the curvature of

More information

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS

LECTURE 22: THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS LECTURE : THE CRITICAL POINT THEORY OF DISTANCE FUNCTIONS 1. Critical Point Theory of Distance Functions Morse theory is a basic tool in differential topology which also has many applications in Riemannian

More information

+ 2gx + 2fy + c = 0 if S

+ 2gx + 2fy + c = 0 if S CIRCLE DEFINITIONS A circle is the locus of a point which moves in such a way that its distance from a fixed point, called the centre, is always a constant. The distance r from the centre is called the

More information

Lectures in Discrete Differential Geometry 2 Surfaces

Lectures in Discrete Differential Geometry 2 Surfaces Lectures in Discrete Differential Geometry 2 Surfaces Etienne Vouga February 4, 24 Smooth Surfaces in R 3 In this section we will review some properties of smooth surfaces R 3. We will assume that is parameterized

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 18, 2011 (Day 1) 1. (CA) Evaluate 0 x 2 + 1 x 4 + 1 dx Solution. We can consider the integration from to instead. For

More information

INTRODUCTION TO FRACTAL GEOMETRY

INTRODUCTION TO FRACTAL GEOMETRY Every mathematical theory, however abstract, is inspired by some idea coming in our mind from the observation of nature, and has some application to our world, even if very unexpected ones and lying centuries

More information

Gauss-Bonnet with Densities 10/16/09 1. The Gauss-Bonnet Formula on Surfaces with Densities. Frank Morgan and Ivan Corwin ! D

Gauss-Bonnet with Densities 10/16/09 1. The Gauss-Bonnet Formula on Surfaces with Densities. Frank Morgan and Ivan Corwin ! D Gauss-Bonnet with Densities 10/16/09 1 The Gauss-Bonnet Formula on Surfaces with Densities Frank Morgan and Ivan Corwin A classic, though somewhat anthropomorphic, question in mathematics is whether an

More information

Review problems for the final exam Calculus III Fall 2003

Review problems for the final exam Calculus III Fall 2003 Review problems for the final exam alculus III Fall 2003 1. Perform the operations indicated with F (t) = 2t ı 5 j + t 2 k, G(t) = (1 t) ı + 1 t k, H(t) = sin(t) ı + e t j a) F (t) G(t) b) F (t) [ H(t)

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

ON THE BEHAVIOR OF A CAPILLARY SURFACE AT A RE-ENTRANT CORNER

ON THE BEHAVIOR OF A CAPILLARY SURFACE AT A RE-ENTRANT CORNER PACIFIC JOURNAL OF MATHEMATICS Vol 88, No 2, 1980 ON THE BEHAVIOR OF A CAPILLARY SURFACE AT A RE-ENTRANT CORNER NICHOLAS J KOREVAAR Changes in a domain's geometry can force striking changes in the capillary

More information

K-12 MATH HIGH ACHIEVEMENT OUTCOMES

K-12 MATH HIGH ACHIEVEMENT OUTCOMES K-12 MATH HIGH ACHIEVEMENT OUTCOMES Mission Statement: By working individually and cooperatively, students in math will apply mathematical concepts, demonstrate computational skills, and use technological

More information

Gaussian Measure of Sections of convex bodies

Gaussian Measure of Sections of convex bodies Gaussian Measure of Sections of convex bodies A. Zvavitch Department of Mathematics, University of Missouri, Columbia, MO 652, USA Abstract In this paper we study properties of sections of convex bodies

More information

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE

DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE International Electronic Journal of Geometry Volume 7 No. 1 pp. 44-107 (014) c IEJG DIFFERENTIAL GEOMETRY OF CURVES AND SURFACES IN LORENTZ-MINKOWSKI SPACE RAFAEL LÓPEZ Dedicated to memory of Proffessor

More information

1. (4 % each, total 20 %) Answer each of the following. (No need to show your work for this problem). 3 n. n!? n=1

1. (4 % each, total 20 %) Answer each of the following. (No need to show your work for this problem). 3 n. n!? n=1 NAME: EXAM 4 - Math 56 SOlutions Instruction: Circle your answers and show all your work CLEARLY Partial credit will be given only when you present what belongs to part of a correct solution (4 % each,

More information

612 CLASS LECTURE: HYPERBOLIC GEOMETRY

612 CLASS LECTURE: HYPERBOLIC GEOMETRY 612 CLASS LECTURE: HYPERBOLIC GEOMETRY JOSHUA P. BOWMAN 1. Conformal metrics As a vector space, C has a canonical norm, the same as the standard R 2 norm. Denote this dz one should think of dz as the identity

More information

Affine Geometry and Discrete Legendre Transform

Affine Geometry and Discrete Legendre Transform Affine Geometry and Discrete Legendre Transform Andrey Novoseltsev April 24, 2008 Abstract The combinatorial duality used in Gross-Siebert approach to mirror symmetry is the discrete Legendre transform

More information

How big is the family of stationary null scrolls?

How big is the family of stationary null scrolls? How big is the family of stationary null scrolls? Manuel Barros 1 and Angel Ferrández 2 1 Departamento de Geometría y Topología, Facultad de Ciencias Universidad de Granada, 1807 Granada, Spain. E-mail

More information

Removing the Noise from Chaos Plus Noise

Removing the Noise from Chaos Plus Noise Removing the Noise from Chaos Plus Noise Steven P. Lalley Department of Statistics University of Chicago November 5, 2 Abstract The problem of extracting a signal x n generated by a dynamical system from

More information

MATHEMATICS 317 December 2010 Final Exam Solutions

MATHEMATICS 317 December 2010 Final Exam Solutions MATHEMATI 317 December 1 Final Eam olutions 1. Let r(t) = ( 3 cos t, 3 sin t, 4t ) be the position vector of a particle as a function of time t. (a) Find the velocity of the particle as a function of time

More information

Prentice Hall Algebra Correlated to: Hawaii Mathematics Content and Performances Standards (HCPS) II (Grades 9-12)

Prentice Hall Algebra Correlated to: Hawaii Mathematics Content and Performances Standards (HCPS) II (Grades 9-12) Prentice Hall Hawaii Mathematics Content and Performances Standards (HCPS) II (Grades 9-12) Hawaii Content and Performance Standards II* NUMBER AND OPERATIONS STANDARD 1: Students understand numbers, ways

More information

The Densest Packing of 13 Congruent Circles in a Circle

The Densest Packing of 13 Congruent Circles in a Circle Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (003), No., 431-440. The Densest Packing of 13 Congruent Circles in a Circle Ferenc Fodor Feherviz u. 6, IV/13 H-000 Szentendre,

More information

Élie Cartan s Theory of Moving Frames

Élie Cartan s Theory of Moving Frames Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie

More information

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

More information

An introduction to some aspects of functional analysis

An introduction to some aspects of functional analysis An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms

More information