Bart Jacobs ; Abraham Westerbaan - Distances between States and between Predicates

lmcs:4094 - Logical Methods in Computer Science, February 25, 2020, Volume 16, Issue 1 - https://doi.org/10.23638/LMCS-16(1:26)2020
Distances between States and between Predicates

Authors: 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
    Published on: February 25, 2020
    Accepted on: February 25, 2020
    Submitted on: November 28, 2017
    Keywords: Computer Science - Logic in Computer Science,F.1.1,F.1.1
    Fundings :
      Source : OpenAIRE Research Graph
    • Quantum Computation, Logic, and Security; Funder: European Commission; Code: 320571

    Share

    Consultation statistics

    This page has been seen 532 times.
    This article's PDF has been downloaded 249 times.