51 research outputs found
Ore-degree threshold for the square of a Hamiltonian cycle
A classic theorem of Dirac from 1952 states that every graph with minimum
degree at least n/2 contains a Hamiltonian cycle. In 1963, P\'osa conjectured
that every graph with minimum degree at least 2n/3 contains the square of a
Hamiltonian cycle. In 1960, Ore relaxed the degree condition in the Dirac's
theorem by proving that every graph with for every contains a Hamiltonian cycle. Recently, Ch\^au proved an Ore-type
version of P\'osa's conjecture for graphs on vertices using the
regularity--blow-up method; consequently the is very large (involving a
tower function). Here we present another proof that avoids the use of the
regularity lemma. Aside from the fact that our proof holds for much smaller
, we believe that our method of proof will be of independent interest.Comment: 24 pages, 1 figure. In addition to some fixed typos, this updated
version contains a simplified "connecting lemma" in Section 3.
Local resilience for squares of almost spanning cycles in sparse random graphs
In 1962, P\'osa conjectured that a graph contains a square of a
Hamiltonian cycle if . Only more than thirty years later
Koml\'os, S\'ark\H{o}zy, and Szemer\'edi proved this conjecture using the
so-called Blow-Up Lemma. Here we extend their result to a random graph setting.
We show that for every and a.a.s. every
subgraph of with minimum degree at least contains
the square of a cycle on vertices. This is almost best possible in
three ways: (1) for the random graph will not contain any
square of a long cycle (2) one cannot hope for a resilience version for the
square of a spanning cycle (as deleting all edges in the neighborhood of single
vertex destroys this property) and (3) for a.a.s. contains a
subgraph with minimum degree at least which does not contain the square
of a path on vertices
- β¦