arXiv++ Combinatorics

The generalized Ramsey number $r(G, H, q)$ is the minimum number of colors needed to color the edges of $G$ such that every isomorphic copy of $H$ has at least $q$ colors. In this note, we improve the upper and lower bounds on $r(K_{n, n}, C_{2k}, 3)$. Our upper bound answers a question of Lane and Morrison. For $k=3$ we obtain the asymptotically sharp estimate $r(K_{n, n}, C_6, 3) = \frac{7}{20} n + o(n)$.

Nordhaus and Gaddum proved sharp upper and lower bounds on the sum and product of the chromatic number of a graph and its complement. Over the years, similar inequalities have been shown for a plenitude of different graph invariants. In this paper, we consider such inequalities for the number of cliques (complete subgraphs) in a graph $G$, denoted $k(G)$. We note that some such inequalities have been well-studied, e.g., lower bounds on $k(G)+k(\overline{G})=k(G)+i(G)$, where $i(G)$ is the number of independent subsets of $G$, has been come to be known as the study of Ramsey multiplicity. We give a history of such problems. One could consider fixed sized versions of these problems as well. We also investigate multicolor versions of these problems, meaning we $r$-color the edges of $K_n$ yielding graphs $G_1,G_2,\ldots,G_r$ and give bounds on $\sum k(G_i)$ and $\prod k(G_i)$.

Given a $k$-uniform hypergraph $G$ and a set of $k$-uniform hypergraphs $\mathcal{H}$, the generalized Ramsey number $f(G,\mathcal{H},q)$ is the minimum number of colors needed to edge-color $G$ so that every copy of every hypergraph $H\in \mathcal{H}$ in $G$ receives at least $q$ different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, when $G=K_n$ or $G=K_{n,n}$ and $\mathcal{H}$ is a set of cycles or paths, and when $G=K_n^k$ and $\mathcal{H}$ contains a clique on $k+2$ vertices or a tight cycle.

The balanced double star on $2n+2$ vertices, denoted $S_{n,n}$, is the tree obtained by joining the centers of two disjoint stars each having $n$ leaves. Let $R_r(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_N$ there is a monochromatic copy of $G$, and let $R_r^{\mathrm{bip}}(G)$ be the smallest integer $N$ such that in every $r$-coloring of the edges of $K_{N,N}$ there is a monochromatic copy of $G$. It is known that $R_2(S_{n,n})=3n+2$ and $R_2^{\mathrm{bip}}(S_{n,n})=2n+1$ \cite{HJ}, but very little is known about $R_r(S_{n,n})$ and $R^{\mathrm{bip}}_r(S_{n,n})$ when $r\geq 3$ (other than the bounds which follow from considerations on the number of edges in the majority color class). In this paper we prove the following for all $n\geq 1$ (where the lower bounds are adapted from existing examples): \[(r-1)2n+1\leq R_r(S_{n,n})\leq (r-\frac{1}{2})(2n+2)-1,\]and \[(2r-4)n+1\leq R^{\mathrm{bip}}_r(S_{n,n})\leq (2r-3+\frac{2}{r}+O(\frac{1}{r^2}))n.\] These bounds are similar to the best known bounds on $R_r(P_{2n+2})$ and $R_r^{\mathrm{bip}}(P_{2n+2})$, where $P_{2n+2}$ is a path on $2n+2$ vertices (which is also a balanced tree). We also give an example which improves the lower bound on $R^{\mathrm{bip}}_r(S_{n,n})$ when $r=3$ and $r=5$.

The $r$-color size-Ramsey number of a $k$-uniform hypergraph $H$, denoted by $\hat{R}_r(H)$, is the minimum number of edges in a $k$-uniform hypergraph $G$ such that for every $r$-coloring of the edges of $G$ there exists a monochromatic copy of $H$. In the case of $2$-uniform paths $P_n$, it is known that $Ω(r^2n)=\hat{R}_r(P_n)=O((r^2\log r)n)$ with the best bounds essentially due to Krivelevich. In a recent breakthrough result, Letzter, Pokrovskiy, and Yepremyan gave a linear upper bound on the $r$-color size-Ramsey number of the $k$-uniform tight path $P_{n}^{(k)}$; i.e. $\hat{R}_r(P_{n}^{(k)})=O_{r,k}(n)$. Winter gave the first non-trivial lower bounds on the 2-color size-Ramsey number of $P_{n}^{(k)}$ for $k\geq 3$; i.e. $\hat{R}_2(P_{n}^{(3)})\geq \frac{8}{3}n-O(1)$ and $\hat{R}_2(P_{n}^{(k)})\geq \lceil\log_2(k+1)\rceil n-O_k(1)$ for $k\geq 4$. We consider the problem of giving a lower bound on the $r$-color size-Ramsey number of $P_{n}^{(k)}$ (for fixed $k$ and growing $r$). Our main result is that $\hat{R}_r(P_n^{(k)})=Ω_k(r^kn)$ which generalizes the best known lower bound for graphs mentioned above. One of the key elements of our proof is a determination of the correct order of magnitude of the $r$-color size-Ramsey number of every sufficiently short tight path; i.e. $\hat{R}_r(P_{k+m}^{(k)})=Θ_k(r^m)$ for all $1\leq m\leq k$. All of our results generalize to $\ell$-overlapping $k$-uniform paths $P_{n}^{(k, \ell)}$. In particular we note that when $1\leq \ell\leq \frac{k}{2}$, we have $Ω_k(r^{2}n)=\hat{R}_r(P_{n}^{(k, \ell)})=O((r^2\log r)n)$ which essentially matches the best known bounds for graphs mentioned above. Additionally, in the case $k=3$, $\ell=2$, and $r=2$, we give a more precise estimate which implies $\hat{R}_2(P^{(3)}_{n})\geq \frac{28}{9}n-O(1)$, improving on the above-mentioned lower bound of Winter in the case $k=3$.

In this note we analyze two algorithms, one for producing a matching and one for an independent set, on $k$-uniform $d$-regular hypergraphs of large girth. As a result we obtain new lower bounds on the size of a maximum matching or independent set in such hypergraphs.

A result of Gyárfás exactly determines the size of a largest monochromatic component in an arbitrary $r$-coloring of the complete $k$-uniform hypergraph $K_n^k$ when $k\geq 2$ and $r-1\leq k\leq r$. We prove a result which says that if one replaces $K_n^k$ in Gyárfás' theorem by any ``expansive'' $k$-uniform hypergraph on $n$ vertices (that is, a $k$-uniform hypergraph $H$ on $n$ vertices in which in which $e(V_1, \dots, V_k)>0$ for all disjoint sets $V_1, \dots, V_k\subseteq V(H)$ with $|V_i|>α$ for all $i\in [k]$), then one gets a largest monochromatic component of essentially the same size (within a small error term depending on $r$ and $α$). As corollaries we recover a number of known results about large monochromatic components in random hypergraphs and random Steiner triple systems, often with drastically improved bounds on the error terms. Gyárfás' result is equivalent to the dual problem of determining the smallest maximum degree of an arbitrary $r$-partite $r$-uniform hypergraph with $n$ edges in which every set of $k$ edges has a common intersection. In this language, our result says that if one replaces the condition that every set of $k$ edges has a common intersection with the condition that for every collection of $k$ disjoint sets $E_1, \dots, E_k\subseteq E(H)$ with $|E_i|>α$ for all $i\in [k]$ there exists $e_i\in E_i$ for all $i\in [k]$ such that $e_1\cap \dots \cap e_k\neq \emptyset$, then the maximum degree of $H$ is essentially the same (within a small error term depending on $r$ and $α$). We prove our results in this dual setting.

A result of Gyárfás says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least $\frac{kn}{k+1}$ and this is best possible for all $n$. Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which says that the same conclusion holds if $K_n$ is replaced by any graph on $n$ vertices with minimum degree at least $\frac{5n}{6}-1$; furthermore, this bound on the minimum degree is best possible. We prove a strengthening of the $k\geq 3$ case in the result above which says that the same conclusion holds if $K_n^k$ is replaced by any $k$-uniform hypergraph on $n$ vertices with minimum $(k-1)$-degree at least $\frac{kn}{k+1}-(k-1)$; furthermore, this bound on the $(k-1)$-degree is best possible.

We study the problem of maximizing the number of full degree vertices in a spanning tree $T$ of a graph $G$; that is, the number of vertices whose degree in $T$ equals its degree in $G$. In cubic graphs, this problem is equivalent to maximizing the number of leaves in $T$ and minimizing the size of a connected dominating set of $G$. We provide an algorithm which produces (w.h.p.) a tree with at least $0.4591n$ vertices of full degree (and also, leaves) when run on a random cubic graph. This improves the previously best known lower bound of $0.4146 n$. We also provide lower bounds on the number of full degree vertices in the random regular graph $G(n,r)$ for $r \le 10$.

Given a graph $G=(V,E)$ on $n$ vertices and an assignment of colours to its edges, a set of edges $S \subseteq E$ is said to be rainbow if edges from $S$ have pairwise different colours assigned to them. In this paper, we investigate rainbow spanning trees in randomly coloured random $G_{k-out}$ graphs.

We say $G\to (\mathcal{C}, P_n)$ if $G-E(F)$ contains an $n$-vertex path $P_n$ for any spanning forest $F\subset G$. The size Ramsey number $\hat{R}(\mathcal{C}, P_n)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges for which $G\to (\mathcal{C}, P_n)$. Dudek, Khoeini and Prałat proved that for sufficiently large $n$, $2.0036n \le \hat{R}(\mathcal{C}, P_n)\le 31n$. In this note, we improve both the lower and upper bounds to $2.066n\le \hat{R}(\mathcal{C}, P_n)\le 5.25n+O(1).$ Our construction for the upper bound is completely different than the one considered by Dudek, Khoeini and Prałat. We also have a computer assisted proof of the upper bound $\hat{R}(\mathcal{C}, P_n)\le \frac{75}{19}n +O(1) < 3.947n $.

We prove that for all graphs with at most $(3.75-o(1))n$ edges there exists a 2-coloring of the edges such that every monochromatic path has order less than $n$. This was previously known to be true for graphs with at most $2.5n-7.5$ edges. We also improve on the best-known lower bounds in the $r$-color case.

The zero forcing process is an iterative graph colouring process in which at each time step a coloured vertex with a single uncoloured neighbour can force this neighbour to become coloured. A zero forcing set of a graph is an initial set of coloured vertices that can eventually force the entire graph to be coloured. The zero forcing number is the size of the smallest zero forcing set. We explore the zero forcing number for random regular graphs, improving on bounds given by Kalinowski, Kamucev and Sudakov. We also propose and analyze a degree-greedy algorithm for finding small zero forcing sets using the differential equations method.

In this note, we study the emergence of Hamiltonian Berge cycles in random $r$-uniform hypergraphs. For $r\geq 3$, we prove an optimal stopping-time result that if edges are sequently added to an initially empty $r$-graph, then as soon as the minimum degree is at least 2, the hypergraph almost surely has such a cycle. In particular, this determines the threshold probability for Berge Hamiltonicity of the Erdős--Rényi random $r$-graph, and we also show that the $2$-out random $r$-graph almost surely has such a cycle. We obtain similar results for \textit{weak Berge} cycles as well, thus resolving a conjecture of Poole.

The bipartite Ramsey number $b(s,t)$ is the smallest integer $n$ such that every blue-red edge coloring of $K_{n,n}$ contains either a blue $K_{s,s}$ or a red $K_{t,t}$. In the bipartite $K_{2,2}$-free process, we begin with an empty graph on vertex set $X\cup Y$, $|X|=|Y|=n$. At each step, a random edge from $X\times Y$ is added under the restriction that no $K_{2,2}$ is formed. This step is repeated until no more edges can be added. In this note, we analyze this process and show that the resulting graph witnesses that $b(2,t) =Ω\left(t^{3/2}/\log t \right)$, thereby improving the best known lower bound.

In this note we consider a Ramsey property of random $d$-regular graphs, $\mathcal{G}(n,d)$. Let $r\ge 2$ be fixed. Then w.h.p. the edges of $\mathcal{G}(n, 2r)$ can be colored such that every monochromatic component has size $o(n)$. On the other hand, there exists a constant $γ> 0$ such that w.h.p., every $r$-coloring of the edges of $\mathcal{G}(n, 2r+1)$ must contain a monochromatic cycle of length at least $γn$. We prove an analogous result for random $k$-out graphs.

In this note, we analyze two random greedy processes on sparse random graphs and hypergraphs with a given degree sequence. First we analyze the matching process, which builds a set of disjoint edges one edge at a time; then we analyze the independent process, which builds an independent set of vertices one vertex at a time. We use the differential equations method and apply a general theorem of Warnke. Our main contribution is to significantly reduce the associated systems of differential equations and simplify the expression for the final size of the matching or independent set.

Given a graph on $n$ vertices and an assignment of colours to the edges, a rainbow Hamilton cycle is a cycle of length $n$ visiting each vertex once and with pairwise different colours on the edges. Similarly (for even $n$) a rainbow perfect matching is a collection of $n/2$ independent edges with pairwise different colours. In this note we show that if we randomly colour the edges of a random geometric graph with sufficiently many colours, then a.a.s. the graph contains a rainbow perfect matching (rainbow Hamilton cycle) if and only if the minimum degree is at least $1$ (respectively, at least $2$). More precisely, consider $n$ points (i.e. vertices) chosen independently and uniformly at random from the unit $d$-dimensional cube for any fixed $d\ge2$. Form a sequence of graphs on these $n$ vertices by adding edges one by one between each possible pair of vertices. Edges are added in increasing order of lengths (measured with respect to the $\ell_p$ norm, for any fixed $1<p\le\infty$). Each time a new edge is added, it receives a random colour chosen uniformly at random and with repetition from a set of $\lceil Kn\rceil$ colours, where $K=K(d)$ is a sufficiently large fixed constant. Then, a.a.s. the first graph in the sequence with minimum degree at least $1$ must contain a rainbow perfect matching (for even $n$), and the first graph with minimum degree at least $2$ must contain a rainbow Hamilton cycle.

Erdős, Gyárfás, and Pyber (1991) conjectured that every $r$-colored complete graph can be partitioned into at most $r-1$ monochromatic components; this is a strengthening of a conjecture of Lovász (1975) in which the components are only required to form a cover. An important partial result of Haxell and Kohayakawa (1995) shows that a partition into $r$ monochromatic components is possible for sufficiently large $r$-colored complete graphs. We start by extending Haxell and Kohayakawa's result to graphs with large minimum degree, then we provide some partial analogs of their result for random graphs. In particular, we show that if $p\ge \left(\frac{27\log n}{n}\right)^{1/3}$, then a.a.s. in every $2$-coloring of $G(n,p)$ there exists a partition into two monochromatic components, and for $r\geq 2$ if $p\ll \left(\frac{r\log n}{n}\right)^{1/r}$, then a.a.s. there exists an $r$-coloring of $G(n,p)$ such that there does not exist a cover with a bounded number of components. Finally, we consider a random graph version of a classic result of Gyárfás (1977) about large monochromatic components in $r$-colored complete graphs. We show that if $p=\frac{ω(1)}{n}$, then a.a.s. in every $r$-coloring of $G(n,p)$ there exists a monochromatic component of order at least $(1-o(1))\frac{n}{r-1}$.

We consider the Erdős-Rényi random directed graph process, which is a stochastic process that starts with $n$ vertices and no edges, and at each step adds one new directed edge chosen uniformly at random from the set of missing edges. Let $\mathcal{D}(n,m)$ be a graph with $m$ edges obtained after $m$ steps of this process. Each edge $e_i$ ($i=1,2,\ldots, m$) of $\mathcal{D}(n,m)$ independently chooses a colour, taken uniformly at random from a given set of $n(1 + O( \log \log n / \log n)) = n (1+o(1))$ colours. We stop the process prematurely at time $M$ when the following two events hold: $\mathcal{D}(n,M)$ has at most one vertex that has in-degree zero and there are at least $n-1$ distinct colours introduced ($M= n(n-1)$ if at the time when all edges are present there are still less than $n-1$ colours introduced; however, this does not happen asymptotically almost surely). The question addressed in this paper is whether $\mathcal{D}(n,M)$ has a rainbow arborescence (that is, a directed, rooted tree on $n$ vertices in which all edges point away from the root and all the edges are different colours). Clearly, both properties are necessary for the desired tree to exist and we show that, asymptotically almost surely, the answer to this question is "yes".