Linear and Sublinear Diversities

TL;DR

This paper extends the theory of diversities, a generalization of metric spaces, focusing on linear and sublinear diversities on f^k, and characterizes their properties and embeddability conditions.

Contribution

It introduces and characterizes Minkowski linear and sublinear diversities on f^k, revealing deep connections and embedding criteria related to convex analysis and metric geometry.

Findings

Characterization of Minkowski linear diversities as diameter, circumradius, and mean width.

Embedding of finite diversities into f^k is characterized by negative type and generalized circumradius.

Establishment of connections between diversity classes and classical convex analysis functions.

Abstract

Diversities are an extension of the concept of a metric space which assign a non-negative value to every finite set of points, rather than just pairs. A general theory of diversities has been developed which exhibits many deep analogies to metric space theory but also veers off in new directions. Just as many of the most important aspects of metric space theory involve metrics defined on $\mathbb{R}^k$, many applications of diversity theory require a specialized theory for diversities defined on $\mathbb{R}^k$, as we develop here. We focus on two fundamental classes of diversities defined on $\mathbb{R}^k$: those that are Minkowski linear and those that are Minkowski sublinear. Many well-known functions in convex analysis belong to these classes, including diameter, circumradius and mean width. We derive surprising characterizations of these classes, and establish elegant connections between them. Motivated by classical results in metric geometry, and connections with combinatorial optimization, we then examine embeddability of finite diversities into $\mathbb{R}^k$. We prove that a finite diversity can be embedded into a linear diversity exactly when it is of negative type and that it can be embedded into a sublinear diversity exactly when it corresponds to a generalized circumradius.