Dominating Sets in Triangulations on Surfaces

Similar documents
Face Width and Graph Embeddings of face-width 2 and 3

4-critical graphs on surfaces without contractible cycles of length at most 4

Math 777 Graph Theory, Spring, 2006 Lecture Note 1 Planar graphs Week 1 Weak 2

Prism-hamiltonicity of triangulations

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

Chapter 12 and 11.1 Planar graphs, regular polyhedra, and graph colorings

The following is a summary, hand-waving certain things which actually should be proven.

Problem Set 3. MATH 776, Fall 2009, Mohr. November 30, 2009

INTRODUCTION TO GRAPH THEORY. 1. Definitions

Planar graphs. Chapter 8

Week 7 Convex Hulls in 3D

Math 210 Manifold III, Spring 2018 Euler Characteristics of Surfaces Hirotaka Tamanoi

Flows on surface embedded graphs. Erin Chambers

Jordan Curves. A curve is a subset of IR 2 of the form

Discharging and reducible configurations

Lecture 5 CLASSIFICATION OF SURFACES

Fixed-Parameter Algorithms, IA166

SMMG September 16 th, 2006 featuring Dr. Jessica Purcell Geometry out of the Paper: An Introduction to Manifolds

CLASSIFICATION OF SURFACES

[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

Hamiltonian cycles in bipartite quadrangulations on the torus

Assignment 4 Solutions of graph problems

CLASSIFICATION OF SURFACES

Topic: Orientation, Surfaces, and Euler characteristic

Approximation algorithms for Euler genus and related problems

Jordan Curves. A curve is a subset of IR 2 of the form

Heegaard splittings and virtual fibers

Zipper Unfoldings of Polyhedral Complexes

Planarity. 1 Introduction. 2 Topological Results

8 Colouring Planar Graphs

List Coloring Graphs

Planarity: dual graphs

Edge-disjoint Spanning Trees in Triangulated Graphs on Surfaces and application to node labeling 1

Properties of configurations of four color theorem

K 4 C 5. Figure 4.5: Some well known family of graphs

Discrete Mathematics I So Practice Sheet Solutions 1

Rubber bands. Chapter Rubber band representation

Surfaces Beyond Classification

) for all p. This means however, that the map ϕ 0 descends to the quotient

INTRODUCTION TO THE HOMOLOGY GROUPS OF COMPLEXES

Math 170, Section 002 Spring 2012 Practice Exam 2 with Solutions

1 Euler characteristics

A THREE AND FIVE COLOR THEOREM

Coloring planar graphs

SOME RECENT RESULTS ON DOMINATION IN GRAPHS

Toroidal Maps: Schnyder Woods, Orthogonal Surfaces and Straight-Line Representations

Embedded graphs. Sasha Patotski. Cornell University November 24, 2014

and Heinz-Jürgen Voss

The Geodesic Integral on Medial Graphs

751 Problem Set I JWR. Due Sep 28, 2004

Exercise set 2 Solutions

HW Graph Theory Name (andrewid) - X. 1: Draw K 7 on a torus with no edge crossings.

The Cyclic Cycle Complex of a Surface

GRAPH THEORY and APPLICATIONS. Planar Graphs

Euler Characteristic

Complete Cototal Domination

Improving the Crossing Lemma by finding more crossings in sparse graphs

Face covers and the genus of apex graphs Bojan Mohar Department of Mathematics, University of Ljubljana, 1111 Ljubljana, Slovenia

Non-extendible finite polycycles

Domination, Independence and Other Numbers Associated With the Intersection Graph of a Set of Half-planes

On the Induced Matching Problem

TWO CONTRIBUTIONS OF EULER

A Genus Bound for Digital Image Boundaries

Graphs and Combinatorics

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

Graph Theory. 1 Introduction to Graphs. Martin Stynes Department of Mathematics, UCC January 26, 2011

CONTRACTIONS OF PLANAR GRAPHS

Graph Theory. Part of Texas Counties.

Fundamental Properties of Graphs

Key Graph Theory Theorems

Combinatorial Maps. University of Ljubljana and University of Primorska and Worcester Polytechnic Institute. Maps. Home Page. Title Page.

Pebble Sets in Convex Polygons

Math 443/543 Graph Theory Notes 5: Planar graphs and coloring

Maximum 4-degenerate subgraph of a planar graph

Ma/CS 6b Class 26: Art Galleries and Politicians

6c Lecture 3 & 4: April 8 & 10, 2014

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) We will be interested in s.t. ( )~1. To gain some intuition note ( )

On the packing chromatic number of some lattices

EXTREMAL PROBLEMS IN GRAPH THEORY CHRISTOPHER M. HARTMAN. B.S., University of Alaska, Fairbanks, 1991 THESIS. Urbana, Illinois

Conway s Tiling Groups

Short proofs of coloring theorems on planar graphs

The clique number of a random graph in (,1 2) Let ( ) # -subgraphs in = 2 =: ( ) 2 ( ) ( )

MAS 341: GRAPH THEORY 2016 EXAM SOLUTIONS

A Note on Vertex Arboricity of Toroidal Graphs without 7-Cycles 1

LAMC Advanced Circle October 9, Oleg Gleizer. Warm-up

The Graphs of Triangulations of Polygons

On the Relationships between Zero Forcing Numbers and Certain Graph Coverings

Introduction III. Graphs. Motivations I. Introduction IV

Abstract. 1. Introduction

6.3 Poincare's Theorem

Shortest Non-trivial Cycles in Directed and Undirected Surface Graphs

The planar cubic Cayley graphs of connectivity 2

arxiv: v1 [math.co] 3 Nov 2017

Some Upper Bounds for Signed Star Domination Number of Graphs. S. Akbari, A. Norouzi-Fard, A. Rezaei, R. Rotabi, S. Sabour.

The absence of efficient dual pairs of spanning trees in planar graphs

γ(ɛ) (a, b) (a, d) (d, a) (a, b) (c, d) (d, d) (e, e) (e, a) (e, e) (a) Draw a picture of G.

3 Fractional Ramsey Numbers

arxiv: v1 [math.gt] 28 Feb 2009

Collapsible biclaw-free graphs

Transcription:

Dominating Sets in Triangulations on Surfaces Hong Liu Department of Mathematics University of Illinois This is a joint work with Michael Pelsmajer May 14, 2011

Introduction A dominating set D V of a graph G is a set such that each vertex v V is either in the set or adjacent to a vertex in the set. The domination number of G, denoted γ(g), is defined as the minimum cardinality of a dominating set of G.

Introduction A dominating set D V of a graph G is a set such that each vertex v V is either in the set or adjacent to a vertex in the set. The domination number of G, denoted γ(g), is defined as the minimum cardinality of a dominating set of G. v

Introduction A dominating set D V of a graph G is a set such that each vertex v V is either in the set or adjacent to a vertex in the set. The domination number of G, denoted γ(g), is defined as the minimum cardinality of a dominating set of G. u w

Introduction A triangulation on a given surface is a graph embedded on the surface such that every face is bounded by a triangle.

Introduction We only consider graphs that are finite, undirected, and simple (no loops or multiple edges). For any U V (G), let G[U] denote the subgraph of G induced by U. For a graph G and vertex set U V (G), a Steiner tree for U is a minimum-size tree that contains U. By a surface, we generally mean a 2-manifold without boundary. For g 0, let S g denote the orientable surface of orientable genus g (a sphere with g handles). For g 1, let N g denote the non-orientable surface of non-orientable genus g (a sphere with g cross-caps).

Introduction A plane graph is a graph drawn in the plane without crossings; a planar graph is a graph that can be drawn as a plane graph. Given a graph G on a surface S such that every face is homeomorphic to a disk, V (G) E(G) + F(G) is the Euler characteristic of S, where F(G) is the set of faces. It is 2 2g for S = S g and 2 g for S = N g An outerplane graph is a plane graph with all of its vertices incident to its outer face.

Triangulated cylinder Let w,l,k be integers with w 3, l 1, and 0 k < w. A (w, l, k)-cylinder, (w, l)-cylinder, or triangulated cylinder is any plane graph constructed as follows. Fix an integer k with 0 k < w. Start with the Cartesian product of a w-cycle and a path of length l. The vertices can be labeled z a,b with a in the cyclic group Z w and 0 b l. For each 0 b < l, add an edge from z a,b to z a+1,b+1 if 0 a < k, and add an edge from z a,b to z a 1,b+1 if k < a w.

What s known? Theorem [Matheson,Tarjan, 1996] Any triangulated disc G with n vertices has γ(g) n/3. This is sharp. u v

What s known? Theorem [Plummer, Zha, 2009] Any triangulation on the projective plane, torus or Klein bottle has γ(g) n/3. Theorem [Honjo, Kawarabayashi, Nakamoto, 2010] For triangulations on the torus and the Klein bottle and also for locally planar triangulations (triangulations of sufficiently high representativity) on every other surface, γ(g) n/3.

Known results Conjecture [MT 1996] For n sufficiently large, the domination number of any n-vertex triangulation is at most n/4. Note that n being sufficiently large is necessary, consider the octahedron. If this conjecture is true, then the bound is sharp.

Known results Theorem [King, Pelsmajer, 2010] There exists n 0 such that for any n n 0, an n-vertex triangulation with maximum degree 6 has a dominating set of size at most n/4.

Known results Theorem [King, Pelsmajer, 2010] There exists n 0 such that for any n n 0, an n-vertex triangulation with maximum degree 6 has a dominating set of size at most n/4. Theorem [LP 2011] There exists a constant c such that any n-vertex triangulation with maximum degree 6 has a dominating set of size at most n/6 + c. This bound is best possible. Consider C 3 P n, triangulate it properly.

Main results Conjecture [KP] For any constant t, there exists n t such that for any n n t, an n-vertex triangulation with at most t vertices of degree other than 6 has a dominating set of size at most n/4.

Main results Conjecture [KP] For any constant t, there exists n t such that for any n n t, an n-vertex triangulation with at most t vertices of degree other than 6 has a dominating set of size at most n/4. Theorem [LP 2011] For any integers t,g 0, and ǫ > 0, there exists c = c(g,t,ǫ) such that any n-vertex triangulation on any surface of genus g, with at most t vertices of degree other than 6 has a dominating set of size at most n( 1 6 + ǫ) + c, with c = O((g3 + gt 2 )/ǫ). Since n( 1 6 + ǫ) + c n 4 whenever n( 1 12 ǫ) c, the Conjecture follows by setting ǫ < 1 12 and n t = c/( 1 12 ǫ).

Small non-contractible cycles in N g Theorem [Hutchinson, 1980] In every triangulation of an orientable surface with n vertices there is a noncontractible cycle of length at most 2n. The upper bound was improved to O( n/g log g) [Hutchinson 1988]. Theorem [LP 2011] Any n-vertex triangulation on a non-orientable surface has a noncontractible cycle of length less than equal to 2 n.

Main results Theorem [LP 2011] Any n-vertex triangulation on a non-orientable surface has a noncontractible cycle of length less than equal to 2 n. The order of magnitude of this bound is best possible: Take an icosahedron, identify opposite points, and then triangulate each of the resulting 10 faces with a triangular grid of k 2 triangles. We get a projective planar triangulation with 10k 2 faces, and hence 15k 2 edges and n = 5k 2 + 2 vertices. Its shortest non-contractible cycle has length 3k, which is nearly 3 5 n, or about 1.34164 n. Thus, the correct bound has order n, and the constant multiple is between 1.34 and 2.

Setup Given G on N 1, let C be a minimum-length non-contractible cycle. C must be one-sided. Cut along C and double C alongside the cut, as in the C-derived construction, but do not add the disk, nor the extra vertex that goes in the disk. This yields a triangulated disk G bounded by a cycle C of length 2 C. Label the vertices of C in clockwise order, as v 0,v 1,...,v C = v 0,v 1,...,v C = v 0; then v j and v j (for any 0 j C ) are copies of the same vertex in C. Let m = C /2, let x = v m, and for all j 0, let V j be the set of vertices v in G such that the distance d(v,x) = j. Lemma V j contains a path P j from v m j to v m+j of length at least 2j, for all j with 0 j m.

Proof for Theorem 2 Lemma Any n-vertex triangulation on the projective plane has a noncontractible cycle of length less than or equal to 2 n 1. Proof. Since the vertex sets V 0,...,V m are disjoint, the vertex sets of the paths P 0,...,P m are disjoint. Therefore, n m V (P j ) j=0 m (2j + 1) = (m + 1) 2. j=0 Then 2 n 1 2m + 1 = 2 C /2 + 1 C.

Proof for Theorem 2 Lemma Any n-vertex triangulation on the projective plane has a noncontractible cycle of length less than or equal to 2 n 1. Lemma Any n-vertex triangulation on a non-orientable surface with genus g > 1 has a non-contractible cycle of length less than or equal to 2 n.

Proof for Theorem 2 Proof. For any non-orientable surface N g, it is known that the double cover of N g is S g 1. Let G be an n-vertex triangulation of N g with g > 1, and let H be the double cover of G. Then H is a 2n-vertex triangulation on S g 1, an orientable surface that is not the sphere. H has a non-contractible cycle C H of length at most 2(2n) = 2 n. C H maps to a closed walk C G on N g. If C G is contractible, then there is a homotopy in S g 1 from C G to a point. It lifts to a homotopy in N g from C H to a point. Then C H is contractible in N g, which is a contradiction. Therefore, C G is a non-contractible closed walk in G of length at most C H. C G must contain a non-contractible cycle, which has length at most C G C H 2 n.

Proof for Theorem 1 when S = S 0 G G Obtain a triangulated disc G by embedding G on the sphere and then cutting the surface along the edges of the Steiner tree in G that contains the set of vertices in G of degree not equal to 6. T T

G G Locally, it looks like Figure: An example of constructing G near a portion of T

G G G then can be embedded in a 6-regular infinite triangulation, which implied that G can be dominated by n/7 vertices. G is surely dominated by the union of T and the dominating set of G (n/7 + V (T)). Figure: G, with a dominating set that contains every seventh vertex

Sketch of the proof When V (T) is big, the graph contains a triangulated cylinder. Lemma If H is a (w,l)-cylinder and 3 w 12, then H contains a set of at most V(H) 6 + 12 = 1 6w(l + 1) + 12 vertices that dominates the interior vertices of H. The case when S = S 0 can be shown by using this lemma and applying induction on n.

For w 12, we give patterns that would cover the whole graph. 6 6 5 5 4 4 3 3 2 2 1 1 0 0 1 2 3 4 5 0 0 1 2 3 4 5

When S S 0 :C-derived graph of G Suppose that C is a non-contractible cycle of G on the surface S. We can obtain a triangulation G on a related surface S, which we call the C-derived graph of G, as follows. Cut the surface along C, and copy C locally onto each side of the cut so that each vertex and edge is doubled. This creates a triangulated surface with one hole if C is one-sided, and two holes if C is two-sided. Attach a disk to each hole to create a surface without boundary; this is S. Add a vertex to each disk with edges to every vertex on the disk boundary; this yields G, which is a triangulation of S.

S S Since the Euler characteristic of S g is 2 2g and the Euler characteristic of N g is 2 g, there are only certain possibilities for S.

S S Since the Euler characteristic of S g is 2 2g and the Euler characteristic of N g is 2 g, there are only certain possibilities for S. Case S C S 1 S g 2-sided, non-separating S g 1 2 S g 2-sided, surface-separating S k1 S k2 3 N g 1-sided, non-separating N g 1 4 N g 1-sided, non-separating S (g 1)/2 5 N g 2-sided, non-separating N g 2 6 N g 2-sided, non-separating S (g 2)/2 7 N g 2-sided, surface-separating N k1 N k2 8 N g 2-sided, surface-separating S k1 /2 N k2

When S S 0 Notice that in the process of cutting cycles and reducing the problem to triangulations of spheres, the number of bad vertices (degree not equal to 6) might grow exponentially with genus. To fix this problem, we keep tracking of two kinds of possibly bad vertices, the hubs U 0 and the other vertices U \ U 0 that are within distance d U of the hubs. By our construction, U 0 is not exponential.

Definition 1 For any graph G, we will always use the notation U,U 0,U 0 for vertex sets and d U for an integer that satisfy: 1 U is the disjoint union of U 0 and U 0, 2 {v V (G) : deg(v) 6} U, 3 every component of G[U] contains at least one vertex of U 0, and 4 for each v U 0, there is a u U 0 with d(v,u) d U. Let T be the spanning tree in T 0 G[U], where T 0 is a steiner tree for U 0.

When S S 0 Suppose that G is a triangulation of a surface with U,U 0,U 0,d U that satisfy Definition 1, C is a non-contractible cycle in G, and G is the C-derived graph. If C is 2-sided, let C 1,C 2 be the new cycles that replace C and let v 1,v 2 be the new vertices in the disks bounded by C 1,C 2. If C is 1-sided, then let C 1 be the new cycle that replaces C, and let v 1 be the new vertex in the disk bounded by C 1.

Lemma If C is 2-sided, then Definition 1 is satisfied for G by U = (U \ V (C)) V (C 1 ) V (C 2 ) {v 1,v 2 }, U 0 = (U 0 \ V (C)) {v 1,v 2 }, U 0 = ( U 0 \ V (C) ) V (C 1 ) V (C 2 ), and d U = d U + 1. If G has two components G 1,G 2, then for i = 1,2, Definition 1 is satisfied for G i by U i = U V (G i ), U i 0 = U 0 V (G i), U i 0 = U 0 V (G i), and d i U = d U. If C is 1-sided, then Definition 1 is satisfied for G by U = (U \ V (C)) V (C 1 ) {v 1 }, U 0 = (U 0 \ V (C)) {v 1 }, U 0 = ( U0 \ V (C) ) V (C 1 ), and let d U = d U + 1. This lemma implies d u 2g 1 and U 0 2 C.

Lemma Let G be a triangulation of the sphere with n vertices and suppose that U,U 0,U 0,d U satisfies Definition 1. Then G has a dominating set D that contains U such that D n 6 + 3( U 0 1)(2 3n + 2d U + 9) + 3 2 U 0 + 1 3.

Future work What about other kinds of triangulations. Given any triangulation G, is it true that γ(g) n/4? Get a better bound for non-contractible cycles on non-orientable surfaces.

Thank you!

2024 © technodocbox.com Privacy Policy | Terms of Service | Feedback