arXiv++ Combinatorics

Let $mH$ be the graph formed by $m$ vertex-disjoint copies of a graph $H$. Let $G \to (H)_r$ denote that, in any $r$-colouring of the edges of $G$, there exists a monochromatic copy of $H$. In 1975, Burr, Erdős, and Spencer showed that if $H$ is a graph on $k$ vertices whose independence number is $α$, then $K_n \to (mH)_2$, where $m\sim n/(2k-α)$, and that the $1/(2k-α)$ factor is best possible. In the 1990s, Rödl and Ruciński proved that, for all but a few graphs~$H$, the threshold for the property $\mathbb{G}(n,p) \to (H)_r$ is $n^{-1/m_2(H)}$. In this paper, generalizing the result of Burr, Erdős, and Spencer, we prove that $n^{-1/\max\{m_2(H),1\}}$ is the threshold for the property $\mathbb{G}(n,p) \to (mH)_2$, where $m\sim n/(2k-α)$. This threshold matches the one found by Rödl and Ruciński for most graphs $H$, extending their result in the case $r=2$.

The longstanding Nash-Williams conjecture asserts that every $K_3$-divisible graph $G$ with $δ(G)\ge 3n/4$ admits a triangle decomposition. In the random setting, Frankl and Rödl showed that, with high probability, $G(n,p)$ contains a triangle packing covering all but $o(n^2p)$ edges whenever $p\ge n^{-1/2+\varepsilon}$. In this paper, we study near-perfect triangle packings in randomly perturbed graphs. We prove that for every $d>0$ and every $p>2d/(1+2d)$, if $G_d$ is a $dn$-regular graph on $n$ vertices, then with high probability the union $G_d\cup G(n,p)$ contains a triangle packing covering all but $o(n^2)$ edges. Moreover, this bound on $p$ is best possible for $0<d\le 1/2$, thereby determining the threshold in this range. A key ingredient in the proof is a new triangle-weighting lemma for weighted complete graphs.

Finding spanning structures with many distinct colours in properly edge-coloured graphs is a central theme in extremal combinatorics. A classical result of Andersen shows that every proper edge-colouring of the complete graph $K_n$ contains a Hamilton cycle with $n - O(n^{1/2})$ distinct colours. In the bipartite setting, the analogous question for perfect matchings is closely related to permutations in Latin squares. In this paper, we investigate how a Dirac-type minimum degree condition forces colour diversity in spanning structures. For every constant $1/2 < c \le 1$, we prove the following. $\bullet$ Every properly edge-coloured graph $G$ on $n$ vertices with $δ(G)\ge cn$ contains a Hamilton cycle with at least $cn - O(n^{1/2})$ distinct colours. $\bullet$ Every subset of an $n\times n$ Latin square with at least $cn$ cells in each row and each column contains a permutation with at least $cn - O(n^{2/3})$ distinct symbols. Both bounds are best possible up to the error term.

Given a graph $G$ and an $r$-edge-colouring $χ$ on $E(G)$, a Hamilton cycle $H\subset G$ is said to have $t$ colour-bias if $H$ contains $n/r+t$ edges of the same colour in $χ$. Freschi, Hyde, Lada and Treglown showed every $r$-coloured graph $G$ on $n$ vertices with $δ(G)\geq(r+1)n/2r+t$ contains a Hamilton cycle $H$ with $Ω(t)$ colour-bias, generalizing a result of Balogh, Csaba, Jing and Pluhár. In 2022, Gishboliner, Krivelevich and Michaeli proved that the random graph $G(n,m)$ with $m\geq(1/2+\varepsilon)n\log n$ typically admits an $Ω(n)$ colour biased Hamilton cycle in any $r$-colouring. In this paper, we investigate colour-biased Hamilton cycles in randomly perturbed graphs. We show that for every $α>0$, adding $m=O(n)$ random edges to a graph $G_α$ with $δ(G_α)\geq αn$ typically ensures a Hamilton cycle with $Ω(n)$ colour bias in any $r$-colouring of $G_α\cup G(n,m)$. Conversely, for certain $G_α$, reducing the number of random edges to $m=o(n)$ may eliminate all colour biased Hamilton cycles of $G(n,m)\cup G$ in a certain colouring. In contrast, at the critical endpoint $α=(r+1)/2r$, adding $m$ random edges typically results in a Hamilton cycle with $Ω(m)$ colour-bias for any $1\ll m\leq n$.

A widely open conjecture proposed by Bollobás, Erdős, and Tuza in the early 1990s states that for any $n$-vertex graph $G$, if the independence number $α(G) = Ω(n)$, then there is a subset $T \subseteq V(G)$ with $|T| = o(n)$ such that $T$ intersects all maximum independent sets of $G$. In this paper, we prove that this conjecture holds for graphs that do not contain an induced $K_{s,t}$ for fixed $t \ge s$. Our proof leverages the probabilistic method at an appropriate juncture.

For an $n$-vertex graph $G$, let $h(G)$ denote the smallest size of a subset of $V(G)$ such that it intersects every maximum independent set of $G$. A conjecture posed by Bollobás, Erdős and Tuza in early 90s remains widely open, asserting that for any $n$-vertex graph $G$, if the independence number $α(G) =Ω(n) $, then $h(G) = o(n)$. In this paper, we establish the validity of this conjecture for various classes of graphs, Our main contributions include: \begin{enumerate} \item We provide a novel unified framework to find sub-linear hitting sets for graphs with certain locally sparse properties. Based on this framework, we can find hitting sets of size at most $O(\frac{n}{\log{n}})$ in any $n$-vertex even-hole-free graph (in particular, chordal graph) and in any $n$-vertex disk graph, with linear independence numbers. \item Utilizing geometric observations and combinatorial arguments, we show that any $n$-vertex circle graph $G$ with linear independence number satisfies $h(G)\le O(\sqrt{n})$. Moreover, we extend this methodology to more general classes of graphs. \item We show the conjecture holds for those hereditary graphs having sublinear balanced separators. \end{enumerate} We also show that $h(G)$ can be upper bounded by constants for several sporadic families of graphs with large independence numbers.

The Euclidean Gallai-Ramsey problem, which investigates the existence of monochromatic or rainbow configurations in a colored $n$-dimensional Euclidean space $\mathbb{E}^{n}$, was introduced and studied recently. We further explore this problem for various configurations including triangles, squares, lines, and the structures with specific properties, such as rectangular and spherical configurations. Several of our new results provide refinements to the results presented in a recent work by Mao, Ozeki and Wang. One intriguing phenomenon evident on the Gallai-Ramsey results proven in this paper is that the dimensions of spaces are often independent of the number of colors. Our proofs primarily adopt a geometric perspective.

A finite family $\mathcal{F}$ of $d$-dimensional convex polytopes is called $k$-neighborly if $d-k\le\textup{dim}(C\cap C')\le d-1$ for any two distinct members $C,C'\in\mathcal{F}$. In 1997, Alon initiated the study of the general function $n(k,d)$, which is defined to be the maximum size of $k$-neighborly families of standard boxes in $\mathbb{R}^{d}$. Based on a weighted count of vectors in $\{0,1\}^{d}$, we improve a recent upper bound on $n(k,d)$ by Alon, Grytczuk, Kisielewicz, and Przesławski for any positive integers $d$ and $k$ with $d\ge k+2$. In particular, when $d$ is sufficiently large and $k\ge 0.123d$, our upper bound on $n(k,d)$ improves the bound $\sum_{i=1}^{k}2^{i-1}\binom{d}{i}+1$ shown by Huang and Sudakov exponentially. Furthermore, we determine that $n(2,4)=9$, $n(3,5)=18$, $n(3,6)=27$, $n(4,6)=37$, $n(5,7)=74$, and $n(6,8)=150$. The stability result of Kleitman's isodiametric inequality plays an important role in the proofs.

Motivated by a problem in theoretical computer science suggested by Wigderson, Alon and Ben-Eliezer studied the following extremal problem systematically one decade ago. Given a graph $H$, let $C(n,H)$ be the minimum number $k$ such that the following holds. There are $n$ colorings of $E(K_{n})$ with $k$ colors, each associated with one of the vertices of $K_{n}$, such that for every copy $T$ of $H$ in $K_{n}$, at least one of the colorings that are associated with $V(T)$ assigns distinct colors to all the edges of $E(T)$. In this paper, we obtain several new results in this problem including: \begin{itemize} \item For paths of short length, we show that $C(n,P_{4})=Ω(n^{1/5})$ and $C(n,P_{t})=Ω(n^{1/3})$ with $t\in\{5,6\}$, which significantly improve the previously known lower bounds $(\log{n})^{Ω(1)}$. \item We make progress on the problem of Alon and Ben-Eliezer about complete graphs, more precisely, we show that $C(n,K_{r})=Ω(n^{2/3})$ when $r\geqslant 8$. This provides the first instance of graph for which the lower bound goes beyond the natural barrier $Ω(n^{1/2})$. Moreover, we prove that $C(n,K_{s,t})=Ω(n^{2/3})$ for $t\geqslant s\geqslant 7$. \item When $H$ is a star with at least $4$ leaves, a matching of size at least $4$, or a path of length at least $7$, we give the new lower bound for $C(n,H)$. We also show that for any graph $H$ with at least $6$ edges, $C(n,H)$ is polynomial in $n$. All of these improve the corresponding results obtained by Alon and Ben-Eliezer.