arXiv++ Combinatorics

We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every $d\ge d_0$, there is a finite point set $P\subset\mathbb{R}^d$ of diameter $1$ such that no matter how we color the elements of $P$ with fewer than $(1+\varepsilon)^{\sqrt{d}}$ colors, we can always find $r$ points of the same color, any two of which are at distance $1$.

Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $σ$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[ω]^ω$. Such forcings add new ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler and Tukey structures associated with the forced ultrafilter and in discovering new ultrafilters with complete combinatorics.This expository paper provides an overview of this collection of results and an entry point for those interested in using topological Ramsey space techniques to gain finer insight into ultrafilters satisfying weak partition relations.

As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs and their applications: the Handshake lemma (related to graph colorings and Boolean algebra), a lemma on known and unknown people at a cocktail party (to Ramsey theory), a theorem on friends in common (to distance-regularity and coding theory), and Hall's Marriage theorem (to the theory of networks). These four areas of graph theory, often with problems which are easy to state but difficult to solve, are extensively developed and currently give rise to much research work. As examples of representative problems and results of these areas, which are discussed in this paper, we may cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers, problems of the existence of distance-regular graphs and completely regular codes, and finally the study of topological proprieties of interconnection networks.

First, we prove a theorem on dynamics of actions of monoids by endomorphisms of semigroups. Second, we introduce algebraic structures suitable for formalizing infinitary Ramsey statements and prove a theorem that such statements are implied by existence of appropriate homomorphisms between the algebraic structures. We make a connection between the two themes above, which allows us to prove some general Ramsey theorems for sequences. We give a new proof of the Furstenberg--Katznelson Ramsey theorem; in fact, we obtain a version of this theorem that is stronger than the original one. We answer in the negative a question of Lupini on possible extensions of Gowers' Ramsey theorem.

For any countably infinite graph $G$, Ramsey's theorem guarantees an infinite monochromatic copy of $G$ in any $r$-coloring of the edges of the countably infinite complete graph $K_\mathbb{N}$. Taking this a step further, it is natural to wonder how "large" of a monochromatic copy of $G$ we can find with respect to some measure -- for instance, the density (or upper density) of the vertex set of $G$ in the positive integers. Unlike finite Ramsey theory, where this question has been studied extensively, the analogous problem for infinite graphs has been mostly overlooked. In one of the few results in the area, Erdős and Galvin proved that in every 2-coloring of $K_\mathbb{N}$, there exists a monochromatic path whose vertex set has upper density at least $2/3$, but it is not possible to do better than $8/9$. They also showed that for some sequence $ε_n\to 0$, there exists a monochromatic path $P$ such that for infinitely many $n$, the set $\{1,2,...,n\}$ contains the first $(\frac{1}{3+\sqrt{3}}-ε_n)n$ vertices of $P$, but it is not possible to do better than $2n/3$. We improve both results, in the former case achieving an upper density at least $3/4$ and in the latter case obtaining a tight bound of $2/3$. We also consider related problems for directed paths, trees (connected subgraphs), and a more general result which includes locally finite graphs for instance.

Many natural notions of additive and multiplicative largeness arise from results in Ramsey theory. In this paper, we explain the relationships between these notions for subsets of $\mathbb{N}$ and in more general ring-theoretic structures. We show that multiplicative largeness begets additive largeness in three ways and give a collection of examples demonstrating the optimality of these results. We also give a variety of applications arising from the connection between additive and multiplicative largeness. For example, we show that given any $n, k \in \mathbb{N}$, any finite set with fewer than $n$ elements in a sufficiently large finite field can be translated so that each of its elements becomes a non-zero $k^{\text{th}}$ power. We also prove a theorem concerning Diophantine approximation along multiplicatively syndetic subsets of $\mathbb{N}$ and a theorem showing that subsets of positive upper Banach density in certain multiplicative sub-semigroups of $\mathbb{N}$ of zero density contain arbitrarily long arithmetic progressions. Along the way, we develop a new characterization of upper Banach density in a wide class of amenable semigroups and make explicit the uniformity in recurrence theorems from measure theoretic and topological dynamics. This in turn leads to strengthened forms of classical theorems of Szemerédi and van der Waerden on arithmetic progressions.

We prove a number of results related to a problem of Po-Shen Loh, which is equivalent to a problem in Ramsey theory. Let $a=(a_1,a_2,a_3)$ and $b=(b_1,b_2,b_3)$ be two triples of integers. Define $a$ to be 2-less than $b$ if $a_i<b_i$ for at least two values of $i$, and define a sequence $a^1,\dots,a^m$ of triples to be 2-increasing if $a^r$ is 2-less than $a^s$ whenever $r<s$. Loh asks how long a 2-increasing sequence can be if all the triples take values in $\{1,2,\dots,n\}$, and gives a $\log_*$ improvement over the trivial upper bound of $n^2$ by using the triangle removal lemma. In the other direction, a simple construction gives a lower bound of $n^{3/2}$. We look at this problem and a collection of generalizations, improving some of the known bounds, pointing out connections to other well known problems in extremal combinatorics, and asking a number of further questions.

We provide sufficient conditions for the existence of long cycles in locally expanding graphs, and present applications of our conditions and techniques to Ramsey theory, random graphs and positional games.

The speed of a hereditary property $P$ is the number $P_n$ of $n$-vertex labelled graphs in $P$. It is known that the rates of growth of $P_n$ constitute discrete layers and the speed jumps, in particular, from constant to polynomial, from polynomial to exponential and from exponential to factorial. One more jump occurs when the entropy $\lim_{n\to\infty}\frac{\log_2 P_n}{\binom{n}{2}}$ changes from 0 to a nonzero value. In the present paper, for each of these jumps we identify a graph parameter responsible for it, i.e. we show that a jump of the speed coincides with a jump of the respective parameter from finitude to infinity. In particular, we show that the speed of a hereditary property $P$ is sub-factorial if and only if the neighbourhood diversity of graphs in $P$ is bounded by a constant, and that the entropy of a hereditary property $P$ is 0 if and only if the VC-dimension of graphs in $P$ is bounded by a constant. All the result are obtained by Ramsey-type arguments.

For a graph $G$, the $k$-colour Ramsey number $R_k(G)$ is the least integer $N$ such that every $k$-colouring of the edges of the complete graph $K_N$ contains a monochromatic copy of $G$. Let $C_n$ denote the cycle on $n$ vertices. We show that for fixed $k\geq2$ and $n$ odd and sufficiently large, \[ R_k(C_n)=2^{k-1}(n-1)+1. \] This resolves a conjecture of Bondy and Erdős [J. Combin. Th. Ser. B \textbf{14} (1973), 46--54] for large $n$. The proof is analytic in nature, the first step of which is to use the regularity method to relate this problem in Ramsey theory to one in nonlinear optimisation. This allows us to prove a stability-type generalisation of the above and establish a surprising correspondence between extremal $k$-colourings for this problem and perfect matchings in the $k$-dimensional hypercube $Q_k$.

We show that for every finite colouring of the natural numbers there exists $a,b >1$ such that the triple $\{a,b,a^b\}$ is monochromatic. We go on to show the partition regularity of a much richer class of patterns involving exponentiation. For example, as a corollary to our main theorem, we show that for every $n \in \mathbb{N}$ and for every finite colouring of the natural numbers, we may find a monochromatic set including the integers $x_1,\ldots,x_n >1$; all products of distinct $x_i$; and all "exponential compositions" of distinct $x_i$ which respect the order $x_1,\ldots,x_n$. In particular, for every finite colouring of the natural numbers one can find a monochromatic quadruple of the form $\{ a,b,ab,a^b \}$, where $a,b>1$.

We prove an asymptotically tight lower bound on the average size of independent sets in a triangle-free graph on $n$ vertices with maximum degree $d$, showing that an independent set drawn uniformly at random from such a graph has expected size at least $(1+o_d(1)) \frac{\log d}{d}n$. This gives an alternative proof of Shearer's upper bound on the Ramsey number $R(3,k)$. We then prove that the total number of independent sets in a triangle-free graph with maximum degree $d$ is at least $\exp \left[\left(\frac{1}{2}+o_d(1) \right) \frac{\log^2 d}{d}n \right]$. The constant $1/2$ in the exponent is best possible. In both cases, tightness is exhibited by a random $d$-regular graph. Both results come from considering the hard-core model from statistical physics: a random independent set $I$ drawn from a graph with probability proportional to $λ^{|I|}$, for a fugacity parameter $λ>0$. We prove a general lower bound on the occupancy fraction (normalized expected size of the random independent set) of the hard-core model on triangle-free graphs of maximum degree $d$. The bound is asymptotically tight in $d$ for all $λ=O_d(1)$. We conclude by stating several conjectures on the relationship between the average and maximum size of an independent set in a triangle-free graph and give some consequences of these conjectures in Ramsey theory.

Ramsey theory is an active research area in combinatorics whose central theme is the emergence of order in large disordered structures, with Ramsey numbers marking the threshold at which this order first appears. For generalized Ramsey numbers $r(G,H)$, the emergent order is characterized by graphs $G$ and $H$. In this paper we: (i) present a quantum algorithm for computing generalized Ramsey numbers by reformulating the computation as a combinatorial optimization problem which is solved using adiabatic quantum optimization; and (ii) determine the Ramsey numbers $r(\mathcal{T}_{m},\mathcal{T}_{n})$ for trees of order $m,n = 6,7,8$, most of which were previously unknown.

An old question in Ramsey theory asks whether any finite coloring of the natural numbers admits a monochromatic pair $\{x+y,xy\}$. We answer this question affirmatively in a strong sense by exhibiting a large new class of non-linear patterns which can be found in a single cell of any finite partition of $\mathbb{N}$. Our proof involves a correspondence principle which transfers the problem into the language of topological dynamics. As a corollary of our main theorem we obtain partition regularity for new types of equations, such as $x^2-y^2=z$ and $x^2+2y^2-3z^2=w$.

Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer science, through (finite) model theory. A few sufficient conditions for a class of finite structures to allow homogenization are known, and here we provide a necessary condition. This lets us show that certain natural classes are not homogenizable: 1) the class of locally consistent systems of linear equations over the two-element field or any finite Abelian group, and 2) the class of finite structures that forbid homomorphisms from a specific MSO-definable class of structures of treewidth two. In combination with known results, the first example shows that, up to pp-interpretability, the CSPs that are solvable by local consistency methods are distinguished from the rest by the fact that their classes of locally consistent instances are homogenizable. The second example shows that, for MSO-definable classes of forbidden patterns, treewidth one versus two is the dividing line to homogenizability.

In this article we give an explicit classification for the countably infinite graphs $\mathcal{G}$ which are, for some $k$, $\geq$$ k$-homogeneous. It turns out that a $\geq$$k-$homogeneous graph $\mathcal{M}$ is non-homogeneous if and only if it is either not $1-$homogeneous or not $2-$homogeneous, both cases which may be classified using ramsey theory.

We provide several constructions for problems in Ramsey theory. First, we prove a superexponential lower bound for the classical 4-uniform Ramsey number $r_4(5,n)$, and the same for the iterated $(k-4)$-fold logarithm of the $k$-uniform version $r_k(k+1,n)$. This is the first improvement of the original exponential lower bound for $r_4(5,n)$ implicit in work of Erd\H os and Hajnal from 1972 and also improves the current best known bounds for larger $k$ due to the authors. Second, we prove an upper bound for the hypergraph Erd\H os-Rogers function $f^k_{k+1, k+2}(N)$ that is an iterated $(k-13)$-fold logarithm in $N$. This improves the previous upper bounds that were only logarithmic and addresses a question of Dudek and the first author that was reiterated by Conlon, Fox and Sudakov. Third, we generalize the results of Erd\H os and Hajnal about the 3-uniform Ramsey number of $K_4$ minus an edge versus a clique to $k$-uniform hypergraphs.

We consider a generalisation of the classical Ramsey theory setting to a setting where each of the edges of the underlying host graph is coloured with a {\em set} of colours (instead of just one colour). We give bounds for monochromatic tree covers in this setting, both for an underlying complete graph, and an underlying complete bipartite graph. We also discuss a generalisation of Ramsey numbers to our setting and propose some other new directions. Our results for tree covers in complete graphs imply that a stronger version of Ryser's conjecture holds for $k$-intersecting $r$-partite $r$-uniform hypergraphs: they have a transversal of size at most $r-k$. (Similar results have been obtained by Király et al., see below.) However, we also show that the bound $r-k$ is not best possible in general.

In the paper we prove, in particular, that for any measurable coloring of the euclidian plane into two colours there is a monochromatic triangle with some restrictions on the sides. Also we consider similar problems in finite fields settings.

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