Edinburgh Research Explorer

Free complete Wasserstein algebras

Research output: Contribution to journalArticle

Related Edinburgh Organisations

Open Access permissions

Open

Documents

  • Download as Adobe PDF

    Accepted author manuscript, 332 KB, PDF document

    Licence: Creative Commons: Attribution Non-Commercial (CC-BY-NC)

https://lmcs.episciences.org/paper/view/id/4826
https://lmcs.episciences.org/4826/pdf
Original languageEnglish
Article number4826
Number of pages18
JournalLogical Methods in Computer Science
Volume14
Issue number3
DOIs
Publication statusPublished - 14 Sep 2018

Abstract

We present an algebraic account of the Wasserstein distances Wp on complete metric spaces, for p ≥ 1. This is part of a program of a quantitative algebraic theory of effects in programming languages. In particular, we give axioms, parametric in p, for algebras over metric spaces equipped with probabilistic choice operations. The axioms say that the operations form a barycentric algebra and that the metric satisfies a property typical of the Wasserstein distance Wp. We show that the free complete such algebra over a complete metric space is that of the Radon probability measures with finite moments of order p, equipped with the Wasserstein distance as metric and with the usual binary convex sums as operations.

Download statistics

No data available

ID: 74941538