DeepAI
Log In Sign Up

Dichotomy between deterministic and probabilistic models in countably additive effectus theory

03/23/2020
by   Kenta Cho, et al.
0

Effectus theory is a relatively new approach to categorical logic that can be seen as an abstract form of generalized probabilistic theories (GPTs). While the scalars of a GPT are always the real unit interval [0,1], in an effectus they can form any effect monoid. Hence, there are quite exotic effectuses resulting from more pathological effect monoids. In this paper we introduce σ-effectuses, where certain countable sums of morphisms are defined. We study in particular σ-effectuses where unnormalized states can be normalized. We show that a non-trivial σ-effectus with normalization has as scalars either the two-element effect monoid {0,1} or the real unit interval [0,1]. When states and/or predicates separate the morphisms we find that in the {0,1} case the category must embed into the category of sets and partial functions (and hence the category of Boolean algebras), showing that it implements a deterministic model, while in the [0,1] case we find it embeds into the category of Banach order-unit spaces and of Banach pre-base-norm spaces (satisfying additional properties), recovering the structure present in GPTs. Hence, from abstract categorical and operational considerations we find a dichotomy between deterministic and convex probabilistic models of physical theories.

READ FULL TEXT

page 1

page 2

page 3

page 4

01/29/2019

Categorical Equivalences from State-Effect Adjunctions

From every pair of adjoint functors it is possible to produce a (possibl...
02/01/2019

Categorical Operational Physics

Many insights into the quantum world can be found by studying it from am...
12/20/2019

A characterisation of ordered abstract probabilities

In computer science, especially when dealing with quantum computing or o...
12/20/2019

A characterization of ordered abstract probabilities

In computer science, especially when dealing with quantum computing or o...
04/23/2019

A Category Theoretic Interpretation of Gandy's Principles for Mechanisms

Based on Gandy's principles for models of computation we give category-t...
10/19/2020

Isotropy and Combination Problems

In a previous paper, the author and his collaborators studied the phenom...
10/27/2019

Computer-supported Exploration of a Categorical Axiomatization of Modeloids

A modeloid, a certain set of partial bijections, emerges from the idea t...