Separating subadditive Euclidean functionals

Abstract

If we are given $n$ random points in the hypercube $[0,1{]}^d$, then the minimum length of a Traveling Salesperson Tour through the points, the minimum length of a spanning tree, and the minimum length of a matching, etc., are known to be asymptotically $\beta n^{\frac{d-1}{d}}$ a.s., where $\beta$ is an absolute constant in each case. We prove separation results for these constants. In particular, concerning the constants ${\beta }_{\mathrm{TSP}}^d$, ${\beta }_{\mathrm{MST}}^d$, ${\beta }_{\mathrm{MM}}^d$, and ${\beta }_{\mathrm{TF}}^d$ from the asymptotic formulas for the minimum length TSP, spanning tree, matching, and 2-factor, respectively, we prove that ${\beta }_{\mathrm{MST}}^d<{\beta }_{\mathrm{TSP}}^d$, $2{\beta }_{\mathrm{MM}}^d<{\beta }_{\mathrm{TSP}}^d$, and ${\beta }_{\mathrm{TF}}^d<{\beta }_{\mathrm{TSP}}^d$ for all $d\ge 2$. We also asymptotically separate the TSP from its linear programming relaxation in this setting. Our results have some computational relevance, showing that a certain natural class of simple algorithms cannot solve the random Euclidean TSP efficiently.

32 pages, 5 figures. Branch and bound theorem is now unconditional