The Chromatic Structure of Dense Graphs

This thesis focusses on extremal graph theory, the study of how local constraints on a graph affect its macroscopic structure. We primarily consider the chromatic structure: whether a graph has or is close to having some (low) chromatic number. Chapter 2 is the slight exception. We consider an induced version of the classical Turán problem. Introduced by Loh, Tait, Timmons, and Zhou, the induced Turán number ex(n, {H, F-ind}) is the greatest number of edges in an n-vertex graph with no copy of H and no induced copy of F. We asymptotically determine ex(n, {H, F-ind}) for H not bipartite and F neither an independent set nor a complete bipartite graph. We also improve the upper bound for ex(n, {H, K_{2, t}-ind}) as well as the lower bound for the clique number of graphs that have some fixed edge density and no induced K_{2, t}. The next three chapters form the heart of the thesis. Chapters 3 and 4 consider the Erdős-Simonovits question for locally r-colourable graphs: what are the structure and chromatic number of graphs with large minimum degree and where every neighbourhood is r-colourable? Chapter 3 deals with the locally bipartite case and Chapter 4 with the general case. While the subject of Chapters 3 and 4 is a natural local to global colouring question, it is also essential for determining the minimum degree stability of H-free graphs, the focus of Chapter 5. Given a graph H of chromatic number r + 1, this asks for the minimum degree that guarantees that an H-free graph is close to r-partite. This is analogous to the classical edge stability of Erdős and Simonovits. We also consider the question for the family of graphs to which H is not homomorphic, showing that it has the same answer. Chapter 6 considers sparse analogues of the results of Chapters 3 to 5 obtaining the thresholds at which the sparse problem degenerates away from the dense one. Finally, Chapter 7 considers a chromatic Ramsey problem first posed by Erdős: what is the greatest chromatic number of a triangle-free graph on $n$ vertices or with m edges? We improve the best known bounds and obtain tight (up to a constant factor) bounds for the list chromatic number, answering a question of Cames van Batenburg, de Joannis de Verclos, Kang, and Pirot

Bipartite induced density in triangle-free graphs

We prove that any triangle-free graph on $n$ vertices with minimum degree at least $d$ contains a bipartite induced subgraph of minimum degree at least $d^2/(2n)$. This is sharp up to a logarithmic factor in $n$. Relatedly, we show that the fractional chromatic number of any such triangle-free graph is at most the minimum of $n/d$ and $(2+o(1))\sqrt{n/\log n}$ as $n\to\infty$. This is sharp up to constant factors. Similarly, we show that the list chromatic number of any such triangle-free graph is at most $O(\min\{\sqrt{n},(n\log n)/d\})$ as $n\to\infty$. Relatedly, we also make two conjectures. First, any triangle-free graph on $n$ vertices has fractional chromatic number at most $(\sqrt{2}+o(1))\sqrt{n/\log n}$ as $n\to\infty$. Second, any triangle-free graph on $n$ vertices has list chromatic number at most $O(\sqrt{n/\log n})$ as $n\to\infty$.Comment: 20 pages; in v2 added note of concurrent work and one reference; in v3 added more notes of ensuing work and a result towards one of the conjectures (for list colouring

Vertex arboricity of triangle-free graphs

Master's Project (M.S.) University of Alaska Fairbanks, 2016The vertex arboricity of a graph is the minimum number of colors needed to color the vertices so that the subgraph induced by each color class is a forest. In other words, the vertex arboricity of a graph is the fewest number of colors required in order to color a graph such that every cycle has at least two colors. Although not standard, we will refer to vertex arboricity simply as arboricity. In this paper, we discuss properties of chromatic number and k-defective chromatic number and how those properties relate to the arboricity of trianglefree graphs. In particular, we find bounds on the minimum order of a graph having arboricity three. Equivalently, we consider the largest possible vertex arboricity of triangle-free graphs of fixed order

K3K_3-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum

A $K_3$-WORM coloring of a graph $G$ is an assignment of colors to the vertices in such a way that the vertices of each $K_3$-subgraph of $G$ get precisely two colors. We study graphs $G$ which admit at least one such coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014) 161--173] who asked whether every such graph has a $K_3$-WORM coloring with two colors. In fact for every integer $k\ge 3$ there exists a $K_3$-WORM colorable graph in which the minimum number of colors is exactly $k$. There also exist $K_3$-WORM colorable graphs which have a $K_3$-WORM coloring with two colors and also with $k$ colors but no coloring with any of $3,\dots,k-1$ colors. We also prove that it is NP-hard to determine the minimum number of colors and NP-complete to decide $k$-colorability for every $k \ge 2$ (and remains intractable even for graphs of maximum degree 9 if $k=3$). On the other hand, we prove positive results for $d$-degenerate graphs with small $d$, also including planar graphs. Moreover we point out a fundamental connection with the theory of the colorings of mixed hypergraphs. We list many open problems at the end.Comment: 18 page

Fractional coloring of triangle-free planar graphs

We prove that every planar triangle-free graph on $n$ vertices has fractional chromatic number at most $3-\frac{1}{n+1/3}$

On the Chromatic Thresholds of Hypergraphs

Let F be a family of r-uniform hypergraphs. The chromatic threshold of F is the infimum of all non-negative reals c such that the subfamily of F comprising hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. This parameter has a long history for graphs (r=2), and in this paper we begin its systematic study for hypergraphs. {\L}uczak and Thomass\'e recently proved that the chromatic threshold of the so-called near bipartite graphs is zero, and our main contribution is to generalize this result to r-uniform hypergraphs. For this class of hypergraphs, we also show that the exact Tur\'an number is achieved uniquely by the complete (r+1)-partite hypergraph with nearly equal part sizes. This is one of very few infinite families of nondegenerate hypergraphs whose Tur\'an number is determined exactly. In an attempt to generalize Thomassen's result that the chromatic threshold of triangle-free graphs is 1/3, we prove bounds for the chromatic threshold of the family of 3-uniform hypergraphs not containing {abc, abd, cde}, the so-called generalized triangle. In order to prove upper bounds we introduce the concept of fiber bundles, which can be thought of as a hypergraph analogue of directed graphs. This leads to the notion of fiber bundle dimension, a structural property of fiber bundles that is based on the idea of Vapnik-Chervonenkis dimension in hypergraphs. Our lower bounds follow from explicit constructions, many of which use a hypergraph analogue of the Kneser graph. Using methods from extremal set theory, we prove that these Kneser hypergraphs have unbounded chromatic number. This generalizes a result of Szemer\'edi for graphs and might be of independent interest. Many open problems remain.Comment: 37 pages, 4 figure