Mathematicians crack 44-year-old problem

December 13, 2017, Moscow Institute of Physics and Technology
Tarski proved that a circle with a radius of one cannot be completely covered by strips whose combined width is smaller than two -- the circle's diameter. Each of the strips in the image has its own length and color. Credit: MIPT

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 mathematicians to formulate new problems.

Discrete geometry studies the combinatorial properties of points, lines, circles, polygons and other geometric objects. What is the largest number of equally sized balls that can fit around another ball of the same size? What is the densest way to pack equally sized circles in a plane, or balls in a containing space? These questions and others are addressed by discrete geometry.

Solutions to 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 so that no two adjacent regions have the same color. It has prompted mathematicians to introduce concepts important for graph theory, which is crucial for many of the recent developments in chemistry, biology and computer science, as well as logistics systems.

Tóth's zone conjecture is closely related to a number of other problems in discrete geometry that were solved in the 20th century dealing 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 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.

A zone of width ω on the sphere is shown in yellow. Credit: MIPT

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.

Zones completely covering a sphere. Each of the five zones has its own width and color. Credit: MIPT

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 defined as the intersection of the sphere with three-dimensional planks that are not necessarily centrally symmetric."

Explore further: Mathematicians deliver formal proof of Kepler Conjecture

More information: Zilin Jiang et al, Proof of László Fejes Tóth's zone conjecture, Geometric and Functional Analysis (2017). DOI: 10.1007/s00039-017-0427-6

Related Stories

Mathematicians deliver formal proof of Kepler Conjecture

June 16, 2017

A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler Conjecture, which is the definitive resolution of a problem that had gone unsolved for more than 300 years. The paper is now available online ...

Topology looks for the patterns inside big data

May 18, 2015

Big data gets much attention from media, industry and government. Companies and labs generate massive amounts of data associated with everything from weather to cell phone usage to medical records, and each data set may involve ...

Trio create artificial magnetic wormhole

August 21, 2015

(Phys.org)—A trio of physicists with the Autonomous University of Barcelona has built what they claim is the first artificial magnetic wormhole. In their paper published in the journal Scientific Reports, Jordi Prat-Camps, ...

Researchers analyze flocking behavior on curved surfaces

September 7, 2017

A murmuration of starlings. The phrase reads like something from literature or the title of an arthouse film. In fact, it is meant to describe the phenomenon that results when hundreds, sometimes thousands, of these birds ...

Recommended for you

Understanding urban issues through credit cards

August 20, 2018

Digital traces from credit card and mobile phone usage can be used to map urban lifestyles and understand human mobility, according to a report led by UCL, MIT and UC Berkeley.

Why war is a man's game

August 15, 2018

No sex differences in attitudes or abilities are needed to explain the near absence of women from the battlefield in ancient societies and throughout history, it could ultimately all be down to chance, say researchers at ...

0 comments

Please sign in to add a comment. Registration is free, and takes less than a minute. Read more

Click here to reset your password.
Sign in to get notified via email when new comments are made.