arXiv++ Combinatorics

We prove that every spanning subgraph $H$ of an $n$-vertex $(p,β)$-bijumbled graph, satisfying $δ(H)\geq(1/2+\varepsilon)pn$, where $\varepsilon > 0$ is arbitrarily small yet fixed, admits a rainbow Hamilton cycle under any globally $μpn$-bounded colouring, provided that $β\leq cpn$ and $pn\geq M$, where $μ$, $c$, and $M$ are positive constants depending solely on $\varepsilon$; in particular, $pn$ may be taken to be a sufficiently large constant. This answers a question of Coulson, Keevash, Perarnau and Yepremyan for random graphs and extends it to deterministic pseudorandom hosts. In fact, we prove that $H$ admits at least $(apn)^n$ rainbow Hamilton cycles, where $a > 0$ is a constant depending solely on $\varepsilon$. If $pn\geq D\log n$, then, upon fixing a coloured $H$, retaining each edge independently with probability $D\log n/(pn)$ preserves rainbow Hamiltonicity asymptotically almost surely. The logarithmic degree requirement is needed only for this percolation conclusion. All three conclusions also hold with rainbowness replaced by avoidance of prescribed pairs of edges, provided that each edge has at most $μpn$ conflicting partners. Our proofs use spread measures and the lopsided local lemma.