Gilbert–Pollack conjecture

In mathematics, the Gilbert–Pollak conjecture is an unproven conjecture on the ratio of lengths of Steiner trees and Euclidean minimum spanning trees for the same point sets in the Euclidean plane. It was proposed by Edgar Gilbert and Henry O. Pollak in 1968.

Statement
For a set of points in the plane, the shortest network of line segments that connects the points, having only the given points as endpoints, is the Euclidean minimum spanning tree of the set. It may be possible to construct a shorter network by using additional endpoints, not present in the given point set. These additional points are called Steiner points and the shortest network that can be constructed using them is called a Steiner minimum tree. The Steiner ratio is the supremum, over all point sets, of the ratio of lengths of the Euclidean minimum spanning tree to the Steiner minimum tree. Because the Steiner minimum tree is shorter, this ratio is always greater than one.

A lower bound on the Steiner ratio is provided by three points at the vertices of an equilateral triangle of unit side length. For these three points, the Euclidean minimum spanning tree uses two edges of the triangle, with total length two. The Steiner minimum tree connects all three points to a Steiner point at the centroid of the triangle, with the smaller total length $$\sqrt 3$$. Because of this example, the Steiner ratio must be at least $2/\sqrt 3\approx 1.155$.

The Gilbert–Pollak conjecture states that this example is the worst case for the Steiner ratio, and that this ratio equals $$2/\sqrt 3$$. That is, for every finite point set in the Euclidean plane, the Euclidean minimum spanning tree can be no longer than $$2/\sqrt 3$$ times the length of the Steiner minimum tree.

Attempted proof
The conjecture is famous for its proof by Ding-Zhu Du and Frank Kwang-Ming Hwang, which later turned out to have a serious gap.

Based on the flawed Du and Hwang result, J. Hyam Rubinstein and Jia F. Weng concluded that the Steiner ratio is also $$2/\sqrt 3$$ for a 2-dimensional sphere of constant curvature, but due to the gap in the base result of Du and Hwang, the result of Rubinstein and Weng is now also considered as not proved yet.