Compatibility of any pair of 2-outcome measurements characterizes the Choquet simplex

TL;DR

This paper characterizes Choquet simplexes through the compatibility of any pair of 2-outcome measurements, extending a finite-dimensional quantum theory result to a broader convex analysis setting.

Contribution

It proves that a compact convex set is a Choquet simplex if and only if all pairs of 2-outcome measurements are compatible, generalizing previous finite-dimensional quantum results.

Findings

Characterization of Choquet simplexes via measurement compatibility

Extension of quantum measurement compatibility results to general convex sets

Establishment of a new criterion for identifying Choquet simplexes

Abstract

For a compact convex subset $K $ of a locally convex Hausdorff space, a measurement on $A(K)$ is a finite family of positive elements in $A(K)$ normalized to the unit constant $1_K$, where $A(K)$ denotes the set of continuous real affine functionals on $K$. It is proved that a compact convex set $K$ is a Choquet simplex if and only if any pair of $2$-outcome measurements are compatible, i.e.\ the measurements are given as the marginals of a single measurement. This generalizes the finite-dimensional result of [Pl\'avala M 2016 Phys.\ Rev.\ A \textbf{94}, 042108] obtained in the context of the foundations of quantum theory.