Dynamics of cycles in polyhedra I: The isolation lemma

Abstract

A cycle C of a graph G is isolating if every component of $G-V\left(C\right)$ consists of a single vertex. We show that isolating cycles in polyhedral graphs can be extended to larger ones: every isolating cycle C of length $6\le \left|E\right(C\left)\right|<\lfloor \frac{2}{3}\left(\right|V\left(G\right)|+4)\rfloor$ implies an isolating cycle $C^{\prime }$ of larger length that contains $V\left(C\right)$. By “hopping” iteratively to such larger cycles, we obtain a powerful and very general inductive motor for proving long cycles and computing them (we will give an algorithm with quadratic running time). This is the first step towards the so far elusive quest of finding a universal induction that captures longest cycles of polyhedral graph classes.

Our motor provides also a method to prove linear lower bounds on the length of Tutte cycles, as $C^{\prime }$ will be a Tutte cycle of G if C is. We prove in addition that $\left|E\right(C^{\prime }\left)\right|\le \left|E\right(C\left)\right|+3$ if G contains no face of size five, which gives a new tool for results about cycle spectra, and provides evidence that faces of size five may obstruct many different cycle lengths. As a sample application, we test our motor on the following so far unsettled conjecture about essentially 4-connected graphs.

A planar graph is essentially 4-connected if it is 3-connected and every of its 3-separators is the neighborhood of a single vertex. Essentially 4-connected graphs have been thoroughly investigated throughout literature as the subject of Hamiltonicity studies. Jackson and Wormald proved that every essentially 4-connected planar graph G on n vertices contains a cycle of length at least $\frac{2}{5}(n+2)$, and this result has recently been improved multiple times, culminating in the lower bound $\frac{5}{8}(n+2)$. However, the currently best known upper bound is given by an infinite family of such graphs in which no graph G contains a cycle that is longer than $\lfloor \frac{2}{3}(n+4)\rfloor$; this upper bound is still unmatched.

Using isolating cycles, we improve the lower bound to match the upper. This settles the long-standing open problem of determining the circumference of essentially 4-connected planar graphs. All our results are tight.