Metric convex extensions and optimal transport on classical and quantum structures

Convex roofs are natural ways to extend a scalar function defined on the extreme points of a convex set $K$ to the whole set. In this work we focus on the case $K = C \times C$ for some convex set $C$, and the extension of a distance $d$ defined on the extreme points of $C$. In general, the triangle