High dimensional Steiner tree Given n affinely independent points in n-1 dimensional Euclidean space, how is the minimum Steiner tree constructed?  Or assuming that the topology of the Steiner tree is given, is there an easy way to find the minimum edge lengths?  I want a closed form algorithm if possible, otherwise an iterative solution that converges to the right answer with some kind of error bound would also be useful.
 A: Certainly if you're given the combinatorial type of the Steiner tree, you can efficiently find its position.  The length of each edge is a convex function of the positions of the internal vertices of the tree, so their sum is too.  So you can approximate the minimum numerically with convex programming.
On the other hand, this book says that finding approximate solutions to the Euclidean Steiner problem is NP-hard.  So the part that is NP-hard must be finding the combinatorial type of the tree.  Naturally, many NP-hard problems have a lore of heuristic methods, and the same book is a survey of these methods in the case of the Steiner problem.
Note that the affine independence condition doesn't change very much since the points could be close to lying in a hyperplane.
A final comment which is slightly off topic. Some years ago, my mother found an example where the Steiner tree in R3 of a finite set of points on the unit sphere S2 is knotted.
A: Sorry I'm too dense to figure out how to use this website so I'm apparently posting this response as an answer -- the n points define vertices of a simplex in the n-1 dimensional space, so when I saw the tool-tip suggestion "symplectic-geometry" when I typed "geometry" I added it too; if this has nothing to do with symplectic geometry then a mod can delete the tag.
