Small cones of \(m\)-hemimetrics (Q1772270)

An {\(m\)-hemimetric} is a map of \(m\)-tuples of vectors in \(\mathbb R^d\) to the reals which is invariant under arbitrary permutations of the arguments and which satisfies a higher-dimensional analog of the triangle inequality. Clearly the set of all (non-negative) \(m\)-hemimetrics on \(\mathbb R^d\) forms a cone. The authors give explicit descriptions of these and related cones for certain small parameters. Several of the results presented rely on the application of standard software.