arXiv++ Combinatorics

In this note we study graphs $G_r$ with the property that every colouring of $E(G_r)$ with $r+1$ colours admits a copy of some graph $H$ using at most $r$ colours. For $1\le r\le e(H)$ such graphs occur naturally at intermediate steps in the synthesis of a $2$-colour Ramsey graph $G_1\longrightarrow H$. (The corresponding notion of Ramsey-type numbers was introduced by Erdös, Hajnal and Rado in 1965 and subsequently studied by Erdös and Szemerédi in 1972). For $H=K_n$ we prove a result on building a $G_{r}$ from a $G_{r+1}$ and establish Ramsey-infiniteness. From the structural point of view, we characterise the class of the minimal $G_r$ in the case when $H$ is relaxed to be the graph property of containing a cycle; we then use it to progress towards a constructive description of that class by proving both a reduction and an extension theorem.

For a given pair of two graphs $(F,H)$, let $R(F,H)$ be the smallest positive integer $r$ such that for any graph $G$ of order $r$, either $G$ contains $F$ as a subgraph or the complement of $G$ contains $H$ as a subgraph. Baskoro, Broersma and Surahmat (2005) conjectured that \[ R(F_\ell,K_n)=2\ell(n-1)+1 \] for $\ell\ge n\ge3$, where $F_\ell$ is the join of $K_1$ and $\ell K_2$. In this paper, we prove that this conjecture is true for the case $n=6$.

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.

A sequence of nonnegative integers $π=(d_1,d_2,...,d_n)$ is graphic if there is a (simple) graph $G$ of order $n$ having degree sequence $π$. In this case, $G$ is said to realize or be a realization of $π$. Given a graph $H$, a graphic sequence $π$ is potentially $H$-graphic if there is some realization of $π$ that contains $H$ as a subgraph. In this paper, we consider a degree sequence analogue to classical graph Ramsey numbers. For graphs $H_1$ and $H_2$, the potential-Ramsey number $r_{pot}(H_1,H_2)$ is the minimum integer $N$ such that for any $N$-term graphic sequence $π$, either $π$ is potentially $H_1$-graphic or the complementary sequence $\overlineπ=(N-1-d_N,\dots, N-1-d_1)$ is potentially $H_2$-graphic. We prove that if $s\ge 2$ is an integer and $T_t$ is a tree of order $t> 7(s-2)$, then $$r_{pot}(K_s, T_t) = t+s-2.$$ This result, which is best possible up to the bound on $t$, is a degree sequence analogue to a classical 1977 result of Chvátal on the graph Ramsey number of trees vs. cliques. To obtain this theorem, we prove a sharp condition that ensures an arbitrary graph packs with a forest, which is likely to be of independent interest.

Given a graph $H$, the Ramsey number $r(H)$ is the smallest natural number $N$ such that any two-colouring of the edges of $K_N$ contains a monochromatic copy of $H$. The existence of these numbers has been known since 1930 but their quantitative behaviour is still not well understood. Even so, there has been a great deal of recent progress on the study of Ramsey numbers and their variants, spurred on by the many advances across extremal combinatorics. In this survey, we will describe some of this progress.

For a $k$-uniform hypergraph $G$ with vertex set $\{1,\ldots,n\}$, the ordered Ramsey number $\operatorname{OR}_t(G)$ is the least integer $N$ such that every $t$-coloring of the edges of the complete $k$-uniform graph on vertex set $\{1,\ldots,N\}$ contains a monochromatic copy of $G$ whose vertices follow the prescribed order. Due to this added order restriction, the ordered Ramsey numbers can be much larger than the usual graph Ramsey numbers. We determine that the ordered Ramsey numbers of loose paths under a monotone order grows as a tower of height one less than the maximum degree. We also extend theorems of Conlon, Fox, Lee, and Sudakov [Ordered Ramsey numbers, arXiv:1410.5292] on the ordered Ramsey numbers of 2-uniform matchings to provide upper bounds on the ordered Ramsey number of $k$-uniform matchings under certain orderings.

For given graphs G1 and G2 the Ramsey number R(G1,G2), is the smallest positive integer n such that each blue-red edge coloring of the complete graph Kn contains a blue copy of G1 or a red copy of G2. In 1983, Erdos conjectured that there is an absolute constant c such that R(G) = R(G,G) < 2c p m for any graph G with m edges and no isolated vertices. Recently this conjecture was proved by B. Sudakov. In this note, using the Sudakovs ideas we give an extension of his result and some interesting corollaries.

We study two classical problems in graph Ramsey theory, that of determining the Ramsey number of bounded-degree graphs and that of estimating the induced Ramsey number for a graph with a given number of vertices. The Ramsey number r(H) of a graph H is the least positive integer N such that every two-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of H. A famous result of Chvátal, Rödl, Szemerédi and Trotter states that there exists a constant c(Δ) such that r(H) \leq c(Δ) n for every graph H with n vertices and maximum degree Δ. The important open question is to determine the constant c(Δ). The best results, both due to Graham, Rödl and Ruciński, state that there are constants c and c' such that 2^{c' Δ} \leq c(Δ) \leq 2^{c Δ\log^2 Δ}. We improve this upper bound, showing that there is a constant c for which c(Δ) \leq 2^{c Δ\log Δ}. The induced Ramsey number r_{ind}(H) of a graph H is the least positive integer N for which there exists a graph G on N vertices such that every two-coloring of the edges of G contains an induced monochromatic copy of H. Erdős conjectured the existence of a constant c such that, for any graph H on n vertices, r_{ind}(H) \leq 2^{c n}. We move a step closer to proving this conjecture, showing that r_{ind} (H) \leq 2^{c n \log n}. This improves upon an earlier result of Kohayakawa, Prömel and Rödl by a factor of \log n in the exponent.

The Ramsey number $r(G)$ of a graph $G$ is the minimum $N$ such that every red-blue coloring of the edges of the complete graph on $N$ vertices contains a monochromatic copy of $G$. Determining or estimating these numbers is one of the central problems in combinatorics. One of the oldest results in Ramsey Theory, proved by Erdős and Szekeres in 1935, asserts that the Ramsey number of the complete graph with $m$ edges is at most $2^{O(\sqrt{m})}$. Motivated by this estimate Erdős conjectured, more than a quarter century ago, that there is an absolute constant $c$ such that $r(G) \leq 2^{c\sqrt{m}}$ for any graph $G$ with $m$ edges and no isolated vertices. In this short note we prove this conjecture.

In this paper, we present several density-type theorems which show how to find a copy of a sparse bipartite graph in a graph of positive density. Our results imply several new bounds for classical problems in graph Ramsey theory and improve and generalize earlier results of various researchers. The proofs combine probabilistic arguments with some combinatorial ideas. In addition, these techniques can be used to study properties of graphs with a forbidden induced subgraph, edge intersection patterns in topological graphs, and to obtain several other Ramsey-type statements.

We find the Ramsey number of a cycle vs. a complete graph when the order of the cycle is at least 4 times as large as the order of the complete graph. This partially confirms a conjecture of Erdős, Faudree, Rousseau, and Schelp made in 1978.

We consider combinatorial avoidance and achievement games based on graph Ramsey theory: The players take turns in coloring still uncolored edges of a graph G, each player being assigned a distinct color, choosing one edge per move. In avoidance games, completing a monochromatic subgraph isomorphic to another graph A leads to immediate defeat or is forbidden and the first player that cannot move loses. In the avoidance+ variants, both players are free to choose more than one edge per move. In achievement games, the first player that completes a monochromatic subgraph isomorphic to A wins. Erdos & Selfridge (1973) were the first to identify some tractable subcases of these games, followed by a large number of further studies. We complete these investigations by settling the complexity of all unrestricted cases: We prove that general graph Ramsey avoidance, avoidance+, and achievement games and several variants thereof are PSPACE-complete. We ultra-strongly solve some nontrivial instances of graph Ramsey avoidance games that are based on symmetric binary Ramsey numbers and provide strong evidence that all other cases based on symmetric binary Ramsey numbers are effectively intractable. Keywords: combinatorial games, graph Ramsey theory, Ramsey game, PSPACE-completeness, complexity, edge coloring, winning strategy, achievement game, avoidance game, the game of Sim, Polya's enumeration formula, probabilistic counting, machine learning, heuristics, Java applet