有限超度量空间的渐近增强负型

负型不等式产生于度量空间嵌入性质的研究，但它们往往归结为难以处理的组合问题。在本文中，我们研究涉及所谓 $p$-负型间隙的这些不等式的更定量版本。特别地，我们将注意力集中在有限超度量空间类上，这类空间在系统发育学和数据挖掘等领域具有重要意义。设 $(X,d)$ 为给定的有限超度量空间，其最小非零距离为 $\alpha$。则对于所有 $p \geq 0$，$(X,d)$ 的 $p$-负型间隙 $\Gamma_{X}(p)$ 均为正。在本文中，我们计算了极限值 \begin{eqnarray*} \Gamma_{X}(\infty) & = & \lim\limits_{p \rightarrow \infty} \frac{\Gamma_{X}(p)}{\alpha^{p}}. \end{eqnarray*} 结果表明该值为正，并且可以通过一个优雅的组合公式显式给出。基于我们的计算，我们能够刻画 $\Gamma_{X}(p)/ \alpha^{p}$ 在 $[0, \infty)$ 上为常数的条件。$\Gamma_{X}(\infty)$ 的确定也导出了针对 $(X,d)$ 的新颖且渐近尖锐的增强 $p$-负型不等式族。事实上，假设 $G \in (0, \Gamma_{X}(\infty))$。那么，对于所有足够大的 $p$，我们有 \begin{eqnarray*} \frac{G \cdot \alpha^{p}}{2} \left( \sum\limits_{k=1}^{n} |\zeta_{k}| \right)^{2} + \sum\limits_{j,i =1}^{n} d(z_{j},z_{i})^{p} \zeta_{j} \zeta_{i} & \leq & 0 \end{eqnarray*} 对于每个有限子集 $\{ z_{1}, \ldots, z_{n} \} \subseteq X$ 以及每组满足 $\zeta_{1} + \cdots + \zeta_{n} = 0$ 的实数 $\zeta_{1}, \ldots, \zeta_{n}$ 均成立。我们指出，这些结果不能推广到一般的有限度量空间。