arXiv++ Combinatorics

A Hajnal--Máté graph is an uncountably chromatic graph on $ω_1$ satisfying a certain natural sparseness condition. We investigate Hajnal-Máté graphs and generalizations thereof, focusing on the existence of Hajnal-Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal-Máté graphs. In the process, we isolate a weakening of club guessing called \emph{disjoint type guessing} that we feel is of interest in its own right. We show that disjoint type guessing is independent of $\mathsf{ZFC}$ and, if disjoint type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal-Máté graphs $G$ such that the chromatic numbers of finite subgraphs of $G$ grow arbitrarily slowly.

The Halpern-Läuchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles about products of perfect Polish spaces. These principles yield straightforward proofs of the Halpern-Läuchli theorem, and the same forcing from Harrington's proof can force their consistency. We also show that these principles are not ZFC theorems by showing that they put lower bounds on the size of the continuum.

The optimality of the Erdős-Rado theorem for pairs is witnessed by the colouring $Δ_κ: [2^κ]^2 \rightarrow κ$ recording the least point of disagreement between two functions. This colouring has no monochromatic triangles or, more generally, odd cycles. We investigate a number of questions investigating the extent to which $Δ_κ$ is an \emph{extremal} such triangle-free or odd-cycle-free colouring. We begin by introducing the notion of $Δ$-regressive and almost $Δ$-regressive colourings and studying the structures that must appear as monochromatic subgraphs for such colourings. We also consider the question as to whether $Δ_κ$ has the minimal cardinality of any \emph{maximal} triangle-free or odd-cycle-free colouring into $κ$. We resolve the question positively for odd-cycle-free colourings.

We prove that, for every function $f:\mathbb{N} \rightarrow \mathbb{N}$, there is a graph $G$ with uncountable chromatic number such that, for every $k \in \mathbb{N}$ with $k \geq 3$, every subgraph of $G$ with fewer than $f(k)$ vertices has chromatic number less than $k$. This answers a question of Erdős, Hajnal, and Szemeredi.

We prove that reflection of the coloring number of graphs is consistent with non-reflection of the chromatic number. Moreover, it is proved that incompactness for the chromatic number of graphs (with arbitrarily large gaps) is compatible with each of the following compactness principles: Rado's conjecture, Fodor-type reflection, $Δ$-reflection, Stationary-sets reflection, Martin's Maximum, and a generalized Chang's conjecture. This is accomplished by showing that, under $\mathrm{GCH}$-type assumptions, instances of incompactness for the chromatic number can be derived from square-like principles that are compatible with large amounts of compactness. In addition, we prove that, in contrast to the chromatic number, the coloring number does not admit arbitrarily large incompactness gaps.