arXiv++ Combinatorics

For a positive integer $r$, the $r$-color size-Ramsey number~$\widehat{R}_r(H)$ of a graph $H$ is the minimum number of edges in a graph $G$ such that every $r$-edge coloring of $G$ contains a monochromatic copy of $H$. For a graph~$H$ and a function $σ:E(H)\to \mathbb{N}$, the \emph{subdivision} $H^σ$ is obtained by replacing every $e \in E(H)$ with a path of length $σ(e)$. In~\cite{javadi25:_induced_long} it is shown that for all integers $r,\, D\geq 2 $, there exists a constant $c=c(r, D)$ such that for every graph $ H $ with maximum degree $D$ if $H^σ$ is a subdivision of~$H$ in which $σ(e) > c \log n $ for every $e \in E(H)$, where $n=|V(H^σ)|$, then $ \widehat{R}_r(H^σ) = O\big(2^{34r} r^6 \log^5(r) D^5\log D\big)n. $ We improve upon this result in the case that~$H^σ$ is a bipartite graph and the number of colors~$r$ is large using a significantly different argument, obtaining the bound $ \widehat{R}_r(H^σ) \leq r^{400D \log D} \, n $.

For a positive integer $k$ and a graph $H$, the $k$-color induced size-Ramsey number \linebreak $\widehat{R}_{\mathrm{ind}}(H, k)$ is the minimum integer $m$ for which there exists a graph $G$ with $m$ edges such that for every $k$-edge coloring of $G$, the graph $G$ contains a monochromatic copy of $H$ as an induced subgraph. For a graph $H$ with the edge set $E(H)$ and a function $σ:E(H)\to \mathbb{N}$, the subdivision $H^σ$ is obtained by replacing each $e \in E(H)$ with a path of length $σ(e)$. We prove that for all integers $k,\, D\geq 2 $, there exists a constant $c=c(k, D)$ such that the following holds. Let $ H $ be any graph with maximum degree~$D$ and let~$H^σ$ be a subdivision of $H$ with $σ(e) > c \log_D n $ for every $e \in E(H)$, where~$n$ is the order of~$H^σ$. Then, $\hat{R}_{\mathrm{ind}}(H^σ,k)=e^{O(k\log k)} D^{9}\log (D)\, n$. If each $σ(e)$ is even and larger than $c \log_D n$, this bound improves to $\hat{R}_{\mathrm{ind}}(H^σ,k)=O(k^{342} \log^{9} (k) D^{9} \log D )n$. We also find improved bounds for the non-induced size-Ramsey number of long subdivisions.

The canonical van der Waerden theorem asserts that, for sufficiently large $n$, every colouring of $[n]$ contains either a monochromatic or a rainbow arithmetic progression of length $k$ ($k$-AP, for short). In this paper, we determine the threshold at which the binomial random subset $[n]_p$ almost surely inherits this canonical Ramsey type property. As an application, we show the existence of sets $A\subseteq [n]$ such that the $k$-APs in $A$ define a $k$-uniform hypergraph of arbitrarily high girth and yet any colouring of $A$ induces a monochromatic or rainbow $k$-AP.

We prove a robust version of a graph embedding theorem of Sauer and Spencer. To state this sparser analogue, we define $G(p)$ to be a random subgraph of $G$ obtained by retaining each edge of $G$ independently with probability $p \in [0,1]$, and let $m_1(H)$ be the maximum $1$-density of a graph $H$. We show that for any constant $Δ$ and $γ> 0$, if $G$ is an $n$-vertex host graph with minimum degree $δ(G) \geq (1 - 1/2Δ+ γ)n$ and $H$ is an $n$-vertex graph with maximum degree $Δ(H) \leq Δ$, then for $p \geq Cn^{-1/m_1(H)}\log n$, the random subgraph $G(p)$ contains a copy of $H$ with high probability. Our value for $p$ is optimal up to a log-factor. In fact, we prove this result for a more general minimum degree condition on $G$, by introducing an \emph{extension threshold} $δ_{\rm e}(Δ)$, such that the above result holds for graphs $G$ with ${δ(G) \geq (δ_{\rm e}(Δ) + γ)n}$. We show that $δ_{\rm e}(Δ) \leq (2Δ-1)/2Δ$, and further conjecture that $δ_{\rm e}(Δ)$ equals $Δ/(Δ+1)$, which matches the minimum degree condition on $G$ in the Bollobás-Eldridge-Catlin Conjecture. A main tool in our proof is a vertex-spread version of the blow-up lemma of Allen, Böttcher, Hàn, Kohayakawa, and Person, which we believe to be of independent interest.

We study the emergence of loose Hamilton cycles in subgraphs of random hypergraphs. Our main result states that the minimum $d$-degree threshold for loose Hamiltonicity relative to the random $k$-uniform hypergraph $H_k(n,p)$ coincides with its dense analogue whenever $p \geq n^{- (k-1)/2+o(1)}$. The value of $p$ is approximately tight for $d>(k+1)/2$. This is particularly interesting because the dense threshold itself is not known beyond the cases when $d \geq k-2$.

The celebrated canonical Ramsey theorem of Erdős and Rado implies that for a given $k$-uniform hypergraph (or $k$-graph) $H$, if $n$ is sufficiently large then any colouring of the edges of the complete $k$-graph $K^{(k)}_n$ gives rise to copies of $H$ that exhibit certain colour patterns. We are interested in sparse random versions of this result and the threshold at which the random $k$-graph ${\mathbf{G}}^{(k)}(n,p)$ inherits the canonical Ramsey properties of $K^{(k)}_n$. Our main result here pins down this threshold when we focus on colourings that are constrained by some prefixed lists. This result is applied in an accompanying work of the authors on the threshold for the canonical Ramsey property (with no list constraints) in the case that $H$ is a (2-uniform) even cycle.

We investigate the threshold $p_{\vec H}=p_{\vec H}(n)$ for the Ramsey-type property $G(n,p)\to \vec H$, where $G(n,p)$ is the binomial random graph and $G\to\vec H$ indicates that every orientation of the graph $G$ contains the oriented graph $\vec H$ as a subdigraph. Similarly to the classical Ramsey setting, the upper bound $p_{\vec H}\leq Cn^{-1/m_2(\vec H)}$ is known to hold for some constant $C=C(\vec H)$, where $m_2(\vec H)$ denotes the maximum $2$-density of the underlying graph $H$ of $\vec H$. While this upper bound is indeed the threshold for some $\vec H$, this is not always the case. We obtain examples arising from rooted products of orientations of sparse graphs (such as forests, cycles and, more generally, subcubic $\{K_3,K_{3,3}\}$-free graphs) and arbitrarily rooted transitive triangles.

Given graphs $G$, $H_1$, and $H_2$, let $G\xrightarrow{\text{mr}}(H_1,H_2)$ denote the property that in every edge colouring of $G$ there is a monochromatic copy of $H_1$ or a rainbow copy of $H_2$. The constrained Ramsey number, defined as the minimum $n$ such that $K_n\xrightarrow{\text{mr}}(H_1,H_2)$, exists if and only if $H_1$ is a star or $H_2$ is a forest. We determine the threshold for the property $G(n,p)\xrightarrow{\text{mr}}(H_1,H_2)$ when $H_2$ is a forest, explicitly when the threshold is $Ω(n^{-1})$ and implicitly otherwise.

The $\!{}\bmod k$ chromatic index of a graph $G$ is the minimum number of colors needed to color the edges of $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1\!\!\pmod k$. Recently, the authors proved that the $\!{}\bmod k$ chromatic index of every graph is at most $198k-101$, improving, for large $k$, a result of Scott [Discrete Math. 175, 1-3 (1997), 289-291]. Here we study the $\!{}\bmod k$ chromatic index of random graphs. We prove that for every integer $k\geq2$, there is $C_k>0$ such that if $p\geq C_kn^{-1}\log{n}$ and $n(1-p) \rightarrow\infty$ as $n\to\infty$, then the following holds: if $k$ is odd, then the $\!{}\bmod k$ chromatic index of $G(n,p)$ is asymptotically almost surely equal to $k$, while if $k$ is even, then the $\!{}\bmod k$ chromatic index of $G(2n,p)$ (respectively $G(2n+1,p)$) is asymptotically almost surely equal to $k$ (respectively $k+1$).

In the $d$-dimensional hypercube bin packing problem, a given list of $d$-dimensional hypercubes must be packed into the smallest number of hypercube bins. Epstein and van Stee [SIAM J. Comput. 35 (2005)] showed that the asymptotic performance ratio $ρ$ of the online bounded space variant is $Ω(\log d)$ and $O(d/\log d)$, and conjectured that it is $Θ(\log d)$. We show that $ρ$ is in fact $Θ(d/\log d)$, using probabilistic arguments.

If $G$ is a graph and $\vec H$ is an oriented graph, we write $G\to \vec H$ to say that every orientation of the edges of $G$ contains $\vec H$ as a subdigraph. We consider the case in which $G=G(n,p)$, the binomial random graph. We determine the threshold $p_{\vec H}=p_{\vec H}(n)$ for the property $G(n,p)\to \vec H$ for the cases in which $\vec H$ is an acyclic orientation of a complete graph or of a cycle.

We determine, up to a multiplicative constant, the optimal number of random edges that need to be added to a $k$-graph $H$ with minimum vertex degree $Ω(n^{k-1})$ to ensure an $F$-factor with high probability, for any $F$ that belongs to a certain class $\mathcal{F}$ of $k$-graphs, which includes, e.g., all $k$-partite $k$-graphs, $K_4^{(3)-}$ and the Fano plane. In particular, taking $F$ to be a single edge, this settles a problem of Krivelevich, Kwan and Sudakov [Combin. Probab. Comput. 25 (2016), 909--927]. We also address the case in which the host graph $H$ is not dense, indicating that starting from certain such $H$ is essentially the same as starting from an empty graph (namely, the purely random model).

Let $χ'_k(G)$ denote the minimum number of colors needed to color the edges of a graph $G$ in a way that the subgraph spanned by the edges of each color has all degrees congruent to $1 \pmod k$. Scott [{\em Discrete Math. 175}, 1-3 (1997), 289--291] proved that $χ'_k(G)\leq5k^2\log k$, and thus settled a question of Pyber [{\em Sets, graphs and numbers} (1992), pp. 583--610], who had asked whether $χ_k'(G)$ can be bounded solely as a function of $k$. We prove that $χ'_k(G)=O(k)$, answering affirmatively a question of Scott.

We investigate the problem of determining how many monochromatic trees are necessary to cover the vertices of an edge-coloured random graph. More precisely, we show that for $p\gg n^{-1/6}{(\ln n)}^{1/6}$, in any $3$-edge-colouring of the random graph $G(n,p)$ we can find three monochromatic trees such that their union covers all vertices. This improves, for three colours, a result of Bucić, Korándi and Sudakov.

Given a family of graphs $\mathcal{F}$, we prove that the normalized edit distance of any given graph $Γ$ to being induced $\mathcal{F}$-free is estimable with a query complexity that depends only on the bounds of the Frieze--Kannan Regularity Lemma and on a Removal Lemma for $\mathcal{F}$.

Given a hypergraph $H$, the size-Ramsey number $\hat{r}_2(H)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that in any colouring of the edges of $G$ with two colours there is a monochromatic copy of $H$. We prove that the size-Ramsey number of the $3$-uniform tight path on $n$ vertices $P^{(3)}_n$ is linear in $n$, i.e., $\hat{r}_2(P^{(3)}_n) = O(n)$. This answers a question by Dudek, Fleur, Mubayi, and Rödl for $3$-uniform hypergraphs [On the size-Ramsey number of hypergraphs, J. Graph Theory 86 (2016), 417-434], who proved $\hat{r}_2(P^{(3)}_n) = O(n^{3/2} \log^{3/2} n)$.

Given a positive integer $s$, the $s$-colour size-Ramsey number of a graph $H$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that, in any colouring of $E(G)$ with $s$ colours, there is a monochromatic copy of $H$. We prove that, for any positive integers $k$ and $s$, the $s$-colour size-Ramsey number of the $k$th power of any $n$-vertex bounded degree tree is linear in $n$. As a corollary we obtain that the $s$-colour size-Ramsey number of $n$-vertex graphs with bounded treewidth and bounded degree is linear in $n$, which answers a question raised by Kamčev, Liebenau, Wood and Yepremyan [The size Ramsey number of graphs with bounded treewidth, arXiv:1906.09185 (2019)].

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.

For graphs $G$ and $H$, let $G {\displaystyle\smash{\begin{subarray}{c} \hbox{$\tiny\rm rb$} \\ \longrightarrow \\ \hbox{$\tiny\rm p$} \end{subarray}}}H$ denote the property that for every proper edge-colouring of $G$ there is a rainbow $H$ in $G$. It is known that, for every graph $H$, an asymptotic upper bound for the threshold function $p^{\rm rb}_H=p^{\rm rb}_H(n)$ of this property for the random graph $G(n,p)$ is $n^{-1/m^{(2)}(H)}$, where $m^{(2)}(H)$ denotes the so-called maximum $2$-density of $H$. Extending a result of Nenadov, Person, Škorić, and Steger [J. Combin. Theory Ser. B 124 (2017),1-38] we prove a matching lower bound for $p^{\rm rb}_{K_k}$ for $k\geq 5$. Furthermore, we show that $p^{\rm rb}_{K_4} = n^{-7/15}$.

We count orientations of $G(n,p)$ avoiding certain classes of oriented graphs. In particular, we study $T_r(n,p)$, the number of orientations of the binomial random graph $G(n,p)$ in which every copy of $K_r$ is transitive, and $S_r(n,p)$, the number of orientations of $G(n,p)$ containing no strongly connected copy of $K_r$. We give the correct order of growth of $\log T_r(n,p)$ and $\log S_r(n,p)$ up to polylogarithmic factors; for orientations with no cyclic triangle, this significantly improves a result of Allen, Kohayakawa, Mota and Parente. We also discuss the problem for a single forbidden oriented graph, and state a number of open problems and conjectures.