Geometry, Combinatorics, and Algorithms (GeCoaL)

Size: px
Start display at page:

Download "Geometry, Combinatorics, and Algorithms (GeCoaL)"

Transcription

1 Geometry, Combinatorics, and Algorithms (GeCoaL) Éric Colin de Verdière École normale supérieure, CNRS, Paris May 12, 2011

2 Main Research Area Communities computational geometry/topology discrete algorithms Philosophy introducing (classical but powerful) tools from algebraic and combinatorial topology to solve algorithmic (and combinatorial) problems with some (low-dimensional) geometric flavor

3 People Team members current: myself (CR CNRS), Arnaud de Mesmay: pre-doc student, PhD starting Sep (w.h.p.) past: Michel Pocchiola and student, till Sep future: w.h.p., Claire Mathieu (a.k.a. Claire Kenyon) hired as DR1 CNRS here in Oct (may delay arrival) Main coauthors and other collaborators ENS: Grégory Ginot (Math dept), Pierre Pansu (Math dept), Jean Ponce (DI, ANR Triangles) France: Francis Lazarus (Grenoble), Xavier Goaoc (INRIA Nancy), Monique Teillaud (INRIA Sophia) world: Sergio Cabello (Slovenia), Alexander Schrijver (CWI, Amsterdam), Jeff Erickson (UIUC), Bojan Mohar (SFU, Vancouver), Yusu Wang (Ohio State)

4 People Team members current: myself (CR CNRS), Arnaud de Mesmay: pre-doc student, PhD starting Sep (w.h.p.) past: Michel Pocchiola and student, till Sep future: w.h.p., Claire Mathieu (a.k.a. Claire Kenyon) hired as DR1 CNRS here in Oct (may delay arrival) Main coauthors and other collaborators ENS: Grégory Ginot (Math dept), Pierre Pansu (Math dept), Jean Ponce (DI, ANR Triangles) France: Francis Lazarus (Grenoble), Xavier Goaoc (INRIA Nancy), Monique Teillaud (INRIA Sophia) world: Sergio Cabello (Slovenia), Alexander Schrijver (CWI, Amsterdam), Jeff Erickson (UIUC), Bojan Mohar (SFU, Vancouver), Yusu Wang (Ohio State)

5 Visibility, Teaching Service for conferences recent PC memberships: SOCG 2011 (ACM Symposium on Computational Geometry) SODA 2009 (ACM-SIAM Symposium on Discrete Algorithms) CTIC 2008 (Computational Topology in Image Context) organization: French CG week 2010 (55 participants) Recent invited talks SIAM Conference on Discrete Mathematics 2010 French Graphs and Algorithms meeting 2010 jury of 2 PhD theses (2009, 2010) Teaching MPRI2 (pre-doc students): Algorithms for embedded graphs student supervision (1st year math students on topics in algorithms and complexity)

6 Visibility, Teaching Service for conferences recent PC memberships: SOCG 2011 (ACM Symposium on Computational Geometry) SODA 2009 (ACM-SIAM Symposium on Discrete Algorithms) CTIC 2008 (Computational Topology in Image Context) organization: French CG week 2010 (55 participants) Recent invited talks SIAM Conference on Discrete Mathematics 2010 French Graphs and Algorithms meeting 2010 jury of 2 PhD theses (2009, 2010) Teaching MPRI2 (pre-doc students): Algorithms for embedded graphs student supervision (1st year math students on topics in algorithms and complexity)

7 Current Research Themes

8 Algorithms for Curves on Surfaces Shortest graphs/curves with given topological properties cutting a surface into a disk using short curves [ESA 10] splitting a surface into nontrivial parts [SOCG 06, CGTA] shortening a curve up to deformation [SODA 06, SICOMP] Motivations in computer graphics handles arise naturally, or from scanning 3d models parameterization: texture mapping, remeshing, compression,... geometric modelling, CAGD Techniques (Courtesy J.M. Favreau) algebraic topology (homotopy/homology, covering spaces) (combinatorial) hyperbolic geometry algorithmic tools

9 Algorithmic Aspects of Topological Graph Theory Shortest nontrivial cycles in surface-embedded graph edgewidth: length of shortest nontrivial cycle useful structural properties if large enough ( local planarity ) crucial building block for other algorithms (planar crossing numbers, isomorphism test,... )

10 Algorithmic Aspects of Topological Graph Theory Shortest nontrivial cycles in surface-embedded graph edgewidth: length of shortest nontrivial cycle useful structural properties if large enough ( local planarity ) crucial building block for other algorithms (planar crossing numbers, isomorphism test,... ) Results: edgewidth computation efficient approx./output-sensitive algorithms [SOCG 10, CGTA?] case of weighted, directed graph [SOCG 10] Other miscellaneous results on graphs on surfaces testing existence of cycle with given top. properties [submitted] bound on number of irreducible triangulations of surfaces with boundary [submitted]

11 Algorithms for Planar Problems Measure of similarity of curves in the plane: Fréchet distance widely explored, application-relevant two variations: in presence of obstacles [SOCG 08, CGTA] alternate measure [in progress] tools: homotopy, covering spaces, shortest paths in geometric settings Shortest disjoint paths in planar graphs hard problem in general special case tractable in polynomial time [STACS 08, TALG] tools: combinatorial optimization, maxand min-cost flows, cuts, (topology)

12 Algorithms for Planar Problems Measure of similarity of curves in the plane: Fréchet distance widely explored, application-relevant two variations: in presence of obstacles [SOCG 08, CGTA] alternate measure [in progress] tools: homotopy, covering spaces, shortest paths in geometric settings t 2 Shortest disjoint paths in planar graphs hard problem in general special case tractable in polynomial time [STACS 08, TALG] tools: combinatorial optimization, maxand min-cost flows, cuts, (topology) t 1 t 4 s 4 s 3 s 1 s 2 t 3

13 Combinatorial Geometry, with (Avanced) Topology Helly s theorem, baby version Let F be a family of convex sets in the plane. If any triple of elements in F intersects, then the whole family F intersects. Two generalizations, in R d : For every G F, the intersection of G 1 is the disjoint union of at most k convex sets, or 2 has trivial topology (empty or point) Our result encompasses both generalizations [submitted] tools: advanced algebraic topology (spectral sequences, nerve theorems) unifies several existing results in geometric transversal theory

14 Future of the Team

15 First Objective: Reach Critical Size (!) [In my personal view!] New head of the team: Claire Mathieu Team full prof. at Brown general field of interest: combinatorial optimization, approx. & randomized algorithms (FOCS, STOC, SODA) main recent direction: algorithms for planar graphs Inspired by approximation algorithms in geometric contexts algorithms in general, with slant on geometric/topological problems Benefits for the department algorithms: broad, exciting field topic very suitable for ENS students (strong math background) Claire wants to teach!

16 Scientific Objectives: Algorithms and Topology [as far as I am concerned!] Short term: Graphs on surfaces, again... Algorithms: planar graphs and graphs on surfaces... Computational topology problems for curves and surfaces in 3d...

17 Scientific Objectives: Algorithms and Topology [as far as I am concerned!] Short term: Graphs on surfaces, again... Algorithms: planar graphs and graphs on surfaces... Computational topology problems for curves and surfaces in 3d...

18 Scientific Objectives: Algorithms and Topology [as far as I am concerned!] Short term: Graphs on surfaces, again... Algorithms: planar graphs and graphs on surfaces... Computational topology problems for curves and surfaces in 3d...

19

Finding one tight cycle

Finding one tight cycle Finding one tight cycle SERGIO CABELLO University of Ljubljana and IMFM MATT DEVOS Simon Fraser University JEFF ERICKSON University of Illinois at Urbana-Champaign and BOJAN MOHAR Simon Fraser University

More information

Finding Shortest Non-Contractible and Non-Separating Cycles for Topologically Embedded Graphs

Finding Shortest Non-Contractible and Non-Separating Cycles for Topologically Embedded Graphs Finding Shortest Non-Contractible and Non-Separating Cycles for Topologically Embedded Graphs Sergio Cabello IMFM Bojan Mohar FMF & IMFM Ljubljana, Slovenia Overview surfaces and graphs old and new results

More information

(Master Course) Mohammad Farshi Department of Computer Science, Yazd University. Yazd Univ. Computational Geometry.

(Master Course) Mohammad Farshi Department of Computer Science, Yazd University. Yazd Univ. Computational Geometry. 1 / 17 (Master Course) Mohammad Farshi Department of Computer Science, Yazd University 1392-1 2 / 17 : Mark de Berg, Otfried Cheong, Marc van Kreveld, Mark Overmars, Algorithms and Applications, 3rd Edition,

More information

Shortest Cut Graph of a Surface with Prescribed Vertex Set

Shortest Cut Graph of a Surface with Prescribed Vertex Set Shortest Cut Graph of a Surface with Prescribed Vertex Set Éric Colin de Verdière Laboratoire d informatique, École normale supérieure, CNRS, Paris, France Email: Eric.Colin.de.Verdiere@ens.fr Abstract.

More information

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs Kyle Fox University of Illinois at Urbana-Champaign Surfaces 2-manifolds (with boundary) genus g: max # of disjoint simple cycles whose

More information

Output-Sensitive Algorithm for the Edge-Width of an Embedded Graph

Output-Sensitive Algorithm for the Edge-Width of an Embedded Graph Output-Sensitive Algorithm for the Edge-Width of an Embedded Graph Sergio Cabello Department of Mathematics, IMFM Department of Mathematics, FMF University of Ljubljana, Slovenia sergio.cabello@fmf.uni-lj.si

More information

Lecture 5: Simplicial Complex

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

CSE 5559 Computational Topology: Theory, algorithms, and applications to data analysis. Lecture 0: Introduction. Instructor: Yusu Wang

CSE 5559 Computational Topology: Theory, algorithms, and applications to data analysis. Lecture 0: Introduction. Instructor: Yusu Wang CSE 5559 Computational Topology: Theory, algorithms, and applications to data analysis Lecture 0: Introduction Instructor: Yusu Wang Lecture 0: Introduction What is topology Why should we be interested

More information

Computing Shortest Non-Trivial Cycles on Orientable Surfaces of Bounded Genus in Almost Linear Time

Computing Shortest Non-Trivial Cycles on Orientable Surfaces of Bounded Genus in Almost Linear Time Computing Shortest Non-Trivial Cycles on Orientable Surfaces of Bounded Genus in Almost Linear Time Martin Kutz Max-Planck-Institut für Informatik, Germany mkutz@mpi-inf.mpg.de December 15, 2005 Abstract

More information

Curriculum Vitae Tim Ophelders last updated: September 12, 2018

Curriculum Vitae Tim Ophelders last updated: September 12, 2018 Curriculum Vitae Tim Ophelders last updated: September 12, 2018 Personal Information Name Citizenship T. A. E. (Tim) Ophelders Dutch Work Address Email Department of Computational Mathematics, Science

More information

Geometric Combinatorics

Geometric Combinatorics Geometric Combinatorics sponsored by MAA PREP and MSRI Geometric combinatorics refers to a growing body of mathematics concerned with counting properties of geometric objects described by a finite set

More information

University of Illinois at Chicago Office: SEO 521 Department of Mathematics, Statistics, (312) and Computer Science

University of Illinois at Chicago Office: SEO 521 Department of Mathematics, Statistics, (312) and Computer Science Andrew Suk Contact Information Research Interests Employment University of Illinois at Chicago Office: SEO 521 Department of Mathematics, Statistics, (312) 413-2605 and Computer Science suk@uic.edu Chicago,

More information

Algorithmic aspects of embedding simplicial complexes in R d

Algorithmic aspects of embedding simplicial complexes in R d Algorithmic aspects of embedding simplicial complexes in R d Jiří Matoušek Charles University, Prague and ETH Zurich joint work with Martin Čadek, Marek Krčál, Eric Sedgwick, Francis Sergeraert, Martin

More information

Optimal Pants Decompositions and Shortest Homotopic Cycles on an Orientable Surface

Optimal Pants Decompositions and Shortest Homotopic Cycles on an Orientable Surface Optimal Pants Decompositions and Shortest Homotopic Cycles on an Orientable Surface ÉRIC COLIN DE VERDIÈRE École normale supérieure, Paris, France AND FRANCIS LAZARUS GIPSA-Lab, Grenoble, France Abstract.

More information

Flows on surface embedded graphs. Erin Chambers

Flows on surface embedded graphs. Erin Chambers Erin Wolf Chambers Why do computational geometers care about topology? Many areas, such as graphics, biology, robotics, and networking, use algorithms which compute information about point sets. Why do

More information

Complexity Results on Graphs with Few Cliques

Complexity Results on Graphs with Few Cliques Discrete Mathematics and Theoretical Computer Science DMTCS vol. 9, 2007, 127 136 Complexity Results on Graphs with Few Cliques Bill Rosgen 1 and Lorna Stewart 2 1 Institute for Quantum Computing and School

More information

Algorithmic Semi-algebraic Geometry and its applications. Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology.

Algorithmic Semi-algebraic Geometry and its applications. Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology. 1 Algorithmic Semi-algebraic Geometry and its applications Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology. 2 Introduction: Three problems 1. Plan the motion of

More information

Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem

Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem Orthogonal art galleries with holes: a coloring proof of Aggarwal s Theorem Pawe l Żyliński Institute of Mathematics University of Gdańsk, 8095 Gdańsk, Poland pz@math.univ.gda.pl Submitted: Sep 9, 005;

More information

A convenient way to construct large simplicial complexes is through specifying sets and recording their intersection patterns.

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

Ph.D. with Distinction in Computer Science Advisor: Prof. Micha Sharir Dissertation: Geometric Arrangements: Substructures and Algorithms

Ph.D. with Distinction in Computer Science Advisor: Prof. Micha Sharir Dissertation: Geometric Arrangements: Substructures and Algorithms April 29, 2009 Esther Ezra phone (919) 660-6578 Levine Science Research Center D340 fax (919) 660-6502 Department of Computer Science, Duke University http://www.math.tau.ac.il/~estere Durham NC 27708

More information

Computational Topology in Reconstruction, Mesh Generation, and Data Analysis

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

Topological Measures of Similarity

Topological Measures of Similarity (for curves on surfaces, mostly) Erin Wolf Chambers Saint Louis University erin.chambers@slu.edu Motivation: Measuring Similarity Between Curves How can we tell when two cycles or curves are similar to

More information

Surfaces: notes on Geometry & Topology

Surfaces: notes on Geometry & Topology Surfaces: notes on Geometry & Topology 1 Surfaces A 2-dimensional region of 3D space A portion of space having length and breadth but no thickness 2 Defining Surfaces Analytically... Parametric surfaces

More information

Dynamic Generators of Topologically Embedded Graphs David Eppstein

Dynamic Generators of Topologically Embedded Graphs David Eppstein Dynamic Generators of Topologically Embedded Graphs David Eppstein Univ. of California, Irvine School of Information and Computer Science Outline New results and related work Review of topological graph

More information

On the null space of a Colin de Verdière matrix

On the null space of a Colin de Verdière matrix On the null space of a Colin de Verdière matrix László Lovász 1 and Alexander Schrijver 2 Dedicated to the memory of François Jaeger Abstract. Let G = (V, E) be a 3-connected planar graph, with V = {1,...,

More information

Splitting (Complicated) Surfaces Is Hard

Splitting (Complicated) Surfaces Is Hard Splitting (Complicated) Surfaces Is Hard Erin W. Chambers Éric Colin de Verdière Jeff Erickson Francis Lazarus Kim Whittlesey Submitted to CGTA, special issue of EWCG 06 August 22, 2007 Abstract Let M

More information

An Experimental Assessment of the 2D Visibility Complex

An Experimental Assessment of the 2D Visibility Complex An Experimental Assessment of the D Visibility Complex Hazel Everett, Sylvain Lazard, Sylvain Petitjean, Linqiao Zhang To cite this version: Hazel Everett, Sylvain Lazard, Sylvain Petitjean, Linqiao Zhang.

More information

Integrated Math B. Syllabus. Course Overview. Course Goals. Math Skills

Integrated Math B. Syllabus. Course Overview. Course Goals. Math Skills Syllabus Integrated Math B Course Overview Integrated Math is a comprehensive collection of mathematical concepts designed to give you a deeper understanding of the world around you. It includes ideas

More information

CS-235 Computational Geometry

CS-235 Computational Geometry CS-235 Computational Geometry Computer Science Department Fall Quarter 2002. Computational Geometry Study of algorithms for geometric problems. Deals with discrete shapes: points, lines, polyhedra, polygonal

More information

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra

[8] that this cannot happen on the projective plane (cf. also [2]) and the results of Robertson, Seymour, and Thomas [5] on linkless embeddings of gra Apex graphs with embeddings of face-width three Bojan Mohar Department of Mathematics University of Ljubljana Jadranska 19, 61111 Ljubljana Slovenia bojan.mohar@uni-lj.si Abstract Aa apex graph is a graph

More information

Problèmes de robustesse en géométrie algorithmique

Problèmes de robustesse en géométrie algorithmique Problèmes de robustesse en géométrie algorithmique Monique Teillaud ENS - 12 mars 2008 Computational geometry Solving geometric problems algorithms complexity analysis worst case, average, randomized implementation

More information

Approximation Schemes for Planar Graph Problems (1983, 1994; Baker)

Approximation Schemes for Planar Graph Problems (1983, 1994; Baker) Approximation Schemes for Planar Graph Problems (1983, 1994; Baker) Erik D. Demaine, MIT, theory.csail.mit.edu/ edemaine MohammadTaghi Hajiaghayi, MIT, www.mit.edu/ hajiagha INDEX TERMS: approximation

More information

The Voronoi diagram of three arbitrary lines in R3

The Voronoi diagram of three arbitrary lines in R3 The Voronoi diagram of three arbitrary lines in R3 Hazel Everett, Christian Gillot, Daniel Lazard, Sylvain Lazard, Marc Pouget To cite this version: Hazel Everett, Christian Gillot, Daniel Lazard, Sylvain

More information

On the Size of Higher-Dimensional Triangulations

On the Size of Higher-Dimensional Triangulations Combinatorial and Computational Geometry MSRI Publications Volume 52, 2005 On the Size of Higher-Dimensional Triangulations PETER BRASS Abstract. I show that there are sets of n points in three dimensions,

More information

66 III Complexes. R p (r) }.

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

Splitting (Complicated) Surfaces Is Hard

Splitting (Complicated) Surfaces Is Hard Splitting (Complicated) Surfaces Is Hard Erin W. Chambers Éric Colin de Verdière Jeff Erickson Francis Lazarus Kim Whittlesey Submitted to SOCG 2006 December 6, 2005 Abstract Let M be an orientable surface

More information

Algorithms for the Edge-Width of an Embedded Graph

Algorithms for the Edge-Width of an Embedded Graph Algorithms for the Edge-Width of an Embedded Graph Sergio Cabello Éric Colin de Verdière Francis Lazarus February 15, 2012 Abstract Let G be an unweighted graph of complexity n embedded in a surface of

More information

Topological Algorithms for Graphs on Surfaces

Topological Algorithms for Graphs on Surfaces Topological Algorithms for Graphs on Surfaces (Algorithmes topologiques pour les graphes tracés sur des surfaces) par Éric COLIN DE VERDIÈRE Mémoire pour l obtention de l Habilitation à Diriger des Recherches

More information

Surfaces Beyond Classification

Surfaces Beyond Classification Chapter XII Surfaces Beyond Classification In most of the textbooks which present topological classification of compact surfaces the classification is the top result. However the topology of 2- manifolds

More information

arxiv: v1 [math.co] 7 Dec 2018

arxiv: v1 [math.co] 7 Dec 2018 SEQUENTIALLY EMBEDDABLE GRAPHS JACKSON AUTRY AND CHRISTOPHER O NEILL arxiv:1812.02904v1 [math.co] 7 Dec 2018 Abstract. We call a (not necessarily planar) embedding of a graph G in the plane sequential

More information

The Classification Problem for 3-Manifolds

The Classification Problem for 3-Manifolds The Classification Problem for 3-Manifolds Program from ca. 1980: 1. Canonical decomposition into simpler pieces. 2. Explicit classification of special types of pieces. 3. Generic pieces are hyperbolic

More information

Algorithms for the Edge-Width of an Embedded Graph

Algorithms for the Edge-Width of an Embedded Graph Algorithms for the Edge-Width of an Embedded Graph Sergio Cabello Éric Colin de Verdière Francis Lazarus July 29, 2010 Abstract Let G be an unweighted graph of complexity n cellularly embedded in a surface

More information

Bijective Links on Planar Maps via Orientations

Bijective Links on Planar Maps via Orientations Bijective Links on Planar Maps via Orientations Éric Fusy Dept. Math, University of British Columbia. p.1/1 Planar maps Planar map = graph drawn in the plane without edge-crossing, taken up to isotopy

More information

Extension theorems in vector spaces over finite fields Dr. Alex Iosevich. Journal reviewer for International Mathematics Research Notices.

Extension theorems in vector spaces over finite fields Dr. Alex Iosevich. Journal reviewer for International Mathematics Research Notices. Doowon Koh T (517) 353-6882 B koh@math.msu.edu Education Aug.2003 Dec.2008 Dissertation Dissertation Supervisor Mar.1998 Feb.2000 Thesis Advisor Mar.1991 Feb.1998 Feb.1993 Apr.1995 Ph.D in Mathematics,

More information

Minor-monotone crossing number

Minor-monotone crossing number Minor-monotone crossing number Drago Bokal, Gašper Fijavž, Bojan Mohar To cite this version: Drago Bokal, Gašper Fijavž, Bojan Mohar. Minor-monotone crossing number. Stefan Felsner. 2005 European Conference

More information

CS 860 Fall Lecture 6. Anna Lubiw, U. Waterloo. one more paper on dynamic graphs (connectivity rather than shortest paths)

CS 860 Fall Lecture 6. Anna Lubiw, U. Waterloo. one more paper on dynamic graphs (connectivity rather than shortest paths) one more paper on dynamic graphs (connectivity rather than shortest paths) Efficient edge splitting-off algorithms maintaining all-pairs edge-connectivities LC Lau, CK Yung - Integer Programming and Combinatorial

More information

Computing Linkless and Flat Embeddings of Graphs in R 3

Computing Linkless and Flat Embeddings of Graphs in R 3 Computing Linkless and Flat Embeddings of Graphs in R 3 Stephan Kreutzer Technical University Berlin based on joint work with Ken-ichi Kawarabayashi, Bojan Mohar and Bruce Reed Graph Theory @ Georgie Tech

More information

Geometric and Solid Modeling. Problems

Geometric and Solid Modeling. Problems Geometric and Solid Modeling Problems Define a Solid Define Representation Schemes Devise Data Structures Construct Solids Page 1 Mathematical Models Points Curves Surfaces Solids A shape is a set of Points

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics SIMPLIFYING TRIANGULATIONS OF S 3 Aleksandar Mijatović Volume 208 No. 2 February 2003 PACIFIC JOURNAL OF MATHEMATICS Vol. 208, No. 2, 2003 SIMPLIFYING TRIANGULATIONS OF S

More information

Finding Shortest Non-Separating and Non-Contractible Cycles for Topologically Embedded Graphs

Finding Shortest Non-Separating and Non-Contractible Cycles for Topologically Embedded Graphs Discrete Comput Geom 37:213 235 (2007) DOI: 10.1007/s00454-006-1292-5 Discrete & Computational Geometry 2007 Springer Science+Business Media, Inc. Finding Shortest Non-Separating and Non-Contractible Cycles

More information

Linear Complexity Hexahedral Mesh Generation

Linear Complexity Hexahedral Mesh Generation Linear Complexity Hexahedral Mesh Generation David Eppstein Department of Information and Computer Science University of California, Irvine, CA 92717 http://www.ics.uci.edu/ eppstein/ Tech. Report 95-51

More information

On Graphs Supported by Line Sets

On Graphs Supported by Line Sets On Graphs Supported by Line Sets Vida Dujmović, William Evans, Stephen Kobourov, Giuseppe Liotta, Christophe Weibel, and Stephen Wismath School of Computer Science Carleton University cgm.cs.mcgill.ca/

More information

Guts of surfaces and colored Jones knot polynomials

Guts of surfaces and colored Jones knot polynomials Guts of surfaces and colored Jones knot polynomials David Futer, Efstratia Kalfagianni, and Jessica S. Purcell Knots in Poland III: Conference on Knot Theory and its Ramifications, Stefan Banach International

More information

Computing the Betti Numbers of Arrangements. Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology.

Computing the Betti Numbers of Arrangements. Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology. 1 Computing the Betti Numbers of Arrangements Saugata Basu School of Mathematics & College of Computing Georgia Institute of Technology. 2 Arrangements in Computational Geometry An arrangement in R k is

More information

Introduction to Geometric Algorithms

Introduction to Geometric Algorithms CS268: Geometric Algorithms Handout # 1 Design and Analysis Stanford University Monday, 28 March 2011 Lecture #1: Monday, 28 March 2011 Topics: Course Introduction [Revised Dates] Lecturer: Leonidas Guibas

More information

The Topology of Bendless Orthogonal Three-Dimensional Graph Drawing. David Eppstein Computer Science Dept. Univ. of California, Irvine

The Topology of Bendless Orthogonal Three-Dimensional Graph Drawing. David Eppstein Computer Science Dept. Univ. of California, Irvine The Topology of Bendless Orthogonal Three-Dimensional Graph Drawing David Eppstein Computer Science Dept. Univ. of California, Irvine Graph drawing: visual display of symbolic information Vertices and

More information

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs Kyle Fox Department of Computer Science University of Illinois at Urbana-Champaign kylefox2@illinois.edu Abstract Let G be a graph

More information

A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3

A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 A TESSELLATION FOR ALGEBRAIC SURFACES IN CP 3 ANDREW J. HANSON AND JI-PING SHA In this paper we present a systematic and explicit algorithm for tessellating the algebraic surfaces (real 4-manifolds) F

More information

Directed acyclic graphs with the unique dipath property

Directed acyclic graphs with the unique dipath property Author manuscript, published in "Theoretical Computer Science 504 (2013) 5-11" DOI : 10.1016/j.tcs.2012.06.015 Directed acyclic graphs with the unique dipath property Jean Claude Bermond, Michel Cosnard,

More information

Research Article Polygon Morphing and Its Application in Orebody Modeling

Research Article Polygon Morphing and Its Application in Orebody Modeling Mathematical Problems in Engineering Volume 212, Article ID 732365, 9 pages doi:1.1155/212/732365 Research Article Polygon Morphing and Its Application in Orebody Modeling Hacer İlhan and Haşmet Gürçay

More information

Lecture 1 Course Introduction

Lecture 1 Course Introduction UMass Lowell Computer Science 91.580.201 Geometric Modeling Prof. Karen Daniels Spring, 2009 Lecture 1 Course Introduction Course Introduction What is Geometric Modeling? Adapted from: Geometric Modeling

More information

Aspects of Geometry. Finite models of the projective plane and coordinates

Aspects of Geometry. Finite models of the projective plane and coordinates Review Sheet There will be an exam on Thursday, February 14. The exam will cover topics up through material from projective geometry through Day 3 of the DIY Hyperbolic geometry packet. Below are some

More information

Möbius Transformations in Scientific Computing. David Eppstein

Möbius Transformations in Scientific Computing. David Eppstein Möbius Transformations in Scientific Computing David Eppstein Univ. of California, Irvine School of Information and Computer Science (including joint work with Marshall Bern from WADS 01 and SODA 03) Outline

More information

all the vertices). between u and v in the subgraph is at most t necessary to endow them with additional properties,

all the vertices). between u and v in the subgraph is at most t necessary to endow them with additional properties, The Visibility Graph Contains a Bounded-Degree Spanner Gautam Das Abstract Given a collection of polygonal obstacles with n vertices on the place, and any t > 1, we present an O(n log n) time algorithm

More information

A note on Baker s algorithm

A note on Baker s algorithm A note on Baker s algorithm Iyad A. Kanj, Ljubomir Perković School of CTI, DePaul University, 243 S. Wabash Avenue, Chicago, IL 60604-2301. Abstract We present a corrected version of Baker s algorithm

More information

Trinities, hypergraphs, and contact structures

Trinities, hypergraphs, and contact structures Trinities, hypergraphs, and contact structures Daniel V. Mathews Daniel.Mathews@monash.edu Monash University Discrete Mathematics Research Group 14 March 2016 Outline 1 Introduction 2 Combinatorics of

More information

Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness

Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness Bar k-visibility Graphs: Bounds on the Number of Edges, Chromatic Number, and Thickness Alice M. Dean, William Evans, Ellen Gethner 3,JoshuaD.Laison, Mohammad Ali Safari 5, and William T. Trotter 6 Department

More information

The Parameterized Complexity of Finding Point Sets with Hereditary Properties

The Parameterized Complexity of Finding Point Sets with Hereditary Properties The Parameterized Complexity of Finding Point Sets with Hereditary Properties David Eppstein University of California, Irvine Daniel Lokshtanov University of Bergen University of California, Santa Barbara

More information

Some Open Problems in Graph Theory and Computational Geometry

Some Open Problems in Graph Theory and Computational Geometry Some Open Problems in Graph Theory and Computational Geometry David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science ICS 269, January 25, 2002 Two Models of Algorithms Research

More information

Simplicial Complexes: Second Lecture

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

Topological Data Analysis - I. Afra Zomorodian Department of Computer Science Dartmouth College

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

Algebraic Geometry of Segmentation and Tracking

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

The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks

The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks The Proportional Colouring Problem: Optimizing Buffers in Radio Mesh Networks Florian Huc, Claudia Linhares Sales, Hervé Rivano To cite this version: Florian Huc, Claudia Linhares Sales, Hervé Rivano.

More information

Computational Geometry. Definition, Application Areas, and Course Overview

Computational Geometry. Definition, Application Areas, and Course Overview Computational Geometry Definition, Application Areas, and Course Overview Computational Geometry is a subfield of the Design and Analysis of Algorithms Computational Geometry is a subfield of the Design

More information

EXACT FACE-OFFSETTING FOR POLYGONAL MESHES

EXACT FACE-OFFSETTING FOR POLYGONAL MESHES 5.0 GEOMIMESIS/LANDFORMING HAMBLETON + ROSS EXACT FACE-OFFSETTING FOR POLYGONAL MESHES Elissa Ross MESH Consultants Inc. Daniel Hambleton MESH Consultants Inc. ABSTRACT Planar-faced mesh surfaces such

More information

On the Component Number of Links from Plane Graphs

On the Component Number of Links from Plane Graphs On the Component Number of Links from Plane Graphs Daniel S. Silver Susan G. Williams January 20, 2015 Abstract A short, elementary proof is given of the result that the number of components of a link

More information

The geometry and combinatorics of closed geodesics on hyperbolic surfaces

The geometry and combinatorics of closed geodesics on hyperbolic surfaces The geometry and combinatorics of closed geodesics on hyperbolic surfaces CUNY Graduate Center September 8th, 2015 Motivating Question: How are the algebraic/combinatoric properties of closed geodesics

More information

Cannon s conjecture, subdivision rules, and expansion complexes

Cannon s conjecture, subdivision rules, and expansion complexes Cannon s conjecture, subdivision rules, and expansion complexes W. Floyd (joint work with J. Cannon and W. Parry) Department of Mathematics Virginia Tech UNC Greensboro: November, 2014 Motivation from

More information

A Polynomial Algorithm for Submap Isomorphism: Application to Searching Patterns in Images

A Polynomial Algorithm for Submap Isomorphism: Application to Searching Patterns in Images A Polynomial Algorithm for Submap Isomorphism: Application to Searching Patterns in Images Guillaume Damiand, Colin de la Higuera, Jean-Christophe Janodet, Emilie Samuel, Christine Solnon GbR 009 Motivations

More information

Triple lines on curves

Triple lines on curves Triple lines on curves Frank de Zeeuw EPFL (Switzerland) IPAM: Algebraic Techniques for Combinatorial Geometry - LA - May 13, 2014 Japanese-Swiss Workshop on Combinatorics - Tokyo - June 5, 2014 I will

More information

Monotone Paths in Geometric Triangulations

Monotone Paths in Geometric Triangulations Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation

More information

Expansion complexes for finite subdivision rules

Expansion complexes for finite subdivision rules Expansion complexes for finite subdivision rules W. Floyd (joint work with J. Cannon and W. Parry) Department of Mathematics Virginia Tech Spring Topology and Dynamics Conference : March, 2013 Definition

More information

Groups acting on hyperbolic buildings

Groups acting on hyperbolic buildings Groups acting on hyperbolic buildings Aalto University, Analysis and Geometry Seminar Riikka Kangaslampi May 2nd, 2012 Abstract We construct and classify all groups, given by triangular presentations associated

More information

Mathematical Surface Representations for Conceptual Design

Mathematical Surface Representations for Conceptual Design Mathematical Surface Representations for Conceptual Design Karan Singh University of Toronto Ravin Balakrishnan (U of T) Eugene Fiume (U of T) Pierre Poulin (U of Montreal) Michiel van de Panne (UBC) Richard

More information

Bar k-visibility Graphs

Bar k-visibility Graphs Bar k-visibility Graphs Alice M. Dean Department of Mathematics Skidmore College adean@skidmore.edu William Evans Department of Computer Science University of British Columbia will@cs.ubc.ca Ellen Gethner

More information

An introduction to Topological Data Analysis through persistent homology: Intro and geometric inference

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

Triangles of Extremal Area or Perimeter in a Finite Planar Point Set

Triangles of Extremal Area or Perimeter in a Finite Planar Point Set Discrete Comput Geom 6:51 58 (001) DOI: 10.1007/s00454-001-0010-6 Discrete & Computational Geometry 001 Springer-Verlag New York Inc. Triangles of Extremal Area or Perimeter in a Finite Planar Point Set

More information

Multimaterial Geometric Design Theories and their Applications

Multimaterial Geometric Design Theories and their Applications Multimaterial Geometric Design Theories and their Applications Hong Zhou, Ph.D. Associate Professor Department of Mechanical Engineering Texas A&M University-Kingsville October 19, 2011 Contents Introduction

More information

Geometric Unique Set Cover on Unit Disks and Unit Squares

Geometric Unique Set Cover on Unit Disks and Unit Squares CCCG 2016, Vancouver, British Columbia, August 3 5, 2016 Geometric Unique Set Cover on Unit Disks and Unit Squares Saeed Mehrabi Abstract We study the Unique Set Cover problem on unit disks and unit squares.

More information

Morphing Planar Graph Drawings

Morphing Planar Graph Drawings Morphing Planar Graph Drawings Giuseppe Di Battista Università degli Studi Roma Tre The 12th International Conference and Workshops on Algorithms and Computation WALCOM 2018 Basic definitions Graph drawing

More information

Nonoscillatory Central Schemes on Unstructured Triangular Grids for Hyperbolic Systems of Conservation Laws

Nonoscillatory Central Schemes on Unstructured Triangular Grids for Hyperbolic Systems of Conservation Laws Nonoscillatory Central Schemes on Unstructured Triangular Grids for Hyperbolic Systems of Conservation Laws Ivan Christov 1,* Bojan Popov 1 Peter Popov 2 1 Department of Mathematics, 2 Institute for Scientific

More information

Traffic Grooming in Bidirectional WDM Ring Networks

Traffic Grooming in Bidirectional WDM Ring Networks Traffic Grooming in Bidirectional WDM Ring Networks Jean-Claude Bermond, David Coudert, Xavier Munoz, Ignasi Sau To cite this version: Jean-Claude Bermond, David Coudert, Xavier Munoz, Ignasi Sau. Traffic

More information

Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces

Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces Discrete Systolic Inequalities and Decompositions of Triangulated Surfaces Éric Colin de Verdière Alfredo Hubard Arnaud de Mesmay Abstract How much cutting is needed to simplify the topology of a surface?

More information

Institut Fourier. arxiv: v2 [math.co] 4 Nov Institut Fourier. Drawing disconnected graphs on the Klein bottle

Institut Fourier. arxiv: v2 [math.co] 4 Nov Institut Fourier. Drawing disconnected graphs on the Klein bottle Institut Fourier Institut Fourier arxiv:0810.0508v2 [math.co] 4 Nov 2008 Unité Mixte de Recherche 5582 CNRS Université Joseph Fourier Drawing disconnected graphs on the Klein bottle Laurent Beaudou 1,

More information

College of Sciences Department of Mathematics and Computer Science. Assessment Plan Mathematics

College of Sciences Department of Mathematics and Computer Science. Assessment Plan Mathematics College of Sciences Department of athematics and Computer Science Programs: Assessment Plan athematics athematics offers the following instructional programs: 1. Bachelor of Science in athematics Option

More information

Optimality certificates for convex minimization and Helly numbers

Optimality certificates for convex minimization and Helly numbers Optimality certificates for convex minimization and Helly numbers Amitabh Basu Michele Conforti Gérard Cornuéjols Robert Weismantel Stefan Weltge October 20, 2016 Abstract We consider the problem of minimizing

More information

Andrew Suk. Contact Information.

Andrew Suk. Contact Information. Andrew Suk Contact Information Research Interests Employment University of California at San Diego Office: AP&M 6210 Department of Mathematics (858) 534-2645 9500 Gilman Drive # 0112 asuk@ucsd.edu La Jolla,

More information

Lecture notes: Object modeling

Lecture notes: Object modeling Lecture notes: Object modeling One of the classic problems in computer vision is to construct a model of an object from an image of the object. An object model has the following general principles: Compact

More information

arxiv: v1 [cs.ni] 28 Apr 2015

arxiv: v1 [cs.ni] 28 Apr 2015 Succint greedy routing without metric on planar triangulations Pierre Leone, Kasun Samarasinghe Computer Science Department, University of Geneva, Battelle A, route de Drize 7, 1227 Carouge, Switzerland

More information

Journal of Graph Algorithms and Applications

Journal of Graph Algorithms and Applications Journal of Graph Algorithms and Applications http://www.cs.brown.edu/publications/jgaa/ vol. 5, no. 5, pp. 93 105 (2001) Connectivity of Planar Graphs H. de Fraysseix P. Ossona de Mendez CNRS UMR 8557

More information