arXiv++ Combinatorics

Positional games are a branch of combinatorics, researching a variety of two-player games, ranging from popular recreational games such as Tic-Tac-Toe and Hex, to purely abstract games played on graphs and hypergraphs. It is closely connected to many other combinatorial disciplines such as Ramsey theory, extremal graph and set theory, probabilistic combinatorics, and to computer science. We survey the basic notions of the field, its approaches and tools, as well as numerous recent advances, standing open problems and promising research directions.

A finite or infinite matrix A with rational entries is called partition regular if whenever the natural numbers are finitely coloured there is a monochromatic vector x with Ax=0. Many of the classical theorems of Ramsey Theory may naturally be interpreted as assertions that particular matrices are partition regular. In the finite case, Rado proved that a matrix is partition regular if and only it satisfies a computable condition known as the columns property. The first requirement of the columns property is that some set of columns sums to zero. In the infinite case, much less is known. There are many examples of matrices with the columns property that are not partition regular, but until now all known examples of partition regular matrices did have the columns property. Our main aim in this paper is to show that, perhaps surprisingly, there are infinite partition regular matrices without the columns property --- in fact, having no set of columns summing to zero. We also make a conjecture that if a partition regular matrix (say with integer coefficients) has bounded row sums then it must have the columns property, and prove a first step towards this.

Let $G$ be an $r$-uniform hypergraph. When is it possible to orient the edges of $G$ in such a way that every $p$-set of vertices has some $p$-degree equal to $0$? (The $p$-degrees generalise for sets of vertices what in-degree and out-degree are for single vertices in directed graphs.) Caro and Hansberg asked if the obvious Hall-type necessary condition is also sufficient. Our main aim is to show that this is true for $r$ large (for given $p$), but false in general. Our counterexample is based on a new technique in sparse Ramsey theory that may be of independent interest.

In this paper we consider the following question in the spirit of Ramsey theory: Given $x\in A^ω,$ where $A$ is a finite non-empty set, does there exist a finite coloring of the non-empty factors of $x$ with the property that no factorization of $x$ is monochromatic? We prove that this question has a positive answer using two colors for almost all words relative to the standard Bernoulli measure on $A^ω.$ We also show that it has a positive answer for various classes of uniformly recurrent words, including all aperiodic balanced words, and all words $x\in A^ω$ satisfying $λ_x(n+1)-λ_x(n)=1$ for all $n$ sufficiently large, where $ λ_x(n)$ denotes the number of distinct factors of $x$ of length $n.$

The typical problem in (generalized) Ramsey theory is to find the order of the largest monochromatic member of a family F (for example matchings, paths, cycles, connected subgraphs) that must be present in any edge coloring of a complete graph K_n with t colors. Another area is to find the minimum number of monochromatic members of F that partition or cover the vertex set of every edge colored complete graph. Here we propose a problem that connects these areas: for fixed positive integers s,t, at least how many vertices can be covered by the vertices of no more than s monochromatic members of F in every edge coloring of K_n with t colors. Several problems and conjectures are presented, among them a possible extension of a well-known result of Cockayne and Lorimer on monochromatic matchings for which we prove an initial step: in case of s=t-1 we determine how many vertices can be covered by s monochromatic matchings in every t-coloring of K_n.

The areas of Ramsey theory and random graphs have been closely linked ever since Erdős' famous proof in 1947 that the 'diagonal' Ramsey numbers $R(k)$ grow exponentially in $k$. In the early 1990s, the triangle-free process was introduced as a model which might potentially provide good lower bounds for the 'off-diagonal' Ramsey numbers $R(3,k)$. In this model, edges of $K_n$ are introduced one-by-one at random and added to the graph if they do not create a triangle; the resulting final (random) graph is denoted $G_{n,\triangle}$. In 2009, Bohman succeeded in following this process for a positive fraction of its duration, and thus obtained a second proof of Kim's celebrated result that $R(3,k) = Θ\big( k^2 / \log k \big)$. In this paper we improve the results of both Bohman and Kim, and follow the triangle-free process all the way to its asymptotic end. In particular, we shall prove that $$e\big( G_{n,\triangle} \big) \,=\, \left( \frac{1}{2\sqrt{2}} + o(1) \right) n^{3/2} \sqrt{\log n },$$ with high probability as $n \to \infty$. We also obtain several pseudorandom properties of $G_{n,\triangle}$, and use them to bound its independence number, which gives as an immediate corollary $$R(3,k) \, \ge \, \left( \frac{1}{4} - o(1) \right) \frac{k^2}{\log k}.$$ This significantly improves Kim's lower bound, and is within a factor of $4 + o(1)$ of the best known upper bound, proved by Shearer over 25 years ago.

We consider the following open question in the spirit of Ramsey theory: Given an aperiodic infinite word $w$, does there exist a finite coloring of its factors such that no factorization of $w$ is monochromatic? We show that such a coloring always exists whenever $w$ is a Sturmian word or a standard episturmian word.

In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces.

We prove additive and multiplicative partition theorems, obtaining combinatorial results for p-quasicyclic groups, where p is a prime number. We also get density results for p-quasicyclic groups via left Følner sequences of non-empty finite subsets of it, giving a sufficient condition in order a subset of a p-quasicyclic group to contain arbitrary long arithmetic progressions. Finally, we introduce the notion of a dynamical system over p-quasicyclic groups extending the classical notion of a topological dynamical system and we prove (multiple) recurrent results for the p-quasicyclic groups. In particular, we prove recurrent results analogous to Furstenberg-Weiss type theorems for classical systems.

We prove several results from different areas of extremal combinatorics, giving complete or partial solutions to a number of open problems. These results, coming from areas such as extremal graph theory, Ramsey theory and additive combinatorics, have been collected together because in each case the relevant proofs are quite short.

Following the topic of the book Canonical Ramsey Theory on Polish Spaces by V. Kanovei, M. Sabok and J. Zapletal we study Borel equivalences on Laver trees. Here we prove that equivalence relations Borel reducible to an equivalence relation on $2^ω$ given by some $F_σ$ $P$-ideal on $ω$ can be canonized to the full equivalence relation or to the identity relation. This has several corollaries, e.g. Silver type dichotomy for the Laver ideal and equivalences Borel reducible to equivalence relations given by $F_σ$ $P$-ideals.

An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite field $\mathbb{F}_q$. Specifically, given a linear form $L$ and a quadratic from $Q$ in two variables, we provide estimates on the necessary size of $A\subset \mathbb{F}_q$ to guarantee that $L(x,y)$ and $Q(x,y)$ are elements of $A$ for some $x,y\in\mathbb{F}_q$.

I will give a presentation of an abstract approach to finite Ramsey theory found in an earlier paper of mine. I will prove from it a common generalization of Deuber's Ramsey theorem for regular trees and a recent Ramsey theorem of Jasinski for boron tree structures. This generalization appears to be new. I will also show, in exercises, how to deduce from it the Milliken Ramsey theorem for strong subtrees.

The purpose of this article is prove that Thompson's group F is amenable. The methods developed will then be used to prove a generalization of Hindman's theorem for the free nonassociative binary system on one generator.

A recent question in generalized Ramsey theory is that for fixed positive integers $s\leq t$, at least how many vertices can be covered by the vertices of no more than $s$ monochromatic members of the family $\cal F$ in every edge coloring of $K_n$ with $t$ colors. This is related to an old problem of Chung and Liu: for graph $G$ and integers $1\leq s<t$ what is the smallest positive integer $n=R_{s,t}(G)$ such that every coloring of the edges of $K_n$ with $t$ colors contains a copy of $G$ with at most $s$ colors. We answer this question when $G$ is a star and $s$ is either $t-1$ or $t-2$ generalizing the well-known result of Burr and Roberts.

Let H be a k-uniform hypergraph whose vertices are the integers 1,...,N. We say that H contains a monotone path of length n if there are x_1 < x_2 < ... < x_{n+k-1} so that H contains all n edges of the form {x_i,x_{i+1},...,x_{i+k-1}}. Let N_k(q,n) be the smallest integer N so that every q-coloring of the edges of the complete k-uniform hypergraph on N vertices contains a monochromatic monotone path of length n. While the study of N_k(q,n) for specific values of k and q goes back (implicitly) to the seminal 1935 paper of Erdos and Szekeres, the problem of bounding N_k(q,n) for arbitrary k and q was studied by Fox, Pach, Sudakov and Suk. Our main contribution here is a novel approach for bounding the Ramsey-type numbers N_k(q,n), based on establishing a surprisingly tight connection between them and the enumerative problem of counting high-dimensional integer partitions. Some of the concrete results we obtain using this approach are the following: 1. We show that for every fixed q we have N_3(q,n)=2^{Θ(n^{q-1})}, thus resolving an open problem raised by Fox et al. 2. We show that for every k >= 3, N_k(2,n)=2^{\cdot^{\cdot^{2^{(2-o(1))n}}}} where the height of the tower is k-2, thus resolving an open problem raised by Elias and Matousek. 3. We give a new pigeonhole proof of the Erdős-Szekeres Theorem on cups-vs-caps, similar to Seidenberg's proof of the Erdos-Szekeres Lemma on increasing/decreasing subsequences.

A recent question in generalized Ramsey theory is that for fixed positive integers $s\leq t$, at least how many vertices can be covered by the vertices of no more than $s$ monochromatic members of the family $\cal F$ in every edge coloring of $K_n$ with $t$ colors. This is related to {$d$-chromatic Ramsey numbers} introduced by Chung and Liu. In this paper, we first compute these numbers for stars generalizing the well-known result of Burr and Roberts. Then we extend a result of Cockayne and Lorimer to compute $d$-chromatic Ramsey numbers for stars and one matching.

In 2005, the paper "Fraissé limits, Ramsey theory, and topological dynamics of automorphism groups" [KPT] by Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow. This immediately led to an explicit representation of this invariant in many concrete cases. However, in some particular situations, the framework of [KPT] does not allow to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT] in order to avoid that twist and to make it adapted for further applications.

The {\em chromatic gap} is the difference between the chromatic number and the clique number of a graph. Here we investigate $\gap(n)$, the maximum chromatic gap over graphs on $n$ vertices. Can the extremal graphs be explored? While computational problems related to the chromatic gap are hopeless, an interplay between Ramsey theory and matching theory leads to a simple and (almost) exact formula for $\gap(n)$ in terms of Ramsey numbers.

Many programs allow the user to input data several times during its execution. If the program runs forever the user may input data infinitely often. A program terminates if it terminates no matter what the user does. We discuss various ways to prove that program terminates. The proofs use well orderings, Ramsey Theory, and Matrices. These techniques are used by real program checkers.