arXiv++ Combinatorics

The celebrated Steiner tree problem is the problem of finding a set $\St$ of minimum one-dimensional Hausdorff measure $\H$ (length) such that $\St \cup \mathcal{A}$ is connected, where $\mathcal{A} \subset \mathbb{R}^d$ is a given compact set. Paolini and Stepanov provided very general existence and regularity results for the Steiner problem. Their main regularity result is that under a natural assumption, $\H(\St) < \infty$, for almost every $\varepsilon>0$ the set $\St_\varepsilon := \St\setminus B_\varepsilon(\mathcal A)$ is an embedded finite forest (acyclic graph). We give a quantitative regularity result by proving that the set $\St_\varepsilon$ is Ahlfors--David regular with constants that depend only on $d$ (and not on $\mathcal{A}$). Namely, for $d > 2$, every $\varepsilon > 0$, every $x \in \St_\varepsilon$, and every choice of $ρ\in (0,1)$, we have \[ \frac{\H(\St_\varepsilon \cap B_{ρ\varepsilon}(x))}{\varepsilon} \leq \left ( \frac{64d}{1-ρ} \right) ^{d-2}. \] As a corollary, we obtain a density-type result, i.e. that the set $\St_\varepsilon \cap B_{ρ\varepsilon}(x)$ consists of at most \[ \left ( \frac{64d}{1-ρ} \right) ^{d-1} \] line segments. In the plane (i.e., for $d=2$), it is possible to obtain tight structural results.

The Euclidean Steiner problem is the problem of finding a set $St$, with the shortest length, such that $St \cup A$ is connected, where $A$ is a given set in a Euclidean space. The solutions $St$ to the Steiner problem will be called Steiner sets while the set $A$ will be called input. Since every Steiner set is acyclic we call it Steiner tree in the case when it is connected. We say that a Steiner tree is indecomposable if it does not contain any Steiner tree for a subset of the input. We are interested in finding the Steiner set when the input consists of infinitely many points distributed on two lines. In particular we would like to find a configuration which gives an indecomposable Steiner tree. We consider a self-similar input, namely the set $A_{α,λ}$ of points with coordinates $(λ^{k-1}\cos α,$ $\pm λ^{k-1}\sin α)$, where $λ>0$ and $α>0$ are small fixed values. These points are distributed on the two sides of an angle of size $2α$ in such a way that the distances from the points to the vertex of the angle are in a geometric progression. To our surprise, we show that in this case the solutions to the Steiner problem for $A_{α,λ}$, when $α$ and $λ$ are small enough, are always decomposable trees. More precisely, any Steiner tree for $A_{α,λ}$ is a countable union of Steiner trees, each one connecting 5 points from the input. By considering only a finite number of components we obtain many solutions to the Steiner problem for finite sets composed of $4k+1$ points distributed on the two lines ($2k+1$ on a line and $2k$ on the other line). These solutions are very similar to the ladders of Chung and Graham.

We prove that the set of $n$-point configurations for which the solution of the planar Steiner problem is not unique has the Hausdorff dimension at most $2n-1$ (as a subset of $\mathbb{R}^{2n}$). Moreover, we show that the Hausdorff dimension of the set of $n$-point configurations on which at least two locally minimal trees have the same length is also at most $2n-1$. Methods we use essentially require rely upon the theory of subanalytic sets developed in~\cite{bierstone1988semianalytic}. Motivated by this approach we develop a general setup for the similar problem of uniqueness of the Steiner tree where the Euclidean plane is replace by an arbitrary analytic Riemannian manifold $M$. In this setup we argue that the set of configurations possessing two locally-minimal trees of the same length either has the dimension $n\dim M-1$ or has a non-empty interior. We provide an example of a two-dimensional surface for which the last alternative holds. In addition to abovementioned results, we study the set of set of $n$-point configurations for which there is a unique solution of the Steiner problem in $\mathbb{R}^d$. We show that this set is path-connected.