A classical theorem by Tutte ensures the existence of a Hamilton cycle in every finite 4-connected planar graph. Extensions of this result to infinite graphs require a suitable concept of an infinite cycle. Such a concept was provided by Diestel and Kühn, who defined circles to be homeomorphic images of the unit circle in the Freudenthal compactification of the (locally finite) graph. With this definition we prove a partial extension of Tutte's result to locally finite graphs.
Susan A. van AardtAlewyn P. BurgerMarietjie FrickCarsten ThomassenJohan P. de Wet