Universality of persistence diagrams and the bottleneck and Wasserstein distances

Peter Bubenik, Alex Elchesen

We prove that persistence diagrams with the p-Wasserstein distance form the universal p-subadditive commutative monoid on an underlying metric space with a distinguished subset. Th…