Finite metric spaces of strictly negative type

Abstract

We prove that, if a finite metric space is of strictly negative type, then its transfinite diameter is uniquely realized by the infinite extender (load vector). Finite metric spaces that have this property include all spaces on two, three, or four points, all trees, and all finite subspaces of Euclidean spaces. We prove that, if the distance matrix is both hypermetric and regular, then it is of strictly negative type. We show that the strictly negative type finite subspaces of spheres are precisely those which do not contain two pairs of antipodal points. In connection with an open problem raised by Kelly, we conjecture that all finite subspaces of hyperbolic spaces are hypermetric and regular, and hence of strictly negative type.