arXiv++ Combinatorics

We provide two new proofs of the infinitude of prime numbers, using the additive Ramsey-theoretic result known as Folkman's theorem (alternatively, one can think of these proofs as using Hindman's theorem). This adds to the existing literature deriving the infinitude of primes from Ramsey-type theorems.

Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical differences, in order to provide some intuition about the behaviour of infinity in the combinatorial setting. Our examples are taken from the branch of mathematics known as Graph Theory. -- La combinatoria infinita (temática que, a raíz del trabajo de Cantor, actualmente es posible estudiar de manera completamente formal) nos presenta un interesante contraste de semejanzas y diferencias con su análogo finito. El propósito de este artículo es presentar algunos ejemplos concretos tanto de semejanzas, como de diferencias radicales, para proporcionar cierta intuición acerca del comportamiento del infinito en el ámbito combinatorio. Nuestros ejemplos son tomados de la rama de las matemáticas conocida como Teoría de Gráficas.

We consider the restriction of Ramsey's theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of Computability Theory) as the {\em Adjacent Hindman's Theorem}, proposed by L. Carlucci (Arch. Math. Log. {\bf 57} (2018), 381--359). We also investigate some higher dimensional versions of both of these statements.

Inspired by Owings's problem, we investigate whether, for a given an Abelian group $G$ and cardinal numbers $κ,θ$, every colouring $c:G\longrightarrowθ$ yields a subset $X\subseteq G$ with $|X|=κ$ such that $X+X$ is monochromatic. (Owings's problem asks this for $G=\mathbb Z$, $θ=2$ and $κ=\aleph_0$; this is known to be false for the same $G$ and $κ$ but $θ=3$.) We completely settle the question for $κ$ and $θ$ both finite (by obtaining sufficient and necessary conditions for a positive answer) and for $κ$ and $θ$ both infinite (with a negative answer). Also, in the case where $θ$ is infinite but $κ$ is finite, we obtain some sufficient conditions for a negative answer as well as an example with a positive answer.

Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komjáth, the first author, and the second author and Lee, who showed that there are arbitrarily large Abelian groups satisfying some Hindman-type property. Inspired by an analogous result studied by the first author in the countable setting, we prove a new variant of Hindman's Theorem for uncountable cardinals, called the Adjacent Hindman's Theorem: For every $κ$ there is a $λ$ such that, whenever a group $G$ of cardinality $λ$ is coloured with $κ$ colours, there exists a $λ$-sized injective sequence of elements of $G$ with all finite products of adjacent terms of the sequence of the same colour. We obtain bounds on $λ$ as a function of $κ$, and prove that such bounds are optimal. This is the first example of a Hindman-type result for uncountable cardinals that we can prove also in the non-Abelian setting and, furthermore, it is the first such example where monochromatic products (or sums) of unbounded length are guaranteed.

Ultrafilters are a tool, originating in mathematical logic and general topology, that has steadily found more and more uses in multiple areas of mathematics, such as combinatorics, dynamics, and algebra, among others. The purpose of this article is to introduce ultrafilters in a friendly manner and present some applications to the branch of combinatorics known as Ramsey theory, culminating with a new ultrafilter-based proof of van der Waerden's theorem.

We pursue the idea of generalizing Hindman's Theorem to uncountable cardinalities, by analogy with the way in which Ramsey's Theorem can be generalized to weakly compact cardinals. But unlike Ramsey's Theorem, the outcome of this paper is that the natural generalizations of Hindman's Theorem proposed here tend to fail at all uncountable cardinals.