Free complete Wasserstein algebras

Radu Mardare, Prakash Panangaden, Gordon D. Plotkin

Research output: Contribution to journalArticle

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.

LanguageEnglish
Article number19
Number of pages16
JournalLogical Methods in Computer Science
Volume14
Issue number3
DOIs
Publication statusPublished - 14 Sep 2018

Fingerprint

Wasserstein Distance
Algebra
Complete Metric Space
Axioms
Centrobaric
Metric
Radon Measure
Algebraic Theory
Radon
Computer programming languages
Probability Measure
Programming Languages
Metric space
Binary
Moment

Keywords

  • Wasserstein distances
  • quantitative algebraic theory
  • programming languages

Cite this

Mardare, Radu ; Panangaden, Prakash ; Plotkin, Gordon D. / Free complete Wasserstein algebras. In: Logical Methods in Computer Science. 2018 ; Vol. 14, No. 3.
@article{0a62b413ae1446f19d28b4b0f96449ba,
title = "Free complete Wasserstein algebras",
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.",
keywords = "Wasserstein distances, quantitative algebraic theory, programming languages",
author = "Radu Mardare and Prakash Panangaden and Plotkin, {Gordon D.}",
year = "2018",
month = "9",
day = "14",
doi = "10.23638/LMCS-14(3:19)2018",
language = "English",
volume = "14",
journal = "Logical Methods in Computer Science",
issn = "1860-5974",
number = "3",

}

Free complete Wasserstein algebras. / Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon D.

In: Logical Methods in Computer Science, Vol. 14, No. 3, 19, 14.09.2018.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Free complete Wasserstein algebras

AU - Mardare, Radu

AU - Panangaden, Prakash

AU - Plotkin, Gordon D.

PY - 2018/9/14

Y1 - 2018/9/14

N2 - 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.

AB - 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.

KW - Wasserstein distances

KW - quantitative algebraic theory

KW - programming languages

UR - http://www.scopus.com/inward/record.url?scp=85055831612&partnerID=8YFLogxK

U2 - 10.23638/LMCS-14(3:19)2018

DO - 10.23638/LMCS-14(3:19)2018

M3 - Article

VL - 14

JO - Logical Methods in Computer Science

T2 - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

SN - 1860-5974

IS - 3

M1 - 19

ER -