arXiv++ Combinatorics

We study rainbow spanning configurations in bijumbled graphs whose edges are coloured independently and uniformly from a prescribed palette. For $n$-vertex $(p,β)$-bijumbled graphs with minimum degree at least a fixed positive multiple of $pn$, we obtain rainbow perfect matchings and Hamilton cycles with a sufficient palette surplus of order $(\log n)/p$, assuming $pn=ω(\log n)$ and $β\le cpn$ for a sufficiently small constant $c$. For each prescribed spanning tree of fixed maximum degree $Δ\ge2$, a surplus of order $L_{n,Δ}(\log n)/p$ suffices under $β\le cpn/L_{n,Δ}$, where $L_{n,Δ}=Δ^{5\sqrt{\log n}}$. The palette surplus is sublinear under these hypotheses. These results use a McDiarmid-type coupling and retain the discrepancy scales of the relevant deterministic embedding theorems. We also prove exact-palette results, using precisely as many colours as the number of edges of the target configuration. After independent edge percolation at rate $ρ$, it is shown that a rainbow perfect matching or Hamilton cycle exists asymptotically almost surely when $ρpn \ge C(\log n)^2$ and $β\leγpn$ for appropriate constants $C$ and $γ$. We obtain corresponding results for each prescribed bounded-degree spanning tree and for clique factors under appropriate stronger hypotheses. The exact-palette proofs construct spread measures from uncoloured containment estimates and apply the rainbow threshold theorem of Han and Yuan.

The {\em discrepancy} of a matrix $M \in \mathbb{R}^{d \times n}$ is given by $\mathrm{DISC}(M) := \min_{\boldsymbol{x} \in \{-1,1\}^n} \|M\boldsymbol{x}\|_\infty$. An outstanding conjecture, attributed to Komlós, stipulates that $\mathrm{DISC}(M) = O(1)$, whenever $M$ is a Komlós matrix, that is, whenever every column of $M$ lies within the unit sphere. Our main result asserts that $\mathrm{DISC}(M + R/\sqrt{d}) = O(d^{-1/2})$ holds asymptotically almost surely, whenever $M \in \mathbb{R}^{d \times n}$ is Komlós, $R \in \mathbb{R}^{d \times n}$ is a Rademacher random matrix, $d = ω(1)$, and $n = ω(d \log d)$. The factor $d^{-1/2}$ normalising $R$ is essentially best possible and the dependency between $n$ and $d$ is asymptotically best possible. Our main source of inspiration is a result by Bansal, Jiang, Meka, Singla, and Sinha (ICALP 2022). They obtained an assertion similar to the one above in the case that the smoothing matrix is Gaussian. They asked whether their result can be attained with the optimal dependency $n = ω(d \log d)$ in the case of Bernoulli random noise or any other types of discretely distributed noise; the latter types being more conducive for Smoothed Analysis in other discrepancy settings such as the Beck-Fiala problem. For Bernoulli noise, their method works if $n = ω(d^2)$. In the case of Rademacher noise, we answer the question posed by Bansal, Jiang, Meka, Singla, and Sinha. Our proof builds upon their approach in a strong way and provides a discrete version of the latter. Breaking the $n = ω(d^2)$ barrier and reaching the optimal dependency $n = ω(d \log d)$ for Rademacher noise requires additional ideas expressed through a rather meticulous counting argument, incurred by the need to maintain a high level of precision all throughout the discretisation process.