Distances between States and between PredicatesArticle
Authors: Bart Jacobs ; Abraham Westerbaan
NULL##NULL
Bart Jacobs;Abraham Westerbaan
This paper gives a systematic account of various metrics on probability distributions (states) and on predicates. These metrics are described in a uniform manner using the validity relation between states and predicates. The standard adjunction between convex sets (of states) and effect modules (of predicates) is restricted to convex complete metric spaces and directed complete effect modules. This adjunction is used in two state-and-effect triangles, for classical (discrete) probability and for quantum probability.
Volume: Volume 16, Issue 1
Secondary volumes: Selected Papers of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2017)
Published on: February 25, 2020
Accepted on: February 19, 2020
Submitted on: November 28, 2017
Keywords: Computer Science - Logic in Computer Science, F.1.1, F.1.1
Funding:
Source : OpenAIRE Graph- Quantum Computation, Logic, and Security; Funder: European Commission; Code: 320571