energy can be made arbitrarily small. In 1993, Matt Visser argued that the two mouths of a wormhole with such an induced clock difference could not be brought together without inducing quantum field and gravitational effects that would either make the wormhole collapse or the two mouths repel each other. Because of this, the two mouths could not be brought close enough for causality violation to take place. However, in a 1997 paper, Visser hypothesized that a complex "Roman ring" (named after Tom Roman) configuration of an N number of wormholes arranged in a symmetric polygon could still act as a time machine, although he concludes that this is more likely a flaw in classical quantum gravity theory rather than proof that causality violation is possible. Other approaches based on general relativity Another approach involves a dense spinning cylinder usually referred to as a Tipler cylinder, a GR solution discovered by Willem Jacob van Stockum in 1936 and Kornel Lanczos in 1924, but not recognized as allowing closed timelike curves until an analysis by Frank Tipler in 1974. If a cylinder is infinitely long and spins fast enough about its long axis, then a spaceship flying around the cylinder on a spiral path could travel back in time (or forward, depending on the direction of its spiral). However, the density and speed required is so great that ordinary matter is not strong enough to construct it. A similar device might be built from a cosmic string, but none are known to exist, and it does not seem to be possible to create a new cosmic string. Physicist Ronald Mallett is attempting to recreate the conditions of a rotating black hole with ring lasers, in order to bend spacetime and allow for time travel. A more fundamental objection to time travel schemes based on rotating cylinders or cosmic strings has been put forward by Stephen Hawking, who proved a theorem showing that according to general relativity it is impossible to build a time machine of a special type (a "time machine with the compactly generated Cauchy horizon") in a region where the weak energy condition is satisfied, meaning that the region contains no matter with negative energy density (exotic matter). Solutions such as Tipler's assume cylinders of infinite length, which are easier to analyze mathematically, and although Tipler suggested that a finite cylinder might produce closed timelike curves if the rotation