arXiv++ Combinatorics

Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming cubes there are unexpected relationships between many of these quantities. We obtain in particular formulas for the determinant of the distance matrix, the $M$-constant and the cofactor sum for such spaces. In general, these types of results offer valuable insights into the combinatorial optimization of certain constrained quadratic forms on finite metric spaces. A key focus in this context are embedding properties of negative type metrics, which play a prominent role in addressing important questions like the sparsest cut problem in graph theory. The current work extends previous results for unweighted metric trees, and more generally, for subsets of standard Hamming cubes, as well as results for weighted metric trees. Finally we consider polygonal equalities in these spaces, giving a complete description of the nontrivial $1$-polygonal equalities that can arise in weighted Hamming cubes.

Negative type inequalities arise in the study of embedding properties of metric spaces, but they often reduce to intractable combinatorial problems. In this paper we study more quantitative versions of these inequalities involving the so-called $p$-negative type gap. In particular, we focus our attention on the class of finite ultrametric spaces which are important in areas such as phylogenetics and data mining. Let $(X,d)$ be a given finite ultrametric space with minimum non-zero distance $α$. Then the $p$-negative type gap $Γ_{X}(p)$ of $(X,d)$ is positive for all $p \geq 0$. In this paper we compute the value of the limit \begin{eqnarray*} Γ_{X}(\infty) & = & \lim\limits_{p \rightarrow \infty} \frac{Γ_{X}(p)}{α^{p}}. \end{eqnarray*} It turns out that this value is positive and it may be given explicitly by an elegant combinatorial formula. On the basis of our calculations we are then able to characterize when $Γ_{X}(p)/ α^{p}$ is constant on $[0, \infty)$. The determination of $Γ_{X}(\infty)$ also leads to new, asymptotically sharp, families of enhanced $p$-negative type inequalities for $(X,d)$. Indeed, suppose that $G \in (0, Γ_{X}(\infty))$. Then, for all sufficiently large $p$, we have \begin{eqnarray*} \frac{G \cdot α^{p}}{2} \left( \sum\limits_{k=1}^{n} |ζ_{k}| \right)^{2} + \sum\limits_{j,i =1}^{n} d(z_{j},z_{i})^{p} ζ_{j} ζ_{i} & \leq & 0 \end{eqnarray*} for each finite subset $\{ z_{1}, \ldots, z_{n} \} \subseteq X$ and each choice of real numbers $ζ_{1}, \ldots, ζ_{n}$ with $ζ_{1} + \cdots + ζ_{n} = 0$. We note that these results do not extend to general finite metric spaces.