The Wikipedia article Metric (mathematics) offers a plenty of flavors of metrics, from common to obscure: ultrametric, pseudometric, quasimetric, semimetric, premetric, hemimetric and pseudoquasimetric (I kid you not).
One flavor it does not mention is a hypermetric. This is a metric on a set such that the inequality
holds for every finite sequence of points and every choice of integers such that . The requirement that be integers gives some combinatorial meaning to (1); this is not just some quadratic form being negative semidefinite.
As a warm-up, observe that (1) contains in it the triangle inequality: with and we get . But it appears that (1) says something about “polygons” with more vertices too.
To make (1) worth thinking about, it should be satisfied by some important metric space. Such as the real line , for example. It is not quite obvious that the inequality
holds for all reals and all integers adding up to . It helps to order the numbers: and focus on the contribution of a particular gap to the sum (2). The amount it contributes is multiplied by
because for every integer . This proves (2).
Now that we have one hypermetric space, , other such spaces can be created easily. If is any set and any function, consider , the pullback pseudometric on . By applying (2) to the numbers , we see that satisfies the hypermetric inequality. Since (1) is additive in , we can take any family of functions and add together the corresponding pseudometrics. Or even integrate them against a positive measure: .
For example, the plane is a hypermetric space, because the distance between two points and , besides the familiar form
can also be represented as an integral of the aforementioned pullbacks:
A similar integral representation holds in all dimensions; thus, all Euclidean spaces are hypermetric.
Okay, what is not a hypermetric then? For example, the cube distance induced by the norm is not, in dimensions 3 and higher. Specifically, (1) fails as the five-point inequality with . I’ll call it the pentagram inequality:
It says that for any five points in the space the sum of monochromatic distances does not exceed the sum of all bi-chromatic (red-blue) distances.
The pentagram inequality fails when are the columns of the matrix
(first three columns blue, the last two red). Indeed, the sum of monochromatic distances is while the sum of bichromatic distances is .
If the above example does not look conceptual enough, it’s because I found it via computer search. I don’t have much intuition for the pentagram inequality.
Anyway, the example delivers another proof that taking the maximum of three numbers is hard. More precisely, there is no isometric embedding of with the maximum metric into . Unlike the earlier proof, this one does not assume the embedding is linear.
A good reference for hypermetric inequalities is the book Geometry of cuts and metrics by Deza and Laurent.