Shape Matching: A Metric Geometry Approach. Facundo Mémoli. CS 468, Stanford University, Fall 2008.
|
|
- Colleen Copeland
- 6 years ago
- Views:
Transcription
1 Shape Matching: A Metric Geometry Approach Facundo Mémoli. CS 468, Stanford University, Fall
2 The Problem of Shape/Object Matching databases of objects objects can be many things: proteins molecules 2D objects (imaging) 3D shapes: as obtained via a 3D scanner 3D shapes: modeled with CAD software 3D shapes: coming from design of bone protheses text documents more complicated structures present in datasets (things you can t visualize)
3 3D objects: examples cultural heritage (Michelangelo project: search of parts in a factory of, say, cars face recognition: the face of an individual is a 3D shape... proteins: the shape of a protein reflects its function.. protein data bank:
4 Typical situation: classification assume you have database D of objects. assume D is composed by several objects, and that each of these objects belongs to one of n classes C 1,..., C n. imagine you are given a new object o, not in your database, and you are asked to determine whether o belongs to one of the classes. If yes, you also need to point to the class. One simple procedure is to say that you will assign object o the class of the closest object in D: class(o) = class(z) where z D minimizes dist(o, z) in order to do this, one first needs to define a notion dist of distance or dis-similarity between objects.
5 Another important point: invariances Are these two objects the same? X Y
6 Another important point: invariances Are these two objects the same? XY this is called invariance to rigid transformations
7 Another important points: invariances what about these two? roughly speaking, this corresponds to invariance to bending transformations..
8 invariances... The measure of dis-similarity dist must capture the type of invariance you want to encode in your classification system. =? dist(, )=0?
9 What we proposed in the course: 1. Decide what invariances you wish to incorporate. It is OK if you don t have invariances (Hausdorff + Wasserstein) 2. Represent shapes as metric spaces (or mm-spaces): Identify what metric is preserved by the notion of invariance you chose to consider. Endow shapes with that metric Choose weights that are meaningful for your application (if you don t have any reason to choose: then set them to be equal) 3. Define a metric on your class of objects. We studied the case of no invariances first.
10 No invariances.. You start out with a compact metric space Z, d (called ambient space, typically Z R k ). We saw two constructions: C Z,d Z H and C w Z,d Z W,p where C Z stands for all compact subsets of Z and C w Z for all weighted subsets of Z: that is, pairs A, µ A where µ A is a probability measure on Z s.t. supp µ A A. X Y X Y
11 Ambient space isometries..(extrinsic approach) Fix a compact metric space Z, d. Let I Z denote the isometry group of Z (when Z R k, I Z E k, that is, all Euclidean isometries.) In this case, we considered either objects in C Z denote your choice. or in C w Z. Let O Z Let dist be the corresponding metric (Hausdorff or Wasserstein). Then, we constructed distances between objects in O Z that were blind to isometries: dist iso X, Y : inf T I Z dist X, T Y for all X, Y O Z. X Y
12 Ambient space isometries..(extrinsic approach) Fix a compact metric space Z, d. Let I Z denote the isometry group of Z (when Z R k, I Z E k, that is, all Euclidean isometries.) In this case, we considered either objects in C Z denote your choice. or in C w Z. Let O Z Let dist be the corresponding metric (Hausdorff or Wasserstein). Then, we constructed distances between objects in O Z that were blind to isometries: dist iso X, Y : inf T I Z dist X, T Y for all X, Y O Z. XY
13 Ambient space isometries..(extrinsic approach) Fix a compact metric space Z, d. Let I Z denote the isometry group of Z (when Z R k, I Z E k, that is, all Euclidean isometries.) In this case, we considered either objects in C Z denote your choice. or in C w Z. Let O Z Let dist be the corresponding metric (Hausdorff or Wasserstein). Then, we constructed distances between objects in O Z that were blind to isometries: for all X, Y O Z. but dist this iso X, was Y : not infgeneral dist X, T enough... Y T I Z remember BENDS XY
14
15 The intrinsic approach... Regard shapes as metric spaces in themselves: no reference to any ambient space. That is, objects/shapes now are metric spaces or mm-spaces X, d X or X, d X,µ X. Let M denote collection of all metric spaces and M w the collections of all mm-spaces. Endow M and/or M w with a metric. We saw the following constructions: On M we put the Gromov-Hausdorff distance d GH,. On M w we put two metrics, S p and D p. These metrics could be called Gromov-Wasserstein metrics.
16 C Z C w Z M M w d H d W,p d GH D p S p
17 C Z C w Z M M w Extrinsic approach d H d W,p d GH D p S p
18 C Z C w Z M M w Extrinsic approach d H d W,p Intrinsic approach d GH D p S p
19 What is the relationship between the Intrinsic and Extrinsic Approaches? Answer known for Z R k, [M08-euclidean]. In class we saw the case of d GH vs. d iso H : for all X, Y Rk, d GH X,, Y, inf T E k d H X, T Y C k d GH X,, Y, 1 2 M 1 2 where M max diam X, diam Y. There is a similar claim valid for S p vs. d iso W,p.
20 Main points Define notion of distance on shapes. Get sampling consistency + stability for free. GH distance leads to hard combinatorial optimization problems. Relaxations of these do not appear to be correct. Gromov-Wasserstein distances are better. Both D p and S p yield quadratic optimization probs. with linear constraints. Sturm s S p requires large nbr. of constraints, then we argue for D p. Many lower bounds for D p are possible. These employ invariants previously used in the literature: Shape Distributions Eccentricities (Hamza-Krim) Shape contexts
21 Main Technical concepts Metric spaces, mm-spaces, isometries, approximate isometries, probability measures. Correspondences, measure couplings, metric couplings. Hausdorff distance. Wasserstein distance. Mass transportation. Gromov-Hausdorff distance. Gromov-Wasserstein distances. Invariants of mm-spaces
22 correspondences and the Hausdorff distance Definition [Correspondences] For sets A and B, a subset R A B is a correspondence (between A and B) if and and only if a A, there exists b B s.t. (a, b) R b B, there exists a A s.t. (a, b) R Let R(A, B) denote the set of all possible correspondences between sets A and B. Note that in the case n A = n B, correspondences are larger than bijections. 17
23 correspondences Note that when A and B are finite, R R(A, B) can be represented by a matrix ((r a,b )) {0, 1} n A n B s.t. r ab 1 b B a A r ab 1 a A b B 18
24 correspondences Note that when A and B are finite, R R(A, B) can be represented by a matrix ((r a,b )) {0, 1} n A n B s.t. r ab 1 b B a A r ab 1 a A b B Proposition Let (X, d) be a compact metric space and A, B X be compact. Then d H (A, B) = inf R R(A,B) d L (R) 19
25 correspondences and measure couplings Let (A, µ A ) and (B, µ B ) be compact subsets of the compact metric space (X, d) and µ A and µ B be probability measures supported in A and B respectively. Definition [Measure coupling] Is a probability measure µ on A B s.t. (in the finite case this means ((µ a,b )) [0, 1] n A n B ) a A µ ab = µ B (b) b B b B µ ab = µ A (a) a A Let M(µ A,µ B ) be the set of all couplings of µ A and µ B. Notice that in the finite case, ((µ a,b )) must satisfy n A + n B linear constraints. 20
26 correspondences and measure couplings Proposition [(µ R)] Given (A, µ A ) and (B, µ B ), and µ M(µ A,µ B ), then R(µ) := supp(µ) R(A, B). König s Lemma. [gives conditions for R µ] 21
27 Wasserstein distance d H (A, B) = inf R R(A,B) d L (R) (R µ) d W, (A, B) = inf µ M(µ A,µ B ) d L (R(µ)) (L L p ) d W,p (A, B) = inf µ M(µ A,µ B ) d L p (A B,µ) 22
28 Wasserstein distance d H (A, B) = inf R R(A,B) d L (R) (R µ) d W, (A, B) = inf µ M(µ A,µ B ) d L (R(µ)) (L L p ) d W,p (A, B) = inf µ M(µ A,µ B ) d L p (A B,µ) 22
29 Wasserstein distance d H (A, B) = inf R R(A,B) d L (R) (R µ) d W, (A, B) = inf µ M(µ A,µ B ) d L (R(µ)) (L L p ) d W,p (A, B) = inf µ M(µ A,µ B ) d L p (A B,µ) 22
30 Wasserstein distance d H (A, B) = inf R R(A,B) d L (R) (R µ) d W, (A, B) = inf µ M(µ A,µ B ) d L (R(µ)) (L L p ) d W,p (A, B) = inf µ M(µ A,µ B ) d L p (A B,µ) 22
31 GH distance 23
32 GH: definition d GH (X, Y ) = inf Z,f,g dz H(f(X),g(Y )) 24
33 correspondences and GH distance The GH distance between (X, d X ) and (Y, d Y ) admits the following expression: d (1) GH (X, Y ) = inf d D(d X,d Y ) inf R R(X,Y ) d L (R) where D(d X,d Y ) is a metric on X Y that reduces to d X and d Y and Y Y, respectively. on X X ( X Y ) X d X D Y D T d Y In other words: you need to glue X and Y in an optimal way. Note that D consists of n X n Y positive reals that must satisfy n X C n Y 2 + n Y C n X 2 linear constraints. 25 = d
34 Another expression for the GH distance For compact spaces (X, d X ) and (Y, d Y ) let d (2) GH (X, Y )=1 2 inf R max d X(x, x ) d Y (y, y ) (x,y),(x,y ) R We write, compactly, d (2) GH (X, Y )=1 2 inf R d X d Y L (R R) 26
35 Equivalence thm: Theorem [Kalton-Ostrovskii] For all X, Y compact, d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R d X d Y L (R R) 27
36 Relaxing the notion of correspondence from GH to GW d (1) GH d H d (2) GH d (1) GW,p?? d W,p d (2) GW,p 28
37 Shapes as mm-spaces, [M07] Remember: (X, d X,µ X ) 1. Specify representation of shapes. 2. Identify invariances that you want to mod out. 3. Describe notion of isomorphism between shapes (this is going to be the zero of your metric) 4. Come up with a metric between shapes (in the representation of 1.) Now we are talking of triples (X, d X,µ X ) where X is a set, d X a metric on X and µ X a probability measure on X. These objects are called measure metric spaces, or mm-spaces for short. two mm-spaces X and Y are deemed equal or isomorphic whenever there exists an isometry Φ : X Y s.t. µ Y (B) =µ X (Φ 1 (B) for all (measurable) sets B Y.
38 Remember Now, one works with mm-spaces: triples (X, d, ν) where (X, d) is a compact metric space and ν is a Borel probability measure. Two mm-spaces are isomorphic iff there exists isometry Φ : X Y s.t. µ X (Φ 1 (B)) = µ Y (B) for all measurable B Y. 1 3/4 1/4 1/2 1 1/2 30
39 The plan d (1) GH d (2) GH d H d (1) GW,p?? d (2) GW,p d W,p 31
40 The plan d (1) GH d (2) GH d H d (1) GW,p?? d (2) GW,p d W,p 31
41 The plan d (1) GH d (2) GH d H d (1) GW,p?? d (2) GW,p d W,p 31
42 The plan d (1) GH d (2) GH d H d (1) GW,p?? d (2) GW,p d W,p 31
43 The plan d (1) GH d (2) GH d H d (1) GW,p?? d (2) GW,p d W,p 31
44 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) 32
45 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) d (1) GW,p d (2) GW,p
46 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) d (1) GW,p d (2) GW,p
47 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) d (1) GW,p d (2) GW,p
48 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) S p d (1) d (2) GW,p GW,p
49 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) S p d (1) d (2) GW,p GW,p
50 d (1) GH d (2) GH inf d,r d L (R) 1 2 inf R Γ X,Y L (R R) inf d,µ d Lp (µ) 1 2 inf µ Γ X,Y L p (µ µ) S p D p d (1) d (2) GW,p GW,p
51 Can S p be equal to D p? Using the same proof as in the Kalton-Ostrovskii Thm., one can prove that S = D. Also, it is easy to see that for all p 1 S p D p. But the equality does not hold in general. One counterexample is as follows: take X =( n 1, ((d ij = 1)), (ν i =1/n)) and Y =({q}, ((0)), (1)). Then, for p [1, ) ( ) 1/p n 1 = D 1 (X, Y ) S 1 (X, Y )= 1 2 > 1 2 n Furthermore, these two (tentative) distances are not Lipschitz equivalent!! This forces us to analyze them separately. The delicate step is proving that dist(x, Y ) = 0 implies X Y. K. T. Sturm has analyzed S p. Analysis of D p is in [M07]. 1/3 1/4 { n } n= /2 1/2 1/3 1 1/3 1/ /4 1/4
52 Properties of D p Theorem 1 ([M07]). 1. Let X, Y and Z mm-spaces then 2. If D p X, Y 0 then X and Y are isomorphic. D p X, Y D p X, Z D p Y, Z. 3. Let X n x 1,..., x n X be a subset of the mm-space X, d, ν. Endow X n with the metric d and a prob. measure ν n, then 4. p q 1, then D p D q. 5. D d GH. D p X, X n d W,p ν, ν n. 35
53 The parameter p is not superfluous For p 1, let diam p X d X L p µ X µ X. The simplest lower bound for D p one has is based on the triangle inequality plus the observation that D p X, d X,µ X, q, 0, 1 diam p X Then, D p X, Y 1 2 diam p X diam p Y For example, when X and usual intrinsic metric): S n (spheres with uniform measure p gives diam S n π for all n N p 1 gives diam 1 S n π 2 for all n N p 2 gives diam 2 S 1 π 3 and diam 2 S 2 π
54 Lower bounds for D p in terms of invariants. Recall the invariants we defined before. Fix X G w and p 1. distribution of distances: F X : 0, 0, 1, t µ X µ X x, x d X x, x t. local distribution of distances: C X : X 0, 0, 1, t µ X x d X x, x t. eccentricities: s X,p : X R, x d X x, L p µ X. There are explicit lower bounds for D p in terms of these invariants, [M07]. These lower bounds are important in practice: yield LOPs, easy optimization problems. Solution can be used as initial condition for solving D p.
55 Shape Distributions [Osada-et-al] 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
56 Shape Distributions [Osada-et-al] 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
57 Shape Distributions [Osada-et-al] 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
58 Shape Distributions [Osada-et-al] 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
59 Shape Contexts 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
60 Shape Contexts 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
61 Shape Contexts 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d
62 Hamza-Krim j d 1,j N 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d j d 2,j N j d N,j N
63 Hamza-Krim j d 1,j N 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d j d 2,j N j d N,j N
64 Hamza-Krim j d 1,j N 0 d 12 d 13 d d 12 0 d 23 d d 13 d 23 0 d d 14 d 24 d j d 2,j N j d N,j N
65 The discrete case. The option proposed and analyzed by K.L Sturm [St06], reads S p (X, Y ) = inf d D(d X,d Y ) inf µ M(µ X,µ Y ) ( x,y d p (x, y)µ x,y ) 1/p The second option reads [M07] D p (X, Y ) = inf µ M(µ X,µ Y ) x,y d X (x, x ) d Y (y, y ) p µ x,y µ x,y x,y 1/p 41
66 The first option, S p = inf d D(d X,d Y ) inf µ M(µ X,µ Y ) ( x,y d p (x, y)µ x,y ) 1/p requires 2(n X n Y ) variables and n X + n Y plus n Y C n X 2 + n X C n Y 2 linear constraints. When p = 1 it yields a bilinear optimization problem. Our second option, D p (X, Y ) = inf µ M(µ X,µ Y ) x,y d X (x, x ) d Y (y, y ) p µ x,y µ x,y x,y 1/p requires n X n Y variables and n X + n Y linear constraints. It is a quadratic (generally non-convex :-( ) optimization problem (with linear and bound constraints) for all p. 42
67 Future Study families of shapes. Statistic of families of shapes. Partial shape matching. Connections with Persistent topology invariants (Frosini+others... Yi will describe Frosini s work) Comparison/matching of animated geometries (Peter will talk about this)
68 Future Study families of shapes. Statistic of families of shapes. Partial shape matching. Connections with Persistent topology invariants (Frosini+others... Yi will describe Frosini s work) Comparison/matching of animated geometries (Peter will talk about this)
69 Future Study families of shapes. Statistic of families of shapes. Partial shape matching. Connections with Persistent topology invariants (Frosini+others... Yi will describe Frosini s work) Comparison/matching of animated geometries (Peter will talk about this)
70 and more Explain/relate more methods using these ideas: what about eigenvalue based methods? Shape signatures [Reuter-et-al]: associate to each shape the sorted list of eigenvalues of the Laplacian on the shape. Leordaneau... from matching of pairs of points to matching of points. The GH distance and related Metric Geometry ideas are very powerful and can probably help uniformizing the treatment of many algorithmic procedure out there.
71 Bibliography [BBI] Burago, Burago and Ivanov. A course on Metric Geometry. AMS, 2001 [EK] A. Elad (Elbaz) and R. Kimmel. On bending invariant signatures for surfaces, IEEE Trans. on PAMI, 25(10): , [BBK] A. M. Bronstein, M. M. Bronstein, and R. Kimmel. Generalized multidimensional scaling: a framework for isometry-invariant partial surface matching. Proc. Natl. Acad. Sci. USA, 103(5): (electronic), [HK] A. Ben Hamza, Hamid Krim: Probabilistic shape descriptor for triangulated surfaces. ICIP (1) 2005: [Osada-et-al] Robert Osada, Thomas A. Funkhouser, Bernard Chazelle, David P. Dobkin: Matching 3D Models with Shape Distributions. Shape Modeling International 2001: [SC] S. Belongie and J. Malik (2000). Matching with Shape Contexts. IEEE Workshop on Contentbased Access of Image and Video Libraries (CBAIVL- 2000). [Goodrich] M. Goodrich, J. Mitchell, and M. Orletsky. Approximate geometric pattern matching under rigid motions. IEEE Transactions on Pattern Analysis and Machine Intelligence, 21(4): , [M08-partial] F.Memoli. Lp Gromov-Hausdorff distances for partial shape matching, preprint. [M08-euclidean]F. Mémoli. Gromov-Hausdorff distances in Euclidean spaces. NORDIA-CVPR [M07] F.Memoli. On the use of gromov-hausdorff distances for shape comparison. In Proceedings of PBG 2007, Prague, Czech Republic, [MS04] F. Memoli and G. Sapiro. Comparing point clouds. In SGP 04: Proceedings of the 2004 Eurographics/ACM SIGGRAPH symposium on Geometry processing, pages 32 40, New York, NY, USA, ACM. [MS05] F. Memoli and G. Sapiro. A theoretical and computational framework for isometry invariant recognition of point cloud data. Found. Comput. Math., 5(3): , 2005.
72
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 General stuff: class attendance is mandatory will post possible projects soon a couple of days prior
More informationGromov-Hausdorff stable signatures for shapes using persistence
Gromov-Hausdorff stable signatures for shapes using persistence joint with F. Chazal, D. Cohen-Steiner, L. Guibas and S. Oudot Facundo Mémoli memoli@math.stanford.edu l 1 Goal Shape discrimination is a
More informationShape 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 GH: definition d GH (X, Y ) = inf Z,f,g dz H(f(X),g(Y )) 2 Remember the expression: For maps φ : X Y,
More informationCourbure discrète : théorie et applications
Courbure discrète : théorie et applications Rencontre organisée par : Laurent Najman and Pascal Romon 8-22 novembre 203 Facundo Mémoli The Gromov-ausdorff distance: a brief tutorial on some of its quantitative
More informationApplied and Computational Harmonic Analysis
Appl. Comput. Harmon. Anal. 30 2011) 363 401 Contents lists available at ScienceDirect Applied and Computational Harmonic Analysis www.elsevier.com/locate/acha A spectral notion of Gromov Wasserstein distance
More information6/9/2010. Feature-based methods and shape retrieval problems. Structure. Combining local and global structures. Photometric stress
1 2 Structure Feature-based methods and shape retrieval problems Global Metric Local Feature descriptors Alexander & Michael Bronstein, 2006-2009 Michael Bronstein, 2010 tosca.cs.technion.ac.il/book 048921
More informationSpectral Gromov-Wasserstein Distances for Shape Matching
Spectral Gromov-Wasserstein Distances for Shape Matching Facundo Mémoli Stanford University, Mathematics Stanford, CA 94305 memoli@math.stanford.edu http://math.stanford.edu/ memoli Abstract We introduce
More informationMatching shapes by eigendecomposition of the Laplace-Beltrami operator
Matching shapes by eigendecomposition of the Laplace-Beltrami operator Anastasia Dubrovina Technion - Israel Institute of Technology nastyad@tx.technion.ac.il Ron Kimmel Technion - Israel Institute of
More informationInvariant Histograms and Signatures for Object Recognition and Symmetry Detection
Invariant Histograms and Signatures for Object Recognition and Symmetry Detection Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver North Carolina, October, 2011 References Boutin,
More informationarxiv: v2 [math.mg] 25 Oct 2017
The Hausdorff Mapping Is Nonexpanding arxiv:1710.08472v2 [math.mg] 25 Oct 2017 Ivan A. Mikhaylov Abstract In the present paper we investigate the properties of the Hausdorff mapping H, which takes each
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationIntrinsic Local Symmetries: A Computational Framework
Eurographics Workshop on 3D Object Retrieval (2012) M. Spagnuolo, M. Bronstein, A. Bronstein, and A. Ferreira (Editors) Intrinsic Local Symmetries: A Computational Framework Carmi Grushko Dan Raviv Ron
More informationDIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE. John Lott. University of Michigan. November, 2000
DIFFERENTIAL FORMS, SPINORS AND BOUNDED CURVATURE COLLAPSE John Lott University of Michigan November, 2000 From preprints Collapsing and the Differential Form Laplacian On the Spectrum of a Finite-Volume
More informationThe Laplace-Beltrami operator: a ubiquitous tool for image and shape processing
The Laplace-Beltrami operator: a ubiquitous tool for image and shape processing Aaron Wetzler, Yonathan Aflalo, Anastasia Dubrovina, and Ron Kimmel Technion - Israel Institute of Technology, Haifa, Israel
More informationThe τ-skyline for Uncertain Data
CCCG 2014, Halifax, Nova Scotia, August 11 13, 2014 The τ-skyline for Uncertain Data Haitao Wang Wuzhou Zhang Abstract In this paper, we introduce the notion of τ-skyline as an alternative representation
More informationHigh Dimensional Geometry, Curse of Dimensionality, Dimension Reduction
Chapter 11 High Dimensional Geometry, Curse of Dimensionality, Dimension Reduction High-dimensional vectors are ubiquitous in applications (gene expression data, set of movies watched by Netflix customer,
More informationδ-hyperbolic SPACES SIDDHARTHA GADGIL
δ-hyperbolic SPACES SIDDHARTHA GADGIL Abstract. These are notes for the Chennai TMGT conference on δ-hyperbolic spaces corresponding to chapter III.H in the book of Bridson and Haefliger. When viewed from
More informationCS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a
Q: What s purple and commutes? A: An abelian grape! Anonymous Group Theory Last lecture, we learned about a combinatorial method for characterizing spaces: using simplicial complexes as triangulations
More informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationGlobal (ISOMAP) versus Local (LLE) Methods in Nonlinear Dimensionality Reduction
Global (ISOMAP) versus Local (LLE) Methods in Nonlinear Dimensionality Reduction A presentation by Evan Ettinger on a Paper by Vin de Silva and Joshua B. Tenenbaum May 12, 2005 Outline Introduction The
More informationarxiv: v1 [math.mg] 3 May 2016
arxiv:1605.01094v1 [math.mg] 3 May 2016 Steiner Ratio and Steiner Gromov Ratio of Gromov Hausdorff Space Alexander O.Ivanov, Abstract Alexey A.Tuzhilin In the present paper we investigate the metric space
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationMath 440 Project Assignment
Math 440 Project Assignment 1. Overview The goal of your project assignment is to explore an aspect of topology beyond the topics covered in class. It will be necessary to use the tools and properties
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
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 informationA Theoretical and Computational Framework for Isometry Invariant Recognition of Point Cloud Data
A Theoretical and Computational Framework for Isometry Invariant Recognition of Point Cloud Data Facundo Mémoli Guillermo Sapiro Abstract Point clouds are one of the most primitive and fundamental manifold
More informationBackground on Metric Geometry, I. Facundo Mémoli Math and CSE Departments, OSU.
Math and CSE Departments, OSU. memoli@math.osu.edu 2014 Table of Contents 1. metric A question about nets metric metric : a first metric 2. Bibliography metric metric Burago, Burago and Ivanov s book [BBI01].
More informationTEICHMÜLLER SPACE MATTHEW WOOLF
TEICHMÜLLER SPACE MATTHEW WOOLF Abstract. It is a well-known fact that every Riemann surface with negative Euler characteristic admits a hyperbolic metric. But this metric is by no means unique indeed,
More informationGeometric 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 informationROTATIONS, ROTATION PATHS, AND QUANTUM SPIN
ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN MICHAEL THVEDT 1. ABSTRACT This paper describes the construction of the universal covering group Spin(n), n > 2, as a group of homotopy classes of paths starting
More informationAnalysis of two-dimensional non-rigid shapes
Analysis of two-dimensional non-rigid shapes Alexander M. Bronstein, Michael M. Bronstein, Alfred M. Bruckstein, Ron Kimmel Department of Computer Science, Technion - Israel Institute of Technology, 32000
More informationJustin Solomon MIT, Spring 2017
Justin Solomon MIT, Spring 2017 http://pngimg.com/upload/hammer_png3886.png You can learn a lot about a shape by hitting it (lightly) with a hammer! What can you learn about its shape from vibration frequencies
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 informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
More informationAffine-invariant geodesic geometry of deformable 3D shapes
Affine-invariant geodesic geometry of deformable 3D shapes Dan Raviv Dept. of Computer Science Technion, Israel darav@cs.technion.ac.il Alexander M. Bronstein Dept. of Electrical Engineering Tel Aviv University,
More informationIFT LAPLACIAN APPLICATIONS. Mikhail Bessmeltsev
IFT 6112 09 LAPLACIAN APPLICATIONS http://www-labs.iro.umontreal.ca/~bmpix/teaching/6112/2018/ Mikhail Bessmeltsev Rough Intuition http://pngimg.com/upload/hammer_png3886.png You can learn a lot about
More informationarxiv: v2 [math.dg] 12 Mar 2018
On triangle meshes with valence 6 dominant vertices Jean-Marie Morvan ariv:1802.05851v2 [math.dg] 12 Mar 2018 Abstract We study triangulations T defined on a closed disc satisfying the following condition
More informationThe wave model of metric spaces
arxiv:1901.04317v1 [math.fa] 10 Jan 019 The wave model of metric spaces M. I. Belishev, S. A. Simonov Abstract Let Ω be a metric space, A t denote the metric neighborhood of the set A Ω of the radius t;
More informationFunctional Maps ( ) Dr. Emanuele Rodolà Room , Informatik IX
Functional Maps (12.06.2014) Dr. Emanuele Rodolà rodola@in.tum.de Room 02.09.058, Informatik IX Seminar «LP relaxation for elastic shape matching» Fabian Stark Wednesday, June 18th 14:00 Room 02.09.023
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationBest approximations in normed vector spaces
Best approximations in normed vector spaces Mike de Vries 5699703 a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of
More informationDifferential geometry II
Differential geometry II Lecture 2 Alexander & Michael Bronstein tosca.cs.technion.ac.il/book Numerical geometry of non-rigid shapes Stanford University, Winter 2009 Intrinsic & extrinsic geometry 2 First
More informationPersistent Homology: Course Plan
Persistent Homology: Course Plan Andrey Blinov 16 October 2017 Abstract This is a list of potential topics for each class of the prospective course, with references to the literature. Each class will have
More informationGromov s Proof of Mostow Rigidity
Gromov s Proof of Mostow Rigidity Mostow Rigidity is a theorem about invariants. An invariant assigns a label to whatever mathematical object I am studying that is well-defined up to the appropriate equivalence.
More informationLecture 3. Econ August 12
Lecture 3 Econ 2001 2015 August 12 Lecture 3 Outline 1 Metric and Metric Spaces 2 Norm and Normed Spaces 3 Sequences and Subsequences 4 Convergence 5 Monotone and Bounded Sequences Announcements: - Friday
More informationCS 468, Spring 2013 Differential Geometry for Computer Science Justin Solomon and Adrian Butscher
CS 468, Spring 2013 Differential Geometry for Computer Science Justin Solomon and Adrian Butscher http://graphics.stanford.edu/projects/lgl/papers/nbwyg-oaicsm-11/nbwyg-oaicsm-11.pdf Need to understand
More informationComparing persistence diagrams through complex vectors
Comparing persistence diagrams through complex vectors Barbara Di Fabio ARCES, University of Bologna Final Project Meeting Vienna, July 9, 2015 B. Di Fabio, M. Ferri, Comparing persistence diagrams through
More informationMoreover, µ is monotone, that is for any A B which are both elements of A we have
FRACTALS Contents. Algebras, sigma algebras, and measures 2.. Carathéodory s outer measures 5.2. Completeness 6.3. Homework: Measure theory basics 7 2. Completion of a measure, creating a measure from
More informationEXTENSION OF VECTOR-VALUED INTEGRAL POLYNOMIALS. Introduction
EXTENSION OF VECTOR-VALUED INTEGRAL POLYNOMIALS DANIEL CARANDO AND SILVIA LASSALLE Abstract. We study the extendibility of integral vector-valued polynomials on Banach spaces. We prove that an X-valued
More informationGeometric inference for measures based on distance functions The DTM-signature for a geometric comparison of metric-measure spaces from samples
Distance to Geometric inference for measures based on distance functions The - for a geometric comparison of metric-measure spaces from samples the Ohio State University wan.252@osu.edu 1/31 Geometric
More informationCayley Graphs of Finitely Generated Groups
Cayley Graphs of Finitely Generated Groups Simon Thomas Rutgers University 13th May 2014 Cayley graphs of finitely generated groups Definition Let G be a f.g. group and let S G { 1 } be a finite generating
More informationExtension of vector-valued integral polynomials
Extension of vector-valued integral polynomials Daniel Carando Departamento de Matemática, Universidad de San Andrés, Vito Dumas 284 (B1644BID) Victoria, Buenos Aires, Argentina. and Silvia Lassalle Departamento
More informationMATH 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 informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationFINITE CONNECTED H-SPACES ARE CONTRACTIBLE
FINITE CONNECTED H-SPACES ARE CONTRACTIBLE ISAAC FRIEND Abstract. The non-hausdorff suspension of the one-sphere S 1 of complex numbers fails to model the group s continuous multiplication. Moreover, finite
More information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationEcon Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n
Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationMA651 Topology. Lecture 10. Metric Spaces.
MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky
More informationThe 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 informationRESEARCH STATEMENT MICHAEL MUNN
RESEARCH STATEMENT MICHAEL MUNN Ricci curvature plays an important role in understanding the relationship between the geometry and topology of Riemannian manifolds. Perhaps the most notable results in
More informationDIFFERENTIAL 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 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 informationAlexandrov meets Lott-Villani-Sturm
Münster J. of Math. 4 (2011), 53 64 Münster Journal of Mathematics urn:nbn:de:hbz:6-32449569769 c Münster J. of Math. 2011 lexandrov meets Lott-Villani-Sturm nton Petrunin (Communicated by Burkhard Wilking)
More informationFrom physical assumptions to classical Hamiltonian and Lagrangian particle mechanics
From physical assumptions to classical Hamiltonian and Lagrangian particle mechanics Gabriele Carcassi, Christine A. Aidala, David John Baker and Lydia Bieri University of Michigan Foundations of Physics
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationKernels for Multi task Learning
Kernels for Multi task Learning Charles A Micchelli Department of Mathematics and Statistics State University of New York, The University at Albany 1400 Washington Avenue, Albany, NY, 12222, USA Massimiliano
More informationPACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION
PACKING-DIMENSION PROFILES AND FRACTIONAL BROWNIAN MOTION DAVAR KHOSHNEVISAN AND YIMIN XIAO Abstract. In order to compute the packing dimension of orthogonal projections Falconer and Howroyd 997) introduced
More informationCubulating spaces with walls
ISSN 1472-2739 (on-line) 1472-2747 (printed) 297 Algebraic & Geometric Topology Volume 4 (2004) 297 309 Published: 6 May 2004 ATG Cubulating spaces with walls Bogdan Nica Abstract We describe a correspondence
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More informationStability of boundary measures
Stability of boundary measures F. Chazal D. Cohen-Steiner Q. Mérigot INRIA Saclay - Ile de France LIX, January 2008 Point cloud geometry Given a set of points sampled near an unknown shape, can we infer
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationThe Skorokhod reflection problem for functions with discontinuities (contractive case)
The Skorokhod reflection problem for functions with discontinuities (contractive case) TAKIS KONSTANTOPOULOS Univ. of Texas at Austin Revised March 1999 Abstract Basic properties of the Skorokhod reflection
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationA topological semigroup structure on the space of actions modulo weak equivalence.
A topological semigroup structure on the space of actions modulo wea equivalence. Peter Burton January 8, 08 Abstract We introduce a topology on the space of actions modulo wea equivalence finer than the
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES
Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationCOARSELY EMBEDDABLE METRIC SPACES WITHOUT PROPERTY A
COARSELY EMBEDDABLE METRIC SPACES WITHOUT PROPERTY A PIOTR W. NOWAK ABSTRACT. We study Guoliang Yu s Property A and construct metric spaces which do not satisfy Property A but embed coarsely into the Hilbert
More informationSpectral Algorithms I. Slides based on Spectral Mesh Processing Siggraph 2010 course
Spectral Algorithms I Slides based on Spectral Mesh Processing Siggraph 2010 course Why Spectral? A different way to look at functions on a domain Why Spectral? Better representations lead to simpler solutions
More information4.5 The critical BGW tree
4.5. THE CRITICAL BGW TREE 61 4.5 The critical BGW tree 4.5.1 The rooted BGW tree as a metric space We begin by recalling that a BGW tree T T with root is a graph in which the vertices are a subset of
More informationarxiv: v4 [math.mg] 19 Mar 2018
EXPLICIT GEODESICS IN GROMOV-HAUSDORFF SPACE arxiv:1603.02385v4 [math.mg] 19 Mar 2018 SAMIR CHOWDHURY AND FACUNDO MÉMOLI Abstract. We provide an alternative, constructive proof that the collection M of
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number
More informationU.C. Berkeley CS294: Spectral Methods and Expanders Handout 11 Luca Trevisan February 29, 2016
U.C. Berkeley CS294: Spectral Methods and Expanders Handout Luca Trevisan February 29, 206 Lecture : ARV In which we introduce semi-definite programming and a semi-definite programming relaxation of sparsest
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationCN780 Final Lecture. Low-Level Vision, Scale-Space, and Polyakov Action. Neil I. Weisenfeld
CN780 Final Lecture Low-Level Vision, Scale-Space, and Polyakov Action Neil I. Weisenfeld Department of Cognitive and Neural Systems Boston University chapter 14.2-14.3 May 9, 2005 p.1/25 Introduction
More informationAs always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing).
An Interlude on Curvature and Hermitian Yang Mills As always, the story begins with Riemann surfaces or just (real) surfaces. (As we have already noted, these are nearly the same thing). Suppose we wanted
More informationarxiv: v2 [math.mg] 10 Apr 2015
lexandrov meets Lott Villani Sturm nton Petrunin arxiv:1003.5948v2 [math.mg] 10 pr 2015 bstract Here I show compatibility of two definition of generalized curvature bounds the lower bound for sectional
More informationarxiv: v2 [math.gn] 27 Sep 2010
THE GROUP OF ISOMETRIES OF A LOCALLY COMPACT METRIC SPACE WITH ONE END arxiv:0911.0154v2 [math.gn] 27 Sep 2010 ANTONIOS MANOUSSOS Abstract. In this note we study the dynamics of the natural evaluation
More informationVolume preserving surgeries on hyperbolic 3-manifolds
Volume preserving surgeries on hyperbolic 3-manifolds Peter Rudzis Advisor: Dr. Rolland Trapp August 19, 2016 Abstract In this paper, we investigate two types of surgeries, the parallel surgery and the
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 informationON TWO-DIMENSIONAL MINIMAL FILLINGS. S. V. Ivanov
ON TWO-DIMENSIONAL MINIMAL FILLINGS S. V. Ivanov Abstract. We consider Riemannian metrics in the two-dimensional disk D (with boundary). We prove that, if a metric g 0 is such that every two interior points
More informationMeasurability of Intersections of Measurable Multifunctions
preprint Mathematics No. 3/1995, 1-10 Dep. of Mathematics, Univ. of Tr.heim Measurability of Intersections of Measurable Multifunctions Gunnar Taraldsen We prove universal compact-measurability of the
More information