arXiv++ Combinatorics

It is known that, for any finite coloring of the naturals, there exists distinct naturals $e_1,e_2,e_3,e_4$ that are the same color such that $e_1+e_2=e_3+e_4$. Consider the following statement which we denote S: For every $\aleph_0$-coloring of the reals there exists distinct reals $e_1,e_2,e_3,e_4$ such that $e_1+e_2=e_3+e_4$?} Is it true? Erdos showed that S is equivalent to the negation of the Continuum Hypothesis, and hence S is indepedent of ZFC. We give an exposition of his proof and some modern observations about results of this sort.

A two-dimensional \emph{grid} is a set $\Gnm = [n]\times[m]$. A grid $\Gnm$ is \emph{$c$-colorable} if there is a function $χ_{n,m}: \Gnm \to [c]$ such that there are no rectangles with all four corners the same color. We address the following question: for which values of $n$ and $m$ is $\Gnm$ $c$-colorable? This problem can be viewed as a bipartite Ramsey problem and is related to a the Gallai-Witt theorem (also called the multidimensioanl Van Der Waerden's Theorem). We determine (1) \emph{exactly} which grids are 2-colorable, (2) \emph{exactly} which grids are 3-colorable, and (3) \emph{exactly} which grids are 4-colorable. We use combinatorics, finite fields, and tournament graphs.

A $d$-dimensional grid is a set of the form $R = [a_1] \times ... \times [a_d]$. A $d$-dimensional box is a set of the form $\{b_1,c_1\} \times ... \times \{b_d,c_d\}$. When a grid is $c$-colored, must it admit a monochromatic box? If so, we say that $R$ is $c$-guaranteed. This question is a relaxation of one attack on bounding the van der Waerden numbers, and also arises as a natural hypergraph Ramsey problem (viz. the Ramsey numbers of hyperoctahedra). We give conditions on the $a_i$ for $R$ to be $c$-guaranteed that are asymptotically tight, and analyze the set of minimally $c$-guaranteed grids.