Lecture 1 Discrete Geometric Structures
|
|
- Tamsin Carr
- 5 years ago
- Views:
Transcription
1 Lecture 1 Discrete Geometric Structures Jean-Daniel Boissonnat Winter School on Computational Geometry and Topology University of Nice Sophia Antipolis January 23-27, 2017 Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 1 / 47
2 Outline 1 Convex Polytopes 2 Voronoi diagrams and Delaunay triangulations 3 Weighted Voronoi diagrams 4 Union of balls 5 Discrete metric spaces Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 2 / 47
3 Convex Polytopes Two ways of defining convex polytopes Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 3 / 47
4 Intersection of n half-planes Input : n half-planes H i : a i x + b i y + c i 0, i = 1,..., n Output : the convex polygon (possibly empty) H = n i=1 H i Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 4 / 47
5 Convex hull of n points Input : n points p 1,..., p n in R 2 Output : the convex polygon conv(p ) = n i λ ip i λ i 0 n i λ i = 1 Equivalently, conv(p ) is the intersection of the halfplanes that are bounded by lines passing through 2 points of P contain all the points of P Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 5 / 47
6 Space of lines and duality Duality point/line (non vertical) line h = {(x, y) : y = ax b} dual point h = (a, b) point p = (a, b) dual line p = {(x, y) : y = ax b}. The mapping is an involution and is thus bijective : h = h and p = p preserves incidences : p = (x, y) h y = ax b b = xa y h p. preserves inclusions p h + h p + (h + = {(x, y) : y > ax b)} Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 6 / 47
7 Intersections of halfplanes and convex hulls Let h 1,..., h n be n lines and let H = h + i h 3 h 1 h 2 * s h 3 h 2 h 1 A vertex s of H is the intersection point of two lines h i and h j lying above all other lines h k, k i, j = s = (h i h j ) s is a line supporting conv ({h i }) From a computational point of view, the two problems are equivalent Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 7 / 47
8 Facial structure of a polytope Convex polytopes and duality can be defined in very much the same in any fixed dimension Supporting hyperplane h : H P P on one side of h Faces : P h, h supp. hyp. Dimension of a face : the dim. of its affine hull Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 8 / 47
9 General position Points in general position P is in general position iff no subset of k + 2 points lie in a k-flat any k-face is the convex hull of k + 1 point of P, i.e. a k-simplex conv(p ) is called a simplicial polytope Hyperplanes in general position H is in general position iff the intersection of any subset of d k hyperplanes intersect in a k-flat any k-face is the intersection of d k hyperplanes H is called a simple polytope Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 9 / 47
10 1 Convex Polytopes 2 Voronoi diagrams and Delaunay triangulations 3 Weighted Voronoi diagrams 4 Union of balls 5 Discrete metric spaces Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 10 / 47
11 Voronoi diagrams in nature Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 11 / 47
12 The solar system (Descartes) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 12 / 47
13 Growth of merystem Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 13 / 47
14 Euclidean Voronoi diagrams Voronoi cell V (p i ) = {x : x p i x p j, j} Voronoi diagram (P ) = { collection of all cells V (p i ), p i P } Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 14 / 47
15 Voronoi diagrams and convex polyhedra Convex Polyhedron The intersection of a finite collection of half-spaces : V = i I h+ i Each Voronoi cell is a convex polyhedron The Voronoi diagram has the structure of a cell complex: two cells either do not intersect or intersect in a common face The Voronoi diagram of P is the projection of a convex polyhedron of R d+1 Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 15 / 47
16 Voronoi diagrams and convex polyhedra Vor(p 1,..., p n) is the minimization diagram of the n functions δ i(x) = (x p i) 2 arg min(δ i) = arg max(h i) where h pi (x) = 2 p i x p 2 i p i z = (x p i ) 2 The minimization diagram of the δ i is also the maximization diagram of the affine functions h pi (x) The faces of Vor(P ) are the projections of the faces of V(P ) = i h+ p i h + p i = {x : x d+1 > 2p i x p 2 i } Note! the graph of h pi (x) is the hyperplane tangent to Q : x d+1 = x 2 at (x, x 2 ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 16 / 47
17 Voronoi diagrams and convex polyhedra Lifting map The faces of Vor(P ) are the projection of the faces of the polytope V(P ) = i h+ p i where h pi is the hyperplane tangent to paraboloid Q at the lifted point (p i, p 2 i ) Corollaries The size of Vor(P) is the same as the size of V(P ) Computing Vor(P) reduces to computing V(P ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 17 / 47
18 Voronoi diagram and Delaunay complex Finite set of points P R d The Delaunay complex is the nerve of the Voronoi diagram It is not always embedded in R d Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 18 / 47
19 Empty circumballs An (open) d-ball B circumscribing a simplex σ P is called empty if 1 vert(σ) B 2 B P = Del(P) is the collection of simplices admitting an empty circumball Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 19 / 47
20 Point sets in general position wrt spheres P = {p 1, p 2... p n } is said to be in general position wrt spheres if d + 2 points of P lying on a same (d 1)-sphere Theorem [Delaunay 1936] If P is in general position wrt spheres, Del(P ) has a natural realization in R d called the Delaunay triangulation of P. Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 20 / 47
21 Proof of Delaunay s theorem 1 h(σ) P Linearization S(x) = x 2 2c x + s, s = c 2 r 2 σ { z < 2c x s (h S(x) < 0 S ) z = x 2 (P) ˆx = (x, x 2 ) h S Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 21 / 47
22 Proof of Delaunay s theorem 2 Proof of Delaunay s th. P general position wrt spheres ˆP in general position σ a simplex, S σ its circumscribing sphere σ Del(P ) S σ empty i, ˆp i h + S σ ˆσ is a face of conv ( ˆP ) Del(P ) = proj(conv ( ˆP )) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 22 / 47
23 VD and DT in the space of spheres h pi : x d+1 = 2p i x p 2 i ˆp i = (p i, p 2 i ) = h p i V(P ) = h + p 1... h + p n Voronoi Diagram of P duality D(P ) = conv ({ˆp 1,..., ˆp n }) Delaunay Complex of P nerve Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 23 / 47
24 Voronoi diagrams, Delaunay triangulations and polytopes If P is in general position wrt spheres : V(P ) = h + p 1... h + p n duality D(P ) = conv ({ˆp 1,..., ˆp n }) Voronoi Diagram of P nerve Delaunay Complex of P Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 24 / 47
25 1 Convex Polytopes 2 Voronoi diagrams and Delaunay triangulations 3 Weighted Voronoi diagrams 4 Union of balls 5 Discrete metric spaces Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 25 / 47
26 Foams, molecules and weighted Voronoi diagrams Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 26 / 47
27 Weighted Voronoi (or Power or Laguerre) Diagrams Sites : n balls B = {b i (p i, r i ), i = 1,... n} Power distance: π(x, b i ) = (x p i ) 2 r 2 i It is not a distance Power Diagram: Vor(B) One cell V (b i ) for each site V (b i ) = {x : π(x, b i ) π(x, b j ). j i} Each cell is a convex polyhedron V (b i ) may be empty p i may not belong to V (b i ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 27 / 47
28 Power diagrams are maximization diagrams Cell of b i in the weighed Voronoi diagram Vor(B) P h(σ) V (b i ) = {x R d : π(x, b i ) π(x, b j ). j i} = {x R d : 2p i x s i = max j [1,...n] {2p j x s j }} σ Vor(B) is the maximization diagram of the set of affine functions {h i (x) = 2p i x s i, i = 1,..., n} Geometrically : the vertical projection of P h i is the ball b i Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 28 / 47
29 Weighted Delaunay triangulations B = {b i (p i, r i )} a set of balls Del(B) = nerve of Vor(B) Let B τ = {b i (p i, r i ), i = 0,... k}} B : B τ Del(B) b i B τ V (b i ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 29 / 47
30 Weighted VD and DT in the space of spheres h bi : x d+1 = 2p i x p 2 i + r2 i φ(b i ) = (p i, p 2 i r2 i ) = h b i V(B) = h + b 1... h + b n Voronoi Diagram of B duality D(B) = conv ({φ(b 1 ),..., φ(b n )}) Delaunay Complex of B nerve Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 30 / 47
31 1 Convex Polytopes 2 Voronoi diagrams and Delaunay triangulations 3 Weighted Voronoi diagrams 4 Union of balls 5 Discrete metric spaces Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 31 / 47
32 Union of balls What is the combinatorial complexity of the boundary of the union U of n balls of R d? Compare with the complexity of the arrangement of the bounding hyperspheres How can we compute U? What is the image of U in the space of spheres? Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 32 / 47
33 Weighted Voronoi Diagram σ i (x) = (x p i ) 2 r 2 i Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 33 / 47
34 Restriction of Del(B) to U = b B b U = b B b V (b) and U b = V (b) b. The nerve of C is the restriction of Del(B) to U, i.e. the subcomplex Del U (B) of Del(B) whose faces have a circumcenter in U b, b V (b) is convex and thus contractible C = {b V (b), b B} is a good cover of U The nerve of C is a deformation retract of U homotopy equivalent (Nerve theorem) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 34 / 47
35 Interfaces between proteins [Cazals & Janin 2006] Interface antigen-antibody Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 35 / 47
36 Fonctions distance et modèles de croissance Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 36 / 47
37 Möbius Diagrams W i = (p i, λ i, µ i ) δ M (x, W i ) = λ i x p i 2 µ i bisectors are hyperspheres (hyperplanes or ) Mob(W i ) = {x, δ(x, σ i ) δ(x, σ j )} Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 37 / 47
38 Linearization Lemma We can associate to each weighted point W i a hypersphere Σ i of R d+1 so that the faces of the Möbius diagram of the W i are obtained by 1 computing the Laguerre Diagram of the Σ i 2 intersecting this diagram with the paraboloid P 3 projecting vertically the faces of this intersection onto R d Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 38 / 47
39 Proof λ i (x p i ) 2 µ i λ j (x p j ) 2 µ j (x λ i p i ) 2 + (x 2 + λ i 2 )2 λ 2 i p2 i λ2 i 4 + λ i p 2 i µ i (x λ j p j ) 2 + (x 2 + λ j 2 )2 λ 2 j p2 j λ2 j 4 + λ jp 2 j µ j (X C i ) 2 ρ 2 i (X C j) 2 ρ 2 j where X = (x, x 2 ) R d+1, C i = (λ i p i, λ i 2 ) Rd+1 and ρ 2 i = λ2 i p2 i + λ2 i 4 λ i p 2 i + µ i The Möbius diagram of the doubly weighted points W i is the projection onto R d of the restriction to the paraboloid Q of the Laguerre diagram of the Σ i = B(C i, ρ i ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 39 / 47
40 1 Convex Polytopes 2 Voronoi diagrams and Delaunay triangulations 3 Weighted Voronoi diagrams 4 Union of balls 5 Discrete metric spaces Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 40 / 47
41 Discrete metric spaces : Witness Complex [de Silva] The Witness Complex L a finite set of points (landmarks) vertices of the complex Wit(L, W ) W a dense sample (witnesses) pseudo circumcenters w Definition 2 Wit(L, W ) () 8 apple 9w 2 W with d(w, p) apple d(w, q) 8p 2 8q 2 L \ Let σ be a (abstract) simplex L : Landmarks with vertices (black dots); in L, theand vertices let of wthe W complex. We say that w is a witness of σw if: Witnesses (blue dots) w p w q p σ and q L \ σ R. Dyer (INRIA) Del(L, M) =Wit(L, W ) Assisi, EuroCG / 10 The witness complex Wit(L, W ) is the complex consisting of all simplexes σ such that for any simplex τ σ, τ has a witness in W Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 41 / 47
42 Easy consequences of the definition The witness complex can be defined for any metric space and, in particular, for discrete metric spaces If W W, then Wit(L, W ) Wit(L, W ) Del(L) Wit(L, R d ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 42 / 47
43 Identity of Del Ω (L) and Wit(L, R d ) [de Silva 2008] Theorem : Wit(L, W ) Wit(L, R d ) = Del(L) Remarks Faces of all dimensions have to be witnessed Wit(L, W ) is embedded in R d if L is in general position wrt spheres Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 43 / 47
44 Proof of de Silva s theorem τ = [p 0,..., p k ] is a k-simplex of Wit(L) witnessed by a ball B τ (i.e. B τ L = τ) We prove that τ Del(L) by induction on k Clearly true for k = 0 Hyp. : true for k k 1 B := B τ B σ σ := B τ, l := σ // σ Del(L) by the hyp. c B τ while l + 1 = dim σ < k do σ w τ B the ball centered on [cw] s.t. - σ B, - B witnesses τ - B τ = l + 1 (B witnesses τ) (τ B) τ Del(L) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 44 / 47
45 Case of sampled domains : Wit(L, W ) Del(L) W a finite set of points Ω R d Wit(L, W ) Del(L), even if W is a dense sample of Ω a b Vor(a, b) [ab] Wit(L, W ) p W, Vor 2 (a, b) W Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 45 / 47
46 Relaxed witness complex Alpha-witness Let σ be a simplex with vertices in L. We say that a point w W is an α-witness of σ if w p w q + α p σ and q L \ σ Alpha-relaxed witness complex The α-relaxed witness complex Wit α (L, W ) is the maximal simplicial complex with vertex set L whose simplices have an α-witness in W Wit 0 (L, W ) = Wit(L, W ) Filtration : α β Wit α (L, W ) Wit β (L, W ) Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 46 / 47
47 Interleaving complexes Lemma Assume that W is ε-dense in Ω and let α 2ε. Then Wit(L, W ) Del Ω (L) Wit α (L, W ) Proof σ : a d-simplex of Del(L), c σ its circumcenter W ε-dense in Ω w W s.t. c σ w ε For any p σ and q L \ σ, we then have p σ and q L \ σ w p c σ p + c σ w c σ q + c σ w w q + 2 c σ w w q + 2ε Computational Geometry and Topology Discrete Geometric Structures J-D. Boissonnat 47 / 47
Voronoi Diagrams, Delaunay Triangulations and Polytopes
Voronoi Diagrams, Delaunay Triangulations and Polytopes Jean-Daniel Boissonnat MPRI, Lecture 2 Computational Geometry Learning Voronoi, Delaunay & Polytopes MPRI, Lecture 2 1 / 43 Voronoi diagrams in nature
More informationLecture 3 Randomized Algorithms
Lecture 3 Randomized Algorithms Jean-Daniel Boissonnat Winter School on Computational Geometry and Topology University of Nice Sophia Antipolis January 23-27, 2017 Computational Geometry and Topology Randomized
More informationVoronoi diagram and Delaunay triangulation
Voronoi diagram and Delaunay triangulation Ioannis Emiris & Vissarion Fisikopoulos Dept. of Informatics & Telecommunications, University of Athens Computational Geometry, spring 2015 Outline 1 Voronoi
More informationVoronoi diagrams Delaunay Triangulations. Pierre Alliez Inria
Voronoi diagrams Delaunay Triangulations Pierre Alliez Inria Voronoi Diagram Voronoi Diagram Voronoi Diagram The collection of the non-empty Voronoi regions and their faces, together with their incidence
More informationSimplicial Complexes: Second Lecture
Simplicial Complexes: Second Lecture 4 Nov, 2010 1 Overview Today we have two main goals: Prove that every continuous map between triangulable spaces can be approximated by a simplicial map. To do this,
More informationCOMP331/557. Chapter 2: The Geometry of Linear Programming. (Bertsimas & Tsitsiklis, Chapter 2)
COMP331/557 Chapter 2: The Geometry of Linear Programming (Bertsimas & Tsitsiklis, Chapter 2) 49 Polyhedra and Polytopes Definition 2.1. Let A 2 R m n and b 2 R m. a set {x 2 R n A x b} is called polyhedron
More informationComputational Geometry
Computational Geometry 600.658 Convexity A set S is convex if for any two points p, q S the line segment pq S. S p S q Not convex Convex? Convexity A set S is convex if it is the intersection of (possibly
More informationConvex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes
Convex hulls of spheres and convex hulls of convex polytopes lying on parallel hyperplanes Menelaos I. Karavelas joint work with Eleni Tzanaki University of Crete & FO.R.T.H. OrbiCG/ Workshop on Computational
More information66 III Complexes. R p (r) }.
66 III Complexes III.4 Alpha Complexes In this section, we use a radius constraint to introduce a family of subcomplexes of the Delaunay complex. These complexes are similar to the Čech complexes but differ
More informationChapter 8. Voronoi Diagrams. 8.1 Post Oce Problem
Chapter 8 Voronoi Diagrams 8.1 Post Oce Problem Suppose there are n post oces p 1,... p n in a city. Someone who is located at a position q within the city would like to know which post oce is closest
More informationLecture 0: Reivew of some basic material
Lecture 0: Reivew of some basic material September 12, 2018 1 Background material on the homotopy category We begin with the topological category TOP, whose objects are topological spaces and whose morphisms
More informationDirichlet Voronoi Diagrams and Delaunay Triangulations
Chapter 9 Dirichlet Voronoi Diagrams and Delaunay Triangulations 9.1 Dirichlet Voronoi Diagrams In this chapter we present very briefly the concepts of a Voronoi diagram and of a Delaunay triangulation.
More informationLecture 5: Simplicial Complex
Lecture 5: Simplicial Complex 2-Manifolds, Simplex and Simplicial Complex Scribed by: Lei Wang First part of this lecture finishes 2-Manifolds. Rest part of this lecture talks about simplicial complex.
More informationTutorial 3 Comparing Biological Shapes Patrice Koehl and Joel Hass
Tutorial 3 Comparing Biological Shapes Patrice Koehl and Joel Hass University of California, Davis, USA http://www.cs.ucdavis.edu/~koehl/ims2017/ What is a shape? A shape is a 2-manifold with a Riemannian
More informationPlanar Graphs. 1 Graphs and maps. 1.1 Planarity and duality
Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter
More informationComputational Topology in Reconstruction, Mesh Generation, and Data Analysis
Computational Topology in Reconstruction, Mesh Generation, and Data Analysis Tamal K. Dey Department of Computer Science and Engineering The Ohio State University Dey (2014) Computational Topology CCCG
More informationLecture notes for Topology MMA100
Lecture notes for Topology MMA100 J A S, S-11 1 Simplicial Complexes 1.1 Affine independence A collection of points v 0, v 1,..., v n in some Euclidean space R N are affinely independent if the (affine
More informationDefinitions. Topology/Geometry of Geodesics. Joseph D. Clinton. SNEC June Magnus J. Wenninger
Topology/Geometry of Geodesics Joseph D. Clinton SNEC-04 28-29 June 2003 Magnus J. Wenninger Introduction Definitions Topology Goldberg s polyhedra Classes of Geodesic polyhedra Triangular tessellations
More informationComplexity of Delaunay triangulation for points on lower-dimensional polyhedra
Complexity of Delaunay triangulation for points on lower-dimensional polyhedra Nina Amenta UC Davis Dominique Attali CNRS-LIS Grenoble Olivier Devillers INRIA Sophia-Antipolis Abstract We show that the
More informationComplexity of Delaunay Triangulation for Points on Lower-dimensional Polyhedra.
published in Proc. 18th ACM-SIAM Sympos. Discrete Algorithms (SODA) 2007, p.1106 1113. Complexity of Delaunay Triangulation for Points on Lower-dimensional Polyhedra. Nina Amenta UC Davis Dominique Attali
More information2D Geometry. Pierre Alliez Inria Sophia Antipolis
2D Geometry Pierre Alliez Inria Sophia Antipolis Outline Sample problems Polygons Graphs Convex hull Voronoi diagram Delaunay triangulation Sample Problems Line Segment Intersection Theorem: Segments (p
More informationarxiv: v1 [math.co] 12 Aug 2018
CONVEX UNION REPRESENTABILITY AND CONVEX CODES R. AMZI JEFFS AND ISABELLA NOVIK arxiv:1808.03992v1 [math.co] 12 Aug 2018 Abstract. We introduce and investigate d-convex union representable complexes: the
More informationBasics of Combinatorial Topology
Chapter 7 Basics of Combinatorial Topology 7.1 Simplicial and Polyhedral Complexes In order to study and manipulate complex shapes it is convenient to discretize these shapes and to view them as the union
More informationVoronoi Diagrams and Delaunay Triangulations. O Rourke, Chapter 5
Voronoi Diagrams and Delaunay Triangulations O Rourke, Chapter 5 Outline Preliminaries Properties and Applications Computing the Delaunay Triangulation Preliminaries Given a function f: R 2 R, the tangent
More informationLifting Transform, Voronoi, Delaunay, Convex Hulls
Lifting Transform, Voronoi, Delaunay, Convex Hulls Subhash Suri Department of Computer Science University of California Santa Barbara, CA 93106 1 Lifting Transform (A combination of Pless notes and my
More information2 Delaunay Triangulations
and the closed half-space H(b, a) containingb and with boundary the bisector hyperplane is the locus of all points such that (b 1 a 1 )x 1 + +(b m a m )x m (b 2 1 + + b 2 m)/2 (a 2 1 + + a 2 m)/2. The
More informationbe a polytope. has such a representation iff it contains the origin in its interior. For a generic, sort the inequalities so that
( Shelling (Bruggesser-Mani 1971) and Ranking Let be a polytope. has such a representation iff it contains the origin in its interior. For a generic, sort the inequalities so that. a ranking of vertices
More informationCS522: Advanced Algorithms
Lecture 1 CS5: Advanced Algorithms October 4, 004 Lecturer: Kamal Jain Notes: Chris Re 1.1 Plan for the week Figure 1.1: Plan for the week The underlined tools, weak duality theorem and complimentary slackness,
More information751 Problem Set I JWR. Due Sep 28, 2004
751 Problem Set I JWR Due Sep 28, 2004 Exercise 1. For any space X define an equivalence relation by x y iff here is a path γ : I X with γ(0) = x and γ(1) = y. The equivalence classes are called the path
More informationThe Medial Axis of the Union of Inner Voronoi Balls in the Plane
The Medial Axis of the Union of Inner Voronoi Balls in the Plane Joachim Giesen a, Balint Miklos b,, Mark Pauly b a Max-Planck Institut für Informatik, Saarbrücken, Germany b Applied Geometry Group, ETH
More information4.2 Simplicial Homology Groups
4.2. SIMPLICIAL HOMOLOGY GROUPS 93 4.2 Simplicial Homology Groups 4.2.1 Simplicial Complexes Let p 0, p 1,... p k be k + 1 points in R n, with k n. We identify points in R n with the vectors that point
More informationAn introduction to Topological Data Analysis through persistent homology: Intro and geometric inference
Sophia-Antipolis, January 2016 Winter School An introduction to Topological Data Analysis through persistent homology: Intro and geometric inference Frédéric Chazal INRIA Saclay - Ile-de-France frederic.chazal@inria.fr
More informationLecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh
Lecture 3 Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh January 2016 Mixed Integer Linear Programming
More informationHowever, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).
98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating
More informationOther Voronoi/Delaunay Structures
Other Voronoi/Delaunay Structures Overview Alpha hulls (a subset of Delaunay graph) Extension of Voronoi Diagrams Convex Hull What is it good for? The bounding region of a point set Not so good for describing
More informationNumerical Optimization
Convex Sets Computer Science and Automation Indian Institute of Science Bangalore 560 012, India. NPTEL Course on Let x 1, x 2 R n, x 1 x 2. Line and line segment Line passing through x 1 and x 2 : {y
More informationMeshing Skin Surfaces with Certified Topology
Meshing Skin Surfaces with Certified Topology Nico Kruithof and Gert Vegter Department of Mathematics and Computing Science University of Groningen, The Netherlands {nico,gert}@cs.rug.nl Abstract We present
More informationAdvanced Algorithms Computational Geometry Prof. Karen Daniels. Fall, 2012
UMass Lowell Computer Science 91.504 Advanced Algorithms Computational Geometry Prof. Karen Daniels Fall, 2012 Voronoi Diagrams & Delaunay Triangulations O Rourke: Chapter 5 de Berg et al.: Chapters 7,
More informationDefinition A metric space is proper if all closed balls are compact. The length pseudo metric of a metric space X is given by.
Chapter 1 Geometry: Nuts and Bolts 1.1 Metric Spaces Definition 1.1.1. A metric space is proper if all closed balls are compact. The length pseudo metric of a metric space X is given by (x, y) inf p. p:x
More informationFACES OF CONVEX SETS
FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.
More informationMidpoint Routing algorithms for Delaunay Triangulations
Midpoint Routing algorithms for Delaunay Triangulations Weisheng Si and Albert Y. Zomaya Centre for Distributed and High Performance Computing School of Information Technologies Prologue The practical
More informationComputational Geometry Lecture Duality of Points and Lines
Computational Geometry Lecture Duality of Points and Lines INSTITUTE FOR THEORETICAL INFORMATICS FACULTY OF INFORMATICS 11.1.2016 Duality Transforms We have seen duality for planar graphs and duality of
More informationAn Introduction to Computational Geometry: Arrangements and Duality
An Introduction to Computational Geometry: Arrangements and Duality Joseph S. B. Mitchell Stony Brook University Some images from [O Rourke, Computational Geometry in C, 2 nd Edition, Chapter 6] Arrangement
More informationHomology and Persistent Homology Bootcamp Notes 2017
Homology and Persistent Homology Bootcamp Notes Summer@ICERM 2017 Melissa McGuirl September 19, 2017 1 Preface This bootcamp is intended to be a review session for the material covered in Week 1 of Summer@ICERM
More informationRigidity of ball-polyhedra via truncated Voronoi and Delaunay complexes
!000111! NNNiiinnnttthhh IIInnnttteeerrrnnnaaatttiiiooonnnaaalll SSSyyymmmpppooosssiiiuuummm ooonnn VVVooorrrooonnnoooiii DDDiiiaaagggrrraaammmsss iiinnn SSSccciiieeennnccceee aaannnddd EEEnnngggiiinnneeeeeerrriiinnnggg
More informationA convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns.
III.2 Convex Set Systems 53 III.2 Convex Set Systems A convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns. Nerves. Let F be a finite
More informationReflection groups 4. Mike Davis. May 19, Sao Paulo
Reflection groups 4 Mike Davis Sao Paulo May 19, 2014 https://people.math.osu.edu/davis.12/slides.html 1 2 Exotic fundamental gps Nonsmoothable aspherical manifolds 3 Let (W, S) be a Coxeter system. S
More informationIn what follows, we will focus on Voronoi diagrams in Euclidean space. Later, we will generalize to other distance spaces.
Voronoi Diagrams 4 A city builds a set of post offices, and now needs to determine which houses will be served by which office. It would be wasteful for a postman to go out of their way to make a delivery
More informationCombinatorics I (Lecture 36)
Combinatorics I (Lecture 36) February 18, 2015 Our goal in this lecture (and the next) is to carry out the combinatorial steps in the proof of the main theorem of Part III. We begin by recalling some notation
More informationTopological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College
Topological Data Analysis - I Afra Zomorodian Department of Computer Science Dartmouth College September 3, 2007 1 Acquisition Vision: Images (2D) GIS: Terrains (3D) Graphics: Surfaces (3D) Medicine: MRI
More informationMesh Generation through Delaunay Refinement
Mesh Generation through Delaunay Refinement 3D Meshes Mariette Yvinec MPRI 2009-2010, C2-14-1, Lecture 4b ENSL Winter School, january 2010 Input : C : a 2D PLC in R 3 (piecewise linear complex) Ω : a bounded
More informationLecture 11 COVERING SPACES
Lecture 11 COVERING SPACES A covering space (or covering) is not a space, but a mapping of spaces (usually manifolds) which, locally, is a homeomorphism, but globally may be quite complicated. The simplest
More informationVoronoi Diagrams in the Plane. Chapter 5 of O Rourke text Chapter 7 and 9 of course text
Voronoi Diagrams in the Plane Chapter 5 of O Rourke text Chapter 7 and 9 of course text Voronoi Diagrams As important as convex hulls Captures the neighborhood (proximity) information of geometric objects
More informationA PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES
PACIFIC JOURNAL OF MATHEMATICS Vol. 46, No. 2, 1973 A PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES DAVID BARNETTE A d polytope is defined to be a cz-dimensional set that is the convex hull
More informationPolar Duality and Farkas Lemma
Lecture 3 Polar Duality and Farkas Lemma October 8th, 2004 Lecturer: Kamal Jain Notes: Daniel Lowd 3.1 Polytope = bounded polyhedron Last lecture, we were attempting to prove the Minkowsky-Weyl Theorem:
More informationDelaunay Triangulations
Delaunay Triangulations (slides mostly by Glenn Eguchi) Motivation: Terrains Set of data points A R 2 Height ƒ(p) defined at each point p in A How can we most naturally approximate height of points not
More informationVoronoi Diagram. Xiao-Ming Fu
Voronoi Diagram Xiao-Ming Fu Outlines Introduction Post Office Problem Voronoi Diagram Duality: Delaunay triangulation Centroidal Voronoi tessellations (CVT) Definition Applications Algorithms Outlines
More informationLinear Programming in Small Dimensions
Linear Programming in Small Dimensions Lekcija 7 sergio.cabello@fmf.uni-lj.si FMF Univerza v Ljubljani Edited from slides by Antoine Vigneron Outline linear programming, motivation and definition one dimensional
More informationCombinatorial Geometry & Topology arising in Game Theory and Optimization
Combinatorial Geometry & Topology arising in Game Theory and Optimization Jesús A. De Loera University of California, Davis LAST EPISODE... We discuss the content of the course... Convex Sets A set is
More informationRigid Ball-Polyhedra in Euclidean 3-Space
Discrete Comput Geom (2013) 49:189 199 DOI 10.1007/s00454-012-9480-y Rigid Ball-Polyhedra in Euclidean 3-Space Károly Bezdek Márton Naszódi Received: 15 September 2011 / Revised: 30 September 2012 / Accepted:
More informationMath 5593 Linear Programming Lecture Notes
Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................
More information3. Voronoi Diagrams. 3.1 Definitions & Basic Properties. Examples :
3. Voronoi Diagrams Examples : 1. Fire Observation Towers Imagine a vast forest containing a number of fire observation towers. Each ranger is responsible for extinguishing any fire closer to her tower
More informationEstimating Geometry and Topology from Voronoi Diagrams
Estimating Geometry and Topology from Voronoi Diagrams Tamal K. Dey The Ohio State University Tamal Dey OSU Chicago 07 p.1/44 Voronoi diagrams Tamal Dey OSU Chicago 07 p.2/44 Voronoi diagrams Tamal Dey
More informationGeneralized Voronoi Diagrams and Applications
Generalized Voronoi Diagrams and Applications Camille Wormser To cite this version: Camille Wormser. Generalized Voronoi Diagrams and Applications. Computer Science [cs]. Université Nice Sophia Antipolis,
More informationCOMPUTATIONAL GEOMETRY
Thursday, September 20, 2007 (Ming C. Lin) Review on Computational Geometry & Collision Detection for Convex Polytopes COMPUTATIONAL GEOMETRY (Refer to O'Rourke's and Dutch textbook ) 1. Extreme Points
More informationCell-Like Maps (Lecture 5)
Cell-Like Maps (Lecture 5) September 15, 2014 In the last two lectures, we discussed the notion of a simple homotopy equivalences between finite CW complexes. A priori, the question of whether or not a
More informationPOLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if
POLYHEDRAL GEOMETRY Mathematical Programming Niels Lauritzen 7.9.2007 Convex functions and sets Recall that a subset C R n is convex if {λx + (1 λ)y 0 λ 1} C for every x, y C and 0 λ 1. A function f :
More informationReconstruction of Filament Structure
Reconstruction of Filament Structure Ruqi HUANG INRIA-Geometrica Joint work with Frédéric CHAZAL and Jian SUN 27/10/2014 Outline 1 Problem Statement Characterization of Dataset Formulation 2 Our Approaches
More informationLecture 2 - Introduction to Polytopes
Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.
More informationDynamic Skin Triangulation
Dynamic Skin Triangulation Ho-Lun Cheng, Tamal K. Dey, Herbert Edelsbrunner and John Sullivan Abstract This paper describes an algorithm for maintaining an approximating triangulation of a deforming surface
More informationEuler s Theorem. Brett Chenoweth. February 26, 2013
Euler s Theorem Brett Chenoweth February 26, 2013 1 Introduction This summer I have spent six weeks of my holidays working on a research project funded by the AMSI. The title of my project was Euler s
More informationCoxeter Groups and CAT(0) metrics
Peking University June 25, 2008 http://www.math.ohio-state.edu/ mdavis/ The plan: First, explain Gromov s notion of a nonpositively curved metric on a polyhedral complex. Then give a simple combinatorial
More informationCS133 Computational Geometry
CS133 Computational Geometry Voronoi Diagram Delaunay Triangulation 5/17/2018 1 Nearest Neighbor Problem Given a set of points P and a query point q, find the closest point p P to q p, r P, dist p, q dist(r,
More informationarxiv: v2 [math.co] 24 Aug 2016
Slicing and dicing polytopes arxiv:1608.05372v2 [math.co] 24 Aug 2016 Patrik Norén June 23, 2018 Abstract Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions
More information4. Simplicial Complexes and Simplicial Homology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 4. Simplicial Complexes and Simplicial Homology Geometric simplicial complexes 4.1 Definition. A finite subset { v 0, v 1,..., v r } R n
More informationMath 414 Lecture 2 Everyone have a laptop?
Math 44 Lecture 2 Everyone have a laptop? THEOREM. Let v,...,v k be k vectors in an n-dimensional space and A = [v ;...; v k ] v,..., v k independent v,..., v k span the space v,..., v k a basis v,...,
More informationApproximating Polygonal Objects by Deformable Smooth Surfaces
Approximating Polygonal Objects by Deformable Smooth Surfaces Ho-lun Cheng and Tony Tan School of Computing, National University of Singapore hcheng,tantony@comp.nus.edu.sg Abstract. We propose a method
More informationPOLYTOPES. Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of convex polytopes.
POLYTOPES MARGARET A. READDY 1. Lecture I: Introduction to Polytopes and Face Enumeration Grünbaum and Shephard [40] remarked that there were three developments which foreshadowed the modern theory of
More informationConvex Geometry arising in Optimization
Convex Geometry arising in Optimization Jesús A. De Loera University of California, Davis Berlin Mathematical School Summer 2015 WHAT IS THIS COURSE ABOUT? Combinatorial Convexity and Optimization PLAN
More informationCS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension
CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension Antoine Vigneron King Abdullah University of Science and Technology November 7, 2012 Antoine Vigneron (KAUST) CS 372 Lecture
More informationDual Complexes of Cubical Subdivisions of R n
Dual Complexes of Cubical Subdivisions of R n Herbert Edelsbrunner and Michael Kerber Abstract We use a distortion to define the dual complex of a cubical subdivision of R n as an n-dimensional subcomplex
More informationAlgebraic Geometry of Segmentation and Tracking
Ma191b Winter 2017 Geometry of Neuroscience Geometry of lines in 3-space and Segmentation and Tracking This lecture is based on the papers: Reference: Marco Pellegrini, Ray shooting and lines in space.
More informationCAT(0)-spaces. Münster, June 22, 2004
CAT(0)-spaces Münster, June 22, 2004 CAT(0)-space is a term invented by Gromov. Also, called Hadamard space. Roughly, a space which is nonpositively curved and simply connected. C = Comparison or Cartan
More informationDynamic Collision Detection
Distance Computation Between Non-Convex Polyhedra June 17, 2002 Applications Dynamic Collision Detection Applications Dynamic Collision Detection Evaluating Safety Tolerances Applications Dynamic Collision
More informationQuadratic and cubic b-splines by generalizing higher-order voronoi diagrams
Quadratic and cubic b-splines by generalizing higher-order voronoi diagrams Yuanxin Liu and Jack Snoeyink Joshua Levine April 18, 2007 Computer Science and Engineering, The Ohio State University 1 / 24
More informationCategories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces. J.P. May
Categories, posets, Alexandrov spaces, simplicial complexes, with emphasis on finite spaces J.P. May November 10, 2008 K(,1) Groups i Cats π 1 N Spaces S Simp. Sets Sd Reg. Simp. Sets Sd 2 τ Sd 1 i Simp.
More informationA convexity theorem for real projective structures
arxiv:0705.3920v1 [math.gt] 27 May 2007 A convexity theorem for real projective structures Jaejeong Lee Abstract Given a finite collection P of convex n-polytopes in RP n (n 2), we consider a real projective
More informationTheoretical Computer Science. Anisotropic diagrams: Labelle Shewchuk approach revisited
Theoretical Computer Science 408 (2008 163 173 Contents lists available at ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Anisotropic diagrams: Labelle Shewchuk
More informationDelaunay Triangulations. Presented by Glenn Eguchi Computational Geometry October 11, 2001
Delaunay Triangulations Presented by Glenn Eguchi 6.838 Computational Geometry October 11, 2001 Motivation: Terrains Set of data points A R 2 Height ƒ(p) defined at each point p in A How can we most naturally
More informationContents. Preface... VII. Part I Classical Topics Revisited
Contents Preface........................................................ VII Part I Classical Topics Revisited 1 Sphere Packings........................................... 3 1.1 Kissing Numbers of Spheres..............................
More informationGeometric structures on 2-orbifolds
Geometric structures on 2-orbifolds Section 1: Manifolds and differentiable structures S. Choi Department of Mathematical Science KAIST, Daejeon, South Korea 2010 Fall, Lectures at KAIST S. Choi (KAIST)
More informationIntroduction to Coxeter Groups
OSU April 25, 2011 http://www.math.ohio-state.edu/ mdavis/ 1 Geometric reflection groups Some history Properties 2 Some history Properties Dihedral groups A dihedral gp is any gp which is generated by
More informationElementary Combinatorial Topology
Elementary Combinatorial Topology Frédéric Meunier Université Paris Est, CERMICS, Ecole des Ponts Paristech, 6-8 avenue Blaise Pascal, 77455 Marne-la-Vallée Cedex E-mail address: frederic.meunier@cermics.enpc.fr
More informationarxiv: v1 [cs.cg] 7 Oct 2017
A Proof of the Orbit Conjecture for Flipping Edge-Labelled Triangulations Anna Lubiw 1, Zuzana Masárová 2, and Uli Wagner 2 arxiv:1710.02741v1 [cs.cg] 7 Oct 2017 1 School of Computer Science, University
More informationInclusion-Exclusion Formulas from Independent Complexes
Inclusion-Exclusion Formulas from Independent Complexes Dominique Attali Λ LIS laboratory Domaine Universitaire, BP 46 38402 Saint Martin d Hères, France Dominique.Attali@lis.inpg.fr Herbert Edelsbrunner
More informationDM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini
DM545 Linear and Integer Programming Lecture 2 The Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. 2. 3. 4. Standard Form Basic Feasible Solutions
More informationSimplicial Objects and Homotopy Groups. J. Wu
Simplicial Objects and Homotopy Groups J. Wu Department of Mathematics, National University of Singapore, Singapore E-mail address: matwuj@nus.edu.sg URL: www.math.nus.edu.sg/~matwujie Partially supported
More informationMATH 890 HOMEWORK 2 DAVID MEREDITH
MATH 890 HOMEWORK 2 DAVID MEREDITH (1) Suppose P and Q are polyhedra. Then P Q is a polyhedron. Moreover if P and Q are polytopes then P Q is a polytope. The facets of P Q are either F Q where F is a facet
More informationScientific Computing WS 2018/2019. Lecture 12. Jürgen Fuhrmann Lecture 12 Slide 1
Scientific Computing WS 2018/2019 Lecture 12 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 12 Slide 1 Recap For more discussion of mesh generation, see J.R. Shewchuk: Lecture Notes on Delaunay
More informationC&O 355 Lecture 16. N. Harvey
C&O 355 Lecture 16 N. Harvey Topics Review of Fourier-Motzkin Elimination Linear Transformations of Polyhedra Convex Combinations Convex Hulls Polytopes & Convex Hulls Fourier-Motzkin Elimination Joseph
More information