Mathematicians crack 44-year-old problem

December 12, 2017

Zilin Jiang from Technion -- Israel Institute of Technology and Alexandr Polyanskii from the Moscow Institute of Physics and Technology (MIPT) have proved László Fejes Tóth's zone conjecture. Formulated in 1973, it says that if a unit sphere is completely covered by several zones, their combined width is at least π. The proof, published in the journal Geometric and Functional Analysis, is important for discrete geometry and enables new problems to be formulated.

Discrete geometry studies the combinatorial properties of points, lines, circles, polygons, and other geometric objects. For example, it deals with the questions: What is the largest number of equal balls that can be fitted around another ball of the same size? Or, what is the densest way to pack equal-sized circles in a plane, or balls in a containing space?

Solutions to problems like these have practical applications. Thus, the dense packing problem has helped optimize coding and correct mistakes in data transmission. A further example is the four color theorem, which says that four colors suffice to plot any map on a sphere so that no two adjacent regions have the same color. It has prompted mathematicians to introduce concepts important for graph theory, which has been crucial for many of the recent developments in chemistry, biology, and computer science, as well as logistics systems.

László Fejes Tóth's zone conjecture is closely related to a number of other problems in discrete geometry, solved in the 20th century, that deal with covering a surface with strips. The first among them was the so-called plank problem, which involved covering a disk with strips bounded by parallel lines. Alfred Tarski and Henryk Moese offered a simple and elegant proof showing that the combined width of these strips, or planks, cannot exceed the diameter of the disk. That is, there is no better way to cover a disk than with a single plank whose width equals the disk's diameter. Thøger Bang then solved the problem on covering an arbitrary convex body with strips. Namely, he proved that the combined width of the strips covering a convex body is at least the width of the body itself, that is, the minimum width of a single strip covering the body.

The problem tackled by the authors is different in that it involves covering a unit sphere with specially constructed zones. Specifically, each zone is the intersection of the sphere with a certain three-dimensional plank, where a plank is the region of space contained between two parallel planes that are symmetric with respect to the center of the sphere. Alternatively, zones can be defined in geodesic metric space without recourse to planks: A zone of width ω on the surface of a unit sphere is the set of points that lie no farther than ω/2 from the great circle, or equator, with the distances between points measured as the shortest arcs connecting them. The mathematicians had to find the minimum combined width of such zones covering the unit sphere. Thus, the problem differs from those previously solved in how width is measured: It is defined as the length of an arc, rather than the Euclidean distance between parallel lines or planes.

The proof presented by Jiang and Polyanskii was inspired by Bang, who solved the problem on covering a body with strips by forming a special finite set of points within the body, one of which was supposedly not covered by any of the strips. In a way, both Bang and the authors produce a proof by contradiction. In the case of Fejes Tóth's conjecture, the mathematicians hypothesized that the combined width of zones completely covering the sphere was less than π and sought to arrive at a contradiction -- namely, find a point lying on the sphere but not in any of the zones.

The authors have shown that it is possible to form a set of points in three-dimensional space so that at least one point is not covered by the planks constituting the zones. If this whole set lies inside the sphere, it is then relatively easy to plot another point on the sphere that is also not covered by the planks, and hence by the zones. If any of the points in the set happens to lie outside the sphere, it turns out to be possible to substitute one larger zone for several smaller ones, whose combined width is equal to that of the larger zone. Thus, it is possible to reduce the number of zones in the initial problem without affecting their combined width. Eventually, a point on the sphere is identified that is not covered by the zones. This runs counter to the hypothesis that the combined width of the zones is less than π, proving Fejes Tóth's conjecture.

The problem was solved in n-dimensional space, but the authors say this makes it no different from the case with three dimensions.

"Fejes Tóth's problem has fascinated mathematicians in the field of discrete geometry for over 40 years," says author Alexandr Polyanskii of the Department of Discrete Mathematics, MIPT. "This problem turned out to have an elegant solution, which we were fortunate to find. Fejes Tóth's problem prompted us to consider another, more fundamental conjecture on the covering of a sphere by shifted zones defined as the intersection of the sphere with three-dimensional planks that are not necessarily centrally symmetric."

Moscow Institute of Physics and Technology

Related Mathematicians Articles from Brightsurf:

USU mathematicians unravel a thread of string theory
Thomas Hill and Andreas Malmendier of Utah State University, and Adrian Clingher of the University of Missouri-St.

Mathematicians put famous Battle of Britain 'what if' scenarios to the test
Mathematicians from the University of York have developed a new model to explore what the impact of changes to Luftwaffe tactics would actually have been.

Mathematicians find gold in data
Russian mathematicians and geophysicists have made a standard technique for ore prospecting several times more effective.

RUDN University mathematicians help improve efficiency of data centers using Markov chains
RUDN University mathematicians created a model of maximum efficiency of data centers.

RUDN University mathematician first described the movement in a flat strip of plasma
RUDN University mathematician for the first time proved the theorem of existence and uniqueness of solutions of the Zakharov-Kuznetsov equation in a strip.

The ever-winning lottery ticket: Mathematicians solve a dusty mystery
After years of work, University of Copenhagen mathematics researchers have answered a mysterious half-century-old riddle.

Mathematicians of TU Dresden develop new statistical indicator
Up to now, it has taken a great deal of computational effort to detect dependencies between more than two high-dimensional variables, in particular when complicated non-linear relationships are involved.

Expert mathematicians stumped by simple subtractions
Mathematics is seen as the pinnacle of abstract thinking. But are we capable of filtering out our knowledge about the world to prevent it from interfering with our calculations?

Mathematicians work out how to predict success in show business
Mathematicians from Queen Mary University of London have found a way to predict whether an actor's career has peaked or if their most successful days lie ahead.

Mathematicians revive abandoned approach to Riemann Hypothesis
Many ways to approach the Riemann Hypothesis have been proposed during the past 150 years, but none of them have led to conquering the most famous open problem in mathematics.

Read More: Mathematicians News and Mathematicians Current Events is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to