Abstract:We study Hamiltonicity in the union of an $n$-vertex graph $H$ with high minimum degree and a binomial random graph on the same vertex set. In particular, we consider the case when $H$ has minimum degree close to $n/2$. We determine the perturbed threshold for Hamiltonicity in this setting.
To be precise, let $\eta:= n/2-\delta(H)$. For $\eta=\omega(1)$, we show that it suffices to add $\Theta(\eta)$ random edges to $H$ to a.a.s. obtain a Hamiltonian graph; for $\eta=\Theta(1)$, we show that $\omega(1)$ edges suffice. In fact, when $\eta=o(n)$ and $\eta=\omega(1)$, we show that $(8+o(1))\eta$ random edges suffice, which is best possible up to the error term. This determines the sharp perturbed threshold for Hamiltonicity in this range of degrees.
We also obtain analogous results for perfect matchings, showing that, in this range of degrees, the sharp perturbed thresholds for Hamiltonicity and for perfect matchings differ by a factor of $2$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **Determine under what conditions a graph close to the Dirac condition can be made Hamiltonian or contain a perfect matching by adding random edges.**
Specifically, the paper studies in the union of an \(n\)-vertex graph \(G\) with high minimum degree (close to \(n/2\)) and a binomial random graph \(G(n, p)\), how many random edges need to be added so that the graph becomes Hamiltonian or contains a perfect matching asymptotically almost surely (a.a.s.).
### Main problems and contributions
1. **Hamiltonicity**:
- For a graph \(G\) with minimum degree \(n/2-\delta\), when \(\delta = O(1)\), the paper proves that adding \(O(\delta)\) random edges is sufficient to make the graph almost surely Hamiltonian.
- When \(\delta=\Theta(1)\), \(\Omega(1)\) random edges need to be added.
- More precisely, when \(\delta = \omega(1)\) and \(\delta=O(n)\), adding \((8 + o(1))\delta\) random edges is sufficient, which is optimal within the error range.
2. **Perfect Matchings**:
- The paper also studies the number of random edges required for graph \(G\) to contain a perfect matching under the same conditions.
- The results show that within the same range of \(\delta\), the critical thresholds for Hamiltonicity and perfect matchings are different, and the former is approximately twice the latter.
### Key results
- **Theorem 1.2**: For a graph \(G\) with minimum degree \(n/2-\delta\), where \(1/2\leqslant\delta\leqslant n/64\), the \(\delta\)-threshold for Hamiltonicity is \(\delta/n^{2}\).
- **Theorem 1.3**: For a smaller \(\delta\) (i.e., \(\delta = \omega(1)\) and \(\delta = O(n)\)), the sharp \(\delta\)-threshold for Hamiltonicity is \(16\delta/n^{2}\).
- **Theorem 1.5**: For perfect matchings, the sharp \(\delta\)-threshold is \(8\delta/n^{2}\).
### Methods and techniques
The paper uses combinatorial mathematics and probabilistic methods. In particular, it constructs extreme examples (such as complete bipartite graphs) to prove lower bounds, and proves upper bounds by gradually adding random edges. In addition, the author also uses techniques such as graph connectivity and path expansion to ensure the change of graph properties after adding a small number of random edges.
In conclusion, this paper fills the research gap of Hamiltonicity and perfect matchings in the critical window of randomly perturbed graphs, and provides more accurate threshold estimates.