# arxiv: v5 [math.co] 26 Dec 2014

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 TRIANGLE-FREE INTERSECTION GRAPHS OF LINE SEGMENTS WITH LARGE CHROMATIC NUMBER ARKADIUSZ PAWLIK, JAKUB KOZIK, TOMASZ KRAWCZYK, MICHAŁ LASOŃ, PIOTR MICEK, WILLIAM T. TROTTER, AND BARTOSZ WALCZAK arxiv: v5 [math.co] 26 Dec 2014 Abstract. In the 1970s, Erdős asked whether the chromatic number of intersection graphs of line segments in the plane is bounded by a function of their clique number. We show the answer is no. Specifically, for each positive integer k, we construct a triangle-free family of line segments in the plane with chromatic number greater than k. Our construction disproves a conjecture of Scott that graphs excluding induced subdivisions of any fixed graph have chromatic number bounded by a function of their clique number. 1. Introduction A proper coloring of a graph is an assignment of colors to the vertices of the graph such that no two adjacent ones are assigned the same color. The minimum number of colors sufficient to color a graph G properly is called the chromatic number of G and denoted by χ(g). The maximum size of a clique (a set of pairwise adjacent vertices) in a graph G is called the clique number of G and denoted by ω(g). It is clear that χ(g) ω(g). A class of graphs is χ-bounded if there is a function f : N N such that χ(g) f(ω(g)) holds for any graph G from the class 1. A triangle is a clique of size 3. A graph is triangle-free if it does not contain any triangle. There are various constructions of triangle-free graphs with arbitrarily large chromatic number. The first one was given by Zykov [17], and the one perhaps best known is due to Mycielski [11]. On the other hand, in the widely studied class of perfect graphs, which include interval graphs, split graphs, chordal graphs, comparability graphs, etc., the chromatic number and the clique number are equal. In particular, these graphs are 2-colorable when triangle-free. The intersection graph of a family of sets F is the graph with vertex set F and edge set consisting of pairs of intersecting elements of F. For simplicity, we identify the family F with its intersection graph. The study of the relation between χ and ω for geometric intersection graphs was initiated by Asplund and Grünbaum [1]. They proved that the families of axis-aligned rectangles in the plane are χ-bounded. On the other hand, Burling A journal version of this paper appeared in J. Combin. Theory Ser. B, 105:6 10, Five authors were supported by Ministry of Science and Higher Education of Poland grant 884/N-ESF-EuroGIGA/10/2011/0 within ESF EuroGIGA project GraDR. 1 This notion has been introduced by Gyárfás [5], who called the class χ-bound and the function χ-binding. However, the term χ-bounded seems to be better established in the modern terminology. 1

2 2 PAWLIK, KOZIK, KRAWCZYK, LASOŃ, MICEK, TROTTER, AND WALCZAK [3] showed that the triangle-free families of axis-aligned boxes in R 3 have arbitrarily large chromatic number. Paul Erdős asked in the 1970s 2 whether the families of line segments in the plane are χ-bounded. Kratochvíl and Nešetřil generalized this question to the families of curves in the plane any two of which intersect at most once, see [7]. McGuinness [9] conjectured that the families F of bounded arcwise connected sets in the plane such that for any S, T F, the set S T is arcwise connected or empty are χ-bounded. Some important special cases of Erdős s question are known to have positive solutions. In particular, Suk [15] proved that the families of segments intersecting a common line and the families of unit-length segments are χ-bounded, improving results of McGuinness for triangle-free families [9]. We show that the answer to Erdős s question is negative. Namely, for every positive integer k, we construct a triangle-free family S of line segments in the plane such that χ(s) > k. A related question of Erdős 3 asks whether the class of complements of intersection graphs of line segments in the plane is χ-bounded. Here the answer is positive as shown by Pach and Törőcsik [12]. As first observed by Fox and Pach [4], our result disproves a purely graphtheoretical conjecture of Scott [14] that for every graph H, the class of graphs excluding induced subdivisions of H is χ-bounded. To see this, take H being the 1-subdivision of a non-planar graph, and note that no subdivision of such H is representable as an intersection graph of segments. 2. Proof Theorem 1. For every integer k 1, there is a family S of line segments in the plane with no three pairwise intersecting segments and with χ(s) > k. We actually prove a stronger and more technical lemma, which admits a relatively compact inductive proof. Let S be a family of line segments contained in the interior of a rectangle R = [a, c] [b, d]. A rectangle P = [a, c] [b, d ] is a probe for (S, R) if the following conditions are satisfied: (i) We have a < a < c and b < b < d < d. Note that the right boundary of P lies on the right boundary of R. (ii) No line segment in S intersects the left boundary of P. (iii) No line segment in S has an endpoint inside or on the boundary of P. (iv) The line segments in S intersecting P are pairwise disjoint. The reader should envision a probe as a thin rectangle entering R from the right and intersecting an independent set of line segments. The purpose of the restriction on the left boundary of the probe is to simplify the details of the 2 An approximate date confirmed in personal communication with András Gyárfás and János Pach; see also [5, Problem 1.9] and [2, Problem 2 in Section 9.6]. 3 See [5, Problem 1.10].

3 TRIANGLE-FREE SEGMENT GRAPHS WITH LARGE CHROMATIC NUMBER 3 Figure 1. Segments, probes and roots construction to follow. The rectangle [a, c ] [b, d ] with maximum c that is internally disjoint from every line segment in S is the root of P. In the argument below, we construct a family of pairwise disjoint probes for (S, R). We illustrate such a configuration in Figure 1. We define sequences (s i ) i N and (p i ) i N by induction, setting s 1 = p 1 = 1, s i+1 = (p i + 1)s i + p 2 i, and p i+1 = 2p 2 i. Lemma 2. Let k 1 and R be an axis-aligned rectangle with positive area. There is a triangle-free family S k of s k line segments in the interior of R and a family P k of p k pairwise disjoint probes for (S k, R) such that for any proper coloring φ of S k, there is a probe P P k for which φ uses at least k colors on the segments in S k intersecting P. Proof. The proof goes by induction on k. For the base case k = 1, we pick any non-horizontal segment inside R as the only member of S 1. The probe in P 1 is any rectangle contained in R, touching the right boundary of R and piercing the chosen segment with its lower and upper boundaries. Now goes the induction step: for a given rectangle R, we construct S k+1 and P k+1. First, we draw a family S = S k inside R and let P = P k be the associated set of probes, as claimed by the induction hypothesis. Then, for each probe P P, we place another copy S P of S k with set of probes Q P inside the root of P. Finally, for every P P and every Q Q P, we draw the diagonal of Q, that is, the line segment D Q from the bottom-left corner of Q to the top-right corner of Q. Note that D Q crosses all segments pierced by Q and no other segment. The family S k+1 consists of the line segments from the p k + 1 copies of S k and the p 2 k diagonals, so the total number of segments is (p k + 1)s k + p 2 k = s k+1. Now we show how the set of probes P k+1 is constructed. For P P and Q Q P, let S(P ) be the segments in S that intersect P and S P (Q) be the segments in S P that intersect Q. For each P P and each Q Q P, we put two probes into P k+1 : a lower probe L Q and an upper probe U Q, both lying inside Q extended to the right boundary of R. We choose the lower probe L Q very

4 4 PAWLIK, KOZIK, KRAWCZYK, LASOŃ, MICEK, TROTTER, AND WALCZAK Figure 2. A diagonal with lower and upper probes close to the bottom edge of Q and thin enough so that it intersects all segments in S P (Q) but not the diagonal D Q. We choose the upper probe U Q very close to the top edge of Q and thin enough so that it intersects the diagonal D Q but not the segments in S P (Q). Both L Q and U Q end at the right boundary of R, as required by the definition of probe, and thus intersect also the segments in S(P ). Note that L Q and U Q are disjoint. By the induction hypothesis and the placement of S P inside the root of P, the sets S(P ) S P (Q) and S(P ) {D Q } are both independent, so L Q and U Q indeed satisfy the conditions for being probes. See Figure 2 for an illustration. Clearly, the probes in P k+1 are pairwise disjoint and their total number is 2p 2 k = p k+1. The family S k+1 is triangle-free, because we constructed S k+1 by taking disjoint copies of triangle-free families and adding diagonals intersecting independent sets of segments. Let φ be a proper coloring of S k+1. We show that there is a probe in P k+1 for which φ uses at least k+1 colors on the line segments in S k+1 intersecting that probe. Consider the restriction of φ to S, the original copy of S k used to launch the construction. There is a probe P P such that φ uses at least k colors on the line segments in S intersecting P. Now, consider S P, the copy of S k put inside the root of P. Again, there is a probe Q Q P such that φ uses at least k colors on the segments in S P intersecting Q. If φ uses different sets of colors on the segments intersecting P and the segments intersecting Q, then at least k + 1 colors are used on the segments pierced by the lower probe L Q. If φ uses the same set of colors on the segments intersecting P and those intersecting Q, then another color must be used on the diagonal D Q, and thus φ uses at least k + 1 colors on the segments intersecting the upper probe U Q. The smallest family S k of segments satisfying the conclusion of Theorem 1 that we know is obtained by taking all segments from the family S k constructed above and adding the diagonals of all probes in P k. It is indeed triangle-free as the segments in S k intersecting every probe form an independent set. Since every proper coloring of S k uses at least k colors on the segments intersecting some probe, the diagonal of this probe must receive yet another color, which yields χ( S k ) > k. By an argument similar to that in the proof of Lemma 2, we can show that the family S k is (k + 1)-critical, which means that χ( S k ) = k + 1 and removing any segment from S k decreases the chromatic number to k. It should be noted that the family S k and the triangle-free family of axisaligned boxes in R 3 with chromatic number greater than k constructed by Burling [3] yield the same intersection graph.

5 TRIANGLE-FREE SEGMENT GRAPHS WITH LARGE CHROMATIC NUMBER 5 3. Remarks An easy generalization of the presented construction shows the following: for every arcwise connected compact set S in the plane that is not an axis-aligned rectangle, the triangle-free families of sets obtained from S by translation and independent scaling in two directions have unbounded chromatic number. In particular, this gives the negative answer to a question of Gyárfás and Lehel [6] whether the families of axis-aligned L-shapes are χ-bounded. For some sets S (e.g. circles and square boundaries), we can even restrict the transformations to translation and uniform scaling and still obtain graphs with arbitrarily large chromatic number. We discuss this matter in a follow-up paper [13]. 4. Problems Problem 1. What is (asymptotically) the maximum chromatic number of a triangle-free family of n segments in the plane? The size of the triangle-free family S k of segments with χ( S k ) > k that we construct in Section 2 is s k + p k. It easily follows from the inductive definition of p k and s k that 2 2k 1 1 = p k s k 2 2k 1 1. Therefore, we have S k = Θ(2 2k 1 ). This shows that the maximum chromatic number of a triangle-free family of segments of size n is of order Ω(log log n). On the other hand, the bound of O(log n) follows from a result of McGuinness [9]. Problem 2. Is there a constant c > 0 such that every triangle-free family of n segments in the plane contains an independent subfamily of size at least cn? By the above-mentioned bound χ(s) = O(log n), any triangle-free family S of segments of size n contains an independent subfamily of size Ω(n/ log n). Update. Walczak [16] proved the negative answer to the question in Problem 2. The chromatic number of segment intersection graphs containing no triangles and no 4-cycles is bounded, as shown by Kostochka and Nešetřil [8]. The following problem has been proposed by Jacob Fox. Problem 3. Do the families of segments in the plane containing no triangles and no 5-cycles have bounded chromatic number? Update. We have learned from Sean McGuinness that the positive answer to the question in Problem 3 is a direct corollary to the following result of him [10, Theorem 5.3]: if a triangle-free segment intersection graph has large chromatic number, then it contains a vertex v with the property that the vertices at distance 2 from v induce a subgraph with large chromatic number. Indeed, any two adjacent vertices at distance 2 from v witness a 5-cycle. Iterated application of McGuinness s result shows that for any l 5, triangle-free segment intersection graphs with chromatic number large enough contain a cycle of length l. We are grateful to Sean for these observations.

6 6 PAWLIK, KOZIK, KRAWCZYK, LASOŃ, MICEK, TROTTER, AND WALCZAK Acknowledgments We thank Jacob Fox and János Pach for their helpful remarks and advice. References [1] Edgar Asplund and Branko Grünbaum. On a colouring problem. Math. Scand., 8: , [2] Peter Brass, William Moser, and János Pach. Research Problems in Discrete Geometry. Springer, New York, [3] James P. Burling. On coloring problems of families of prototypes. PhD thesis, University of Colorado, Boulder, [4] Jacob Fox and János Pach. personal communication. [5] András Gyárfás. Problems from the world surrounding perfect graphs. Zastos. Mat., 19: , [6] András Gyárfás and Jenő Lehel. Covering and coloring problems for relatives of intervals. Discrete Math., 55(2): , [7] Alexandr Kostochka and Jaroslav Nešetřil. Chromatic number of geometric intersection graphs. In Martin Klazar, editor, 1995 Prague Midsummer Combinatorial Workshop, volume of KAM Series, pages Charles University, Prague, [8] Alexandr Kostochka and Jaroslav Nešetřil. Coloring relatives of intervals on the plane I: chromatic number versus girth. European J. Combin., 19(1): , [9] Sean McGuinness. Colouring arcwise connected sets in the plane I. Graphs Combin., 16(4): , [10] Sean McGuinness. Colouring arcwise connected sets in the plane II. Graphs Combin., 17(1): , [11] Jan Mycielski. Sur le coloriage des graphes. Colloq. Math., 3: , [12] János Pach and Jenő Törőcsik. Some geometric applications of Dilworth s theorem. Discrete Comput. Geom., 12(1):1 7, [13] Arkadiusz Pawlik, Jakub Kozik, Tomasz Krawczyk, Michał Lasoń, Piotr Micek, William T. Trotter, and Bartosz Walczak. Triangle-free geometric intersection graphs with large chromatic number. Discrete Comput. Geom., 50(3): , [14] Alex D. Scott. Induced trees in graphs of large chromatic number. J. Graph Theory, 24(4): , [15] Andrew Suk. Coloring intersection graphs of x-monotone curves in the plane. Combinatorica, 34(4): , [16] Bartosz Walczak. Triangle-free geometric intersection graphs with no large independent sets. Discrete Comput. Geom., 53(1): , [17] Alexander A. Zykov. On some properties of linear complexes. Mat. Sb. (N.S.), 24(66)(2): , in Russian. (Arkadiusz Pawlik, Jakub Kozik, Tomasz Krawczyk, Piotr Micek, Bartosz Walczak) Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, Kraków, Poland address: (Michał Lasoń) Theoretical Computer Science Department, Faculty of Mathematics and Computer Science, Jagiellonian University, Kraków, Poland; Institute of Mathematics of the Polish Academy of Sciences, Warsaw, Poland address: (William T. Trotter) School of Mathematics, Georgia Institute of Technology, Atlanta, GA 30332, USA address:

### Removing Even Crossings

EuroComb 2005 DMTCS proc. AE, 2005, 105 110 Removing Even Crossings Michael J. Pelsmajer 1, Marcus Schaefer 2 and Daniel Štefankovič 2 1 Department of Applied Mathematics, Illinois Institute of Technology,

### Clique coloring B 1 -EPG graphs

Clique coloring B 1 -EPG graphs Flavia Bonomo a,c, María Pía Mazzoleni b,c, and Maya Stein d a Departamento de Computación, FCEN-UBA, Buenos Aires, Argentina. b Departamento de Matemática, FCE-UNLP, La

### Mean Ramsey-Turán numbers

Mean Ramsey-Turán numbers Raphael Yuster Department of Mathematics University of Haifa at Oranim Tivon 36006, Israel Abstract A ρ-mean coloring of a graph is a coloring of the edges such that the average

### Zachary Monaco Georgia College Olympic Coloring: Go For The Gold

Zachary Monaco Georgia College Olympic Coloring: Go For The Gold Coloring the vertices or edges of a graph leads to a variety of interesting applications in graph theory These applications include various

### Graphs without proper subgraphs of minimum degree 3 and short cycles

Graphs without proper subgraphs of minimum degree 3 and short cycles Lothar Narins, Alexey Pokrovskiy, Tibor Szabó Department of Mathematics, Freie Universität, Berlin, Germany. August 22, 2014 Abstract

### The degree, size and chromatic index of a uniform hypergraph

The degree, size and chromatic index of a uniform hypergraph Noga Alon Jeong Han Kim Abstract Let H be a k-uniform hypergraph in which no two edges share more than t common vertices, and let D denote the

### FRACTIONAL COLORINGS AND THE MYCIELSKI GRAPHS

FRACTIONAL COLORINGS AND THE MYCIELSKI GRAPHS By G. Tony Jacobs Under the Direction of Dr. John S. Caughman A math 501 project submitted in partial fulfillment of the requirements for the degree of Master

### arxiv:1203.1525v1 [math.co] 7 Mar 2012

Constructing subset partition graphs with strong adjacency and end-point count properties Nicolai Hähnle haehnle@math.tu-berlin.de arxiv:1203.1525v1 [math.co] 7 Mar 2012 March 8, 2012 Abstract Kim defined

### The positive minimum degree game on sparse graphs

The positive minimum degree game on sparse graphs József Balogh Department of Mathematical Sciences University of Illinois, USA jobal@math.uiuc.edu András Pluhár Department of Computer Science University

### Total colorings of planar graphs with small maximum degree

Total colorings of planar graphs with small maximum degree Bing Wang 1,, Jian-Liang Wu, Si-Feng Tian 1 Department of Mathematics, Zaozhuang University, Shandong, 77160, China School of Mathematics, Shandong

### Large induced subgraphs with all degrees odd

Large induced subgraphs with all degrees odd A.D. Scott Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, England Abstract: We prove that every connected graph of order

### On the maximum average degree and the incidence chromatic number of a graph

Discrete Mathematics and Theoretical Computer Science DMTCS ol. 7, 2005, 203 216 On the maximum aerage degree and the incidence chromatic number of a graph Mohammad Hosseini Dolama 1 and Eric Sopena 2

### A Turán Type Problem Concerning the Powers of the Degrees of a Graph

A Turán Type Problem Concerning the Powers of the Degrees of a Graph Yair Caro and Raphael Yuster Department of Mathematics University of Haifa-ORANIM, Tivon 36006, Israel. AMS Subject Classification:

### The number of generalized balanced lines

The number of generalized balanced lines David Orden Pedro Ramos Gelasio Salazar Abstract Let S be a set of r red points and b = r + 2δ blue points in general position in the plane, with δ 0. A line l

### Removing even crossings

Removing even crossings Michael J. Pelsmajer a, Marcus Schaefer b, Daniel Štefankovič c a Department of Applied Mathematics, Illinois Institute of Technology, Chicago, IL 60616, USA b Department of Computer

### Exponential time algorithms for graph coloring

Exponential time algorithms for graph coloring Uriel Feige Lecture notes, March 14, 2011 1 Introduction Let [n] denote the set {1,..., k}. A k-labeling of vertices of a graph G(V, E) is a function V [k].

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### Labeling outerplanar graphs with maximum degree three

Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics

### SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### M-Degrees of Quadrangle-Free Planar Graphs

M-Degrees of Quadrangle-Free Planar Graphs Oleg V. Borodin, 1 Alexandr V. Kostochka, 1,2 Naeem N. Sheikh, 2 and Gexin Yu 3 1 SOBOLEV INSTITUTE OF MATHEMATICS NOVOSIBIRSK 630090, RUSSIA E-mail: brdnoleg@math.nsc.ru

### SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM

SPERNER S LEMMA AND BROUWER S FIXED POINT THEOREM ALEX WRIGHT 1. Intoduction A fixed point of a function f from a set X into itself is a point x 0 satisfying f(x 0 ) = x 0. Theorems which establish the

### ERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS*

BOLYAI SOCIETY MATHEMATICAL STUDIES, 11 Paul Erdos and his Mathematics. II, Budapest, 2002, pp. 367-373. ERDOS PROBLEMS ON IRREGULARITIES OF LINE SIZES AND POINT DEGREES A. GYARFAS* Problems and results

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### Cycles and clique-minors in expanders

Cycles and clique-minors in expanders Benny Sudakov UCLA and Princeton University Expanders Definition: The vertex boundary of a subset X of a graph G: X = { all vertices in G\X with at least one neighbor

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### 1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above?

1. A student followed the given steps below to complete a construction. Step 1: Place the compass on one endpoint of the line segment. Step 2: Extend the compass from the chosen endpoint so that the width

### ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD. 1. Introduction

ON INDUCED SUBGRAPHS WITH ALL DEGREES ODD A.D. SCOTT Abstract. Gallai proved that the vertex set of any graph can be partitioned into two sets, each inducing a subgraph with all degrees even. We prove

### On end degrees and infinite cycles in locally finite graphs

On end degrees and infinite cycles in locally finite graphs Henning Bruhn Maya Stein Abstract We introduce a natural extension of the vertex degree to ends. For the cycle space C(G) as proposed by Diestel

### On an anti-ramsey type result

On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

### ABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).

Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences

### UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE

UPPER BOUNDS ON THE L(2, 1)-LABELING NUMBER OF GRAPHS WITH MAXIMUM DEGREE ANDREW LUM ADVISOR: DAVID GUICHARD ABSTRACT. L(2,1)-labeling was first defined by Jerrold Griggs [Gr, 1992] as a way to use graphs

### On the Sum Necessary to Ensure that a Degree Sequence is Potentially H-Graphic

On the Sum Necessary to Ensure that a Degree Sequence is Potentially H-Graphic Michael J. Ferrara 1,2 Timothy D. LeSaulnier 3 Casey K. Moffatt 1 Paul S. Wenger 4 September 2, 2014 Abstract Given a graph

### All trees contain a large induced subgraph having all degrees 1 (mod k)

All trees contain a large induced subgraph having all degrees 1 (mod k) David M. Berman, A.J. Radcliffe, A.D. Scott, Hong Wang, and Larry Wargo *Department of Mathematics University of New Orleans New

### Odd induced subgraphs in graphs of maximum degree three

Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing

### A 2-factor in which each cycle has long length in claw-free graphs

A -factor in which each cycle has long length in claw-free graphs Roman Čada Shuya Chiba Kiyoshi Yoshimoto 3 Department of Mathematics University of West Bohemia and Institute of Theoretical Computer Science

### On the independence number of graphs with maximum degree 3

On the independence number of graphs with maximum degree 3 Iyad A. Kanj Fenghui Zhang Abstract Let G be an undirected graph with maximum degree at most 3 such that G does not contain any of the three graphs

### Finding and counting given length cycles

Finding and counting given length cycles Noga Alon Raphael Yuster Uri Zwick Abstract We present an assortment of methods for finding and counting simple cycles of a given length in directed and undirected

### Disjoint Compatible Geometric Matchings

Disjoint Compatible Geometric Matchings Mashhood Ishaque Diane L. Souvaine Csaba D. Tóth Abstract We prove that for every even set of n pairwise disjoint line segments in the plane in general position,

### High degree graphs contain large-star factors

High degree graphs contain large-star factors Dedicated to László Lovász, for his 60th birthday Noga Alon Nicholas Wormald Abstract We show that any finite simple graph with minimum degree d contains a

### 1 The Line vs Point Test

6.875 PCP and Hardness of Approximation MIT, Fall 2010 Lecture 5: Low Degree Testing Lecturer: Dana Moshkovitz Scribe: Gregory Minton and Dana Moshkovitz Having seen a probabilistic verifier for linearity

### x 2 f 2 e 1 e 4 e 3 e 2 q f 4 x 4 f 3 x 3

Karl-Franzens-Universitat Graz & Technische Universitat Graz SPEZIALFORSCHUNGSBEREICH F 003 OPTIMIERUNG und KONTROLLE Projektbereich DISKRETE OPTIMIERUNG O. Aichholzer F. Aurenhammer R. Hainz New Results

### Minimum degree condition forcing complete graph immersion

Minimum degree condition forcing complete graph immersion Matt DeVos Department of Mathematics Simon Fraser University Burnaby, B.C. V5A 1S6 Jacob Fox Department of Mathematics MIT Cambridge, MA 02139

### INCIDENCE-BETWEENNESS GEOMETRY

INCIDENCE-BETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full

### 136 CHAPTER 4. INDUCTION, GRAPHS AND TREES

136 TER 4. INDUCTION, GRHS ND TREES 4.3 Graphs In this chapter we introduce a fundamental structural idea of discrete mathematics, that of a graph. Many situations in the applications of discrete mathematics

### On Some Vertex Degree Based Graph Invariants

MATCH Communications in Mathematical and in Computer Chemistry MATCH Commun. Math. Comput. Chem. 65 (20) 723-730 ISSN 0340-6253 On Some Vertex Degree Based Graph Invariants Batmend Horoldagva a and Ivan

### Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

### Near Optimal Solutions

Near Optimal Solutions Many important optimization problems are lacking efficient solutions. NP-Complete problems unlikely to have polynomial time solutions. Good heuristics important for such problems.

### Ramsey numbers for bipartite graphs with small bandwidth

Ramsey numbers for bipartite graphs with small bandwidth Guilherme O. Mota 1,, Gábor N. Sárközy 2,, Mathias Schacht 3,, and Anusch Taraz 4, 1 Instituto de Matemática e Estatística, Universidade de São

### Ph.D. Thesis. Judit Nagy-György. Supervisor: Péter Hajnal Associate Professor

Online algorithms for combinatorial problems Ph.D. Thesis by Judit Nagy-György Supervisor: Péter Hajnal Associate Professor Doctoral School in Mathematics and Computer Science University of Szeged Bolyai

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### Cycle transversals in bounded degree graphs

Electronic Notes in Discrete Mathematics 35 (2009) 189 195 www.elsevier.com/locate/endm Cycle transversals in bounded degree graphs M. Groshaus a,2,3 P. Hell b,3 S. Klein c,1,3 L. T. Nogueira d,1,3 F.

### ON THE COMPLEXITY OF THE GAME OF SET. {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu

ON THE COMPLEXITY OF THE GAME OF SET KAMALIKA CHAUDHURI, BRIGHTEN GODFREY, DAVID RATAJCZAK, AND HOETECK WEE {kamalika,pbg,dratajcz,hoeteck}@cs.berkeley.edu ABSTRACT. Set R is a card game played with a

### SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces

### HOLES 5.1. INTRODUCTION

HOLES 5.1. INTRODUCTION One of the major open problems in the field of art gallery theorems is to establish a theorem for polygons with holes. A polygon with holes is a polygon P enclosing several other

### Offline sorting buffers on Line

Offline sorting buffers on Line Rohit Khandekar 1 and Vinayaka Pandit 2 1 University of Waterloo, ON, Canada. email: rkhandekar@gmail.com 2 IBM India Research Lab, New Delhi. email: pvinayak@in.ibm.com

### Small Maximal Independent Sets and Faster Exact Graph Coloring

Small Maximal Independent Sets and Faster Exact Graph Coloring David Eppstein Univ. of California, Irvine Dept. of Information and Computer Science The Exact Graph Coloring Problem: Given an undirected

### Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms. Dissertation

Graph Powers: Hardness Results, Good Characterizations and Efficient Algorithms Dissertation zur Erlangung des akademischen Grades Doktor-Ingenieur (Dr.-Ing.) der Fakultät für Informatik und Elektrotechnik

### Stationary random graphs on Z with prescribed iid degrees and finite mean connections

Stationary random graphs on Z with prescribed iid degrees and finite mean connections Maria Deijfen Johan Jonasson February 2006 Abstract Let F be a probability distribution with support on the non-negative

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs

CSE599s: Extremal Combinatorics November 21, 2011 Lecture 15 An Arithmetic Circuit Lowerbound and Flows in Graphs Lecturer: Anup Rao 1 An Arithmetic Circuit Lower Bound An arithmetic circuit is just like

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

### Tools for parsimonious edge-colouring of graphs with maximum degree three. J.L. Fouquet and J.M. Vanherpe. Rapport n o RR-2010-10

Tools for parsimonious edge-colouring of graphs with maximum degree three J.L. Fouquet and J.M. Vanherpe LIFO, Université d Orléans Rapport n o RR-2010-10 Tools for parsimonious edge-colouring of graphs

### 8.1 Min Degree Spanning Tree

CS880: Approximations Algorithms Scribe: Siddharth Barman Lecturer: Shuchi Chawla Topic: Min Degree Spanning Tree Date: 02/15/07 In this lecture we give a local search based algorithm for the Min Degree

### Binary Space Partitions

Title: Binary Space Partitions Name: Adrian Dumitrescu 1, Csaba D. Tóth 2,3 Affil./Addr. 1: Computer Science, Univ. of Wisconsin Milwaukee, Milwaukee, WI, USA Affil./Addr. 2: Mathematics, California State

### On the k-path cover problem for cacti

On the k-path cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we

### MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

### A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES

A NOTE ON INITIAL SEGMENTS OF THE ENUMERATION DEGREES THEODORE A. SLAMAN AND ANDREA SORBI Abstract. We show that no nontrivial principal ideal of the enumeration degrees is linearly ordered: In fact, below

### Class One: Degree Sequences

Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

### ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER

Séminaire Lotharingien de Combinatoire 53 (2006), Article B53g ON DEGREES IN THE HASSE DIAGRAM OF THE STRONG BRUHAT ORDER RON M. ADIN AND YUVAL ROICHMAN Abstract. For a permutation π in the symmetric group

### Chapter 3.1 Angles. Geometry. Objectives: Define what an angle is. Define the parts of an angle.

Chapter 3.1 Angles Define what an angle is. Define the parts of an angle. Recall our definition for a ray. A ray is a line segment with a definite starting point and extends into infinity in only one direction.

### Strong Ramsey Games: Drawing on an infinite board

Strong Ramsey Games: Drawing on an infinite board Dan Hefetz Christopher Kusch Lothar Narins Alexey Pokrovskiy Clément Requilé Amir Sarid arxiv:1605.05443v2 [math.co] 25 May 2016 May 26, 2016 Abstract

### Optimal 3D Angular Resolution for Low-Degree Graphs

Journal of Graph Algorithms and Applications http://jgaa.info/ vol. 17, no. 3, pp. 173 200 (2013) DOI: 10.7155/jgaa.00290 Optimal 3D Angular Resolution for Low-Degree Graphs David Eppstein 1 Maarten Löffler

### Math 181 Handout 16. Rich Schwartz. March 9, 2010

Math 8 Handout 6 Rich Schwartz March 9, 200 The purpose of this handout is to describe continued fractions and their connection to hyperbolic geometry. The Gauss Map Given any x (0, ) we define γ(x) =

### MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry. Figure 1: Lines in the Poincaré Disk Model

MA 408 Computer Lab Two The Poincaré Disk Model of Hyperbolic Geometry Put your name here: Score: Instructions: For this lab you will be using the applet, NonEuclid, created by Castellanos, Austin, Darnell,

### The Goldberg Rao Algorithm for the Maximum Flow Problem

The Goldberg Rao Algorithm for the Maximum Flow Problem COS 528 class notes October 18, 2006 Scribe: Dávid Papp Main idea: use of the blocking flow paradigm to achieve essentially O(min{m 2/3, n 1/2 }

### Minimum Bisection is NP-hard on Unit Disk Graphs

Minimum Bisection is NP-hard on Unit Disk Graphs Josep Díaz 1 and George B. Mertzios 2 1 Departament de Llenguatges i Sistemes Informátics, Universitat Politécnica de Catalunya, Spain. 2 School of Engineering

### Classification of Cartan matrices

Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

### CSC2420 Spring 2015: Lecture 3

CSC2420 Spring 2015: Lecture 3 Allan Borodin January 22, 2015 1 / 1 Announcements and todays agenda Assignment 1 due next Thursday. I may add one or two additional questions today or tomorrow. Todays agenda

### ON FIBER DIAMETERS OF CONTINUOUS MAPS

ON FIBER DIAMETERS OF CONTINUOUS MAPS PETER S. LANDWEBER, EMANUEL A. LAZAR, AND NEEL PATEL Abstract. We present a surprisingly short proof that for any continuous map f : R n R m, if n > m, then there

### COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS

COUNTING INDEPENDENT SETS IN SOME CLASSES OF (ALMOST) REGULAR GRAPHS Alexander Burstein Department of Mathematics Howard University Washington, DC 259, USA aburstein@howard.edu Sergey Kitaev Mathematics

### The program also provides supplemental modules on topics in geometry and probability and statistics.

Algebra 1 Course Overview Students develop algebraic fluency by learning the skills needed to solve equations and perform important manipulations with numbers, variables, equations, and inequalities. Students

### Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element Distinctness with Small Range

THEORY OF COMPUTING, Volume 1 (2005), pp. 37 46 http://theoryofcomputing.org Polynomial Degree and Lower Bounds in Quantum Complexity: Collision and Element Distinctness with Small Range Andris Ambainis

### Catalan Numbers. Thomas A. Dowling, Department of Mathematics, Ohio State Uni- versity.

7 Catalan Numbers Thomas A. Dowling, Department of Mathematics, Ohio State Uni- Author: versity. Prerequisites: The prerequisites for this chapter are recursive definitions, basic counting principles,

### A Sublinear Bipartiteness Tester for Bounded Degree Graphs

A Sublinear Bipartiteness Tester for Bounded Degree Graphs Oded Goldreich Dana Ron February 5, 1998 Abstract We present a sublinear-time algorithm for testing whether a bounded degree graph is bipartite

### MATH 21. College Algebra 1 Lecture Notes

MATH 21 College Algebra 1 Lecture Notes MATH 21 3.6 Factoring Review College Algebra 1 Factoring and Foiling 1. (a + b) 2 = a 2 + 2ab + b 2. 2. (a b) 2 = a 2 2ab + b 2. 3. (a + b)(a b) = a 2 b 2. 4. (a

### 2.3 WINDOW-TO-VIEWPORT COORDINATE TRANSFORMATION

2.3 WINDOW-TO-VIEWPORT COORDINATE TRANSFORMATION A world-coordinate area selected for display is called a window. An area on a display device to which a window is mapped is called a viewport. The window

### Embedding nearly-spanning bounded degree trees

Embedding nearly-spanning bounded degree trees Noga Alon Michael Krivelevich Benny Sudakov Abstract We derive a sufficient condition for a sparse graph G on n vertices to contain a copy of a tree T of

### THREE DIMENSIONAL GEOMETRY

Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

### Game Chromatic Index of Graphs with Given Restrictions on Degrees

Game Chromatic Index of Graphs with Given Restrictions on Degrees Andrew Beveridge Department of Mathematics and Computer Science Macalester College St. Paul, MN 55105 Tom Bohman, Alan Frieze, and Oleg

### arxiv:1112.0829v1 [math.pr] 5 Dec 2011

How Not to Win a Million Dollars: A Counterexample to a Conjecture of L. Breiman Thomas P. Hayes arxiv:1112.0829v1 [math.pr] 5 Dec 2011 Abstract Consider a gambling game in which we are allowed to repeatedly

### Angles that are between parallel lines, but on opposite sides of a transversal.

GLOSSARY Appendix A Appendix A: Glossary Acute Angle An angle that measures less than 90. Acute Triangle Alternate Angles A triangle that has three acute angles. Angles that are between parallel lines,

### SHORT CYCLE COVERS OF GRAPHS WITH MINIMUM DEGREE THREE

SHOT YLE OVES OF PHS WITH MINIMUM DEEE THEE TOMÁŠ KISE, DNIEL KÁL, END LIDIKÝ, PVEL NEJEDLÝ OET ŠÁML, ND bstract. The Shortest ycle over onjecture of lon and Tarsi asserts that the edges of every bridgeless

### Investigating Area Under a Curve

Mathematics Investigating Area Under a Curve About this Lesson This lesson is an introduction to areas bounded by functions and the x-axis on a given interval. Since the functions in the beginning of the

### Mathematics for Algorithm and System Analysis

Mathematics for Algorithm and System Analysis for students of computer and computational science Edward A. Bender S. Gill Williamson c Edward A. Bender & S. Gill Williamson 2005. All rights reserved. Preface

### SLIM UNICORNS AND UNIFORM HYPERBOLICITY FOR ARC GRAPHS AND CURVE GRAPHS

SLIM UNICORNS AND UNIFORM HYPERBOLICITY FOR ARC GRAPHS AND CURVE GRAPHS SEBASTIAN HENSEL, PIOTR PRZYTYCKI, AND RICHARD C. H. WEBB Abstract. We describe unicorn paths in the arc graph and show that they