Euclidean Steiner tree conjecture for regular simplicial complexes

Let r(0,1)r\in(0,1) and α(0,1/r1)\alpha\in(0,1/r-1). A regular, unit simplicial complex on mm vertices has constituent simplices that are regular and unit. Euclidean Steiner tree conjecture for regular simplicial complexes. There exist constants s,β>0s,\beta>0 and a sufficiently large MZ+M\in\mathbb{Z}^+ such that, for every mMm\geq M, every such complex satisfies both conditions: if its vertices can be partitioned into the vertices of at most rmrm unit regular simplices, then the mm-vertex point configuration has a Euclidean Steiner tree of cost at most smsm; and if its vertices cannot be partitioned into the vertices of fewer than (1+α)rm(1+\alpha)rm unit regular simplices, then the point configuration has no Euclidean Steiner tree of cost less than (1+β)sm(1+\beta)sm. This is the formal gap statement motivating an APX-hardness strategy for Euclidean Steiner Tree. The source does not state a resolution.

Sources & referencesView supporting material

Primary source

Henry Fleischmann, Guillermo A. Gamboa Q., Karthik C. S., Josef Matějka and Jakub Petr, “On Steiner Trees of the Regular Simplex”, arXiv:2312.01252 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.